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

Revision as of 09:40, 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}})$ -प्राथमिक।
  - हालाँकि, आदर्श जिसका मूलांक अधिकतम है, प्राथमिक है।
  - हर आदर्श $Q$ कट्टरपंथी के साथ $P$ सबसे छोटे में समाहित है $P$ -प्राथमिक आदर्श: सभी तत्व $a$ ऐसा है कि $ax \in Q$ कुछ के लिए $x \notin P$ . सबसे छोटा $P$ -प्राथमिक आदर्श युक्त $P n$ को कहा जाता है $n$ वें प्रमुख आदर्श की प्रतीकात्मक शक्ति $P$ .
यदि P अधिकतम अभाज्य आदर्श है, तो P की शक्ति वाला कोई भी आदर्श P-प्राथमिक है। सभी P-प्राथमिक आदर्शों में P की शक्तियाँ होना आवश्यक नहीं है, किन्तु कम से कम उनमें P की शक्ति होती है; उदाहरण के लिए आदर्श (x,y²) वलय k[x,y] में आदर्श P = (x,y) के लिए P-प्राथमिक है, किन्तु यह P की शक्ति नहीं है, हालांकि इसमें P² शामिल है।
यदि A नोथेरियन वलय है और P प्रमुख आदर्श है, तो कर्नेल $A\to A_{P}$ , ए से पी पर ए की अंगूठी के स्थानीयकरण तक का नक्शा, सभी पी-प्राथमिक आदर्शों का प्रतिच्छेदन है।^[4]
का परिमित गैर-रिक्त उत्पाद ${\mathfrak {p}}$ -प्राथमिक आदर्श है ${\mathfrak {p}}$ -प्राथमिक किन्तु इसका अनंत उत्पाद ${\mathfrak {p}}$ -प्राथमिक आदर्श नहीं हो सकते ${\mathfrak {p}}$ -प्राथमिक; उदाहरण के लिए, अधिकतम आदर्श के साथ नोथेरियन स्थानीय वलय में ${\mathfrak {m}}$ , $\cap _{n>0}{\mathfrak {m}}^{n}=0$ (क्रुल प्रतिच्छेदन प्रमेय) जहां प्रत्येक ${\mathfrak {m}}^{n}$ है ${\mathfrak {m}}$ -प्राथमिक, उदाहरण के लिए अधिकतम (और इसलिए अभाज्य और इसलिए प्राथमिक) आदर्श का अनंत उत्पाद $m=\langle x,y\rangle$ स्थानीय वलय का $K[x,y]/\langle x^{2},xy\rangle$ शून्य आदर्श उत्पन्न होता है, जो इस मामले में प्राथमिक नहीं है (क्योंकि शून्य भाजक $y$ शून्यशक्तिमान नहीं है)। वास्तव में, नोथेरियन वलय में, गैर-रिक्त उत्पाद ${\mathfrak {p}}$ -प्राथमिक आदर्श $Q_{i}$ है ${\mathfrak {p}}$ -प्राथमिक यदि और केवल यदि कोई पूर्णांक उपस्तिथ है $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 3: / Line 3: @@
 गणित में, विशेष रूप से [[क्रमविनिमेय बीजगणित]] में, [[क्रमविनिमेय वलय]] 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> लेकिन इस विषय का अध्ययन अक्सर क्रमविनिमेय वलय के लिए किया जाता है। इसलिए, इस लेख में दिए गए छल्ले को पहचान के साथ क्रमविनिमेय छल्ले माना जाता है।
 ==उदाहरण और गुण==
@@ Line 15: / Line 14: @@
 *प्रत्येक प्राथमिक आदर्श [[मौलिक आदर्श]] है।<ref>For the proof of the second part see the article of Fuchs.</ref>
 * यदि 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}}.
-* यदि 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>
-* का परिमित गैर-रिक्त उत्पाद <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>\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>
 ==फ़ुटनोट==
 <references/>

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 09:40, 21 July 2023

Contents

उदाहरण और गुण

फ़ुटनोट

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 09:40, 21 July 2023

उदाहरण और गुण

फ़ुटनोट

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories