वलय सिद्धांत: Difference between revisions

[[बीजगणित]] में, '''वलय सिद्धांत''' वलयों (गणित) का अध्ययन है<ref>Ring theory may include also the study of [[rng (algebra)|rngs]].</ref>—बीजगणितीय संरचनाएं जिनमें जोड़ और गुणन परिभाषित हैं और [[पूर्णांक|पूर्णांकों]] के लिए परिभाषित उन संक्रियाओं के समान गुण हैं। वलय सिद्धांत वलयों की संरचना का अध्ययन करता है, बीजगणित का उनका प्रतिनिधित्व, या, अलग-अलग भाषा में, अनुखंड (वलय सिद्धांत), वलयों की विशेष कक्षाएं (समूह के वलय, विभाजन के वलय, सार्वभौमिक आवरण बीजगणित), साथ ही गुणों की सरणी जो सिद्धांत के अन्दर और इसके अनुप्रयोगों के लिए, जैसे समरूप बीजगणित और बहुपद पहचान वलय, दोनों के लिए अनुकूल सिद्ध हुआ।

क्रमविनिमेय वलय गैर क्रमविनिमेय वाले की तुलना में बहुत उत्तम समझे जाते हैं। [[बीजगणितीय ज्यामिति]] और [[बीजगणितीय संख्या सिद्धांत]], जो क्रमविनिमेय वलयों के कई प्राकृतिक उदाहरण प्रदान करते हैं, ने क्रमविनिमेय वलय सिद्धांत के विकास को बहुत प्रेरित किया है, जो अब [[क्रमविनिमेय बीजगणित]] के नाम से आधुनिक गणित का प्रमुख क्षेत्र है। क्योंकि ये तीन क्षेत्र (बीजगणितीय ज्यामिति, बीजगणितीय संख्या सिद्धांत और क्रमविनिमेय बीजगणित) इतने घनिष्ठ रूप से जुड़े हुए हैं कि सामान्यतः यह तय करना कठिन और अर्थहीन होता है कि कोई विशेष परिणाम किस क्षेत्र से संबंधित है। उदाहरण के लिए, हिल्बर्ट का नलस्टेलेंसज़ प्रमेय है जो बीजगणितीय ज्यामिति के लिए मौलिक है, और इसे क्रमविनिमेय बीजगणित के संदर्भ में कहा और सिद्ध किया गया है। इसी प्रकार, फ़र्मेट की अंतिम प्रमेय को प्राथमिक [[अंकगणित]] के संदर्भ में कहा गया है, जो क्रमविनिमेय बीजगणित का भाग है, किन्तु इसके प्रमाण में बीजगणितीय संख्या सिद्धांत और बीजगणितीय ज्यामिति दोनों के आन्तरिक परिणाम सम्मिलित हैं।

गैर-अनुवर्ती वलय अनुमान में अधिक भिन्न होते हैं, क्योंकि अधिक असामान्य व्यवहार उत्पन्न हो सकता है। चूँकि सिद्धांत अपने आप में विकसित हुआ है, नवीनतम प्रवृत्ति ने ज्यामितीय प्रचलन में गैर-अनुक्रमिक वलयों के कुछ वर्गों के सिद्धांत का निर्माण करके क्रमविनिमेय विकास को समानांतर करने का अनुरोध किया है जैसे कि वे (अस्तित्वहीन) 'गैर-अनुक्रमिक रिक्त स्थान पर फलन के वलय थे। यह प्रवृत्ति 1980 के दशक में गैर-अनुक्रमिक ज्यामिति के विकास और [[क्वांटम समूह|क्वांटम समूहों]] की खोज के साथ प्रारंभ हुई। इसने गैर-अनुविन्यस्त वलयों विशेषकर गैर-अनुविनिमेय [[नोथेरियन रिंग|नोथेरियन]] वलयों की उत्तम समझ उत्पन्न की है।{{sfnp|Goodearl| Warfield|1989}}

 

==क्रमविनिमेय वलयों==

{{Main|क्रमविनिमेय बीजगणित}}

 

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

{{Main|बीजगणितीय ज्यामिति}}

 

