प्राथमिक आदर्श: Difference between revisions

Revision as of 10:55, 21 July 2023

गणित में, विशेष रूप से क्रमविनिमेय बीजगणित में, क्रमविनिमेय वलय A के समुचित आदर्श (वलय सिद्धांत) Q को प्राथमिक आदर्श कहा जाता है यदि मान लीजिये xy, Q का अवयव है तब x या yⁿ भी Q का अवयव है, इस प्रकार से कुछ n > 0 के लिए। उदाहरण के लिए, पूर्णांक Z के वलय में, (pⁿ) एक प्राथमिक आदर्श है यदि p एक अभाज्य संख्या है।

इस प्रकार से क्रमविनिमेय वलय सिद्धांत में प्राथमिक आदर्शों की धारणा महत्वपूर्ण है क्योंकि नोथेरियन वलय के प्रत्येक आदर्श में प्राथमिक अपघटन होता है, अर्थात, इसे सीमित रूप से अनेक प्राथमिक आदर्शों के प्रतिच्छेदन के रूप में दर्शाया जा सकता है। इस प्रकार के परिणाम को लास्कर-नोएथर प्रमेय के रूप में जाना जाता है। फलस्वरूप,^[1] नोथेरियन वलय का अपरिवर्तनीय आदर्श प्राथमिक है।

चूंकि प्राथमिक आदर्शों को गैर-विनिमेय वलयों में सामान्यीकृत करने की विभिन्न विधियाँ उपस्तिथ हैं,^[2] किन्तु इस विषय का अध्ययन प्रायः क्रमविनिमेय वलय के लिए किया जाता है। इसलिए, इस लेख में दिए गए वलय को पहचान के साथ क्रमविनिमेय वलय माना जाता है।

उदाहरण और गुण

परिभाषा को अधिक सममित विधि से दोहराया जा सकता है: आदर्श ${\mathfrak {q}}$ प्राथमिक है यदि, जब भी $xy\in {\mathfrak {q}}$ , हमारे पास $x\in {\mathfrak {q}}$ या $y\in {\mathfrak {q}}$ या $x,y\in {\sqrt {\mathfrak {q}}}$ . (जहाँ ${\sqrt {\mathfrak {q}}}$ के आदर्श के मूलांक ${\mathfrak {q}}$ को दर्शाता है .)
R का आदर्श Q प्राथमिक है यदि और केवल यदि R/Q में प्रत्येक शून्य भाजक शून्य है। (इसकी तुलना अभाज्य आदर्शों के स्तिथि से करें, जहां P अभाज्य है यदि और केवल यदि R/P में प्रत्येक शून्य भाजक वास्तव में शून्य है।)
कोई भी अभाज्य आदर्श प्राथमिक होता है, और इसके अतिरिक्त आदर्श तभी अभाज्य होता है जब वह प्राथमिक और अर्धप्रधान आदर्श हो ( जिसे क्रमविनिमेय स्तिथि में आदर्श का मूलांक भी कहा जाता है)।
इस प्रकार से प्रत्येक प्राथमिक आदर्श मौलिक आदर्श है।^[3]
यदि Q प्राथमिक आदर्श है, तो Q के आदर्श का मूलांक आवश्यक रूप से प्रमुख आदर्श P है, और इस आदर्श को Q का संबद्ध प्रमुख आदर्श कहा जाता है। इस स्थिति में, Q को 'P-प्राथमिक' कहा जाता है।
- दूसरी ओर, आदर्श जिसका मूलांक अभाज्य है, आवश्यक रूप से प्राथमिक नहीं है: उदाहरण के लिए, यदि $R=k[x,y,z]/(xy-z^{2})$ $R=k[x,y,z]/(xy-z^{2})$ , ${\mathfrak {p}}=({\overline {x}},{\overline {z}})$ ${\mathfrak {p}}=({\overline {x}},{\overline {z}})$ , और ${\mathfrak {q}}={\mathfrak {p}}^{2}$ ${\mathfrak {q}}={\mathfrak {p}}^{2}$ , तब ${\mathfrak {p}}$ ${\mathfrak {p}}$ प्रधान है और ${\sqrt {\mathfrak {q}}}={\mathfrak {p}}$ ${\sqrt {\mathfrak {q}}}={\mathfrak {p}}$ , किन्तु हमारे पास है ${\overline {x}}{\overline {y}}={\overline {z}}^{2}\in {\mathfrak {p}}^{2}={\mathfrak {q}}$ ${\overline {x}}{\overline {y}}={\overline {z}}^{2}\in {\mathfrak {p}}^{2}={\mathfrak {q}}$ , ${\overline {x}}\not \in {\mathfrak {q}}$ ${\overline {x}}\not \in {\mathfrak {q}}$ , और ${\overline {y}}^{n}\not \in {\mathfrak {q}}$ ${\overline {y}}^{n}\not \in {\mathfrak {q}}$ सभी n > 0 के लिए, इसलिए ${\mathfrak {q}}$ ${\mathfrak {q}}$ प्राथमिक नहीं है. का प्राथमिक अपघटन ${\mathfrak {q}}$ ${\mathfrak {q}}$ है $({\overline {x}})\cap ({\overline {x}}^{2},{\overline {x}}{\overline {z}},{\overline {y}})$ $({\overline {x}})\cap ({\overline {x}}^{2},{\overline {x}}{\overline {z}},{\overline {y}})$ ; जहाँ $({\overline {x}})$ $({\overline {x}})$ है ${\mathfrak {p}}$ ${\mathfrak {p}}$ -प्राथमिक और $({\overline {x}}^{2},{\overline {x}}{\overline {z}},{\overline {y}})$ $({\overline {x}}^{2},{\overline {x}}{\overline {z}},{\overline {y}})$ है $({\overline {x}},{\overline {y}},{\overline {z}})$ $({\overline {x}},{\overline {y}},{\overline {z}})$ -प्राथमिक है।
  - चूंकि , आदर्श जिसका मूलांक अधिकतम है, प्राथमिक है।
  - मौलिक $P$ के साथ प्रत्येक आदर्श $Q$ सबसे छोटे $P$ -प्राथमिक आदर्श में समाहित होता है: सभी अवयव $a$ ऐसे होते हैं कि कुछ $ax \in Q$ के लिए $x \notin P$ । $P n$ युक्त सबसे छोटे $P$ -प्राथमिक आदर्श को $P$ की nth प्रमुख आदर्श की प्रतीकात्मक पॉवर कहा जाता है।
