आदर्श (रिंग सिद्धांत)

गणित में, और विशेष रूप से वलय सिद्धांत में, एक वलय का आदर्श उसके तत्वों का एक विशेष उपसमुच्चय होता है। आदर्श पूर्णांकों के कुछ उपसमूहों को सामान्यीकृत करते हैं, जैसे सम संख्याए 3 के गुणज। सम संख्याओं का जोड़ और घटाव समता को संरक्षित करता है, और किसी भी पूर्णांक (सम या विषम) द्वारा सम संख्या को गुणा करने पर सम संख्या प्राप्त होती है; ये समापन और अवशोषण गुण एक आदर्श के परिभाषित गुण हैं। एक आदर्श का उपयोग भागफल वलय के निर्माण के लिए उसी तरह किया जा सकता है, जैसे समूह सिद्धांत में, एक सामान्य उपसमूह का उपयोग भागफल समूह के निर्माण के लिए किया जा सकता है।

पूर्णांकों के बीच, आदर्श गैर-ऋणात्मक पूर्णांकों के साथ एक-के-एक मेल खाते हैं: इस वलय में, प्रत्येक आदर्श एक प्रमुख आदर्श है जिसमें एकल गैर-ऋणात्मक संख्या के गुणज शामिल होते हैं। हालाँकि, अन्य रिंगों में, आदर्श सीधे रिंग तत्वों से मेल नहीं खा सकते हैं, और पूर्णांकों के कुछ गुण, जब रिंगों के लिए सामान्यीकृत होते हैं, तो रिंग के तत्वों की तुलना में आदर्शों से अधिक स्वाभाविक रूप से जुड़ते हैं। उदाहरण के लिए, किसी रिंग के अभाज्य आदर्श अभाज्य संख्याओं के अनुरूप होते हैं, और चीनी शेषफल प्रमेय को आदर्शों के लिए सामान्यीकृत किया जा सकता है। डेडेकाइंड डोमेन (संख्या सिद्धांत में महत्वपूर्ण रिंग का एक प्रकार) के आदर्शों के लिए अद्वितीय प्राइम फ़ैक्टराइज़ेशन का एक संस्करण है।

आदेश सिद्धांत में आदर्श की संबंधित, लेकिन विशिष्ट अवधारणा, रिंग सिद्धांत में आदर्श की धारणा से ली गई है। एक भिन्नात्मक आदर्श एक आदर्श का सामान्यीकरण है, और सामान्य आदर्शों को स्पष्टता के लिए कभी-कभी अभिन्न आदर्श कहा जाता है।

इतिहास

अर्न्स्ट कुमेर ने संख्या रिंगों में "लापता" कारकों के रूप में काम करने के लिए आदर्श संख्याओं की अवधारणा का आविष्कार किया, जिसमें अद्वितीय गुणनखंडन विफल हो जाता है; यहां "आदर्श" शब्द केवल कल्पना में विद्यमान होने के अर्थ में है, ज्यामिति में "आदर्श" वस्तुओं जैसे अनंत पर बिंदु के अनुरूप। 1876 में, रिचर्ड डेडेकाइंड ने कुमेर की अपरिभाषित अवधारणा को संख्याओं के ठोस सेटों से बदल दिया, सेट जिन्हें उन्होंने आदर्श कहा, डिरिक्लेट की पुस्तक वोरलेसुंगेन उबेर ज़हलेनथियोरी के तीसरे संस्करण में, जिसमें डेडेकाइंड ने कई पूरक जोड़े थे। बाद में इस धारणा को डेविड हिल्बर्ट और विशेष रूप से एमी नोएथर द्वारा संख्या रिंगों से आगे बहुपद रिंगों और अन्य क्रमविनिमेय रिंगों की सेटिंग तक बढ़ाया गया था।

परिभाषाएँ और प्रेरणा

एक मनमानी अंगूठी के लिए $(R,+,\cdot )$, होने देना $(R,+)$ इसका योगात्मक समूह हो। उपसमुच्चय I का वाम आदर्श कहा जाता है $R$ यदि यह एक योगात्मक उपसमूह है $R$ जो के तत्वों द्वारा बाईं ओर से गुणन को अवशोषित करता है $R$; वह है, $I$ यह एक वाम आदर्श है यदि यह निम्नलिखित दो शर्तों को पूरा करता है:

1. $(I,+)$ का एक उपसमूह है $(R,+),$
2. हरएक के लिए $r\in R$ और हर $x\in I$, उत्पाद $rx$ में है $I$.

एक सही आदर्श को स्थिति से परिभाषित किया जाता है $rx\in I$ द्वारा प्रतिस्थापित $xr\in I$. दो-तरफा आदर्श एक बायाँ आदर्श है जो एक दायाँ आदर्श भी है, और कभी-कभी इसे केवल एक आदर्श कहा जाता है। मॉड्यूल (गणित) की भाषा में, परिभाषाओं का अर्थ है कि एक बाएँ (सम्मानित दाएँ, दो-तरफा) आदर्श $R$ एक $R$-मॉड्यूल (गणित)#सबमॉड्यूल और समरूपताएं $R$ कब $R$ बाएं (सम्मान दाएं, द्वि-) के रूप में देखा जाता है $R$-मापांक। कब $R$ एक क्रमविनिमेय वलय है, बाएँ, दाएँ और दो-तरफा आदर्श की परिभाषाएँ मेल खाती हैं, और आदर्श शब्द का प्रयोग अकेले किया जाता है।

आदर्श की अवधारणा को समझने के लिए, विचार करें कि तत्वों के छल्ले के निर्माण में आदर्श कैसे उत्पन्न होते हैं। ठोसता के लिए, आइए रिंग को देखें $\mathbb {Z} /n\mathbb {Z}$ पूर्णांकों का मॉड्यूलो $n$ एक पूर्णांक दिया गया $n\in \mathbb {Z}$ ($\mathbb {Z}$ एक क्रमविनिमेय वलय है)। यहां मुख्य अवलोकन यह है कि हम प्राप्त करते हैं $\mathbb {Z} /n\mathbb {Z}$ पूर्णांक रेखा लेकर $\mathbb {Z}$ और इसे अपने चारों ओर लपेटना ताकि विभिन्न पूर्णांकों की पहचान हो सके। ऐसा करने में, हमें 2 आवश्यकताओं को पूरा करना होगा:

1) $n$ चूँकि 0 से पहचाना जाना चाहिए $n$ 0 मॉड्यूलो के अनुरूप है $n$.