बीजगणितीय ज्यामिति कई प्रकार से क्रमविनिमेय बीजगणित की दर्पण प्रतिबिंब है। यह पत्राचार हिल्बर्ट के नलस्टेलेंसज़ के साथ प्रारंभ हुआ जो बीजगणितीय विविधता के बिंदुओं के बीच एक-से-पत्राचार स्थापित करता है, और इसकी समन्वय वलय के [[अधिकतम आदर्श|अधिकतम आदर्शों]] को स्थापित करता है। इस पत्राचार को संबंधित क्रमविनिमेय वलयों के बीजगणितीय गुणों में [[बीजगणितीय किस्म|बीजगणितीय प्रकारों]] के अधिकांश ज्यामितीय गुणों के अनुवाद (और सिद्ध करने) के लिए विस्तारित और व्यवस्थित किया गया है। [[अलेक्जेंडर ग्रोथेंडिक]] ने बीजगणितीय प्रकारों के सामान्यीकरण, [[योजना (गणित)]] का प्रारंभ करके इसे पूरा किया, जिसे किसी भी क्रमविनिमेय वलय से बनाया जा सकता है।  

 

अधिक त्रुटिहीन रूप से क्रमविनिमेय वलय के वलय का वर्णक्रम इसके प्रमुख आदर्शों का स्थान है जो [[जरिस्की टोपोलॉजी]] से सुसज्जित है, और वलयों के [[शीफ (गणित)]] के साथ संवर्धित है। ये वस्तुएं एफ़िन योजनाएं हैं (एफ़ाइन प्रकारों का सामान्यीकरण), और सामान्य योजना तब साथ ग्लूइंग (विशुद्ध रूप से बीजगणितीय विधियों द्वारा) प्राप्त की जाती है, ऐसी कई एफ़िन योजनाएं, [[एटलस (टोपोलॉजी)]] का [[चार्ट (टोपोलॉजी)]] को एक साथ ग्लूइंग करके [[कई गुना]] बनाने के तरीके के अनुरूप होती हैं।

 

 

अक्रमानुक्रमिक वलय कई प्रकार से आव्यूह (गणित) के वलयों से मिलते जुलते हैं। बीजगणितीय ज्यामिति के मॉडल के बाद, नवीनतम में गैर-अनुक्रमिक ज्यामिति को गैर-अनुक्रमिक वलयों के आधार पर परिभाषित करने का प्रयास किया गया है।

गैर-अनुवर्ती वलय और [[साहचर्य बीजगणित]] (अंगूठियां जो सदिश स्थान भी हैं) का अधिकांश अनुखंड के उनके [[श्रेणी सिद्धांत]] के माध्यम से अध्ययन किया जाता है। वलय पर [[मॉड्यूल (गणित)|अनुखंड (गणित)]] एबेलियन [[समूह (गणित)]] है जो वलय [[एंडोमोर्फिज्म]] की वलय के रूप में कार्य करता है, जिस प्रकार से [[क्षेत्र (गणित)]] के समान होता है (अभिन्न डोमेन जिसमें प्रत्येक गैर-शून्य तत्व उलटा होता है) वेक्टर रिक्त स्थान पर कार्य करें। गैर-अनुक्रमिक वलय के उदाहरण वर्ग [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] के वलय या अधिक सामान्यतः एबेलियन समूहों या अनुखंड के एंडोमोर्फिज्म के वलय और [[मोनॉइड रिंग|मोनॉइड]] वलयों द्वारा दिए जाते हैं।

{{main|प्रतिनिधित्व सिद्धांत}}

[[प्रतिनिधित्व सिद्धांत]] गणित की शाखा है जो गैर-क्रमविनिमेय वलयों पर भारी पड़ता है। यह वेक्टर रिक्त स्थान के [[रैखिक परिवर्तन]]ों के रूप में उनके [[तत्व (सेट सिद्धांत)]] का प्रतिनिधित्व करके [[सार बीजगणित]] बीजगणितीय संरचनाओं का अध्ययन करता है, और अध्ययन करता है

 

इन अमूर्त बीजगणितीय संरचनाओं पर अनुखंड (गणित)। संक्षेप में, प्रतिनिधित्व अमूर्त बीजगणितीय वस्तु को आव्यूह (गणित) और [[मैट्रिक्स जोड़|आव्यूह जोड़]] और [[मैट्रिक्स गुणन|आव्यूह गुणन]] के संदर्भ में बीजगणितीय संचालन द्वारा अपने तत्वों का वर्णन करके अधिक ठोस बनाता है, जो गैर-क्रमविनिमेय है। इस प्रकार के विवरण के लिए उत्तरदायी बीजगणितीय वस्तुओं में समूह (गणित), सहयोगी बीजगणित और [[झूठ बीजगणित]] सम्मिलित हैं। इनमें से सबसे प्रमुख (और ऐतिहासिक रूप से पहला) [[समूह प्रतिनिधित्व]] है, जिसमें समूह के तत्वों को व्युत्क्रम आव्यूह द्वारा इस प्रकार से दर्शाया जाता है कि समूह संचालन आव्यूह गुणन है।

*वलय के लिए समरूपता प्रमेय

* आर्टिन-वेडरबर्न प्रमेय अर्धसरल वलय की संरचना निर्धारित करता है

*[[जैकबसन घनत्व प्रमेय]] प्राथमिक वलय की संरचना निर्धारित करता है

*गोल्डी का प्रमेय [[सेमीप्राइम आदर्श]] [[गोल्डी रिंग|गोल्डी वलय]] की संरचना निर्धारित करता है

* ज़ारिस्की-सैमुअल प्रमेय क्रमविनिमेय प्रधान आदर्श वलय की संरचना निर्धारित करता है

*हॉपकिंस-लेविट्ज़की प्रमेय नोथेरियन वलय के लिए [[आर्टिनियन रिंग|आर्टिनियन वलय]] होने के लिए आवश्यक और पर्याप्त शर्तें देता है

* [[मोरिटा सिद्धांत]] में प्रमेय निर्धारित होते हैं जब दो वलयों में समकक्ष अनुखंड श्रेणियां होती हैं

*कार्टन-ब्रेयर-हुआ प्रमेय विभाजन के वलय की संरचना पर अंतर्दृष्टि देता है

* वेडरबर्न की छोटी प्रमेय बताती है कि परिमित डोमेन (वलय सिद्धांत) क्षेत्र (गणित) हैं

*स्कोलेम-नोथेर प्रमेय साधारण वलयों के [[automorphism|स्वसमाकृतिकता]] की विशेषता बताता है

=== क्रमविनिमेय वलय का आयाम ===

{{main|आयाम सिद्धांत (बीजगणित)}}

इस खंड में, R क्रमविनिमेय वलय को दर्शाता है। R का [[क्रुल आयाम]] प्रधान आदर्शों की सभी श्रृंखलाओं की लंबाई n का सर्वोच्च है <math>\mathfrak{p}_0 \subsetneq \mathfrak{p}_1 \subsetneq \cdots \subsetneq \mathfrak{p}_n</math>. यह पता चला है कि बहुपद वलय <math>k[t_1, \cdots, t_n]</math> क्षेत्र पर k का आयाम n है। आयाम सिद्धांत के मौलिक प्रमेय में कहा गया है कि निम्नलिखित संख्याएं नोथेरियन स्थानीय वलय <math>(R, \mathfrak{m})</math> के लिए मेल खाती हैं:<ref>{{harvnb|Matsumura|1989|loc=Theorem 13.4}}</ref>

* R का क्रुल आयाम।

* ग्रेडेड वलय का आयाम <math>\textstyle \operatorname{gr}_{\mathfrak{m}}(R) = \bigoplus_{k \ge 0} \mathfrak{m}^k/{\mathfrak{m}^{k+1}}</math> (समतुल्य रूप से, 1 प्लस इसके [[हिल्बर्ट बहुपद]] की मात्रा)।

क्रमविनिमेय वलय R को [[कैटेनरी रिंग|कैटेनरी वलय]] कहा जाता है यदि प्रधान आदर्शों के प्रत्येक जोड़े के लिए <math>\mathfrak{p} \subset \mathfrak{p}'</math>, प्रधान आदर्शों की परिमित श्रृंखला उपस्थित है <math>\mathfrak{p} = \mathfrak{p}_0 \subsetneq \cdots \subsetneq \mathfrak{p}_n = \mathfrak{p}'</math> यह इस अर्थ में अधिकतम है कि श्रृंखला में दो आदर्शों के बीच अतिरिक्त प्रधान आदर्श सम्मिलित करना असंभव है, और ऐसी सभी अधिकतम श्रृंखलाएँ <math>\mathfrak{p}</math> और  <math>\mathfrak{p}'</math> समान लंबाई हो। व्यावहारिक रूप से अनुप्रयोगों में दिखाई देने वाले सभी नोथेरियन वलय कैटेनरी हैं। रैटलिफ ने सिद्ध किया कि नोएथेरियन लोकल अभिन्न डोमेन आर कैटेनरी है यदि और केवल यदि हर प्रमुख आदर्श <math>\mathfrak{p}</math> के लिए,

जहाँ <math>\operatorname{ht}\mathfrak{p}</math> की <math>\mathfrak{p}</math> ऊँचाई (वलय सिद्धांत) है.<ref>{{harvnb|Matsumura|1989|loc=Theorem 31.4}}</ref>

 

यदि R अभिन्न डोमेन है जो अंतिम रूप से उत्पन्न k-बीजगणित है, तो इसका आयाम k के ऊपर इसके अंशों के क्षेत्र की [[श्रेष्ठता की डिग्री|श्रेष्ठता की मात्रा]] है। यदि S क्रमविनिमेय वलय R का [[अभिन्न विस्तार]] है, तो S और R का आयाम समान है।