यदि P अधिकतम अभाज्य आदर्श है, तो P की पॉवर वाला कोई भी आदर्श P-प्राथमिक है। सभी P-प्राथमिक आदर्शों में P की पॉवरस होना आवश्यक नहीं है, किन्तु कम से कम उनमें P की पॉवर होती है; उदाहरण के लिए आदर्श (x, y²) वलय k[x, y] में आदर्श P = (x, y) के लिए P-प्राथमिक है, किन्तु यह P की पॉवर नहीं है, चूंकि इसमें P² सम्मिलित है।
यदि A नोथेरियन वलय है और P प्रमुख आदर्श है, तो कर्नेल $A\to A_{P}$ , A से P पर A की वलय के स्थानीयकरण तक का मानचित्र, सभी पी-प्राथमिक आदर्शों का प्रतिच्छेदन है।^[4]
${\mathfrak {p}}$ -प्राथमिक आदर्शों का एक सीमित गैर-रिक्त उत्पाद ${\mathfrak {p}}$ -प्राथमिक है, किन्तु ${\mathfrak {p}}$ -प्राथमिक आदर्शों का एक अनंत उत्पाद ${\mathfrak {p}}$ -प्राथमिक नहीं हो सकता है; इस प्रकार से उदाहरण के लिए, अधिकतम आदर्श $\cap _{n>0}{\mathfrak {m}}^{n}=0$ ( क्रल प्रतिच्छेदन प्रमेय) के साथ एक नोथेरियन स्थानीय वलय में जहां प्रत्येक ${\mathfrak {m}}^{n}$ ,में ${\mathfrak {m}}$ -प्राथमिक, है, इस प्रकार से उदाहरण के लिए स्थानीय वलय $K[x,y]/\langle x^{2},xy\rangle$ के अधिकतम (और इसलिए अभाज्य और इसलिए प्राथमिक) आदर्श $m=\langle x,y\rangle$ का अनंत उत्पाद प्राप्त होता है शून्य आदर्श, जो इस स्तिथि में प्राथमिक नहीं है (क्योंकि शून्य भाजक $y$ शून्यप्रबल नहीं है)। वास्तव में, नोथेरियन वलय में, ${\mathfrak {p}}$ -प्राथमिक आदर्श $Q_{i}$ का एक गैर-रिक्त उत्पाद $n>0$ प्राथमिक है यदि और केवल तभी जब कुछ पूर्णांक ${\mathfrak {p}}^{n}\subset \cap _{i}Q_{i}$ उपस्तिथ है ^[5]

