इकाई (रिंग सिद्धांत): Difference between revisions
No edit summary |
No edit summary |
||
Line 36: | Line 36: | ||
===आव्यूह वलय === | ===आव्यूह वलय === | ||
वलय | वलय R के ऊपर {{math|''n'' × ''n''}} आव्यूहों के वलय {{math|M<sub>''n''</sub>(''R'')}} का इकाई समूह व्युत्क्रमणीय आव्यूहों का समूह {{math|[[general linear group|GL<sub>''n''</sub>(''R'')]]}} है। क्रमविनिमेय वलय R के लिए, {{math|M<sub>''n''</sub>(''R'')}} का एक तत्व {{mvar|A}} व्युत्क्रमणीय है यदि और केवल यदि {{mvar|A}} का निर्धारक {{mvar|R}} में व्युत्क्रमणीय है। उस स्थिति में, {{math|''A''{{sup|−1}}}} को स्पष्ट रूप से सहायक मैट्रिक्स के संदर्भ में दिया जा सकता है। | ||
=== | ===सामान्यतः=== | ||
वलय {{mvar|R}} में तत्वों {{mvar|x}} और {{mvar|y}} के लिए, यदि <math>1 - xy</math> व्युत्क्रमणीय है, तो <math>1 - yx</math> व्युत्क्रम <math>1 + y(1-xy)^{-1}x</math> के साथ व्युत्क्रमणीय है;{{sfn|Jacobson|2009|loc=§ 2.2. Exercise 4}} इस सूत्र का अनुमान लगाया जा सकता है, किंतु गैर-अनुवांशिक शक्ति श्रृंखला की वलय में निम्नलिखित गणना द्वारा सिद्ध नहीं किया जा सकता है: | |||
<math display="block">(1-yx)^{-1} = \sum_{n \ge 0} (yx)^n = 1 + y \left(\sum_{n \ge 0} (xy)^n \right)x = 1 + y(1-xy)^{-1}x.</math> | <math display="block">(1-yx)^{-1} = \sum_{n \ge 0} (yx)^n = 1 + y \left(\sum_{n \ge 0} (xy)^n \right)x = 1 + y(1-xy)^{-1}x.</math> | ||
समान परिणामों के लिए हुआ की पहचान देखें। | समान परिणामों के लिए हुआ की पहचान देखें। | ||
Line 46: | Line 46: | ||
एक [[क्रमविनिमेय वलय]] एक स्थानीय वलय है यदि {{math|''R'' − ''R''{{sup|×}}}} एक [[अधिकतम आदर्श]] है. | एक [[क्रमविनिमेय वलय]] एक स्थानीय वलय है यदि {{math|''R'' − ''R''{{sup|×}}}} एक [[अधिकतम आदर्श]] है. | ||
जैसा कि यह पता चला है, यदि {{math|''R'' − ''R''{{sup|×}}}} एक आदर्श है, तो यह आवश्यक रूप से एक अधिकतम आदर्श है और R स्थानीय | जैसा कि यह पता चला है, यदि {{math|''R'' − ''R''{{sup|×}}}} एक आदर्श है, तो यह आवश्यक रूप से एक अधिकतम आदर्श है और R स्थानीय है क्योंकि अधिकतम आदर्श {{math|''R''{{sup|×}}}} से असंयुक्त है। | ||
यदि R एक परिमित क्षेत्र है, तो {{math|''R''{{sup|×}}}} क्रम <math>|R| - 1</math> का एक चक्रीय समूह है। | |||
प्रत्येक वलय समरूपता {{math|1=''f'' : ''R'' → ''S''}} एक समूह समरूपता {{math|1=''R''{{sup|×}} → ''S''{{sup|×}}}} को प्रेरित करता है, क्योंकि {{mvar|f}} इकाइयों को इकाइयों में मैप करता है। वास्तव में, इकाई समूह का गठन वलय की श्रेणी से लेकर समूहों की श्रेणी तक एक फ़नकार को परिभाषित करता है। इस फ़नकार में एक बायाँ जोड़ है जो अभिन्न समूह वलय निर्माण है।<ref>Exercise 10 in § 2.2. of {{cite book | first=Paul M. | last=Cohn | author-link=Paul Cohn | edition=Revised ed. of Algebra, 2nd | title=Further algebra and applications | year=2003 | location=London | publisher=[[Springer-Verlag]] | isbn=1-85233-667-6 | zbl=1006.00001 }}</ref> | |||
[[समूह योजना]] <!-- shouldn't we avoid scheme? --><math>\operatorname{GL}_1</math> [[गुणक समूह योजना]] के लिए समरूपी है <math>\mathbb{G}_m</math> किसी भी आधार पर, किसी भी क्रमविनिमेय वलय के लिए {{mvar|R}}, समूह <math>\operatorname{GL}_1(R)</math> और <math>\mathbb{G}_m(R)</math> विहित रूप से समरूपी हैं <math>U(R)</math>. ध्यान दें कि फ़नकार <math>\mathbb{G}_m</math> (वह है, <math>R \mapsto U(R)</math>) इस अर्थ में प्रस्तुत करने योग्य है: <math>\mathbb{G}_m(R) \simeq \operatorname{Hom}(\mathbb{Z}[t, t^{-1}], R)</math> क्रमविनिमेय छल्लों के लिए {{mvar|R}} (उदाहरण के लिए, यह समूह वलय निर्माण के साथ उपर्युक्त सहायक संबंध से अनुसरण करता है)। स्पष्ट रूप से इसका मतलब यह है कि वलय होमोमोर्फिज्म के सेट के बीच एक प्राकृतिक आपत्ति है <math>\mathbb{Z}[t, t^{-1}] \to R</math> और इकाई तत्वों का सेट {{mvar|R}} (इसके विपरीत, <math>\mathbb{Z}[t]</math> योगात्मक समूह का प्रतिनिधित्व करता है <math>\mathbb{G}_a</math>, क्रमविनिमेय वलय की श्रेणी से एबेलियन समूहों की श्रेणी तक भुलक्कड़ फ़नकार)। | [[समूह योजना]] <!-- shouldn't we avoid scheme? --><math>\operatorname{GL}_1</math> [[गुणक समूह योजना]] के लिए समरूपी है <math>\mathbb{G}_m</math> किसी भी आधार पर, किसी भी क्रमविनिमेय वलय के लिए {{mvar|R}}, समूह <math>\operatorname{GL}_1(R)</math> और <math>\mathbb{G}_m(R)</math> विहित रूप से समरूपी हैं <math>U(R)</math>. ध्यान दें कि फ़नकार <math>\mathbb{G}_m</math> (वह है, <math>R \mapsto U(R)</math>) इस अर्थ में प्रस्तुत करने योग्य है: <math>\mathbb{G}_m(R) \simeq \operatorname{Hom}(\mathbb{Z}[t, t^{-1}], R)</math> क्रमविनिमेय छल्लों के लिए {{mvar|R}} (उदाहरण के लिए, यह समूह वलय निर्माण के साथ उपर्युक्त सहायक संबंध से अनुसरण करता है)। स्पष्ट रूप से इसका मतलब यह है कि वलय होमोमोर्फिज्म के सेट के बीच एक प्राकृतिक आपत्ति है <math>\mathbb{Z}[t, t^{-1}] \to R</math> और इकाई तत्वों का सेट {{mvar|R}} (इसके विपरीत, <math>\mathbb{Z}[t]</math> योगात्मक समूह का प्रतिनिधित्व करता है <math>\mathbb{G}_a</math>, क्रमविनिमेय वलय की श्रेणी से एबेलियन समूहों की श्रेणी तक भुलक्कड़ फ़नकार)। | ||
समूह योजना <math>\operatorname{GL}_1</math> किसी भी आधार पर गुणक समूह योजना <math>\mathbb{G}_m</math> के लिए समरूपी है, इसलिए किसी भी क्रमविनिमेय वलय {{mvar|R}} के लिए, समूह <math>\operatorname{GL}_1(R)</math> और <math>\mathbb{G}_m(R)</math> विहित रूप से <math>U(R)</math> के लिए समरूपी हैं। . ध्यान दें कि फ़ैक्टर <math>\mathbb{G}_m</math> (अर्थात,<math>R \mapsto U(R)</math> इस अर्थ में प्रतिनिधित्व योग्य है: <math>\mathbb{G}_m(R) \simeq \operatorname{Hom}(\mathbb{Z}[t, t^{-1}], R)</math> क्रमविनिमेय वलय {{mvar|R}}के लिए (उदाहरण के लिए यह समूह वलय निर्माण के साथ उपर्युक्त सहायक संबंध से अनुसरण करता है)। स्पष्ट रूप से इसका मतलब यह है कि वलय होमोमोर्फिज्म <math>\mathbb{Z}[t, t^{-1}] \to R</math> के सेट और {{mvar|R}} के इकाई तत्वों के सेट के बीच एक प्राकृतिक आपत्ति है (इसके विपरीत,<math>\mathbb{Z}[t]</math>एडिटिव ग्रुप <math>\mathbb{G}_a</math> का प्रतिनिधित्व करता है, जो कम्यूटिव की श्रेणी से भूलने वाला फ़ैक्टर है। एबेलियन समूहों की श्रेणी में आता है)। | |||
==संबद्धता== | ==संबद्धता== | ||
मान लीजिए कि R क्रमविनिमेय है। {{mvar|R}} के तत्व r और s को सहयोगी कहा जाता है यदि {{mvar|R}} में एक इकाई {{mvar|u}} मौजूद है जैसे कि {{math|1=''r'' = ''us''}}; फिर {{math|''r'' ∼ ''s''}} लिखें. किसी भी वलय में, योगात्मक व्युत्क्रम तत्वों के जोड़े{{efn|{{mvar|x}} and {{math|−''x''}} are not necessarily distinct. For example, in the ring of integers modulo 6, one has {{math|1=3 = −3}} even though {{math|1 ≠ −1}}.}} {{math|''x''}} और {{math|−''x''}} सहयोगी होते हैं। उदाहरण के लिए, 6 और −6 {{math|'''Z'''}} में सहयोगी हैं। सामान्य तौर पर, {{math|~}} {{mvar|R}} पर एक तुल्यता संबंध है। | |||
संबद्धता को | संबद्धता को गुणन के माध्यम से R पर {{math|''R''{{sup|×}}}} की क्रिया के संदर्भ में भी वर्णित किया जा सकता है: R के दो तत्व सहयोगी हैं यदि वे एक ही {{math|''R''{{sup|×}}}}-कक्षा में हैं। | ||
एक | एक अभिन्न डोमेन में, किसी दिए गए गैर-शून्य तत्व के सहयोगियों के सेट में {{math|''R''{{sup|×}}}}के समान [[प्रमुखता]] होती है। | ||
तुल्यता संबंध | तुल्यता संबंध ~ को ग्रीन के अर्धसमूह संबंधों में से किसी एक के रूप में देखा जा सकता है जो क्रमविनिमेय वलय {{mvar|R}} के गुणक अर्धसमूह के लिए विशिष्ट है। | ||
==यह भी देखें== | ==यह भी देखें== |
Revision as of 12:05, 8 July 2023
बीजगणित में, वलय की एक इकाई या व्युत्क्रमणीय तत्व[lower-alpha 1] वलय के गुणन के लिए एक व्युत्क्रमणीय तत्व है। अर्थात्, वलय R का एक तत्व u एक इकाई है यदि R में v उपस्थित है जैसे कि
कम सामान्यतः ईकाई शब्द का प्रयोग कभी-कभी वलय के तत्व 1 को संदर्भित करने के लिए किया जाता है, ईकाई या ईकाई वलय के साथ वलय और ईकाई आव्यूह जैसे भावों में। इस अस्पष्टता के कारण, 1 को सामान्यतः "एकता" या वलय की "पहचान" कहा जाता है और वाक्यांश "एकता के साथ वलय" या "पहचान के साथ वलय" का उपयोग इस बात पर जोर देने के लिए किया जा सकता है कि कोई एक आरएनजी (बीजगणित) के बजाय एक वलय पर विचार कर रहा है।
उदाहरण
गुणक सर्वसमिका 1 और इसका योगात्मक व्युत्क्रम -1 सदैव इकाइयाँ हैं। अधिक सामान्यतः, वलय R में एकता का कोई भी मूल एक इकाई है: यदि rn = 1 है, तो rn − 1 r का गुणक व्युत्क्रम है। एक गैर-शून्य वलय में, तत्व 0 एक इकाई नहीं है, इसलिए R× जोड़ के तहत बंद नहीं है। एक अशून्य वलय R जिसमें प्रत्येक अशून्य तत्व एक इकाई है (अर्थात, R× = R −{0}) को एक विभाजन वलय (या एक तिरछा क्षेत्र) कहा जाता है। क्रमविनिमेय विभाजन वलय को क्षेत्र कहा जाता है। उदाहरण के लिए, वास्तविक संख्या R के क्षेत्र का इकाई समूह R − {0} है।
पूर्णांक वलय
पूर्णांक Z के वलय में, एकमात्र इकाइयाँ 1 और −1 हैं।
पूर्णांक मॉड्यूलो n के वलय Z/nZ में, इकाइयाँ सर्वांगसम वर्ग (mod n) हैं जो n के पूर्णांक सहअभाज्य द्वारा दर्शाए जाते हैं। वे पूर्णांक मॉड्यूलो n के गुणक समूह का गठन करते हैं।
किसी संख्या क्षेत्र के पूर्णांकों का वलय
द्विघात पूर्णांक √3 को Z से जोड़कर प्राप्त वलय Z[√3] में, एक के पास (2 + √3)(2 − √3) = 1 है, इसलिए 2 + √3 एक इकाई है, और इसकी शक्तियां भी हैं , इसलिए Z[√3] में अपरिमित रूप से कई इकाइयाँ हैं।
संख्या क्षेत्र F में पूर्णांक R के वलय के लिए अधिक सामान्यतः, डिरिक्लेट की इकाई प्रमेय में कहा गया है कि R× समूह के लिए समरूपी है
यह Z[√3] उदाहरण को पुनः प्राप्त करता है: एक वास्तविक द्विघात क्षेत्र का इकाई समूह (पूर्णांकों का वलय) के बाद से पद 1 का अनंत है
बहुपद और घात श्रृंखला
क्रमविनिमेय वलय R के लिए, बहुपद वलय R[x] की इकाइयाँ बहुपद हैं
आव्यूह वलय
वलय R के ऊपर n × n आव्यूहों के वलय Mn(R) का इकाई समूह व्युत्क्रमणीय आव्यूहों का समूह GLn(R) है। क्रमविनिमेय वलय R के लिए, Mn(R) का एक तत्व A व्युत्क्रमणीय है यदि और केवल यदि A का निर्धारक R में व्युत्क्रमणीय है। उस स्थिति में, A−1 को स्पष्ट रूप से सहायक मैट्रिक्स के संदर्भ में दिया जा सकता है।
सामान्यतः
वलय R में तत्वों x और y के लिए, यदि व्युत्क्रमणीय है, तो व्युत्क्रम के साथ व्युत्क्रमणीय है;[6] इस सूत्र का अनुमान लगाया जा सकता है, किंतु गैर-अनुवांशिक शक्ति श्रृंखला की वलय में निम्नलिखित गणना द्वारा सिद्ध नहीं किया जा सकता है:
इकाइयों का समूह
एक क्रमविनिमेय वलय एक स्थानीय वलय है यदि R − R× एक अधिकतम आदर्श है.
जैसा कि यह पता चला है, यदि R − R× एक आदर्श है, तो यह आवश्यक रूप से एक अधिकतम आदर्श है और R स्थानीय है क्योंकि अधिकतम आदर्श R× से असंयुक्त है।
यदि R एक परिमित क्षेत्र है, तो R× क्रम का एक चक्रीय समूह है।
प्रत्येक वलय समरूपता f : R → S एक समूह समरूपता R× → S× को प्रेरित करता है, क्योंकि f इकाइयों को इकाइयों में मैप करता है। वास्तव में, इकाई समूह का गठन वलय की श्रेणी से लेकर समूहों की श्रेणी तक एक फ़नकार को परिभाषित करता है। इस फ़नकार में एक बायाँ जोड़ है जो अभिन्न समूह वलय निर्माण है।[7]
समूह योजना गुणक समूह योजना के लिए समरूपी है किसी भी आधार पर, किसी भी क्रमविनिमेय वलय के लिए R, समूह और विहित रूप से समरूपी हैं . ध्यान दें कि फ़नकार (वह है, ) इस अर्थ में प्रस्तुत करने योग्य है: क्रमविनिमेय छल्लों के लिए R (उदाहरण के लिए, यह समूह वलय निर्माण के साथ उपर्युक्त सहायक संबंध से अनुसरण करता है)। स्पष्ट रूप से इसका मतलब यह है कि वलय होमोमोर्फिज्म के सेट के बीच एक प्राकृतिक आपत्ति है और इकाई तत्वों का सेट R (इसके विपरीत, योगात्मक समूह का प्रतिनिधित्व करता है , क्रमविनिमेय वलय की श्रेणी से एबेलियन समूहों की श्रेणी तक भुलक्कड़ फ़नकार)।
समूह योजना किसी भी आधार पर गुणक समूह योजना के लिए समरूपी है, इसलिए किसी भी क्रमविनिमेय वलय R के लिए, समूह और विहित रूप से के लिए समरूपी हैं। . ध्यान दें कि फ़ैक्टर (अर्थात, इस अर्थ में प्रतिनिधित्व योग्य है: क्रमविनिमेय वलय Rके लिए (उदाहरण के लिए यह समूह वलय निर्माण के साथ उपर्युक्त सहायक संबंध से अनुसरण करता है)। स्पष्ट रूप से इसका मतलब यह है कि वलय होमोमोर्फिज्म के सेट और R के इकाई तत्वों के सेट के बीच एक प्राकृतिक आपत्ति है (इसके विपरीत,एडिटिव ग्रुप का प्रतिनिधित्व करता है, जो कम्यूटिव की श्रेणी से भूलने वाला फ़ैक्टर है। एबेलियन समूहों की श्रेणी में आता है)।
संबद्धता
मान लीजिए कि R क्रमविनिमेय है। R के तत्व r और s को सहयोगी कहा जाता है यदि R में एक इकाई u मौजूद है जैसे कि r = us; फिर r ∼ s लिखें. किसी भी वलय में, योगात्मक व्युत्क्रम तत्वों के जोड़े[lower-alpha 3] x और −x सहयोगी होते हैं। उदाहरण के लिए, 6 और −6 Z में सहयोगी हैं। सामान्य तौर पर, ~ R पर एक तुल्यता संबंध है।
संबद्धता को गुणन के माध्यम से R पर R× की क्रिया के संदर्भ में भी वर्णित किया जा सकता है: R के दो तत्व सहयोगी हैं यदि वे एक ही R×-कक्षा में हैं।
एक अभिन्न डोमेन में, किसी दिए गए गैर-शून्य तत्व के सहयोगियों के सेट में R×के समान प्रमुखता होती है।
तुल्यता संबंध ~ को ग्रीन के अर्धसमूह संबंधों में से किसी एक के रूप में देखा जा सकता है जो क्रमविनिमेय वलय R के गुणक अर्धसमूह के लिए विशिष्ट है।
यह भी देखें
टिप्पणियाँ
- ↑ The use of "invertible element" without specifying the operation is not ambiguous in the case of rings, since all elements of a ring are invertible for addition.
- ↑ The notation R×, introduced by André Weil, is commonly used in number theory, where unit groups arise frequently.[3] The symbol × is a reminder that the group operation is multiplication. Also, a superscript × is not frequently used in other contexts, whereas a superscript * often denotes dual.
- ↑ x and −x are not necessarily distinct. For example, in the ring of integers modulo 6, one has 3 = −3 even though 1 ≠ −1.
उद्धरण
- ↑ Dummit & Foote 2004.
- ↑ Lang 2002.
- ↑ Weil 1974.
- ↑ Watkins (2007, Theorem 11.1)
- ↑ Watkins (2007, Theorem 12.1)
- ↑ Jacobson 2009, § 2.2. Exercise 4.
- ↑ Exercise 10 in § 2.2. of Cohn, Paul M. (2003). Further algebra and applications (Revised ed. of Algebra, 2nd ed.). London: Springer-Verlag. ISBN 1-85233-667-6. Zbl 1006.00001.
स्रोत
- Dummit, David S.; Foote, Richard M. (2004). सार बीजगणित (3rd ed.). John Wiley & Sons. ISBN 0-471-43334-9.
- Jacobson, Nathan (2009). बुनियादी बीजगणित 1 (2nd ed.). Dover. ISBN 978-0-486-47189-1.
- Lang, Serge (2002). बीजगणित. Graduate Texts in Mathematics. Springer. ISBN 0-387-95385-X.
- Watkins, John J. (2007), Topics in commutative ring theory, Princeton University Press, ISBN 978-0-691-12748-4, MR 2330411
- Weil, André (1974). मूल संख्या सिद्धांत. Grundlehren der mathematischen Wissenschaften. Vol. 144 (3rd ed.). Springer-Verlag. ISBN 978-3-540-58655-5.
श्रेणी:1 (संख्या) श्रेणी:बीजगणितीय संख्या सिद्धांत श्रेणी:समूह सिद्धांत श्रेणी:वलय सिद्धांत श्रेणी:तत्वों के बीजगणितीय गुण