बारीकी से संबंधित अवधारणाएं गहराई (वलय सिद्धांत) और [[वैश्विक आयाम]] की हैं। सामान्य तौर पर, यदि R नोथेरियन स्थानीय वलय है, तो R की गहराई R के आयाम से कम या उसके बराबर है। जब समानता होती है, तो R को कोहेन-मैकाले वलय कहा जाता है। नियमित स्थानीय वलय कोहेन-मैकाले वलय का उदाहरण है। यह सेर्रे का प्रमेय है कि R नियमित स्थानीय वलय है यदि और केवल यदि इसका परिमित वैश्विक आयाम है और उस स्थिति में वैश्विक आयाम R का क्रुल आयाम है। इसका महत्व यह है कि वैश्विक आयाम समरूप बीजगणित धारणा है .

{{main|मोरिता तुल्यता}}

 

दो वलय R, S को मोरिटा समतुल्य कहा जाता है यदि R पर बाएँ अनुखंड की श्रेणी S के ऊपर बाएँ अनुखंड की श्रेणी के बराबर है। वास्तविक में, दो क्रमविनिमेय वलय जो मोरिटा समतुल्य हैं, तुल्यकारी होना चाहिए, इसलिए धारणा नहीं जोड़ती है क्रमविनिमेय वलयों के श्रेणी सिद्धांत में कुछ भी नया। चूँकि, क्रमविनिमेय वलय मोरिटा गैरक्रमविनिमेय वलयों के बराबर हो सकते हैं, इसलिए मोरिटा समानता आइसोमोर्फिज्म की तुलना में मोटे हैं। बीजगणितीय टोपोलॉजी और कार्यात्मक विश्लेषण में मोरिटा तुल्यता विशेष रूप से महत्वपूर्ण है।

 

मान लीजिए कि R क्रमविनिमेय वलय है और <math>\mathbf{P}(R)</math> आर पर सूक्ष्म रूप से उत्पन्न [[प्रक्षेपी मॉड्यूल|प्रक्षेपी अनुखंड]] के आइसोमोर्फिज्म वर्गों का सेट; चलो भी <math>\mathbf{P}_n(R)</math> उपसमुच्चय जिसमें स्थिर रैंक n वाले उपसमुच्चय होते हैं। (अनुखंड एम का रैंक निरंतर कार्य <math>\operatorname{Spec}R \to \mathbb{Z}, \, \mathfrak{p} \mapsto \dim M \otimes_R k(\mathfrak{p})</math> है.<ref>{{harvnb|Weibel|2013|loc=Ch I, Definition 2.2.3}}</ref> <math>\mathbf{P}_1(R)</math> सामान्यतः Pic(R) द्वारा निरूपित किया जाता है। यह एबेलियन समूह है जिसे आर का [[पिकार्ड समूह]] कहा जाता है।<ref>{{harvnb|Weibel|2013|loc=Definition preceding Proposition 3.2 in Ch I}}</ref> यदि R, R के अंशों F के क्षेत्र के साथ अभिन्न डोमेन है, तो समूहों का त्रुटिहीन क्रम है:<ref>{{harvnb|Weibel|2013|loc=Ch I, Proposition 3.5}}</ref>

जहाँ <math>\operatorname{Cart}(R)</math> R के भिन्नात्मक आदर्शों का समुच्चय है। यदि R नियमित वलय डोमेन है (अर्थात, किसी भी प्रमुख आदर्श पर नियमित), तो Pic(R) वास्तविक में R का [[भाजक वर्ग समूह|विभाजक वर्ग समूह]] है।<ref>{{harvnb|Weibel|2013|loc=Ch I, Corollary 3.8.1}}</ref>

 

उदाहरण के लिए, यदि R प्रमुख आदर्श डोमेन है, तो Pic(R) लुप्त हो जाता है। बीजगणितीय संख्या सिद्धांत में, R को पूर्णांकों का वलय माना जाएगा, जो Dedekind है और इस प्रकार नियमित है। यह इस प्रकार है कि Pic(R) परिमित समूह ([[वर्ग संख्या की परिमितता]]) है जो PID होने से पूर्णांकों के वलय के विचलन को मापता है।

 

कोई समूह <math>\mathbf{P}(R)</math> को पूरा करने पर भी विचार कर सकता है; इसका परिणाम क्रमविनिमेय वलय K₀(R) होता है। ध्यान दें कि K₀(R) = K₀(S) यदि दो क्रमविनिमेय वलयोंर, एस मोरिटा समकक्ष हैं।