फ़ुटनोट

↑ To be precise, one usually uses this fact to prove the theorem.
↑ See the references to Chatters–Hajarnavis, Goldman, Gorton–Heatherly, and Lesieur–Croisot.
↑ For the proof of the second part see the article of Fuchs.
↑ Atiyah–Macdonald, Corollary 10.21
↑ Bourbaki, Ch. IV, § 2, Exercise 3.

संदर्भ

Atiyah, Michael Francis; Macdonald, I.G. (1969), Introduction to Commutative Algebra, Westview Press, p. 50, ISBN 978-0-201-40751-8
Bourbaki, Algèbre commutative
Chatters, A. W.; Hajarnavis, C. R. (1971), "Non-commutative rings with primary decomposition", The Quarterly Journal of Mathematics, Second Series, 22: 73–83, doi:10.1093/qmath/22.1.73, ISSN 0033-5606, MR 0286822
Goldman, Oscar (1969), "Rings and modules of quotients", Journal of Algebra, 13: 10–47, doi:10.1016/0021-8693(69)90004-0, ISSN 0021-8693, MR 0245608
Gorton, Christine; Heatherly, Henry (2006), "Generalized primary rings and ideals", Mathematica Pannonica, 17 (1): 17–28, ISSN 0865-2090, MR 2215638
On primal ideals, Ladislas Fuchs
Lesieur, L.; Croisot, R. (1963), Algèbre noethérienne non commutative (in French), Mémor. Sci. Math., Fasc. CLIV. Gauthier-Villars & Cie, Editeur -Imprimeur-Libraire, Paris, p. 119, MR 0155861{{citation}}: CS1 maint: unrecognized language (link)

बाहरी संबंध

Primary ideal at Encyclopaedia of Mathematics

[1] To be precise, one usually uses this fact to prove the theorem.

[2] See the references to Chatters–Hajarnavis, Goldman, Gorton–Heatherly, and Lesieur–Croisot.

[3] For the proof of the second part see the article of Fuchs.

[4] Atiyah–Macdonald, Corollary 10.21

[5] Bourbaki, Ch. IV, § 2, Exercise 3.

[1]

[2]

[3]

[4]

[5]