2) परिणामी संरचना फिर से एक वलय होनी चाहिए।

दूसरी आवश्यकता हमें अतिरिक्त पहचान बनाने के लिए मजबूर करती है (यानी, यह सटीक तरीका निर्धारित करती है कि हमें किस प्रकार लपेटना चाहिए $\mathbb {Z}$ अपने चारों ओर)। एक आदर्श की धारणा तब उत्पन्न होती है जब हम प्रश्न पूछते हैं:

पूर्णांकों का सटीक सेट क्या है जिसे हमें 0 के साथ पहचानने के लिए मजबूर किया जाता है?

उत्तर, आश्चर्यजनक रूप से, सेट है $n\mathbb {Z} =\{nm\mid m\in \mathbb {Z} \}$ 0 मॉड्यूलो के सर्वांगसम सभी पूर्णांकों का $n$. यानी हमें लपेटना होगा $\mathbb {Z}$ अपने चारों ओर अनंत बार कई बार ताकि पूर्णांक $\ldots ,-2n,-n,n,2n,3n,\ldots$ सभी 0 के साथ संरेखित होंगे। यदि हम देखें कि यह सुनिश्चित करने के लिए इस सेट को किन गुणों को पूरा करना होगा $\mathbb {Z} /n\mathbb {Z}$ एक वलय है, तो हम एक आदर्श की परिभाषा पर पहुंचते हैं। वास्तव में, कोई भी इसे सीधे सत्यापित कर सकता है $n\mathbb {Z}$ का एक आदर्श है $\mathbb {Z}$.

टिप्पणी। 0 के अलावा अन्य तत्वों की भी पहचान की जानी चाहिए। उदाहरण के लिए, इसमें मौजूद तत्व $1+n\mathbb {Z}$ 1, के तत्वों से पहचाना जाना चाहिए $2+n\mathbb {Z}$ 2 से पहचाना जाना चाहिए, इत्यादि। हालाँकि, वे विशिष्ट रूप से निर्धारित होते हैं $n\mathbb {Z}$ तब से $\mathbb {Z}$ एक योगात्मक समूह है.

हम किसी भी क्रमविनिमेय वलय में एक समान निर्माण कर सकते हैं $R$: मनमाने ढंग से शुरू करें $x\in R$, और फिर आदर्श के सभी तत्वों को 0 से पहचानें $xR=\{xr\mid r\in R\}$. यह पता चला है कि आदर्श $xR$ वह सबसे छोटा आदर्श है जिसमें शामिल है $x$, द्वारा उत्पन्न आदर्श कहा जाता है $x$. अधिक सामान्यतः, हम एक मनमाने उपसमुच्चय से शुरुआत कर सकते हैं $S\subseteq R$, और फिर 0 द्वारा उत्पन्न आदर्श के सभी तत्वों की पहचान करें $S$: सबसे छोटा आदर्श $(S)$ ऐसा है कि $S\subseteq (S)$. पहचान के बाद हमें जो अंगूठी मिलती है वह आदर्श पर ही निर्भर करती है $(S)$ और सेट पर नहीं $S$ जिसकी शुरुआत हमने की थी. अर्थात यदि $(S)=(T)$, तो परिणामी वलय समान होंगे।

अतः एक आदर्श $I$ एक क्रमविनिमेय वलय का $R$ के तत्वों की रिंग प्राप्त करने के लिए आवश्यक जानकारी को कैनोनिक रूप से कैप्चर करता है $R$ मॉड्यूलो एक दिया गया उपसमुच्चय $S\subseteq R$. के तत्व $I$परिभाषा के अनुसार, वे हैं जो शून्य के सर्वांगसम हैं, अर्थात, परिणामी वलय में शून्य के साथ पहचाने जाते हैं। परिणामी वलय को भागफल वलय कहा जाता है $R$ द्वारा $I$ और दर्शाया गया है $R/I$. सहज रूप से, एक आदर्श की परिभाषा दो आवश्यक प्राकृतिक स्थितियों को दर्शाती है $I$ द्वारा शून्य के रूप में निर्दिष्ट सभी तत्वों को समाहित करना $R/I$:

1. $I$ का एक योगात्मक उपसमूह है $R$: का शून्य 0 $R$ एक शून्य है $0\in I$, और अगर $x_{1}\in I$ और $x_{2}\in I$ तो फिर शून्य हैं $x_{1}-x_{2}\in I$ एक शून्य भी है.
2. कोई $r\in R$ शून्य से गुणा किया गया $x\in I$ एक शून्य है $rx\in I$.

यह पता चला है कि उपरोक्त स्थितियाँ भी पर्याप्त हैं $I$ सभी आवश्यक शून्य समाहित करने के लिए: किसी भी अन्य तत्व को बनाने के लिए उसे शून्य के रूप में नामित करने की आवश्यकता नहीं है $R/I$. (वास्तव में, यदि हम सबसे कम पहचान करना चाहते हैं तो किसी भी अन्य तत्व को शून्य के रूप में निर्दिष्ट नहीं किया जाना चाहिए।)

टिप्पणी। उपरोक्त निर्माण अभी भी दो-तरफा आदर्शों का उपयोग करते हुए भी काम करता है $R$ आवश्यक रूप से क्रमविनिमेय नहीं है।

उदाहरण और गुण

(संक्षिप्तता के लिए, कुछ परिणाम केवल बाएं आदर्शों के लिए बताए गए हैं, लेकिन आमतौर पर उपयुक्त नोटेशन परिवर्तनों के साथ सही आदर्शों के लिए भी सही हैं।)

