वलय सिद्धांत: Difference between revisions
From Vigyanwiki
m (Abhishek moved page रिंग थ्योरी to वलय सिद्धांत without leaving a redirect) |
No edit summary |
||
| Line 3: | Line 3: | ||
{{Algebraic structures|ring}} | {{Algebraic structures|ring}} | ||
{{Ring theory sidebar}} | {{Ring theory sidebar}} | ||
[[बीजगणित]] में, वलय सिद्धांत वलय (गणित) का अध्ययन है<ref>Ring theory may include also the study of [[rng (algebra)|rngs]].</ref>—[[बीजगणितीय संरचना]]एं जिनमें जोड़ और गुणन परिभाषित हैं और [[पूर्णांक]]ों के लिए परिभाषित उन संक्रियाओं के समान गुण हैं। वलय सिद्धांत छल्लों की संरचना का अध्ययन करता है, एक बीजगणित का उनका प्रतिनिधित्व, या, अलग-अलग भाषा में, मॉड्यूल (अंगूठी सिद्धांत), छल्लों की विशेष कक्षाएं (समूह के छल्ले, विभाजन के छल्ले, सार्वभौमिक आवरण बीजगणित), साथ ही गुणों की एक सरणी जो सिद्धांत के भीतर और इसके अनुप्रयोगों के लिए, जैसे [[समरूप बीजगणित]] और बहुपद पहचान वलय, दोनों के लिए रुचिकर | [[बीजगणित]] में, वलय सिद्धांत वलय (गणित) का अध्ययन है<ref>Ring theory may include also the study of [[rng (algebra)|rngs]].</ref>—[[बीजगणितीय संरचना]]एं जिनमें जोड़ और गुणन परिभाषित हैं और [[पूर्णांक]]ों के लिए परिभाषित उन संक्रियाओं के समान गुण हैं। वलय सिद्धांत छल्लों की संरचना का अध्ययन करता है, एक बीजगणित का उनका प्रतिनिधित्व, या, अलग-अलग भाषा में, मॉड्यूल (अंगूठी सिद्धांत), छल्लों की विशेष कक्षाएं (समूह के छल्ले, विभाजन के छल्ले, सार्वभौमिक आवरण बीजगणित), साथ ही गुणों की एक सरणी जो सिद्धांत के भीतर और इसके अनुप्रयोगों के लिए, जैसे [[समरूप बीजगणित]] और बहुपद पहचान वलय, दोनों के लिए रुचिकर सिद्ध हुआ। | ||
क्रमविनिमेय वलय गैर क्रमविनिमेय वाले की तुलना में बहुत | क्रमविनिमेय वलय गैर क्रमविनिमेय वाले की तुलना में बहुत उत्तम समझे जाते हैं। [[बीजगणितीय ज्यामिति]] और [[बीजगणितीय संख्या सिद्धांत]], जो क्रमविनिमेय वलयों के कई प्राकृतिक उदाहरण प्रदान करते हैं, ने क्रमविनिमेय वलय सिद्धांत के विकास को बहुत प्रेरित किया है, जो अब [[क्रमविनिमेय बीजगणित]] के नाम से आधुनिक गणित का एक प्रमुख क्षेत्र है। क्योंकि ये तीन क्षेत्र (बीजगणितीय ज्यामिति, बीजगणितीय संख्या सिद्धांत और क्रमविनिमेय बीजगणित) इतने घनिष्ठ रूप से जुड़े हुए हैं कि सामान्यतः यह तय करना कठिन और अर्थहीन होता है कि कोई विशेष परिणाम किस क्षेत्र से संबंधित है। उदाहरण के लिए, हिल्बर्ट का नलस्टेलेंसज़ एक प्रमेय है जो बीजगणितीय ज्यामिति के लिए मौलिक है, और इसे कम्यूटेटिव बीजगणित के संदर्भ में कहा और सिद्ध किया गया है। इसी प्रकार, फ़र्मेट की अंतिम प्रमेय को प्राथमिक [[अंकगणित]] के संदर्भ में कहा गया है, जो क्रमविनिमेय बीजगणित का एक हिस्सा है, किन्तु इसके प्रमाण में बीजगणितीय संख्या सिद्धांत और बीजगणितीय ज्यामिति दोनों के गहरे परिणाम सम्मिलित हैं। | ||
गैर-अनुवर्ती छल्ले स्वाद में काफी भिन्न होते हैं, क्योंकि अधिक असामान्य व्यवहार उत्पन्न हो सकता है। | गैर-अनुवर्ती छल्ले स्वाद में काफी भिन्न होते हैं, क्योंकि अधिक असामान्य व्यवहार उत्पन्न हो सकता है। चूँकि सिद्धांत अपने आप में विकसित हुआ है, हाल ही की एक प्रवृत्ति ने एक ज्यामितीय फैशन में गैर-अनुक्रमिक रिंगों के कुछ वर्गों के सिद्धांत का निर्माण करके क्रमविनिमेय विकास को समानांतर करने की मांग की है जैसे कि वे फ़ंक्शन (गणित) के छल्ले थे (गैर-गणित) मौजूदा) 'नॉनकम्यूटेटिव स्पेस'। यह प्रवृत्ति 1980 के दशक में गैर-अनुक्रमिक ज्यामिति के विकास और [[क्वांटम समूह]]ों की खोज के साथ शुरू हुई। इसने गैर-अनुक्रमिक रिंगों की उत्तम समझ उत्पन्न की है, विशेष रूप से नॉन-कम्यूटेटिव [[नोथेरियन रिंग]]्स।{{sfnp|Goodearl| Warfield|1989}} | ||
रिंग और | रिंग और मूलभूत अवधारणाओं और उनके गुणों की परिभाषा के लिए, रिंग (गणित) देखें। रिंग थ्योरी में प्रयुक्त शब्दों की परिभाषाएं [[रिंग थ्योरी की शब्दावली]] में पाई जा सकती हैं। | ||
==कम्यूटेटिव रिंग्स== | ==कम्यूटेटिव रिंग्स== | ||
{{Main|Commutative algebra}} | {{Main|Commutative algebra}} | ||
एक वलय को क्रम[[विनिमेय]] कहा जाता है यदि इसका गुणन क्रमविनिमेय है। क्रमविनिमेय छल्ले परिचित संख्या प्रणालियों के समान हैं, और क्रमविनिमेय छल्ले के लिए विभिन्न परिभाषाओं को पूर्णांकों के गुणों को औपचारिक रूप देने के लिए डिज़ाइन किया गया है। बीजगणितीय ज्यामिति में क्रमविनिमेय वलय भी महत्वपूर्ण हैं। क्रमविनिमेय वलय सिद्धांत में, संख्याओं को | एक वलय को क्रम[[विनिमेय]] कहा जाता है यदि इसका गुणन क्रमविनिमेय है। क्रमविनिमेय छल्ले परिचित संख्या प्रणालियों के समान हैं, और क्रमविनिमेय छल्ले के लिए विभिन्न परिभाषाओं को पूर्णांकों के गुणों को औपचारिक रूप देने के लिए डिज़ाइन किया गया है। बीजगणितीय ज्यामिति में क्रमविनिमेय वलय भी महत्वपूर्ण हैं। क्रमविनिमेय वलय सिद्धांत में, संख्याओं को अधिकांश [[आदर्श (अंगूठी सिद्धांत)]] द्वारा प्रतिस्थापित किया जाता है, और [[प्रधान आदर्श]] की परिभाषा [[अभाज्य संख्या]]ओं के सार को पकड़ने की कोशिश करती है। [[इंटीग्रल डोमेन]], गैर-तुच्छ कम्यूटेटिव रिंग जहां कोई दो गैर-शून्य तत्व शून्य देने के लिए गुणा करते हैं, पूर्णांक की एक और गुण का सामान्यीकरण करते हैं और विभाज्यता का अध्ययन करने के लिए उचित क्षेत्र के रूप में कार्य करते हैं। प्रिंसिपल आदर्श डोमेन अभिन्न डोमेन हैं जिसमें प्रत्येक आदर्श को एक तत्व द्वारा उत्पन्न किया जा सकता है, पूर्णांक द्वारा साझा की जाने वाली दूसरी गुण। [[यूक्लिडियन डोमेन]] अभिन्न डोमेन हैं जिनमें सबसे बड़ा सामान्य विभाजक किया जा सकता है। क्रमविनिमेय वलयों के महत्वपूर्ण उदाहरण [[बहुपद]] के वलयों और उनके कारक वलयों के रूप में बनाए जा सकते हैं। सारांश: यूक्लिडियन डोमेन ⊂ [[प्रमुख आदर्श डोमेन]] ⊂ [[अद्वितीय गुणनखंड डोमेन]] ⊂ इंटीग्रल डोमेन ⊂ कम्यूटेटिव रिंग। | ||
=== बीजगणितीय ज्यामिति === | === बीजगणितीय ज्यामिति === | ||
{{Main|Algebraic geometry}} | {{Main|Algebraic geometry}} | ||
बीजगणितीय ज्यामिति कई | बीजगणितीय ज्यामिति कई प्रकार से क्रमविनिमेय बीजगणित की दर्पण छवि है। यह पत्राचार हिल्बर्ट के नलस्टेलेंसज़ के साथ शुरू हुआ जो एक बीजगणितीय विविधता के बिंदुओं के बीच एक-से-एक पत्राचार स्थापित करता है, और इसकी समन्वय अंगूठी के [[अधिकतम आदर्श]]ों को स्थापित करता है। इस पत्राचार को संबंधित कम्यूटेटिव रिंगों के बीजगणितीय गुणों में [[बीजगणितीय किस्म|बीजगणितीय प्रकार]]ों के अधिकांश ज्यामितीय गुणों के अनुवाद (और सिद्ध करने) के लिए विस्तारित और व्यवस्थित किया गया है। [[अलेक्जेंडर ग्रोथेंडिक]] ने बीजगणितीय प्रकारों के एक सामान्यीकरण, [[योजना (गणित)]] की प्रारंभ करके इसे पूरा किया, जिसे किसी भी कम्यूटेटिव रिंग से बनाया जा सकता है। ज्यादा ठीक, | ||
क्रमविनिमेय वलय के एक वलय का वर्णक्रम इसके प्रमुख आदर्शों का स्थान है जो [[जरिस्की टोपोलॉजी]] से सुसज्जित है, और छल्लों के एक [[शीफ (गणित)]] के साथ संवर्धित है। ये वस्तुएं एफ़िन योजनाएं हैं (एफ़ाइन | क्रमविनिमेय वलय के एक वलय का वर्णक्रम इसके प्रमुख आदर्शों का स्थान है जो [[जरिस्की टोपोलॉजी]] से सुसज्जित है, और छल्लों के एक [[शीफ (गणित)]] के साथ संवर्धित है। ये वस्तुएं एफ़िन योजनाएं हैं (एफ़ाइन प्रकारों का सामान्यीकरण), और एक सामान्य योजना तब एक साथ ग्लूइंग (विशुद्ध रूप से बीजगणितीय विधियों द्वारा) प्राप्त की जाती है, ऐसी कई एफ़िन योजनाएं, [[चार्ट (टोपोलॉजी)]] को एक साथ ग्लूइंग करके [[कई गुना]] बनाने के तरीके के अनुरूप होती हैं। ) एक [[एटलस (टोपोलॉजी)]] का। | ||
== नॉनकम्यूटेटिव रिंग्स == | == नॉनकम्यूटेटिव रिंग्स == | ||
{{Main|Noncommutative ring|Noncommutative algebraic geometry|Noncommutative geometry}} | {{Main|Noncommutative ring|Noncommutative algebraic geometry|Noncommutative geometry}} | ||
अक्रमानुक्रमिक वलय कई प्रकार से आव्यूह (गणित) के वलयों से मिलते जुलते हैं। बीजगणितीय ज्यामिति के मॉडल के बाद, हाल ही में गैर-अनुक्रमिक ज्यामिति को गैर-अनुक्रमिक रिंगों के आधार पर परिभाषित करने का प्रयास किया गया है। | अक्रमानुक्रमिक वलय कई प्रकार से आव्यूह (गणित) के वलयों से मिलते जुलते हैं। बीजगणितीय ज्यामिति के मॉडल के बाद, हाल ही में गैर-अनुक्रमिक ज्यामिति को गैर-अनुक्रमिक रिंगों के आधार पर परिभाषित करने का प्रयास किया गया है। | ||
गैर-अनुवर्ती छल्ले और [[साहचर्य बीजगणित]] (अंगूठियां जो सदिश स्थान भी हैं) का | गैर-अनुवर्ती छल्ले और [[साहचर्य बीजगणित]] (अंगूठियां जो सदिश स्थान भी हैं) का अधिकांश मॉड्यूल के उनके [[श्रेणी सिद्धांत]] के माध्यम से अध्ययन किया जाता है। एक अंगूठी पर एक [[मॉड्यूल (गणित)]] एक एबेलियन [[समूह (गणित)]] है जो अंगूठी [[एंडोमोर्फिज्म]] की अंगूठी के रूप में कार्य करता है, जिस प्रकार से [[क्षेत्र (गणित)]] के समान होता है (अभिन्न डोमेन जिसमें प्रत्येक गैर-शून्य तत्व उलटा होता है) वेक्टर रिक्त स्थान पर कार्य करें। गैर-अनुक्रमिक छल्ले के उदाहरण वर्ग [[मैट्रिक्स (गणित)]] के छल्ले या अधिक सामान्यतः एबेलियन समूहों या मॉड्यूल के एंडोमोर्फिज्म के छल्ले और [[मोनॉइड रिंग]]ों द्वारा दिए जाते हैं। | ||
=== प्रतिनिधित्व सिद्धांत === | === प्रतिनिधित्व सिद्धांत === | ||
{{main|Representation theory}} | {{main|Representation theory}} | ||
[[प्रतिनिधित्व सिद्धांत]] गणित की एक शाखा है जो गैर-कम्यूटेटिव रिंगों पर भारी पड़ता है। यह वेक्टर रिक्त स्थान के [[रैखिक परिवर्तन]]ों के रूप में उनके [[तत्व (सेट सिद्धांत)]] का प्रतिनिधित्व करके [[सार बीजगणित]] बीजगणितीय संरचनाओं का अध्ययन करता है, और अध्ययन करता है | [[प्रतिनिधित्व सिद्धांत]] गणित की एक शाखा है जो गैर-कम्यूटेटिव रिंगों पर भारी पड़ता है। यह वेक्टर रिक्त स्थान के [[रैखिक परिवर्तन]]ों के रूप में उनके [[तत्व (सेट सिद्धांत)]] का प्रतिनिधित्व करके [[सार बीजगणित]] बीजगणितीय संरचनाओं का अध्ययन करता है, और अध्ययन करता है | ||
इन अमूर्त बीजगणितीय संरचनाओं पर मॉड्यूल (गणित)। संक्षेप में, एक प्रतिनिधित्व एक अमूर्त बीजगणितीय वस्तु को मैट्रिक्स (गणित) और [[मैट्रिक्स जोड़]] और [[मैट्रिक्स गुणन]] के संदर्भ में बीजगणितीय संचालन द्वारा अपने तत्वों का वर्णन करके अधिक ठोस बनाता है, जो गैर-कम्यूटेटिव है। इस | इन अमूर्त बीजगणितीय संरचनाओं पर मॉड्यूल (गणित)। संक्षेप में, एक प्रतिनिधित्व एक अमूर्त बीजगणितीय वस्तु को मैट्रिक्स (गणित) और [[मैट्रिक्स जोड़]] और [[मैट्रिक्स गुणन]] के संदर्भ में बीजगणितीय संचालन द्वारा अपने तत्वों का वर्णन करके अधिक ठोस बनाता है, जो गैर-कम्यूटेटिव है। इस प्रकार के विवरण के लिए उत्तरदायी बीजगणितीय वस्तुओं में समूह (गणित), सहयोगी बीजगणित और [[झूठ बीजगणित]] सम्मिलित हैं। इनमें से सबसे प्रमुख (और ऐतिहासिक रूप से पहला) [[समूह प्रतिनिधित्व]] है, जिसमें समूह के तत्वों को उलटा मैट्रिक्स द्वारा इस प्रकार से दर्शाया जाता है कि समूह संचालन मैट्रिक्स गुणन है। | ||
== कुछ प्रासंगिक प्रमेय == | == कुछ प्रासंगिक प्रमेय == | ||
| Line 56: | Line 56: | ||
* ग्रेडेड रिंग का आयाम <math>\textstyle \operatorname{gr}_{\mathfrak{m}}(R) = \bigoplus_{k \ge 0} \mathfrak{m}^k/{\mathfrak{m}^{k+1}}</math> (समतुल्य रूप से, 1 प्लस इसके [[हिल्बर्ट बहुपद]] की डिग्री)। | * ग्रेडेड रिंग का आयाम <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> समान लंबाई हो। व्यावहारिक रूप से अनुप्रयोगों में दिखाई देने वाले सभी नोथेरियन रिंग कैटेनरी हैं। रैटलिफ ने | एक कम्यूटेटिव रिंग 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{dim}R = \operatorname{ht}\mathfrak{p} + \operatorname{dim}R/\mathfrak{p}</math> | :<math>\operatorname{dim}R = \operatorname{ht}\mathfrak{p} + \operatorname{dim}R/\mathfrak{p}</math> | ||
कहाँ <math>\operatorname{ht}\mathfrak{p}</math> की ऊँचाई (रिंग थ्योरी) है <math>\mathfrak{p}</math>.<ref>{{harvnb|Matsumura|1989|loc=Theorem 31.4}}</ref> | कहाँ <math>\operatorname{ht}\mathfrak{p}</math> की ऊँचाई (रिंग थ्योरी) है <math>\mathfrak{p}</math>.<ref>{{harvnb|Matsumura|1989|loc=Theorem 31.4}}</ref> | ||
| Line 65: | Line 65: | ||
===मोरिता तुल्यता=== | ===मोरिता तुल्यता=== | ||
{{main|Morita equivalence}} | {{main|Morita equivalence}} | ||
दो वलय R, S को मोरिटा समतुल्य कहा जाता है यदि R पर बाएँ मॉड्यूल की श्रेणी S के ऊपर बाएँ मॉड्यूल की श्रेणी के बराबर है। वास्तव में, दो कम्यूटेटिव रिंग जो मोरिटा समतुल्य हैं, आइसोमॉर्फिक होना चाहिए, इसलिए धारणा नहीं जोड़ती है क्रमविनिमेय वलयों के श्रेणी सिद्धांत में कुछ भी नया। | दो वलय 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> | मान लीजिए कि 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>1 \to R^* \to F^* \overset{f \mapsto fR}\to \operatorname{Cart}(R) \to \operatorname{Pic}(R) \to 1</math> | :<math>1 \to R^* \to F^* \overset{f \mapsto fR}\to \operatorname{Cart}(R) \to \operatorname{Pic}(R) \to 1</math> | ||
कहाँ <math>\operatorname{Cart}(R)</math> R के भिन्नात्मक आदर्शों का समुच्चय है। यदि R एक नियमित रिंग डोमेन है (अर्थात, किसी भी प्रमुख आदर्श पर नियमित), तो Pic(R) वास्तव में R का वि[[भाजक वर्ग समूह]] है।<ref>{{harvnb|Weibel|2013|loc=Ch I, Corollary 3.8.1}}</ref> | कहाँ <math>\operatorname{Cart}(R)</math> R के भिन्नात्मक आदर्शों का समुच्चय है। यदि R एक नियमित रिंग डोमेन है (अर्थात, किसी भी प्रमुख आदर्श पर नियमित), तो Pic(R) वास्तव में R का वि[[भाजक वर्ग समूह]] है।<ref>{{harvnb|Weibel|2013|loc=Ch I, Corollary 3.8.1}}</ref> | ||
| Line 79: | Line 79: | ||
=== गैर-अनुवर्ती छल्ले की संरचना === | === गैर-अनुवर्ती छल्ले की संरचना === | ||
{{main|Noncommutative ring}} | {{main|Noncommutative ring}} | ||
क्रमविनिमेय वलय की तुलना में एक अक्रमानुक्रमिक वलय की संरचना अधिक जटिल होती है। उदाहरण के लिए, सरल रिंग रिंग मौजूद हैं जिनमें कोई गैर-तुच्छ उचित (दो तरफा) आदर्श नहीं होते हैं, फिर भी गैर-तुच्छ उचित बाएं या दाएं आदर्श होते हैं। कम्यूटेटिव रिंग्स के लिए विभिन्न इनवेरिएंट मौजूद हैं, | क्रमविनिमेय वलय की तुलना में एक अक्रमानुक्रमिक वलय की संरचना अधिक जटिल होती है। उदाहरण के लिए, सरल रिंग रिंग मौजूद हैं जिनमें कोई गैर-तुच्छ उचित (दो तरफा) आदर्श नहीं होते हैं, फिर भी गैर-तुच्छ उचित बाएं या दाएं आदर्श होते हैं। कम्यूटेटिव रिंग्स के लिए विभिन्न इनवेरिएंट मौजूद हैं, चूँकि नॉनकम्यूटेटिव रिंग्स के इनवेरिएंट्स को खोजना कठिन है। एक उदाहरण के रूप में, [[एक अंगूठी का नील-कट्टरपंथी]], सभी शून्य-शक्तिशाली तत्वों का सेट, अनिवार्य रूप से एक आदर्श नहीं है, जब तक कि अंगूठी क्रमविनिमेय न हो। विशेष रूप से, सभी की अंगूठी में सभी निलपोटेंट तत्वों का सेट {{nowrap|''n'' × ''n''}} एक डिवीजन रिंग पर मेट्रिसेस कभी भी एक आदर्श नहीं बनाते हैं, चाहे डिवीजन रिंग को चुना गया हो। चूँकि, गैर-अनुक्रमिक रिंगों के लिए परिभाषित निराडिकल के अनुरूप हैं, जो कम्यूटेटिविटी ग्रहण करने पर नीलरेडिकल के साथ मेल खाते हैं। | ||
एक अंगूठी के [[जैकबसन कट्टरपंथी]] की अवधारणा; | एक अंगूठी के [[जैकबसन कट्टरपंथी]] की अवधारणा; अर्थात्, एक रिंग के ऊपर [[सरल मॉड्यूल]] राइट (लेफ्ट) मॉड्यूल के ऑल राइट (लेफ्ट) एनीहिलेटर (रिंग थ्योरी) का इंटरसेक्शन एक उदाहरण है। तथ्य यह है कि जैकबसन रेडिकल को रिंग में सभी अधिकतम दाएं (बाएं) आदर्शों के प्रतिच्छेदन के रूप में देखा जा सकता है, यह दर्शाता है कि रिंग की आंतरिक संरचना इसके मॉड्यूल द्वारा कैसे परिलक्षित होती है। यह भी एक तथ्य है कि रिंग में सभी अधिकतम दाएं आदर्शों का प्रतिच्छेदन, सभी रिंगों के संदर्भ में, रिंग में सभी अधिकतम बाएं आदर्शों के प्रतिच्छेदन के समान है; चाहे वलय क्रमविनिमेय हो। | ||
गणित में अपनी सर्वव्यापकता के कारण गैर-अनुक्रमिक छल्ले अनुसंधान का एक सक्रिय क्षेत्र हैं। उदाहरण के लिए, एन-बाय-एन मैट्रिक्स (गणित) की अंगूठी [[ज्यामिति]], भौतिकी और गणित के कई हिस्सों में प्राकृतिक होने के | गणित में अपनी सर्वव्यापकता के कारण गैर-अनुक्रमिक छल्ले अनुसंधान का एक सक्रिय क्षेत्र हैं। उदाहरण के लिए, एन-बाय-एन मैट्रिक्स (गणित) की अंगूठी [[ज्यामिति]], भौतिकी और गणित के कई हिस्सों में प्राकृतिक होने के अतिरिक्त गैर-अनुक्रमिक है। अधिक सामान्यतः, एबेलियन समूहों के [[एंडोमोर्फिज्म रिंग]]्स शायद ही कभी कम्यूटिव होते हैं, सबसे सरल उदाहरण [[क्लेन चार-समूह]] की एंडोमोर्फिज्म रिंग है। | ||
सबसे प्रसिद्ध कड़ाई से गैर-अनुवर्ती अंगूठी में से एक चतुष्कोण है। | सबसे प्रसिद्ध कड़ाई से गैर-अनुवर्ती अंगूठी में से एक चतुष्कोण है। | ||
| Line 93: | Line 93: | ||
=== एक बीजगणितीय | === एक बीजगणितीय प्रकार का निर्देशांक वलय === | ||
यदि एक्स एक एफ़िन बीजगणितीय विविधता है, तो एक्स पर सभी नियमित कार्यों का सेट एक अंगूठी बनाता है जिसे एक्स की समन्वय अंगूठी कहा जाता है। एक अनुमानित विविधता के लिए, एक समान अंगूठी होती है जिसे [[सजातीय समन्वय अंगूठी]] कहा जाता है। वे अंगूठियां अनिवार्य रूप से वैसी ही चीजें हैं जैसे | यदि एक्स एक एफ़िन बीजगणितीय विविधता है, तो एक्स पर सभी नियमित कार्यों का सेट एक अंगूठी बनाता है जिसे एक्स की समन्वय अंगूठी कहा जाता है। एक अनुमानित विविधता के लिए, एक समान अंगूठी होती है जिसे [[सजातीय समन्वय अंगूठी]] कहा जाता है। वे अंगूठियां अनिवार्य रूप से वैसी ही चीजें हैं जैसे प्रकारें: वे अनिवार्य रूप से एक अनोखे तरीके से मेल खाती हैं। इसे या तो हिल्बर्ट के नलस्टेलेंसैट्ज या योजना-सैद्धांतिक निर्माण (अर्थात्, स्पेक और प्रोज) के माध्यम से देखा जा सकता है। | ||
=== आक्रमणकारियों की अंगूठी === | === आक्रमणकारियों की अंगूठी === | ||
मौलिक [[अपरिवर्तनीय सिद्धांत]] में एक मूलभूत (और शायद सबसे मौलिक) प्रश्न बहुपद अंगूठी में बहुपदों को खोजना और उनका अध्ययन करना है <math>k[V]</math> जो V पर एक परिमित समूह (या अधिक सामान्यतः रिडक्टिव) G की कार्रवाई के अनुसार अपरिवर्तनीय हैं। मुख्य उदाहरण [[सममित कार्यों की अंगूठी]] है: [[सममित बहुपद]] बहुपद हैं जो चर के क्रमपरिवर्तन के अनुसार अपरिवर्तनीय हैं। सममित बहुपदों का मूलभूत प्रमेय बताता है कि यह वलय है <math>R[\sigma_1, \ldots, \sigma_n]</math> कहाँ <math>\sigma_i</math> प्राथमिक सममित बहुपद हैं। | |||
== इतिहास == | == इतिहास == | ||
क्रमविनिमेय वलय सिद्धांत बीजगणितीय संख्या सिद्धांत, बीजगणितीय ज्यामिति और अपरिवर्तनीय सिद्धांत में उत्पन्न हुआ। इन विषयों के विकास के केंद्र बीजगणितीय संख्या क्षेत्रों और बीजगणितीय कार्य क्षेत्रों में पूर्णांकों के छल्ले और दो या दो से अधिक चरों में बहुपदों के छल्ले थे। अअनुक्रमणीय वलय सिद्धांत जटिल संख्याओं को विभिन्न [[हाइपरकॉम्प्लेक्स संख्या]] प्रणालियों में विस्तारित करने के प्रयासों के साथ शुरू हुआ। कम्यूटेटिव और नॉनकम्यूटेटिव रिंग्स के सिद्धांतों की उत्पत्ति 19वीं शताब्दी की | क्रमविनिमेय वलय सिद्धांत बीजगणितीय संख्या सिद्धांत, बीजगणितीय ज्यामिति और अपरिवर्तनीय सिद्धांत में उत्पन्न हुआ। इन विषयों के विकास के केंद्र बीजगणितीय संख्या क्षेत्रों और बीजगणितीय कार्य क्षेत्रों में पूर्णांकों के छल्ले और दो या दो से अधिक चरों में बहुपदों के छल्ले थे। अअनुक्रमणीय वलय सिद्धांत जटिल संख्याओं को विभिन्न [[हाइपरकॉम्प्लेक्स संख्या]] प्रणालियों में विस्तारित करने के प्रयासों के साथ शुरू हुआ। कम्यूटेटिव और नॉनकम्यूटेटिव रिंग्स के सिद्धांतों की उत्पत्ति 19वीं शताब्दी की प्रारंभ में हुई थी, चूँकि उनकी परिपक्वता 20वीं शताब्दी के तीसरे दशक में ही प्राप्त हुई थी। | ||
अधिक | अधिक त्रुटिहीन रूप से, [[विलियम रोवन हैमिल्टन]] ने चतुष्कोणों और द्विभाजकों को सामने रखा; [[जेम्स कॉकल (वकील)]] ने [[tessarine]] और [[bi[[quaternion]]]] प्रस्तुत किए; और [[विलियम किंग्डन क्लिफोर्ड]] [[विभाजन-द्विभाजित]] के उत्साही थे, जिसे उन्होंने बीजगणितीय मोटर्स कहा था। विषय विशेष [[गणितीय संरचना]] प्रकारों में विभाजित होने से पहले इन गैर-अनुसूचित बीजगणित, और गैर-सहयोगी झूठ बीजगणित का [[सार्वभौमिक बीजगणित]] के भीतर अध्ययन किया गया था। पुनर्संगठन का एक संकेत मॉड्यूल के प्रत्यक्ष योग # बीजीय संरचना का वर्णन करने के लिए बीजगणित के प्रत्यक्ष योग का उपयोग था। | ||
[[जोसेफ वेडरबर्न]] (1908) और [[एमिल आर्टिन]] (1928) द्वारा [[मैट्रिक्स रिंग]] के साथ विभिन्न हाइपरकॉम्प्लेक्स नंबरों की पहचान की गई थी। वेडरबर्न की संरचना प्रमेयों को एक क्षेत्र पर परिमित-आयामी बीजगणित के लिए तैयार किया गया था | [[जोसेफ वेडरबर्न]] (1908) और [[एमिल आर्टिन]] (1928) द्वारा [[मैट्रिक्स रिंग]] के साथ विभिन्न हाइपरकॉम्प्लेक्स नंबरों की पहचान की गई थी। वेडरबर्न की संरचना प्रमेयों को एक क्षेत्र पर परिमित-आयामी बीजगणित के लिए तैयार किया गया था चूँकि आर्टिन ने उन्हें आर्टिनियन रिंगों के लिए सामान्यीकृत किया था। | ||
1920 में, [[एमी नोथेर]] ने डब्ल्यू शमीडलर के सहयोग से [[आदर्श सिद्धांत]] के बारे में एक पेपर प्रकाशित किया जिसमें उन्होंने आदर्श (रिंग थ्योरी) को रिंग (गणित) में परिभाषित किया। अगले वर्ष उसने (गणितीय) आदर्शों के संबंध में आरोही श्रृंखला स्थितियों का विश्लेषण करते हुए, रिंगबेरेइचेन में आइडियलथोरी नामक एक ऐतिहासिक पत्र प्रकाशित किया। विख्यात बीजगणित [[इरविंग कपलान्स्की]] ने इस कार्य को क्रांतिकारी कहा;{{Sfn |Kimberling|1981|p=18}} प्रकाशन ने नोथेरियन रिंग शब्द को जन्म दिया, और कई अन्य गणितीय वस्तुओं को नोएदरियन (बहुविकल्पी) कहा जाता है।{{Sfn |Kimberling|1981|p=18}}<ref>{{citation|last= Dick|first= Auguste|author-link=Auguste Dick|title= Emmy Noether: 1882–1935| publisher= [[Birkhäuser]] | year = 1981| isbn =3-7643-3019-8 | translator-first= H. I. | translator-last= Blocher}}, p. 44–45.</ref> | 1920 में, [[एमी नोथेर]] ने डब्ल्यू शमीडलर के सहयोग से [[आदर्श सिद्धांत]] के बारे में एक पेपर प्रकाशित किया जिसमें उन्होंने आदर्श (रिंग थ्योरी) को रिंग (गणित) में परिभाषित किया। अगले वर्ष उसने (गणितीय) आदर्शों के संबंध में आरोही श्रृंखला स्थितियों का विश्लेषण करते हुए, रिंगबेरेइचेन में आइडियलथोरी नामक एक ऐतिहासिक पत्र प्रकाशित किया। विख्यात बीजगणित [[इरविंग कपलान्स्की]] ने इस कार्य को क्रांतिकारी कहा;{{Sfn |Kimberling|1981|p=18}} प्रकाशन ने नोथेरियन रिंग शब्द को जन्म दिया, और कई अन्य गणितीय वस्तुओं को नोएदरियन (बहुविकल्पी) कहा जाता है।{{Sfn |Kimberling|1981|p=18}}<ref>{{citation|last= Dick|first= Auguste|author-link=Auguste Dick|title= Emmy Noether: 1882–1935| publisher= [[Birkhäuser]] | year = 1981| isbn =3-7643-3019-8 | translator-first= H. I. | translator-last= Blocher}}, p. 44–45.</ref> | ||