@@ Line 1: / Line 1: @@
-गणित में, विशेष रूप से [[क्रमविनिमेय बीजगणित]] में, [[क्रमविनिमेय वलय]] A के उचित [[आदर्श (रिंग सिद्धांत)|आदर्श (वलय  सिद्धांत)]] Q को प्राथमिक कहा जाता है यदि जब भी  ''xy'', ''Q'' का एक तत्व है तो x या  ''y<sup>n</sup>'' भी ''Q'' का एक तत्व है, कुछ ''n'' > 0 के लिए। उदाहरण के लिए, पूर्णांक Z के वलय में, (''p<sup>n</sup>'') एक प्राथमिक आदर्श है यदि ''p''  एक अभाज्य संख्या है।
+गणित में, विशेष रूप से [[क्रमविनिमेय बीजगणित|'''क्रमविनिमेय बीजगणित''']] में, [[क्रमविनिमेय वलय]] A के समुचित [[आदर्श (रिंग सिद्धांत)|आदर्श (वलय सिद्धांत)]] Q को '''प्राथमिक आदर्श''' कहा जाता है यदि मान लीजिये ''xy'', ''Q'' का अवयव है तब x या ''y<sup>n</sup>'' भी ''Q'' का अवयव है, इस प्रकार से कुछ ''n'' > 0 के लिए। उदाहरण के लिए, पूर्णांक Z के वलय में, (''p<sup>n</sup>'') एक प्राथमिक आदर्श है यदि ''p'' एक अभाज्य संख्या है।
-इस प्रकार से क्रमविनिमेय वलय सिद्धांत में प्राथमिक आदर्शों की धारणा महत्वपूर्ण है क्योंकि नोथेरियन वलय के प्रत्येक आदर्श में [[प्राथमिक अपघटन]] होता है, अर्थात, इसे सीमित रूप से अनेक प्राथमिक आदर्शों के प्रतिच्छेदन के रूप में लिखा जा सकता है। इस परिणाम को लास्कर-नोएथर प्रमेय के रूप में जाना जाता है। फलस्वरूप,<ref>To be precise, one usually uses this fact to prove the theorem.</ref> नोथेरियन वलय  का [[अपरिवर्तनीय आदर्श]] प्राथमिक है।
+इस प्रकार से क्रमविनिमेय वलय सिद्धांत में प्राथमिक आदर्शों की धारणा महत्वपूर्ण है क्योंकि नोथेरियन वलय के प्रत्येक आदर्श में [[प्राथमिक अपघटन]] होता है, अर्थात, इसे सीमित रूप से अनेक प्राथमिक आदर्शों के प्रतिच्छेदन के रूप में दर्शाया जा सकता है। इस प्रकार के परिणाम को लास्कर-नोएथर प्रमेय के रूप में जाना जाता है। फलस्वरूप,<ref>To be precise, one usually uses this fact to prove the theorem.</ref> नोथेरियन वलय का [[अपरिवर्तनीय आदर्श]] प्राथमिक है।
-चूंकि प्राथमिक आदर्शों को गैर-विनिमेय वलयों में सामान्यीकृत करने की विभिन्न विधियाँ उपस्तिथ  हैं,<ref>See the references to Chatters–Hajarnavis, Goldman, Gorton–Heatherly, and Lesieur–Croisot.</ref> किन्तु  इस विषय का अध्ययन प्रायः क्रमविनिमेय वलय के लिए किया जाता है। इसलिए, इस लेख में दिए गए वलय  को पहचान के साथ क्रमविनिमेय वलय  माना जाता है।
+चूंकि प्राथमिक आदर्शों को गैर-विनिमेय वलयों में सामान्यीकृत करने की विभिन्न विधियाँ उपस्तिथ हैं,<ref>See the references to Chatters–Hajarnavis, Goldman, Gorton–Heatherly, and Lesieur–Croisot.</ref> किन्तु इस विषय का अध्ययन प्रायः क्रमविनिमेय वलय के लिए किया जाता है। इसलिए, इस लेख में दिए गए वलय को पहचान के साथ क्रमविनिमेय वलय माना जाता है।
 ==उदाहरण और गुण==
-* परिभाषा को अधिक सममित तरीके से दोहराया जा सकता है: आदर्श <math>\mathfrak{q}</math> प्राथमिक है यदि, जब भी <math>x y \in \mathfrak{q}</math>, अपने पास <math>x \in \mathfrak{q}</math> या <math>y \in \mathfrak{q}</math> या <math>x, y \in \sqrt{\mathfrak{q}}</math>. (यहाँ <math>\sqrt{\mathfrak{q}}</math> के आदर्श के मूलांक को दर्शाता है <math>\mathfrak{q}</math>.)
+* परिभाषा को अधिक सममित विधि से दोहराया जा सकता है: आदर्श <math>\mathfrak{q}</math> प्राथमिक है यदि, जब भी <math>x y \in \mathfrak{q}</math>, हमारे पास <math>x \in \mathfrak{q}</math> या <math>y \in \mathfrak{q}</math> या <math>x, y \in \sqrt{\mathfrak{q}}</math>. (जहाँ <math>\sqrt{\mathfrak{q}}</math> के आदर्श के मूलांक <math>\mathfrak{q}</math> को दर्शाता है .)
-* R का आदर्श Q प्राथमिक है यदि और केवल यदि R/Q में प्रत्येक [[शून्य भाजक]] शून्य है। (इसकी तुलना अभाज्य आदर्शों के मामले से करें, जहां P अभाज्य है यदि और केवल यदि R/P में प्रत्येक शून्य भाजक वास्तव में शून्य है।)
+* R का आदर्श ''Q'' प्राथमिक है यदि और केवल यदि ''R/Q'' में प्रत्येक [[शून्य भाजक]] शून्य है। (इसकी तुलना अभाज्य आदर्शों के स्तिथि से करें, जहां ''P'' अभाज्य है यदि और केवल यदि R/P में प्रत्येक शून्य भाजक वास्तव में शून्य है।)
-* कोई भी अभाज्य आदर्श प्राथमिक होता है, और इसके अलावा आदर्श तभी अभाज्य होता है जब वह प्राथमिक और अर्धप्रधान आदर्श हो (क्रमविनिमेय मामले में आदर्श का मूलांक भी कहा जाता है)।
+* कोई भी अभाज्य आदर्श प्राथमिक होता है, और इसके अतिरिक्त आदर्श तभी अभाज्य होता है जब वह प्राथमिक और अर्धप्रधान आदर्श हो ( जिसे क्रमविनिमेय स्तिथि में आदर्श का मूलांक भी कहा जाता है)।
-*प्रत्येक प्राथमिक आदर्श [[मौलिक आदर्श]] है।<ref>For the proof of the second part see the article of Fuchs.</ref>
+*इस प्रकार से प्रत्येक प्राथमिक आदर्श [[मौलिक आदर्श]] है।<ref>For the proof of the second part see the article of Fuchs.</ref>
-* यदि Q प्राथमिक आदर्श है, तो Q के आदर्श का मूलांक आवश्यक रूप से प्रमुख आदर्श P है, और इस आदर्श को Q का संबद्ध प्रमुख आदर्श कहा जाता है। इस स्थिति में, Q को 'P-प्राथमिक' कहा जाता है।
+* यदि ''Q'' प्राथमिक आदर्श है, तो ''Q'' के आदर्श का मूलांक आवश्यक रूप से प्रमुख आदर्श ''P'' है, और इस आदर्श को ''Q'' का संबद्ध प्रमुख आदर्श कहा जाता है। इस स्थिति में, ''Q'' को '''P''-प्राथमिक' कहा जाता है।
-** दूसरी ओर, आदर्श जिसका मूलांक अभाज्य है, आवश्यक रूप से प्राथमिक नहीं है: उदाहरण के लिए, यदि <math>R = k[x,y,z]/(x y - z^2)</math>, <math>\mathfrak{p} = (\overline{x}, \overline{z})</math>, और <math>\mathfrak{q} = \mathfrak{p}^2</math>, तब <math>\mathfrak{p}</math> प्रधान है और <math>\sqrt{\mathfrak{q}} = \mathfrak{p}</math>, किन्तु  हमारे पास है <math> \overline{x} \overline{y} = {\overline{z}}^2 \in \mathfrak{p}^2 = \mathfrak{q}</math>, <math>\overline{x} \not \in \mathfrak{q}</math>, और <math>{\overline{y}}^n \not \in \mathfrak{q}</math> सभी n > 0 के लिए, इसलिए <math>\mathfrak{q}</math> प्राथमिक नहीं है. का प्राथमिक अपघटन <math>\mathfrak{q}</math> है <math>(\overline{x}) \cap ({\overline{x}}^2, \overline{x} \overline{z}, \overline{y})</math>; यहाँ <math>(\overline{x})</math> है <math>\mathfrak{p}</math>-प्राथमिक और <math>({\overline{x}}^2, \overline{x} \overline{z}, \overline{y})</math> है <math>(\overline{x}, \overline{y}, \overline{z})</math>-प्राथमिक।
+** दूसरी ओर, आदर्श जिसका मूलांक अभाज्य है, आवश्यक रूप से प्राथमिक नहीं है: उदाहरण के लिए, यदि <math>R = k[x,y,z]/(x y - z^2)                                                                                                                                                                                   </math>, <math>\mathfrak{p} = (\overline{x}, \overline{z})</math>, और <math>\mathfrak{q} = \mathfrak{p}^2</math>, तब <math>\mathfrak{p}</math> प्रधान है और <math>\sqrt{\mathfrak{q}} = \mathfrak{p}</math>, किन्तु हमारे पास है <math> \overline{x} \overline{y} = {\overline{z}}^2 \in \mathfrak{p}^2 = \mathfrak{q}</math>, <math>\overline{x} \not \in \mathfrak{q}</math>, और <math>{\overline{y}}^n \not \in \mathfrak{q}</math> सभी n > 0 के लिए, इसलिए <math>\mathfrak{q}</math> प्राथमिक नहीं है. का प्राथमिक अपघटन <math>\mathfrak{q}</math> है <math>(\overline{x}) \cap ({\overline{x}}^2, \overline{x} \overline{z}, \overline{y})                                                                                                </math>; जहाँ <math>(\overline{x})</math> है <math>\mathfrak{p}</math>-प्राथमिक और <math>({\overline{x}}^2, \overline{x} \overline{z}, \overline{y})</math> है <math>(\overline{x}, \overline{y}, \overline{z})</math>-प्राथमिक है।
-*** हालाँकि, आदर्श जिसका मूलांक अधिकतम है, प्राथमिक है।
+*** चूंकि , आदर्श जिसका मूलांक अधिकतम है, प्राथमिक है।
-*** हर आदर्श {{mvar|Q}} कट्टरपंथी के साथ {{mvar|P}} सबसे छोटे में समाहित है {{mvar|P}}-प्राथमिक आदर्श: सभी तत्व {{mvar|a}} ऐसा है कि {{math|''ax''&nbsp;&isin;&nbsp;''Q''}} कुछ के लिए {{math|''x''&nbsp;&notin;&nbsp;''P''}}. सबसे छोटा {{mvar|P}}-प्राथमिक आदर्श युक्त {{math|''P''<sup>''n''</sup>}} को कहा जाता है {{mvar|n}}वें [[एक प्रमुख आदर्श की प्रतीकात्मक शक्ति|प्रमुख आदर्श की प्रतीकात्मक शक्ति]] {{mvar|P}}.
+***मौलिक {{mvar|P}} के साथ प्रत्येक आदर्श {{mvar|Q}} सबसे छोटे {{mvar|P}}-प्राथमिक आदर्श में समाहित होता है: सभी अवयव {{mvar|a}} ऐसे होते हैं कि कुछ {{math|''ax''&nbsp;&isin;&nbsp;''Q''}} के लिए {{math|''x''&nbsp;&notin;&nbsp;''P''}}। {{math|''P''<sup>''n''</sup>}} युक्त सबसे छोटे {{mvar|P}}-प्राथमिक आदर्श को {{mvar|P}} की nth [[एक प्रमुख आदर्श की प्रतीकात्मक शक्ति|प्रमुख आदर्श की प्रतीकात्मक पॉवर]] कहा जाता है।
-* यदि P अधिकतम अभाज्य आदर्श है, तो P की शक्ति वाला कोई भी आदर्श P-प्राथमिक है। सभी P-प्राथमिक आदर्शों में P की शक्तियाँ होना आवश्यक नहीं है, किन्तु  कम से कम उनमें P की शक्ति होती है; उदाहरण के लिए आदर्श (x,y<sup>2</sup>) वलय  k[x,y] में आदर्श P = (x,y) के लिए P-प्राथमिक है, किन्तु  यह P की शक्ति नहीं है, हालांकि इसमें P² शामिल है।
+* यदि P अधिकतम अभाज्य आदर्श है, तो P की पॉवर वाला कोई भी आदर्श P-प्राथमिक है। सभी P-प्राथमिक आदर्शों में P की [[एक प्रमुख आदर्श की प्रतीकात्मक शक्ति|पॉवरस]] होना आवश्यक नहीं है, किन्तु कम से कम उनमें P की पॉवर होती है; उदाहरण के लिए आदर्श (''x'', ''y''<sup>2</sup>) वलय ''k''[''x'', ''y''] में आदर्श ''P'' = (''x'', ''y'') के लिए P-प्राथमिक है, किन्तु यह P की पॉवर नहीं है, चूंकि इसमें P² सम्मिलित है।
-* यदि A नोथेरियन वलय  है और P प्रमुख आदर्श है, तो कर्नेल <math>A \to A_P</math>, ए से पी पर ए की अंगूठी के स्थानीयकरण तक का नक्शा, सभी पी-प्राथमिक आदर्शों का प्रतिच्छेदन है।<ref>Atiyah–Macdonald, Corollary 10.21</ref>
+* यदि A नोथेरियन वलय है और P प्रमुख आदर्श है, तो कर्नेल <math>A \to A_P</math>, A से P पर A की वलय के स्थानीयकरण तक का मानचित्र, सभी पी-प्राथमिक आदर्शों का प्रतिच्छेदन है।<ref>Atiyah–Macdonald, Corollary 10.21</ref>
-* का परिमित गैर-रिक्त उत्पाद <math>\mathfrak{p}</math>-प्राथमिक आदर्श है <math>\mathfrak{p}</math>-प्राथमिक किन्तु  इसका अनंत उत्पाद <math>\mathfrak{p}</math>-प्राथमिक आदर्श नहीं हो सकते <math>\mathfrak p</math>-प्राथमिक; उदाहरण के लिए, अधिकतम आदर्श के साथ नोथेरियन स्थानीय वलय  में <math>\mathfrak m</math>, <math>\cap_{n > 0} \mathfrak{m}^n = 0</math> ([[क्रुल प्रतिच्छेदन प्रमेय]]) जहां प्रत्येक <math>\mathfrak{m}^n</math> है <math>\mathfrak{m}</math>-प्राथमिक, उदाहरण के लिए अधिकतम (और इसलिए अभाज्य और इसलिए प्राथमिक) आदर्श का अनंत उत्पाद <math>m=\langle x,y \rangle</math> स्थानीय वलय  का <math>K[x,y]/\langle x^2, xy\rangle</math> शून्य आदर्श उत्पन्न होता है, जो इस मामले में प्राथमिक नहीं है (क्योंकि शून्य भाजक <math>y</math> शून्यशक्तिमान नहीं है)। वास्तव में, नोथेरियन वलय  में, गैर-रिक्त उत्पाद <math>\mathfrak{p}</math>-प्राथमिक आदर्श <math>Q_i</math> है <math>\mathfrak{p}</math>-प्राथमिक यदि और केवल यदि कोई पूर्णांक उपस्तिथ  है <math>n > 0</math> ऐसा है कि <math>\mathfrak{p}^n \subset \cap_i Q_i</math>.<ref>{{harvnb|Bourbaki|loc=Ch. IV, § 2, Exercise 3.}}</ref>
+*<math>\mathfrak{p}</math>-प्राथमिक आदर्शों का एक सीमित गैर-रिक्त उत्पाद <math>\mathfrak{p}</math>-प्राथमिक है, किन्तु <math>\mathfrak{p}</math>-प्राथमिक आदर्शों का एक अनंत उत्पाद <math>\mathfrak{p}</math>-प्राथमिक नहीं हो सकता है; इस प्रकार से उदाहरण के लिए, अधिकतम आदर्श <math>\cap_{n > 0} \mathfrak{m}^n = 0</math> ( [[क्रुल प्रतिच्छेदन प्रमेय|क्रल प्रतिच्छेदन प्रमेय]]) के साथ एक नोथेरियन स्थानीय वलय में जहां प्रत्येक <math>\mathfrak{m}^n</math>,में <math>\mathfrak{m}</math>-प्राथमिक, है, इस प्रकार से उदाहरण के लिए स्थानीय वलय <math>K[x,y]/\langle x^2, xy\rangle</math> के अधिकतम (और इसलिए अभाज्य और इसलिए प्राथमिक) आदर्श <math>m=\langle x,y \rangle                                                                                                                                                                                </math> का अनंत उत्पाद प्राप्त होता है शून्य आदर्श, जो इस स्तिथि में प्राथमिक नहीं है (क्योंकि शून्य भाजक <math>y</math> शून्यप्रबल नहीं है)। वास्तव में, नोथेरियन वलय में, <math>\mathfrak{p}</math>-प्राथमिक आदर्श <math>Q_i</math> का एक गैर-रिक्त उत्पाद <math>n > 0</math> प्राथमिक है यदि और केवल तभी जब कुछ पूर्णांक <math>\mathfrak{p}^n \subset \cap_i Q_i</math> उपस्तिथ है <ref>{{harvnb|Bourbaki|loc=Ch. IV, § 2, Exercise 3.}}</ref>
 ==फ़ुटनोट==
 <references/>

Anonymous

Search

प्राथमिक आदर्श: Difference between revisions

Namespaces

More

Page actions

Revision as of 10:55, 21 July 2023

Contents

उदाहरण और गुण

फ़ुटनोट

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

प्राथमिक आदर्श: Difference between revisions

Revision as of 10:55, 21 July 2023

उदाहरण और गुण

फ़ुटनोट

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories