प्राथमिक आदर्श

गणित में, विशेष रूप से क्रमविनिमेय बीजगणित में, क्रमविनिमेय वलय 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]

प्राथमिक आदर्श

Contents

उदाहरण और गुण

फ़ुटनोट

संदर्भ

बाहरी संबंध

Navigation menu

Search