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

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

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

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

उदाहरण और गुण

 * परिभाषा को अधिक सममित तरीके से दोहराया जा सकता है: एक आदर्श $$\mathfrak{q}$$ प्राथमिक है यदि, जब भी $$x y \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 में प्रत्येक शून्य भाजक वास्तव में शून्य है।)
 * कोई भी अभाज्य आदर्श प्राथमिक होता है, और इसके अलावा एक आदर्श तभी अभाज्य होता है जब वह प्राथमिक और अर्धप्रधान आदर्श हो (क्रमविनिमेय मामले में आदर्श का मूलांक भी कहा जाता है)।
 * प्रत्येक प्राथमिक आदर्श मौलिक आदर्श है।
 * यदि Q एक प्राथमिक आदर्श है, तो Q के आदर्श का मूलांक आवश्यक रूप से एक प्रमुख आदर्श P है, और इस आदर्श को Q का संबद्ध प्रमुख आदर्श कहा जाता है। इस स्थिति में, Q को 'P-प्राथमिक' कहा जाता है।
 * दूसरी ओर, एक आदर्श जिसका मूलांक अभाज्य है, आवश्यक रूप से प्राथमिक नहीं है: उदाहरण के लिए, यदि $$R = k[x,y,z]/(x y - z^2)$$, $$\mathfrak{p} = (\overline{x}, \overline{z})$$, और $$\mathfrak{q} = \mathfrak{p}^2$$, तब $$\mathfrak{p}$$ प्रधान है और $$\sqrt{\mathfrak{q}} = \mathfrak{p}$$, लेकिन हमारे पास है $$ \overline{x} \overline{y} = {\overline{z}}^2 \in \mathfrak{p}^2 = \mathfrak{q}$$, $$\overline{x} \not \in \mathfrak{q}$$, और $${\overline{y}}^n \not \in \mathfrak{q}$$ सभी n > 0 के लिए, इसलिए $$\mathfrak{q}$$ प्राथमिक नहीं है. का प्राथमिक अपघटन $$\mathfrak{q}$$ है $$(\overline{x}) \cap ({\overline{x}}^2, \overline{x} \overline{z}, \overline{y})$$; यहाँ $$(\overline{x})$$ है $$\mathfrak{p}$$-प्राथमिक और $$({\overline{x}}^2, \overline{x} \overline{z}, \overline{y})$$ है $$(\overline{x}, \overline{y}, \overline{z})$$-प्राथमिक।
 * हालाँकि, एक आदर्श जिसका मूलांक अधिकतम है, प्राथमिक है।
 * हर आदर्श $Q$ कट्टरपंथी के साथ $P$ सबसे छोटे में समाहित है $P$-प्राथमिक आदर्श: सभी तत्व $a$ ऐसा है कि $ax &isin; Q$ कुछ के लिए $x &notin; P$. सबसे छोटा $P$-प्राथमिक आदर्श युक्त $P^{n}$ को कहा जाता है $n$वें एक प्रमुख आदर्श की प्रतीकात्मक शक्ति $P$.
 * यदि P एक अधिकतम अभाज्य आदर्श है, तो P की शक्ति वाला कोई भी आदर्श P-प्राथमिक है। सभी P-प्राथमिक आदर्शों में P की शक्तियाँ होना आवश्यक नहीं है, लेकिन कम से कम उनमें P की शक्ति होती है; उदाहरण के लिए आदर्श (x,y2) रिंग k[x,y] में आदर्श P = (x,y) के लिए P-प्राथमिक है, लेकिन यह P की शक्ति नहीं है, हालांकि इसमें P² शामिल है।
 * यदि A एक नोथेरियन रिंग है और P एक प्रमुख आदर्श है, तो कर्नेल $$A \to A_P$$, ए से पी पर ए की अंगूठी के स्थानीयकरण तक का नक्शा, सभी पी-प्राथमिक आदर्शों का प्रतिच्छेदन है।
 * का एक परिमित गैर-रिक्त उत्पाद $$\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$$.

संदर्भ

 * On primal ideals, Ladislas Fuchs
 * On primal ideals, Ladislas Fuchs
 * On primal ideals, Ladislas Fuchs
 * On primal ideals, Ladislas Fuchs
 * On primal ideals, Ladislas Fuchs
 * On primal ideals, Ladislas Fuchs

बाहरी संबंध

 * Primary ideal at Encyclopaedia of Mathematics