• रिंग आर में, सेट आर स्वयं आर का दो-तरफा आदर्श बनाता है जिसे 'इकाई आदर्श' कहा जाता है। इसे प्रायः द्वारा भी दर्शाया जाता है $(1)$ चूँकि यह वास्तव में एकता द्वारा उत्पन्न दोतरफा आदर्श है (नीचे देखें)। $1_{R}$. इसके अलावा, सेट $\{0_{R}\}$ जिसमें केवल योगात्मक पहचान 0 शामिल है_R एक दो-तरफा आदर्श बनाता है जिसे शून्य आदर्श कहा जाता है और इसे द्वारा निरूपित किया जाता है $(0)$. प्रत्येक (बाएँ, दाएँ या दो-तरफा) आदर्श में शून्य आदर्श होता है और इकाई आदर्श में समाहित होता है।
• एक (बाएँ, दाएँ या दो-तरफा) आदर्श जो इकाई आदर्श नहीं है, उचित आदर्श कहलाता है (क्योंकि यह एक उचित उपसमुच्चय है)। नोट: एक वाम आदर्श ${\mathfrak {a}}$ उचित है यदि और केवल यदि इसमें एक इकाई तत्व शामिल नहीं है, क्योंकि यदि $u\in {\mathfrak {a}}$ तो, एक इकाई तत्व है $r=(ru^{-1})u\in {\mathfrak {a}}$ हरएक के लिए $r\in R$. आमतौर पर बहुत सारे उचित आदर्श होते हैं। वास्तव में, यदि R एक तिरछा क्षेत्र है, तो $(0),(1)$ इसके एकमात्र आदर्श हैं और इसके विपरीत: अर्थात्, एक गैर-शून्य वलय R एक तिरछा क्षेत्र है यदि $(0),(1)$ केवल बाएँ (या दाएँ) आदर्श हैं। (प्रमाण: यदि $x$ एक अशून्य तत्व है, तो प्रमुख बायां आदर्श है $Rx$ (नीचे देखें) शून्येतर है और इस प्रकार $Rx=(1)$; अर्थात।, $yx=1$ कुछ अशून्य के लिए $y$. वैसे ही, $zy=1$ कुछ अशून्य के लिए $z$. तब $z=z(yx)=(zy)x=x$.)
• सम पूर्णांक वलय में एक आदर्श बनाते हैं $\mathbb {Z}$ सभी पूर्णांकों का, चूँकि किन्हीं दो सम पूर्णांकों का योग सम होता है, और सम पूर्णांक वाले किसी भी पूर्णांक का गुणनफल भी सम होता है; इस आदर्श को आमतौर पर द्वारा दर्शाया जाता है $2\mathbb {Z}$. अधिक सामान्यतः, एक निश्चित पूर्णांक से विभाज्य सभी पूर्णांकों का समुच्चय $n$ एक आदर्श निरूपित है $n\mathbb {Z}$. वास्तव में, रिंग का प्रत्येक गैर-शून्य आदर्श $\mathbb {Z}$ यूक्लिडियन प्रभाग के परिणामस्वरूप, इसके सबसे छोटे सकारात्मक तत्व द्वारा उत्पन्न होता है $\mathbb {Z}$ एक प्रमुख आदर्श डोमेन है.
• वास्तविक गुणांक वाले सभी बहुपदों का समुच्चय जो बहुपद से विभाज्य हैं $x^{2}+1$ सभी वास्तविक-गुणांक बहुपदों के वलय में एक आदर्श है $\mathbb {R} [x]$.
• एक अंगूठी लें $R$ और सकारात्मक पूर्णांक $n$. प्रत्येक के लिए $1\leq i\leq n$, सभी का सेट $n\times n$ प्रविष्टियों के साथ मैट्रिक्स (गणित)। $R$ किसका $i$-वीं पंक्ति शून्य है, रिंग में एक सही आदर्श है $M_{n}(R)$ के सभी $n\times n$ प्रविष्टियों के साथ मैट्रिक्स $R$. यह कोई वामपंथी आदर्श नहीं है. इसी प्रकार, प्रत्येक के लिए $1\leq j\leq n$, सभी का सेट $n\times n$ मैट्रिक्स जिसका $j$-वाँ स्तंभ शून्य बाएँ आदर्श है लेकिन दाएँ आदर्श नहीं है।
• अंगूठी $C(\mathbb {R} )$ सभी सतत कार्यों का $f$ से $\mathbb {R}$ को $\mathbb {R}$ बिंदुवार गुणन के अंतर्गत सभी सतत फलनों का आदर्श समाहित होता है $f$ ऐसा है कि $f(1)=0$.में एक और आदर्श $C(\mathbb {R} )$ उन फ़ंक्शंस द्वारा दिया जाता है जो पर्याप्त बड़े तर्कों के लिए गायब हो जाते हैं, यानी वे निरंतर फ़ंक्शंस $f$ जिसके लिए एक संख्या मौजूद है $L>0$ ऐसा है कि $f(x)=0$ जब कभी भी $|x|>L$.
• एक वलय को साधारण वलय कहा जाता है यदि यह शून्येतर है और इसके अलावा कोई दो-तरफा आदर्श नहीं है $(0),(1)$. इस प्रकार, एक तिरछा क्षेत्र सरल है और एक सरल क्रमविनिमेय वलय एक क्षेत्र है। तिरछा क्षेत्र पर मैट्रिक्स रिंग एक साधारण रिंग है।
• अगर $f:R\to S$ एक रिंग समरूपता है, फिर कर्नेल $\ker(f)=f^{-1}(0_{S})$ का दोतरफा आदर्श है $R$. परिभाषा से, $f(1_{R})=1_{S}$, और इस प्रकार यदि $S$ शून्य वलय नहीं है (इसलिए) $1_{S}\neq 0_{S}$), तब $\ker(f)$ एक उचित आदर्श है. अधिक सामान्यतः, S के प्रत्येक बाएँ आदर्श I के लिए, पूर्व-छवि $f^{-1}(I)$ एक वामपंथी आदर्श है. यदि I, R का वाम आदर्श है, तो $f(I)$ सबरिंग का बायां आदर्श है $f(R)$ S का: जब तक कि f विशेषण न हो, $f(I)$ S का आदर्श होना आवश्यक नहीं है; नीचे एक आदर्श का #विस्तार और संकुचन भी देखें।
• 'आदर्श पत्राचार': एक विशेषण वलय समरूपता को देखते हुए $f:R\to S$, बाएं (सम्मानित दाएं, दो तरफा) आदर्शों के बीच एक विशेषण क्रम-संरक्षण पत्राचार है $R$ की गिरी युक्त $f$ और बाएं (सम्मान दाएं, दो तरफा) के आदर्श $S$: पत्राचार द्वारा दिया गया है $I\mapsto f(I)$ और पूर्व छवि $J\mapsto f^{-1}(J)$. इसके अलावा, क्रमविनिमेय वलय के लिए, यह विशेषण पत्राचार प्रधान आदर्शों, अधिकतम आदर्शों और मूल आदर्शों तक सीमित है (इन आदर्शों की परिभाषाओं के लिए आदर्श_(रिंग_सिद्धांत)#प्रकार_के_आदर्श अनुभाग देखें)।
• (उन लोगों के लिए जो मॉड्यूल जानते हैं) यदि एम एक बायां आर-मॉड्यूल है और $S\subset M$ एक उपसमुच्चय, फिर संहारक (रिंग सिद्धांत) $\operatorname {Ann} _{R}(S)=\{r\in R\mid rs=0,s\in S\}$ S का बायाँ आदर्श है। आदर्श दिये ${\mathfrak {a}},{\mathfrak {b}}$ एक क्रमविनिमेय वलय R का, R-विनाशकारी $({\mathfrak {b}}+{\mathfrak {a}})/{\mathfrak {a}}$ R का एक आदर्श है जिसे का आदर्श भागफल कहा जाता है ${\mathfrak {a}}$ द्वारा ${\mathfrak {b}}$ और द्वारा दर्शाया गया है $({\mathfrak {a}}:{\mathfrak {b}})$; यह क्रमविनिमेय बीजगणित में आदर्शवादी का एक उदाहरण है।
• होने देना ${\mathfrak {a}}_{i},i\in S$ एक वलय आर में बाएं आदर्शों की एक आरोही श्रृंखला बनें; अर्थात।, $S$ एक पूरी तरह से व्यवस्थित सेट है और ${\mathfrak {a}}_{i}\subset {\mathfrak {a}}_{j}$ प्रत्येक के लिए $i<j$. फिर संघ $\textstyle \bigcup _{i\in S}{\mathfrak {a}}_{i}$ R का बायाँ आदर्श है। (नोट: यह तथ्य तब भी सत्य रहता है जब R एकता 1 के बिना हो।)
• उपरोक्त तथ्य ज़ोर्न के लेम्मा के साथ मिलकर निम्नलिखित सिद्ध होता है: यदि $E\subset R$ संभवतः एक खाली उपसमुच्चय है और ${\mathfrak {a}}_{0}\subset R$ एक बायाँ आदर्श है जो E से असंयुक्त है, तो एक ऐसा आदर्श है जो युक्त आदर्शों में अधिकतम है ${\mathfrak {a}}_{0}$ और ई से असंयुक्त। (फिर से यह तब भी मान्य है यदि वलय आर में एकता 1 का अभाव है।) जब $R\neq 0$, ले रहा ${\mathfrak {a}}_{0}=(0)$ और $E=\{1\}$, विशेष रूप से, एक बायाँ आदर्श मौजूद है जो उचित बाएँ आदर्शों में अधिकतम है (अक्सर इसे केवल अधिकतम बाएँ आदर्श कहा जाता है); अधिक के लिए क्रुल का प्रमेय देखें।
• आदर्शों का एक मनमाना संघ एक आदर्श होना आवश्यक नहीं है, लेकिन निम्नलिखित अभी भी सत्य है: R का संभवतः खाली उपसमूह $RX$. ऐसा आदर्श मौजूद है क्योंकि यह एक्स वाले सभी बाएं आदर्शों का प्रतिच्छेदन है। समान रूप से, $RX$ सभी रैखिक संयोजनों का सेट है|(परिमित) आर पर एक्स के तत्वों के बाएं आर-रैखिक संयोजन:

  $RX=\{r_{1}x_{1}+\dots +r_{n}x_{n}\mid n\in \mathbb {N} ,r_{i}\in R,x_{i}\in X\}.$

(चूँकि ऐसा स्पैन X युक्त सबसे छोटा बायाँ आदर्श है।) एक्स द्वारा उत्पन्न एक सही (सम्मानित दो-तरफा) आदर्श को इसी तरह से परिभाषित किया गया है। दो-तरफा के लिए, दोनों तरफ से रैखिक संयोजनों का उपयोग करना होगा; अर्थात।,

$RXR=\{r_{1}x_{1}s_{1}+\dots +r_{n}x_{n}s_{n}\mid n\in \mathbb {N} ,r_{i}\in R,s_{i}\in R,x_{i}\in X\}.\,$

• एकल तत्व x द्वारा उत्पन्न बाएँ (सम्मान दाएँ, दो-तरफा) आदर्श को x द्वारा उत्पन्न मुख्य बाएँ (सम्मान दाएँ, दो-तरफा) आदर्श कहा जाता है और इसे निरूपित किया जाता है $Rx$ (सम्मान. $xR,RxR$). प्रमुख दोतरफा आदर्श $RxR$ प्रायः द्वारा भी निरूपित किया जाता है $(x)$. अगर $X=\{x_{1},\dots ,x_{n}\}$ तो, यह एक परिमित समुच्चय है $RXR$ के रूप में भी लिखा गया है $(x_{1},\dots ,x_{n})$.
• रिंग पर आदर्शों और सर्वांगसमता संबंधों (समतुल्यता संबंध जो रिंग संरचना का सम्मान करते हैं) के बीच एक विशेषण पत्राचार है: एक आदर्श दिया गया है $I$ एक अंगूठी का $R$, होने देना $x\sim y$ अगर $x-y\in I$. तब $\sim$ पर एक सर्वांगसमता संबंध है $R$. इसके विपरीत, एक सर्वांगसमता संबंध दिया गया है $\sim$ पर $R$, होने देना $I=\{x\in R:x\sim 0\}$. तब $I$ का एक आदर्श है $R$.

आदर्शों के प्रकार

विवरण को सरल बनाने के लिए सभी वलय को क्रमविनिमेय माना गया है। गैर-विनिमेय मामले पर संबंधित लेखों में विस्तार से चर्चा की गई है।

आदर्श महत्वपूर्ण हैं क्योंकि वे वलय समरूपता के कर्नेल के रूप में प्रकट होते हैं और कारक वलय को परिभाषित करने की अनुमति देते हैं। विभिन्न प्रकार के आदर्शों का अध्ययन किया जाता है क्योंकि उनका उपयोग विभिन्न प्रकार के कारक वलय बनाने के लिए किया जा सकता है।

• 'अधिकतम आदर्श': एक उचित आदर्श I को अधिकतम आदर्श कहा जाता है यदि इसके साथ कोई अन्य उचित आदर्श J मौजूद नहीं है I जे का एक उचित उपसमुच्चय। अधिकतम आदर्श का कारक वलय सामान्य रूप से एक साधारण वलय है और क्रमविनिमेय वलय के लिए एक क्षेत्र (गणित) है।
• न्यूनतम आदर्श: एक गैर-शून्य आदर्श को न्यूनतम कहा जाता है यदि इसमें कोई अन्य गैर-शून्य आदर्श न हो।
• प्रधान आदर्श: एक उचित आदर्श $I$ किसी के लिए एक प्रमुख आदर्श कहा जाता है $a$ और $b$ में $R$, अगर $ab$ में है $I$, तो कम से कम एक $a$ और $b$ में है $I$. एक अभाज्य आदर्श का कारक वलय सामान्य रूप से एक अभाज्य वलय है और क्रमविनिमेय वलय के लिए एक अभिन्न डोमेन है।
• किसी आदर्श या अर्धप्रधान आदर्श का मूलांक: एक उचित आदर्श I को रैडिकल या सेमीप्राइम कहा जाता है यदि आर में किसी ए के लिए, यदि एⁿमें है I कुछ n के लिए, तो a अंदर है I. रेडिकल आदर्श का कारक वलय सामान्य वलय के लिए एक सेमीप्राइम रिंग है, और क्रमविनिमेय वलय के लिए एक कम वलय है।
• प्राथमिक आदर्श: एक आदर्श I को प्राथमिक आदर्श कहा जाता है यदि आर में सभी ए और बी के लिए, यदि एबी अंदर है I, तो ए और बी में से कम से कम एकⁿमें है I कुछ प्राकृत संख्या n के लिए। प्रत्येक प्रमुख आदर्श प्राथमिक होता है, लेकिन इसके विपरीत नहीं। एक अर्धप्रधान प्राथमिक आदर्श प्रधान होता है।
• 'प्रधान आदर्श': एक तत्व से उत्पन्न आदर्श।
• परिमित रूप से उत्पन्न आदर्श: इस प्रकार का आदर्श एक मॉड्यूल के रूप में परिमित रूप से उत्पन्न मॉड्यूल है।
• आदिम आदर्श: एक बायाँ आदिम आदर्श एक साधारण मॉड्यूल बाएँ मॉड्यूल (गणित) का विनाशक (रिंग सिद्धांत) है।
• अपरिवर्तनीय आदर्श: एक आदर्श को अपरिवर्तनीय कहा जाता है यदि इसे उन आदर्शों के प्रतिच्छेदन के रूप में नहीं लिखा जा सकता है जो इसे ठीक से समाहित करते हैं।
• कॉमैक्सिमल आदर्श: दो आदर्श ${\mathfrak {i}},{\mathfrak {j}}$ यदि कोमैक्सिमल कहा जाता है $x+y=1$ कुछ के लिए $x\in {\mathfrak {i}}$ और $y\in {\mathfrak {j}}$.
• नियमित आदर्श: इस शब्द के कई उपयोग हैं। सूची के लिए आलेख देखें.
• शून्य आदर्श: एक आदर्श एक शून्य आदर्श होता है यदि उसका प्रत्येक तत्व शून्य है।
• निलपोटेंट आदर्श : इसकी कुछ शक्ति शून्य होती है।
• पैरामीटर आदर्श: मापदंडों की एक प्रणाली द्वारा उत्पन्न एक आदर्श।

आदर्श का उपयोग करने वाले दो अन्य महत्वपूर्ण शब्द हमेशा अपनी अंगूठी के आदर्श नहीं होते हैं। विवरण के लिए उनके संबंधित लेख देखें:

• आंशिक आदर्श: इसे आमतौर पर तब परिभाषित किया जाता है जब आर भागफल क्षेत्र के वाला एक क्रमविनिमेय डोमेन होता है। उनके नाम के बावजूद, भिन्नात्मक आदर्श एक विशेष संपत्ति के साथ आर के उपमॉड्यूल हैं। यदि भिन्नात्मक आदर्श पूरी तरह से आर में निहित है, तो यह वास्तव में आर का एक आदर्श है।
• उलटा आदर्श: आमतौर पर एक उलटा आदर्श ए को एक भिन्नात्मक आदर्श के रूप में परिभाषित किया जाता है जिसके लिए एक और भिन्नात्मक आदर्श बी होता है जैसे कि AB = BA = R. कुछ लेखक व्युत्क्रमणीय आदर्श को साधारण वलय आदर्श ए और बी पर भी लागू कर सकते हैं AB = BA = Rडोमेन के अलावा अन्य रिंगों में।

आदर्श संचालन

आदर्शों का योग और उत्पाद इस प्रकार परिभाषित किया गया है। के लिए ${\mathfrak {a}}$ और ${\mathfrak {b}}$, एक वलय R के बाएँ (सम्मान दाएँ) आदर्श, उनका योग है

${\mathfrak {a}}+{\mathfrak {b}}:=\{a+b\mid a\in {\mathfrak {a}}{\mbox{ and }}b\in {\mathfrak {b}}\}$,

जो बाएँ (सम्मान दाएँ) आदर्श है, और अगर ${\mathfrak {a}},{\mathfrak {b}}$ दो तरफा हैं,

${\mathfrak {a}}{\mathfrak {b}}:=\{a_{1}b_{1}+\dots +a_{n}b_{n}\mid a_{i}\in {\mathfrak {a}}{\mbox{ and }}b_{i}\in {\mathfrak {b}},i=1,2,\dots ,n;{\mbox{ for }}n=1,2,\dots \},$

यानी उत्पाद ab के साथ ab रूप के सभी उत्पादों द्वारा उत्पन्न आदर्श है ${\mathfrak {a}}$ और बी में ${\mathfrak {b}}$.

टिप्पणी ${\mathfrak {a}}+{\mathfrak {b}}$ सबसे छोटा बायां (सम्मान दाएं) आदर्श है जिसमें दोनों शामिल हैं ${\mathfrak {a}}$ और ${\mathfrak {b}}$ (या संघ ${\mathfrak {a}}\cup {\mathfrak {b}}$), जबकि उत्पाद ${\mathfrak {a}}{\mathfrak {b}}$ के प्रतिच्छेदन में समाहित है ${\mathfrak {a}}$ और ${\mathfrak {b}}$.

वितरणात्मक कानून दोतरफा आदर्शों को मानता है ${\mathfrak {a}},{\mathfrak {b}},{\mathfrak {c}}$,

• ${\mathfrak {a}}({\mathfrak {b}}+{\mathfrak {c}})={\mathfrak {a}}{\mathfrak {b}}+{\mathfrak {a}}{\mathfrak {c}}$,
• $({\mathfrak {a}}+{\mathfrak {b}}){\mathfrak {c}}={\mathfrak {a}}{\mathfrak {c}}+{\mathfrak {b}}{\mathfrak {c}}$.

यदि किसी उत्पाद को किसी प्रतिच्छेदन द्वारा प्रतिस्थापित किया जाता है, तो आंशिक वितरण कानून लागू होता है:

${\mathfrak {a}}\cap ({\mathfrak {b}}+{\mathfrak {c}})\supset {\mathfrak {a}}\cap {\mathfrak {b}}+{\mathfrak {a}}\cap {\mathfrak {c}}$

यदि समानता कायम है ${\mathfrak {a}}$ रोकना ${\mathfrak {b}}$ या ${\mathfrak {c}}$.

टिप्पणी: आदर्शों का योग और प्रतिच्छेदन फिर से एक आदर्श है; जुड़ने और मिलने जैसी इन दो संक्रियाओं के साथ, किसी दिए गए रिंग के सभी आदर्शों का सेट एक पूर्ण जाली मॉड्यूलर जाली बनाता है। जाली, सामान्यतः, एक वितरणात्मक जाली नहीं है। प्रतिच्छेदन, योग (या जुड़ाव) और उत्पाद के तीन संचालन क्रमविनिमेय वलय के आदर्शों के समुच्चय को कितना में बनाते हैं।

अगर ${\mathfrak {a}},{\mathfrak {b}}$ फिर, क्रमविनिमेय वलय R के आदर्श हैं ${\mathfrak {a}}\cap {\mathfrak {b}}={\mathfrak {a}}{\mathfrak {b}}$ निम्नलिखित दो मामलों में (कम से कम)

• ${\mathfrak {a}}+{\mathfrak {b}}=(1)$
• ${\mathfrak {a}}$ उन तत्वों द्वारा उत्पन्न होता है जो एक नियमित अनुक्रम मॉड्यूलो बनाते हैं ${\mathfrak {b}}$.

(अधिक सामान्यतः, किसी उत्पाद और आदर्शों के प्रतिच्छेदन के बीच का अंतर टोर काम करता है द्वारा मापा जाता है: $\operatorname {Tor} _{1}^{R}(R/{\mathfrak {a}},R/{\mathfrak {b}})=({\mathfrak {a}}\cap {\mathfrak {b}})/{\mathfrak {a}}{\mathfrak {b}}.$)

यदि आदर्शों की प्रत्येक जोड़ी के लिए एक अभिन्न डोमेन को डेडेकाइंड डोमेन कहा जाता है ${\mathfrak {a}}\subset {\mathfrak {b}}$, एक आदर्श है ${\mathfrak {c}}$ ऐसा है कि ${\mathfrak {\mathfrak {a}}}={\mathfrak {b}}{\mathfrak {c}}$. फिर यह दिखाया जा सकता है कि डेडेकाइंड डोमेन के प्रत्येक गैर-शून्य आदर्श को विशिष्ट रूप से अधिकतम आदर्शों के उत्पाद के रूप में लिखा जा सकता है, जो अंकगणित के मौलिक प्रमेय का सामान्यीकरण है।

आदर्श संचालन के उदाहरण

में $\mathbb {Z}$ अपने पास

$(n)\cap (m)=\operatorname {lcm} (n,m)\mathbb {Z}$

तब से $(n)\cap (m)$ पूर्णांकों का वह समुच्चय है जो दोनों से विभाज्य है $n$ और $m$.

होने देना $R=\mathbb {C} [x,y,z,w]$ और जाने ${\mathfrak {a}}=(z,w),{\mathfrak {b}}=(x+z,y+w),{\mathfrak {c}}=(x+z,w)$. तब,

• ${\mathfrak {a}}+{\mathfrak {b}}=(z,w,x+z,y+w)=(x,y,z,w)$ और ${\mathfrak {a}}+{\mathfrak {c}}=(z,w,x+z)$
• ${\mathfrak {a}}{\mathfrak {b}}=(z(x+z),z(y+w),w(x+z),w(y+w))=(z^{2}+xz,zy+wz,wx+wz,wy+w^{2})$
• ${\mathfrak {a}}{\mathfrak {c}}=(xz+z^{2},zw,xw+zw,w^{2})$
• ${\mathfrak {a}}\cap {\mathfrak {b}}={\mathfrak {a}}{\mathfrak {b}}$ जबकि ${\mathfrak {a}}\cap {\mathfrak {c}}=(w,xz+z^{2})\neq {\mathfrak {a}}{\mathfrak {c}}$

पहली गणना में, हम दो अंतिम रूप से उत्पन्न आदर्शों का योग लेने के लिए सामान्य पैटर्न देखते हैं, यह उनके जनरेटर के मिलन से उत्पन्न आदर्श है। पिछले तीन में हम देखते हैं कि जब भी दो आदर्श शून्य आदर्श में प्रतिच्छेद करते हैं तो उत्पाद और प्रतिच्छेदन सहमत होते हैं। इन गणनाओं को मैकाले 2 का उपयोग करके जांचा जा सकता है।

वलय का मूलांक

Main article: Radical of a ring

मॉड्यूल के अध्ययन में आदर्श स्वाभाविक रूप से प्रकट होते हैं, विशेषकर रेडिकल के रूप में।

सरलता के लिए, हम क्रमविनिमेय वलय के साथ काम करते हैं लेकिन, कुछ बदलावों के साथ, परिणाम गैर-अनुक्रमिक वलय के लिए भी सही होते हैं।

माना R एक क्रमविनिमेय वलय है। परिभाषा के अनुसार, R का एक आदिम आदर्श एक (गैर-शून्य) सरल मॉड्यूल|सरल आर-मॉड्यूल का विनाशक है। जैकबसन कट्टरपंथी $J=\operatorname {Jac} (R)$ आर का प्रतिच्छेदन सभी आदिम आदर्शों का प्रतिच्छेदन है। समान रूप से,

$J=\bigcap _{{\mathfrak {m}}{\text{ maximal ideals}}}{\mathfrak {m}}.$

वास्तव में, यदि $M$ एक सरल मॉड्यूल है और x, M में एक अशून्य तत्व है $Rx=M$ और $R/\operatorname {Ann} (M)=R/\operatorname {Ann} (x)\simeq M$, अर्थ $\operatorname {Ann} (M)$ एक अधिकतम आदर्श है. इसके विपरीत, यदि ${\mathfrak {m}}$ तो यह एक अधिकतम आदर्श है ${\mathfrak {m}}$ सरल आर-मॉड्यूल का विनाशक है $R/{\mathfrak {m}}$. एक अन्य लक्षण वर्णन भी है (प्रमाण कठिन नहीं है):

$J=\{x\in R\mid 1-yx\,{\text{ is a unit element for every }}y\in R\}.$

एक गैर-आवश्यक-विनिमेय वलय के लिए, यह एक सामान्य तथ्य है $1-yx$ एक इकाई तत्व है यदि और केवल यदि $1-xy$ है (लिंक देखें) और इसलिए यह अंतिम लक्षण वर्णन दर्शाता है कि रेडिकल को बाएँ और दाएँ आदिम आदर्शों दोनों के संदर्भ में परिभाषित किया जा सकता है।

निम्नलिखित सरल लेकिन महत्वपूर्ण तथ्य (नाकायमा का लेम्मा) जैकबसन रेडिकल की परिभाषा में अंतर्निहित है: यदि एम एक मॉड्यूल है जैसे कि $JM=M$, तो एम अधिकतम सबमॉड्यूल को स्वीकार नहीं करता है, क्योंकि यदि कोई अधिकतम सबमॉड्यूल है $L\subsetneq M$, $J\cdot (M/L)=0$ इसलिए $M=JM\subset L\subsetneq M$, एक विरोधाभास. चूँकि एक गैर-शून्य परिमित रूप से उत्पन्न मॉड्यूल एक अधिकतम सबमॉड्यूल को स्वीकार करता है, विशेष रूप से, एक में:

अगर $JM=M$ और फिर एम अंतिम रूप से उत्पन्न होता है $M=0.$

एक अधिकतम आदर्श एक प्रधान आदर्श होता है और ऐसा किसी के पास भी होता है

$\operatorname {nil} (R)=\bigcap _{{\mathfrak {p}}{\text{ prime ideals }}}{\mathfrak {p}}\subset \operatorname {Jac} (R)$

जहां बाईं ओर के चौराहे को आर की अंगूठी का नीलरेडिकल कहा जाता है। जैसा कि यह पता चला है, $\operatorname {nil} (R)$ R के निलपोटेंट तत्वों का समुच्चय भी है।

यदि R एक आर्टिनियन अंगूठी है, तो $\operatorname {Jac} (R)$ शून्यशक्तिशाली है और $\operatorname {nil} (R)=\operatorname {Jac} (R)$. (प्रमाण: सबसे पहले ध्यान दें कि डीसीसी का तात्पर्य है $J^{n}=J^{n+1}$ कुछ एन के लिए यदि (डीसीसी) ${\mathfrak {a}}\supsetneq \operatorname {Ann} (J^{n})$ तो, बाद वाले की तुलना में यह एक आदर्श रूप से न्यूनतम है $J\cdot ({\mathfrak {a}}/\operatorname {Ann} (J^{n}))=0$. वह है, $J^{n}{\mathfrak {a}}=J^{n+1}{\mathfrak {a}}=0$, एक विरोधाभास।)

आदर्श का विस्तार और संकुचन

मान लीजिए कि A और B दो क्रमविनिमेय वलय हैं, और f : A → B एक वलय समरूपता है। अगर ${\mathfrak {a}}$ तो, ए में एक आदर्श है $f({\mathfrak {a}})$ B में एक आदर्श होने की आवश्यकता नहीं है (उदाहरण के लिए f को परिमेय 'Q' के क्षेत्र में पूर्णांक 'Z' के वलय का समावेशन मानचित्र मानें)। विस्तृति' ${\mathfrak {a}}^{e}$ का ${\mathfrak {a}}$ बी में बी द्वारा उत्पन्न आदर्श को परिभाषित किया गया है $f({\mathfrak {a}})$. स्पष्ट रूप से,

${\mathfrak {a}}^{e}={\Big \{}\sum y_{i}f(x_{i}):x_{i}\in {\mathfrak {a}},y_{i}\in B{\Big \}}$

अगर ${\mathfrak {b}}$ तो, B का एक आदर्श है $f^{-1}({\mathfrak {b}})$ सदैव A का एक आदर्श होता है, जिसे 'संकुचन' कहा जाता है ${\mathfrak {b}}^{c}$ का ${\mathfrak {b}}$ ए को.

यह मानते हुए कि f : A → B एक वलय समरूपता है, ${\mathfrak {a}}$ ए में एक आदर्श है, ${\mathfrak {b}}$ B में एक आदर्श है, तो:

• ${\mathfrak {b}}$ बी में प्रमुख है $\Rightarrow$ ${\mathfrak {b}}^{c}$ A में प्रमुख है.
• ${\mathfrak {a}}^{ec}\supseteq {\mathfrak {a}}$
• ${\mathfrak {b}}^{ce}\subseteq {\mathfrak {b}}$

सामान्यतः यह झूठ है ${\mathfrak {a}}$ A में अभाज्य (या अधिकतम) होने का तात्पर्य यह है ${\mathfrak {a}}^{e}$ बी में अभाज्य (या अधिकतम) है। इसके कई उत्कृष्ट उदाहरण बीजगणितीय संख्या सिद्धांत से उपजे हैं। उदाहरण के लिए, एम्बेडिंग $\mathbb {Z} \to \mathbb {Z} \left\lbrack i\right\rbrack$. में $B=\mathbb {Z} \left\lbrack i\right\rbrack$, तत्व 2 कारक जैसे $2=(1+i)(1-i)$ जहां (कोई भी दिखा सकता है) इनमें से कोई भी नहीं $1+i,1-i$ बी में इकाइयां हैं तो $(2)^{e}$ B में अभाज्य नहीं है (और इसलिए अधिकतम भी नहीं है)। वास्तव में, $(1\pm i)^{2}=\pm 2i$ पता चलता है कि $(1+i)=((1-i)-(1-i)^{2})$, $(1-i)=((1+i)-(1+i)^{2})$, और इसलिए $(2)^{e}=(1+i)^{2}$. दूसरी ओर, यदि f विशेषण फलन है और कर्नेल(बीजगणित)|${\mathfrak {a}}\supseteq \ker f$तब:

• ${\mathfrak {a}}^{ec}={\mathfrak {a}}$ और ${\mathfrak {b}}^{ce}={\mathfrak {b}}$.
• ${\mathfrak {a}}$ ए में एक प्रमुख आदर्श है $\Leftrightarrow$ ${\mathfrak {a}}^{e}$ बी में एक प्रमुख आदर्श है.
• ${\mathfrak {a}}$ ए में एक अधिकतम आदर्श है $\Leftrightarrow$ ${\mathfrak {a}}^{e}$ बी में एक अधिकतम आदर्श है.

'टिप्पणी': मान लीजिए कि K, L का क्षेत्र विस्तार है, और मान लीजिए कि B और A क्रमशः K और L के पूर्णांकों का वलय हैं। तब B, A का एक अभिन्न विस्तार है, और हम f को A से B तक समावेशन मानचित्र मानते हैं। एक प्रमुख आदर्श का व्यवहार ${\mathfrak {a}}={\mathfrak {p}}$ A का विस्तार बीजगणितीय संख्या सिद्धांत की केंद्रीय समस्याओं में से एक है।

निम्नलिखित कभी-कभी उपयोगी होता है: एक प्रमुख आदर्श ${\mathfrak {p}}$ एक प्रमुख आदर्श का संकुचन है यदि और केवल यदि ${\mathfrak {p}}={\mathfrak {p}}^{ec}$. (प्रमाण: बाद वाले को मानते हुए, ध्यान दें ${\mathfrak {p}}^{e}B_{\mathfrak {p}}=B_{\mathfrak {p}}\Rightarrow {\mathfrak {p}}^{e}$ काटती है $A-{\mathfrak {p}}$, एक विरोधाभास. अब, के प्रमुख आदर्श $B_{\mathfrak {p}}$ बी में उन लोगों के अनुरूप है जो से असंयुक्त हैं $A-{\mathfrak {p}}$. अत: एक प्रमुख आदर्श है ${\mathfrak {q}}$ बी का, से असंयुक्त $A-{\mathfrak {p}}$, ऐसा है कि ${\mathfrak {q}}B_{\mathfrak {p}}$ एक अधिकतम आदर्श युक्त है ${\mathfrak {p}}^{e}B_{\mathfrak {p}}$. फिर कोई उसकी जांच करता है ${\mathfrak {q}}$ पर पड़ा है ${\mathfrak {p}}$. उलटा स्पष्ट है।)

सामान्यीकरण

आदर्शों को किसी भी मोनोइड वस्तु के लिए सामान्यीकृत किया जा सकता है $(R,\otimes )$, कहाँ $R$ वह वस्तु है जहां मोनोइड संरचना भूलने योग्य फ़ैक्टर रही है। का एक वामपंथी आदर्श $R$ एक उपवस्तु है $I$ जो के तत्वों द्वारा बाईं ओर से गुणन को अवशोषित करता है $R$; वह है, $I$ यह एक वाम आदर्श है यदि यह निम्नलिखित दो शर्तों को पूरा करता है:

1. $I$ का एक उपविषय है $R$
2. हरएक के लिए $r\in (R,\otimes )$ और हर $x\in (I,\otimes )$, उत्पाद $r\otimes x$ में है $(I,\otimes )$.

एक सही आदर्श को स्थिति से परिभाषित किया जाता है$r\otimes x\in (I,\otimes )$द्वारा प्रतिस्थापित '$x\otimes r\in (I,\otimes )$. दो-तरफा आदर्श एक बायाँ आदर्श है जो एक दायाँ आदर्श भी है, और कभी-कभी इसे केवल एक आदर्श कहा जाता है। कब $R$ क्रमशः एक क्रमविनिमेय मोनोइड वस्तु है, बाएँ, दाएँ और दो-तरफा आदर्श की परिभाषाएँ मेल खाती हैं, और आदर्श शब्द का प्रयोग अकेले किया जाता है।

एक आदर्श को एक विशिष्ट प्रकार के मॉड्यूल_(गणित)| के रूप में भी सोचा जा सकता हैR-मापांक। अगर हम विचार करें $R$ बाएँ के रूप में $R$-मॉड्यूल (बाएं गुणन द्वारा), फिर एक बायां आदर्श $I$ वास्तव में यह केवल एक बायां मॉड्यूल_(गणित)#सबमॉड्यूल_और_होमोमोर्फिज्म|उप-मॉड्यूल है $R$. दूसरे शब्दों में, $I$ का बाएँ (दाएँ) आदर्श है $R$ यदि और केवल यदि यह बाएँ (दाएँ) है $R$-मॉड्यूल जो का एक उपसमुच्चय है $R$. $I$ यदि यह एक उप- है तो यह दो-तरफा आदर्श है$R$-बिमॉड्यूल का $R$.

उदाहरण: यदि हम जाने दें $R=\mathbb {Z}$, का एक आदर्श $\mathbb {Z}$ एक एबेलियन समूह है जो एक उपसमुच्चय है $\mathbb {Z}$, अर्थात। $m\mathbb {Z}$ कुछ के लिए $m\in \mathbb {Z}$. तो ये सारे आदर्श देते हैं $\mathbb {Z}$.

यह भी देखें

• मॉड्यूलर अंकगणित
• नोएदर समरूपता प्रमेय
• बूलियन प्राइम आदर्श प्रमेय
• आदर्श सिद्धांत
• आदर्श (आदेश सिद्धांत)
• आदर्श आदर्श
• गैलोज़ एक्सटेंशन में प्रमुख आदर्शों का विभाजन
• आदर्श शीफ

संदर्भ

• Atiyah, Michael F.; Macdonald, Ian G. (1969). Introduction to Commutative Algebra. Perseus Books. ISBN 0-201-00361-9.
• Dummit, David Steven; Foote, Richard Martin (2004). Abstract algebra (Third ed.). Hoboken, NJ: John Wiley & Sons, Inc. ISBN 9780471433347.
• Lang, Serge (2005). Undergraduate Algebra (Third ed.). Springer-Verlag. ISBN 978-0-387-22025-3.
• Hazewinkel, Michiel; Gubareni, Nadiya; Gubareni, Nadezhda Mikhaĭlovna; Kirichenko, Vladimir V. (2004). Algebras, rings and modules. Vol. 1. Springer. ISBN 1-4020-2690-0.
• Milnor, John Willard (1971). Introduction to algebraic K-theory. Annals of Mathematics Studies. Vol. 72. Princeton, NJ: Princeton University Press. ISBN 9780691081014. MR 0349811. Zbl 0237.18005.

बाहरी संबंध

• Levinson, Jake (July 14, 2014). "The Geometric Interpretation for Extension of Ideals?". Stack Exchange.