वलय सिद्धांत: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| (5 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
{{short description|Branch of algebra}} | {{short description|Branch of algebra}} | ||
[[बीजगणित]] में, '''वलय सिद्धांत''' वलयों (गणित) का अध्ययन है<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 के दशक में गैर-अनुक्रमिक ज्यामिति के विकास और [[क्वांटम समूह|क्वांटम समूहों]] की खोज के साथ प्रारंभ हुई। इसने गैर-अनुविन्यस्त वलयों विशेषकर गैर-अनुविनिमेय [[नोथेरियन रिंग|नोथेरियन]] वलयों की | गैर-अनुवर्ती वलय अनुमान में अधिक भिन्न होते हैं, क्योंकि अधिक असामान्य व्यवहार उत्पन्न हो सकता है। चूँकि सिद्धांत अपने आप में विकसित हुआ है, नवीनतम प्रवृत्ति ने ज्यामितीय प्रचलन में गैर-अनुक्रमिक वलयों के कुछ वर्गों के सिद्धांत का निर्माण करके क्रमविनिमेय विकास को समानांतर करने का अनुरोध किया है जैसे कि वे (अस्तित्वहीन) 'गैर-अनुक्रमिक रिक्त स्थान पर फलन के वलय थे। यह प्रवृत्ति 1980 के दशक में गैर-अनुक्रमिक ज्यामिति के विकास और [[क्वांटम समूह|क्वांटम समूहों]] की खोज के साथ प्रारंभ हुई। इसने गैर-अनुविन्यस्त वलयों विशेषकर गैर-अनुविनिमेय [[नोथेरियन रिंग|नोथेरियन]] वलयों की उत्तम समझ उत्पन्न की है।{{sfnp|Goodearl| Warfield|1989}} | ||
वलय और मूलभूत अवधारणाओं और उनके गुणों की परिभाषा के लिए, वलय (गणित) देखें। वलय सिद्धांत में प्रयुक्त शब्दों की परिभाषाएं [[रिंग थ्योरी की शब्दावली|वलय सिद्धांत की शब्दावली]] में पाई जा सकती हैं। | वलय और मूलभूत अवधारणाओं और उनके गुणों की परिभाषा के लिए, वलय (गणित) देखें। वलय सिद्धांत में प्रयुक्त शब्दों की परिभाषाएं [[रिंग थ्योरी की शब्दावली|वलय सिद्धांत की शब्दावली]] में पाई जा सकती हैं। | ||
| Line 13: | Line 10: | ||
==क्रमविनिमेय वलयों== | ==क्रमविनिमेय वलयों== | ||
{{Main|क्रमविनिमेय बीजगणित}} | {{Main|क्रमविनिमेय बीजगणित}} | ||
वलय को [[विनिमेय|क्रमविनिमेय]] कहा जाता है यदि इसका गुणन क्रमविनिमेय है। क्रमविनिमेय वलय परिचित संख्या प्रणालियों के समान होता हैं, और क्रमविनिमेय वलय के लिए विभिन्न परिभाषाओं को पूर्णांकों के गुणों को औपचारिक रूप देने के लिए डिज़ाइन किया गया है। बीजगणितीय ज्यामिति में क्रमविनिमेय वलय भी महत्वपूर्ण हैं। क्रमविनिमेय वलय सिद्धांत में, संख्याओं को अधिकांश [[आदर्श (अंगूठी सिद्धांत)|आदर्श (वलय सिद्धांत)]] द्वारा प्रतिस्थापित किया जाता है, और [[प्रधान आदर्श]] की परिभाषा [[अभाज्य संख्या|अभाज्य संख्याओं]] के सार को पकड़ने की प्रयास करती है। [[इंटीग्रल डोमेन|अभिन्न डोमेन]], गैर-तुच्छ क्रमविनिमेय वलय जहां कोई दो गैर-शून्य तत्व शून्य देने के लिए गुणा करते हैं, पूर्णांक की और गुण का सामान्यीकरण करते हैं और विभाज्यता का अध्ययन करने के लिए उचित क्षेत्र के रूप में कार्य करते हैं। प्रधान आदर्श डोमेन अभिन्न डोमेन हैं जिसमें प्रत्येक आदर्श को तत्व द्वारा उत्पन्न किया जा सकता है, जो पूर्णांकों द्वारा साझा की गई एक अन्य गुण है। [[यूक्लिडियन डोमेन]] अभिन्न डोमेन हैं जिनमें सबसे बड़ा सामान्य विभाजक किया जा सकता है। क्रमविनिमेय वलयों के महत्वपूर्ण उदाहरण [[बहुपद]] के वलयों और उनके कारक वलयों के रूप में बनाए जा सकते हैं। सारांश: यूक्लिडियन डोमेन ⊂ [[प्रमुख आदर्श डोमेन]] ⊂ [[अद्वितीय गुणनखंड डोमेन]] ⊂ अभिन्न डोमेन ⊂ क्रमविनिमेय वलय। | वलय को [[विनिमेय|क्रमविनिमेय]] कहा जाता है यदि इसका गुणन क्रमविनिमेय है। क्रमविनिमेय वलय परिचित संख्या प्रणालियों के समान होता हैं, और क्रमविनिमेय वलय के लिए विभिन्न परिभाषाओं को पूर्णांकों के गुणों को औपचारिक रूप देने के लिए डिज़ाइन किया गया है। बीजगणितीय ज्यामिति में क्रमविनिमेय वलय भी महत्वपूर्ण हैं। क्रमविनिमेय वलय सिद्धांत में, संख्याओं को अधिकांश [[आदर्श (अंगूठी सिद्धांत)|आदर्श (वलय सिद्धांत)]] द्वारा प्रतिस्थापित किया जाता है, और [[प्रधान आदर्श]] की परिभाषा [[अभाज्य संख्या|अभाज्य संख्याओं]] के सार को पकड़ने की प्रयास करती है। [[इंटीग्रल डोमेन|अभिन्न डोमेन]], गैर-तुच्छ क्रमविनिमेय वलय जहां कोई दो गैर-शून्य तत्व शून्य देने के लिए गुणा करते हैं, पूर्णांक की और गुण का सामान्यीकरण करते हैं और विभाज्यता का अध्ययन करने के लिए उचित क्षेत्र के रूप में कार्य करते हैं। प्रधान आदर्श डोमेन अभिन्न डोमेन हैं जिसमें प्रत्येक आदर्श को तत्व द्वारा उत्पन्न किया जा सकता है, जो पूर्णांकों द्वारा साझा की गई एक अन्य गुण है। [[यूक्लिडियन डोमेन]] अभिन्न डोमेन हैं जिनमें सबसे बड़ा सामान्य विभाजक किया जा सकता है। क्रमविनिमेय वलयों के महत्वपूर्ण उदाहरण [[बहुपद]] के वलयों और उनके कारक वलयों के रूप में बनाए जा सकते हैं। सारांश: यूक्लिडियन डोमेन ⊂ [[प्रमुख आदर्श डोमेन]] ⊂ [[अद्वितीय गुणनखंड डोमेन]] ⊂ अभिन्न डोमेन ⊂ क्रमविनिमेय वलय। | ||
| Line 22: | Line 20: | ||
अधिक त्रुटिहीन रूप से क्रमविनिमेय वलय के वलय का वर्णक्रम इसके प्रमुख आदर्शों का स्थान है जो [[जरिस्की टोपोलॉजी]] से सुसज्जित है, और वलयों के [[शीफ (गणित)]] के साथ संवर्धित है। ये वस्तुएं एफ़िन योजनाएं हैं (एफ़ाइन प्रकारों का सामान्यीकरण), और सामान्य योजना तब साथ ग्लूइंग (विशुद्ध रूप से बीजगणितीय विधियों द्वारा) प्राप्त की जाती है, ऐसी कई एफ़िन योजनाएं, [[एटलस (टोपोलॉजी)]] का [[चार्ट (टोपोलॉजी)]] को एक साथ ग्लूइंग करके [[कई गुना]] बनाने के तरीके के अनुरूप होती हैं। | अधिक त्रुटिहीन रूप से क्रमविनिमेय वलय के वलय का वर्णक्रम इसके प्रमुख आदर्शों का स्थान है जो [[जरिस्की टोपोलॉजी]] से सुसज्जित है, और वलयों के [[शीफ (गणित)]] के साथ संवर्धित है। ये वस्तुएं एफ़िन योजनाएं हैं (एफ़ाइन प्रकारों का सामान्यीकरण), और सामान्य योजना तब साथ ग्लूइंग (विशुद्ध रूप से बीजगणितीय विधियों द्वारा) प्राप्त की जाती है, ऐसी कई एफ़िन योजनाएं, [[एटलस (टोपोलॉजी)]] का [[चार्ट (टोपोलॉजी)]] को एक साथ ग्लूइंग करके [[कई गुना]] बनाने के तरीके के अनुरूप होती हैं। | ||
== | == गैरक्रमविनिमेय वलयों == | ||
{{Main|गैर विनिमेय वलय|गैर विनिमेय बीजगणितीय ज्यामिति|गैर विनिमेय बीजगणितीय}} | {{Main|गैर विनिमेय वलय|गैर विनिमेय बीजगणितीय ज्यामिति|गैर विनिमेय बीजगणितीय}} | ||
अक्रमानुक्रमिक वलय कई प्रकार से आव्यूह (गणित) के वलयों से मिलते जुलते हैं। बीजगणितीय ज्यामिति के मॉडल के बाद, नवीनतम में गैर-अनुक्रमिक ज्यामिति को गैर-अनुक्रमिक वलयों के आधार पर परिभाषित करने का प्रयास किया गया है। | अक्रमानुक्रमिक वलय कई प्रकार से आव्यूह (गणित) के वलयों से मिलते जुलते हैं। बीजगणितीय ज्यामिति के मॉडल के बाद, नवीनतम में गैर-अनुक्रमिक ज्यामिति को गैर-अनुक्रमिक वलयों के आधार पर परिभाषित करने का प्रयास किया गया है। | ||
गैर-अनुवर्ती वलय और [[साहचर्य बीजगणित]] (अंगूठियां जो सदिश स्थान भी हैं) का अधिकांश अनुखंड के उनके [[श्रेणी सिद्धांत]] के माध्यम से अध्ययन किया जाता है। वलय पर [[मॉड्यूल (गणित)|अनुखंड (गणित)]] एबेलियन [[समूह (गणित)]] है जो वलय [[एंडोमोर्फिज्म]] की वलय के रूप में कार्य करता है, जिस प्रकार से [[क्षेत्र (गणित)]] के समान होता है (अभिन्न डोमेन जिसमें प्रत्येक गैर-शून्य तत्व उलटा होता है) वेक्टर रिक्त स्थान पर कार्य करें। गैर-अनुक्रमिक वलय के उदाहरण वर्ग [[मैट्रिक्स (गणित)]] के वलय या अधिक सामान्यतः एबेलियन समूहों या अनुखंड के एंडोमोर्फिज्म के वलय और [[मोनॉइड रिंग|मोनॉइड]] वलयों द्वारा दिए जाते हैं। | गैर-अनुवर्ती वलय और [[साहचर्य बीजगणित]] (अंगूठियां जो सदिश स्थान भी हैं) का अधिकांश अनुखंड के उनके [[श्रेणी सिद्धांत]] के माध्यम से अध्ययन किया जाता है। वलय पर [[मॉड्यूल (गणित)|अनुखंड (गणित)]] एबेलियन [[समूह (गणित)]] है जो वलय [[एंडोमोर्फिज्म]] की वलय के रूप में कार्य करता है, जिस प्रकार से [[क्षेत्र (गणित)]] के समान होता है (अभिन्न डोमेन जिसमें प्रत्येक गैर-शून्य तत्व उलटा होता है) वेक्टर रिक्त स्थान पर कार्य करें। गैर-अनुक्रमिक वलय के उदाहरण वर्ग [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] के वलय या अधिक सामान्यतः एबेलियन समूहों या अनुखंड के एंडोमोर्फिज्म के वलय और [[मोनॉइड रिंग|मोनॉइड]] वलयों द्वारा दिए जाते हैं। | ||
=== प्रतिनिधित्व सिद्धांत === | === प्रतिनिधित्व सिद्धांत === | ||
{{main| | {{main|प्रतिनिधित्व सिद्धांत}} | ||
[[प्रतिनिधित्व सिद्धांत]] गणित की शाखा है जो गैर-क्रमविनिमेय वलयों पर भारी पड़ता है। यह वेक्टर रिक्त स्थान के [[रैखिक परिवर्तन]]ों के रूप में उनके [[तत्व (सेट सिद्धांत)]] का प्रतिनिधित्व करके [[सार बीजगणित]] बीजगणितीय संरचनाओं का अध्ययन करता है, और अध्ययन करता है | [[प्रतिनिधित्व सिद्धांत]] गणित की शाखा है जो गैर-क्रमविनिमेय वलयों पर भारी पड़ता है। यह वेक्टर रिक्त स्थान के [[रैखिक परिवर्तन]]ों के रूप में उनके [[तत्व (सेट सिद्धांत)]] का प्रतिनिधित्व करके [[सार बीजगणित]] बीजगणितीय संरचनाओं का अध्ययन करता है, और अध्ययन करता है | ||
इन अमूर्त बीजगणितीय संरचनाओं पर अनुखंड (गणित)। संक्षेप में, प्रतिनिधित्व अमूर्त बीजगणितीय वस्तु को | |||
इन अमूर्त बीजगणितीय संरचनाओं पर अनुखंड (गणित)। संक्षेप में, प्रतिनिधित्व अमूर्त बीजगणितीय वस्तु को आव्यूह (गणित) और [[मैट्रिक्स जोड़|आव्यूह जोड़]] और [[मैट्रिक्स गुणन|आव्यूह गुणन]] के संदर्भ में बीजगणितीय संचालन द्वारा अपने तत्वों का वर्णन करके अधिक ठोस बनाता है, जो गैर-क्रमविनिमेय है। इस प्रकार के विवरण के लिए उत्तरदायी बीजगणितीय वस्तुओं में समूह (गणित), सहयोगी बीजगणित और [[झूठ बीजगणित]] सम्मिलित हैं। इनमें से सबसे प्रमुख (और ऐतिहासिक रूप से पहला) [[समूह प्रतिनिधित्व]] है, जिसमें समूह के तत्वों को व्युत्क्रम आव्यूह द्वारा इस प्रकार से दर्शाया जाता है कि समूह संचालन आव्यूह गुणन है। | |||
== कुछ प्रासंगिक प्रमेय == | == कुछ प्रासंगिक प्रमेय == | ||
सामान्य | |||
*समरूपता प्रमेय | *वलय के लिए समरूपता प्रमेय | ||
* नाकायमा की लेम्मा | * नाकायमा की लेम्मा | ||
संरचना प्रमेय | संरचना प्रमेय | ||
* आर्टिन-वेडरबर्न प्रमेय अर्धसरल वलय की संरचना निर्धारित करता है | * आर्टिन-वेडरबर्न प्रमेय अर्धसरल वलय की संरचना निर्धारित करता है | ||
*[[जैकबसन घनत्व प्रमेय]] | *[[जैकबसन घनत्व प्रमेय]] प्राथमिक वलय की संरचना निर्धारित करता है | ||
*गोल्डी का प्रमेय [[सेमीप्राइम आदर्श]] [[गोल्डी रिंग|गोल्डी वलय]] की संरचना निर्धारित करता है | *गोल्डी का प्रमेय [[सेमीप्राइम आदर्श]] [[गोल्डी रिंग|गोल्डी वलय]] की संरचना निर्धारित करता है | ||
* ज़ारिस्की-सैमुअल प्रमेय क्रमविनिमेय प्रधान आदर्श वलय की संरचना निर्धारित करता है | * ज़ारिस्की-सैमुअल प्रमेय क्रमविनिमेय प्रधान आदर्श वलय की संरचना निर्धारित करता है | ||
| Line 50: | Line 49: | ||
अन्य | अन्य | ||
*स्कोलेम-नोथेर प्रमेय साधारण वलयों के [[automorphism]] की विशेषता बताता है | *स्कोलेम-नोथेर प्रमेय साधारण वलयों के [[automorphism|स्वसमाकृतिकता]] की विशेषता बताता है | ||
== अंगूठियों की संरचनाएं और अपरिवर्तनीय == | == अंगूठियों की संरचनाएं और अपरिवर्तनीय == | ||
=== क्रमविनिमेय वलय का आयाम === | === क्रमविनिमेय वलय का आयाम === | ||
{{main| | {{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 है। आयाम सिद्धांत के मौलिक प्रमेय में कहा गया है कि निम्नलिखित संख्याएं नोथेरियन स्थानीय वलय | इस खंड में, 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>\mathfrak{m}</math>-प्राथमिक आदर्श। | * जनरेटर की न्यूनतम संख्या <math>\mathfrak{m}</math>-प्राथमिक आदर्श। | ||
* ग्रेडेड वलय का आयाम <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>, प्रधान आदर्शों की परिमित श्रृंखला | क्रमविनिमेय वलय 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> | |||
यदि R अभिन्न डोमेन है जो अंतिम रूप से उत्पन्न k-बीजगणित है, तो इसका आयाम k के ऊपर इसके अंशों के क्षेत्र की [[श्रेष्ठता की डिग्री]] है। यदि S क्रमविनिमेय वलय R का [[अभिन्न विस्तार]] है, तो S और R का आयाम समान है। | |||
यदि R अभिन्न डोमेन है जो अंतिम रूप से उत्पन्न k-बीजगणित है, तो इसका आयाम k के ऊपर इसके अंशों के क्षेत्र की [[श्रेष्ठता की डिग्री|श्रेष्ठता की मात्रा]] है। यदि S क्रमविनिमेय वलय R का [[अभिन्न विस्तार]] है, तो S और R का आयाम समान है। | |||
बारीकी से संबंधित अवधारणाएं गहराई (वलय सिद्धांत) और [[वैश्विक आयाम]] की हैं। सामान्य तौर पर, यदि R नोथेरियन स्थानीय वलय है, तो R की गहराई R के आयाम से कम या उसके बराबर है। जब समानता होती है, तो R को कोहेन-मैकाले वलय कहा जाता है। नियमित स्थानीय वलय कोहेन-मैकाले वलय का उदाहरण है। यह | बारीकी से संबंधित अवधारणाएं गहराई (वलय सिद्धांत) और [[वैश्विक आयाम]] की हैं। सामान्य तौर पर, यदि R नोथेरियन स्थानीय वलय है, तो R की गहराई R के आयाम से कम या उसके बराबर है। जब समानता होती है, तो R को कोहेन-मैकाले वलय कहा जाता है। नियमित स्थानीय वलय कोहेन-मैकाले वलय का उदाहरण है। यह सेर्रे का प्रमेय है कि R नियमित स्थानीय वलय है यदि और केवल यदि इसका परिमित वैश्विक आयाम है और उस स्थिति में वैश्विक आयाम R का क्रुल आयाम है। इसका महत्व यह है कि वैश्विक आयाम समरूप बीजगणित धारणा है . | ||
===मोरिता तुल्यता=== | ===मोरिता तुल्यता=== | ||
{{main| | {{main|मोरिता तुल्यता}} | ||
दो वलय R, S को मोरिटा समतुल्य कहा जाता है यदि R पर बाएँ अनुखंड की श्रेणी S के ऊपर बाएँ अनुखंड की श्रेणी के बराबर है। | |||
दो वलय R, S को मोरिटा समतुल्य कहा जाता है यदि R पर बाएँ अनुखंड की श्रेणी S के ऊपर बाएँ अनुखंड की श्रेणी के बराबर है। वास्तविक में, दो क्रमविनिमेय वलय जो मोरिटा समतुल्य हैं, तुल्यकारी होना चाहिए, इसलिए धारणा नहीं जोड़ती है क्रमविनिमेय वलयों के श्रेणी सिद्धांत में कुछ भी नया। चूँकि, क्रमविनिमेय वलय मोरिटा गैरक्रमविनिमेय वलयों के बराबर हो सकते हैं, इसलिए मोरिटा समानता आइसोमोर्फिज्म की तुलना में मोटे हैं। बीजगणितीय टोपोलॉजी और कार्यात्मक विश्लेषण में मोरिटा तुल्यता विशेष रूप से महत्वपूर्ण है। | |||
'''वलय और पिकार्ड समूह पर पूरी प्रकार से उत्पन्न प्रोजेक्टिव अनुखंड''' | |||
मान लीजिए कि R क्रमविनिमेय वलय है और <math>\mathbf{P}(R)</math> आर पर सूक्ष्म रूप से उत्पन्न [[प्रक्षेपी मॉड्यूल|प्रक्षेपी अनुखंड]] के आइसोमोर्फिज्म वर्गों का सेट; चलो भी <math>\mathbf{P}_n(R)</math> उपसमुच्चय जिसमें स्थिर रैंक n वाले उपसमुच्चय होते हैं। (अनुखंड एम का रैंक निरंतर कार्य | |||
मान लीजिए कि 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> | |||
उदाहरण के लिए, यदि R प्रमुख आदर्श डोमेन है, तो Pic(R) | |||
कोई समूह | उदाहरण के लिए, यदि R प्रमुख आदर्श डोमेन है, तो Pic(R) लुप्त हो जाता है। बीजगणितीय संख्या सिद्धांत में, R को पूर्णांकों का वलय माना जाएगा, जो Dedekind है और इस प्रकार नियमित है। यह इस प्रकार है कि Pic(R) परिमित समूह ([[वर्ग संख्या की परिमितता]]) है जो PID होने से पूर्णांकों के वलय के विचलन को मापता है। | ||
कोई समूह <math>\mathbf{P}(R)</math> को पूरा करने पर भी विचार कर सकता है; इसका परिणाम क्रमविनिमेय वलय K<sub>0</sub>(R) होता है। ध्यान दें कि K<sub>0</sub>(R) = K<sub>0</sub>(S) यदि दो क्रमविनिमेय वलयोंर, एस मोरिटा समकक्ष हैं। | |||
{{See also|बीजगणितीय के-सिद्धांत}} | |||
=== गैर-अनुवर्ती वलय की संरचना === | === गैर-अनुवर्ती वलय की संरचना === | ||
{{main| | {{main| गैर विनिमेय वलय}} | ||
क्रमविनिमेय वलय की तुलना में अक्रमानुक्रमिक वलय की संरचना अधिक जटिल होती है। उदाहरण के लिए, सरल वलय वलय | |||
क्रमविनिमेय वलय की तुलना में अक्रमानुक्रमिक वलय की संरचना अधिक जटिल होती है। उदाहरण के लिए, ऐसे सरल वलय वलय उपस्थित हैं जिनमें कोई गैर-तुच्छ उचित (दो तरफा) आदर्श नहीं होते हैं, फिर भी गैर-तुच्छ उचित बाएं या दाएं आदर्श होते हैं। क्रमविनिमेय वलयों के लिए विभिन्न अचर उपस्थित हैं, चूँकि गैरक्रमविनिमेय वलयों के इनवेरिएंट्स को खोजना कठिन है। उदाहरण के रूप में, [[एक अंगूठी का नील-कट्टरपंथी|वलय का नील-कट्टरपंथी]], सभी शून्य-शक्तिशाली तत्वों का सेट, अनिवार्य रूप से आदर्श नहीं है, जब तक कि वलय क्रमविनिमेय न होता हैं। विशेष रूप से, सभी की वलय में सभी निलपोटेंट तत्वों का सेट {{nowrap|''n'' × ''n''}} डिवीजन वलय पर मेट्रिसेस कभी भी आदर्श नहीं बनाते हैं, चाहे डिवीजन वलय को चुना गया हो। चूँकि, गैर-अनुक्रमिक वलयों के लिए परिभाषित निराडिकल के अनुरूप हैं, जो क्रमविनिमेयिटी ग्रहण करने पर नीलरेडिकल के साथ मेल खाते हैं। | |||
वलय के [[जैकबसन कट्टरपंथी]] की अवधारणा; अर्थात्, वलय के ऊपर [[सरल मॉड्यूल|सरल अनुखंड]] राइट (लेफ्ट) अनुखंड के ऑल राइट (लेफ्ट) एनीहिलेटर (वलय सिद्धांत) का इंटरसेक्शन उदाहरण है। तथ्य यह है कि जैकबसन रेडिकल को वलय में सभी अधिकतम दाएं (बाएं) आदर्शों के प्रतिच्छेदन के रूप में देखा जा सकता है, यह दर्शाता है कि वलय की आंतरिक संरचना इसके अनुखंड द्वारा कैसे परिलक्षित होती है। यह भी तथ्य है कि वलय में सभी अधिकतम दाएं आदर्शों का प्रतिच्छेदन, सभी वलयों के संदर्भ में, वलय में सभी अधिकतम बाएं आदर्शों के प्रतिच्छेदन के समान है; चाहे वलय क्रमविनिमेय हो। | वलय के [[जैकबसन कट्टरपंथी]] की अवधारणा; अर्थात्, वलय के ऊपर [[सरल मॉड्यूल|सरल अनुखंड]] राइट (लेफ्ट) अनुखंड के ऑल राइट (लेफ्ट) एनीहिलेटर (वलय सिद्धांत) का इंटरसेक्शन उदाहरण है। तथ्य यह है कि जैकबसन रेडिकल को वलय में सभी अधिकतम दाएं (बाएं) आदर्शों के प्रतिच्छेदन के रूप में देखा जा सकता है, यह दर्शाता है कि वलय की आंतरिक संरचना इसके अनुखंड द्वारा कैसे परिलक्षित होती है। यह भी तथ्य है कि वलय में सभी अधिकतम दाएं आदर्शों का प्रतिच्छेदन, सभी वलयों के संदर्भ में, वलय में सभी अधिकतम बाएं आदर्शों के प्रतिच्छेदन के समान है; चाहे वलय क्रमविनिमेय हो। | ||
गणित में अपनी सर्वव्यापकता के कारण गैर-अनुक्रमिक वलय अनुसंधान का सक्रिय क्षेत्र हैं। उदाहरण के लिए, एन-बाय-एन | गणित में अपनी सर्वव्यापकता के कारण गैर-अनुक्रमिक वलय अनुसंधान का सक्रिय क्षेत्र हैं। उदाहरण के लिए, एन-बाय-एन आव्यूह (गणित) की वलय [[ज्यामिति]], भौतिकी और गणित के कई हिस्सों में प्राकृतिक होने के अतिरिक्त गैर-अनुक्रमिक है। अधिक सामान्यतः, एबेलियन समूहों के [[एंडोमोर्फिज्म रिंग|एंडोमोर्फिज्म]] वलयों संभवतः ही कभी कम्यूटिव होते हैं, सबसे सरल उदाहरण [[क्लेन चार-समूह]] की एंडोमोर्फिज्म वलय है। | ||
सबसे प्रसिद्ध कड़ाई से गैर-अनुवर्ती वलय में से चतुष्कोण है। | सबसे प्रसिद्ध कड़ाई से गैर-अनुवर्ती वलय में से चतुष्कोण है। | ||
| Line 95: | Line 101: | ||
=== संख्या क्षेत्र के पूर्णांकों की वलय === | === संख्या क्षेत्र के पूर्णांकों की वलय === | ||
{{main| | {{main|पूर्णांकों का वलय}} | ||
| Line 102: | Line 108: | ||
=== आक्रमणकारियों की वलय === | === आक्रमणकारियों की वलय === | ||
मौलिक [[अपरिवर्तनीय सिद्धांत]] में मूलभूत (और | मौलिक [[अपरिवर्तनीय सिद्धांत]] में मूलभूत (और संभवतः सबसे मौलिक) प्रश्न बहुपद वलय <math>k[V]</math> में बहुपदों को खोजना और उनका अध्ययन करना है जो V पर परिमित समूह (या अधिक सामान्यतः रिडक्टिव) G की कार्रवाई के अनुसार अपरिवर्तनीय हैं। मुख्य उदाहरण [[सममित कार्यों की अंगूठी|सममित कार्यों की वलय]] है: [[सममित बहुपद]] बहुपद हैं जो चर के क्रमपरिवर्तन के अनुसार अपरिवर्तनीय हैं। सममित बहुपदों का मूलभूत प्रमेय बताता है कि यह वलय है <math>R[\sigma_1, \ldots, \sigma_n]</math> जहाँ <math>\sigma_i</math> प्राथमिक सममित बहुपद हैं। | ||
== इतिहास == | == इतिहास == | ||
क्रमविनिमेय वलय सिद्धांत बीजगणितीय संख्या सिद्धांत, बीजगणितीय ज्यामिति और अपरिवर्तनीय सिद्धांत में उत्पन्न हुआ। इन विषयों के विकास के केंद्र बीजगणितीय संख्या क्षेत्रों और बीजगणितीय कार्य क्षेत्रों में पूर्णांकों के वलय और दो या दो से अधिक चरों में बहुपदों के वलय थे। अअनुक्रमणीय वलय सिद्धांत जटिल संख्याओं को विभिन्न [[हाइपरकॉम्प्लेक्स संख्या]] प्रणालियों में विस्तारित करने के प्रयासों के साथ प्रारंभ हुआ। क्रमविनिमेय और | क्रमविनिमेय वलय सिद्धांत बीजगणितीय संख्या सिद्धांत, बीजगणितीय ज्यामिति और अपरिवर्तनीय सिद्धांत में उत्पन्न हुआ। इन विषयों के विकास के केंद्र बीजगणितीय संख्या क्षेत्रों और बीजगणितीय कार्य क्षेत्रों में पूर्णांकों के वलय और दो या दो से अधिक चरों में बहुपदों के वलय थे। अअनुक्रमणीय वलय सिद्धांत जटिल संख्याओं को विभिन्न [[हाइपरकॉम्प्लेक्स संख्या]] प्रणालियों में विस्तारित करने के प्रयासों के साथ प्रारंभ हुआ। क्रमविनिमेय और गैरक्रमविनिमेय वलयों के सिद्धांतों की उत्पत्ति 19वीं शताब्दी की प्रारंभ में हुई थी, चूँकि उनकी परिपक्वता 20वीं शताब्दी के तीसरे दशक में ही प्राप्त हुई थी। | ||
अधिक त्रुटिहीन रूप से, [[विलियम रोवन हैमिल्टन]] ने चतुष्कोणों और द्विभाजकों को | |||