इकाई (रिंग सिद्धांत)

बीजगणित में, वलय की एक इकाई या व्युत्क्रमणीय तत्व वलय के गुणन के लिए एक व्युत्क्रमणीय तत्व है। अर्थात्, वलय $R$ का एक तत्व $u$ एक इकाई है यदि $R$ में $v$ उपस्थित है जैसे कि $$vu = uv = 1,$$ जहां 1 गुणात्मक पहचान है; तत्व v इस गुण के लिए अद्वितीय है और इसे $u$ का गुणक व्युत्क्रम कहा जाता है $R$ की इकाइयों का समुच्चय गुणन के अंतर्गत एक समूह $R×$ बनाता है, जिसे इकाइयों का समूह या R का इकाई समूह कहा जाता है। इकाई समूह के लिए अन्य संकेतन $R×$, U(R) और $R^{∗}$ हैं। जर्मन शब्द आइन्हेइट)।

कम सामान्यतः ईकाई शब्द का प्रयोग कभी-कभी वलय के तत्व 1 को संदर्भित करने के लिए किया जाता है, ईकाई  या ईकाई  वलय के साथ वलय और ईकाई  आव्यूह जैसे भावों में। इस अस्पष्टता के कारण, 1 को सामान्यतः "एकता" या वलय की "पहचान" कहा जाता है और वाक्यांश "एकता के साथ वलय" या "पहचान के साथ वलय" का उपयोग इस बात पर जोर देने के लिए किया जा सकता है कि कोई एक आरएनजी (बीजगणित) के बजाय एक वलय पर विचार कर रहा है।

उदाहरण
गुणक सर्वसमिका 1 और इसका योगात्मक व्युत्क्रम -1 सदैव इकाइयाँ हैं। अधिक सामान्यतः, वलय R में एकता का कोई भी मूल एक इकाई है: यदि $E(R)$ है, तो $r^{n} = 1$ $r$ का गुणक व्युत्क्रम है। एक गैर-शून्य वलय में, तत्व 0 एक इकाई नहीं है, इसलिए $r^{n − 1}$ जोड़ के तहत बंद नहीं है। एक अशून्य वलय R जिसमें प्रत्येक अशून्य तत्व एक इकाई है (अर्थात, $R×$) को एक विभाजन वलय (या एक तिरछा क्षेत्र) कहा जाता है। क्रमविनिमेय विभाजन वलय को क्षेत्र कहा जाता है। उदाहरण के लिए, वास्तविक संख्या R के क्षेत्र का इकाई समूह $R× = R −{0}$ है।

पूर्णांक वलय
पूर्णांक $R − {0}$ के वलय में, एकमात्र इकाइयाँ 1 और −1 हैं।

पूर्णांक मॉड्यूलो n के वलय $Z$ में, इकाइयाँ सर्वांगसम वर्ग $Z/nZ$ हैं जो $n$ के पूर्णांक सहअभाज्य द्वारा दर्शाए जाते हैं। वे पूर्णांक मॉड्यूलो $n$ के गुणक समूह का गठन करते हैं।

किसी संख्या क्षेत्र के पूर्णांकों का वलय
द्विघात पूर्णांक $(mod n)$ को $√3$ से जोड़कर प्राप्त वलय $Z$ में, एक के पास $Z[√3]$ है, इसलिए $(2 + √3)(2 − √3) = 1$ एक इकाई है, और इसकी शक्तियां भी हैं, इसलिए $2 + √3$ में अपरिमित रूप से कई इकाइयाँ हैं।

संख्या क्षेत्र $F$ में पूर्णांक $R$ के वलय के लिए अधिक सामान्यतः, डिरिक्लेट की इकाई प्रमेय में कहा गया है कि $Z[√3]$ समूह के लिए समरूपी है $$\mathbf Z^n \times \mu_R$$ जहाँ $$\mu_R$$ $R$ और $n$ में एकता की जड़ों का (परिमित, चक्रीय) समूह है, इकाई समूह की पद है $$n = r_1 + r_2 -1, $$ जहां $$r_1, r_2$$ क्रमशः वास्तविक एम्बेडिंग की संख्या और $F$ के जटिल एम्बेडिंग के जोड़े की संख्या है।

यह $R×$ उदाहरण को पुनः प्राप्त करता है: एक वास्तविक द्विघात क्षेत्र का इकाई समूह (पूर्णांकों का वलय) $$r_1=2, r_2=0$$ के बाद से पद 1 का अनंत है

बहुपद और घात श्रृंखला
क्रमविनिमेय वलय $R$ के लिए, बहुपद वलय $Z[√3]$ की इकाइयाँ बहुपद हैं $$p(x) = a_0 + a_1 x + \dots + a_n x^n$$ जैसे कि $$a_0$$ $R$ में एक इकाई है और शेष गुणांक $$a_1, \dots, a_n$$ शून्य हैं, यानी, कुछ N के लिए $$a_i^N = 0$$ को संतुष्ट करते हैं। विशेष रूप से, यदि $R$ एक डोमेन है (या अधिक सामान्यतः कम किया गया है), तो $R[x]$ की इकाइयाँ $R$ की इकाइयाँ हैं। शक्ति श्रृंखला वलय $$Rx$$ की इकाइयाँ शक्ति श्रृंखला हैं $$p(x)=\sum_{i=0}^\infty a_i x^i$$ जैसे कि $$a_0$$ $R$ में एक इकाई है।

आव्यूह वलय
वलय का इकाई समूह $R[x]$वर्ग आव्यूह का|$M_{n}(R)$ वलय के ऊपर मैट्रिसेस $R$ समूह है $n × n$ व्युत्क्रमणीय आव्यूह का। एक क्रमविनिमेय वलय के लिए $R$, तत्व $A$ का $GL_{n}(R)$ व्युत्क्रमणीय है यदि और केवल यदि का निर्धारक $A$ में उलटा है $R$. उस मामले में, $M_{n}(R)$ को सहायक आव्यूह के संदर्भ में स्पष्ट रूप से दिया जा सकता है।

सामान्य तौर पर
तत्वों के लिए $x$ और $y$ एक वलय में $R$, अगर $$1 - xy$$ तो, उलटा है $$1 - yx$$ व्युत्क्रम के साथ व्युत्क्रमणीय है $$1 + y(1-xy)^{-1}x$$; इस सूत्र का अनुमान लगाया जा सकता है, लेकिन गैर-अनुवांशिक शक्ति श्रृंखला की वलय में निम्नलिखित गणना द्वारा सिद्ध नहीं किया जा सकता है: $$(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.$$ समान परिणामों के लिए हुआ की पहचान देखें।

इकाइयों का समूह
एक क्रमविनिमेय वलय एक स्थानीय वलय है यदि $A−1$ एक अधिकतम आदर्श है.

जैसा कि यह पता चला है, यदि $R &minus; R×$ एक आदर्श है, तो यह आवश्यक रूप से एक अधिकतम आदर्श है और R स्थानीय वलय है क्योंकि एक अधिकतम आदर्श इससे असंबद्ध है $R &minus; R×$.

अगर $R$ तो फिर एक सीमित क्षेत्र है $R×$ क्रम का एक चक्रीय समूह है $$|R| - 1$$.

प्रत्येक वलय समरूपता $R×$ एक समूह समरूपता को प्रेरित करता है $f : R → S$, तब से $f$ इकाइयों को इकाइयों में मैप करता है। वास्तव में, इकाई समूह का गठन वलय ों की श्रेणी से लेकर समूहों की श्रेणी तक एक फ़नकार को परिभाषित करता है। इस फ़नकार में एक बायां जोड़ है जो अभिन्न समूह वलय निर्माण है। समूह योजना $$\operatorname{GL}_1$$ गुणक समूह योजना के लिए समरूपी है $$\mathbb{G}_m$$ किसी भी आधार पर, किसी भी क्रमविनिमेय वलय के लिए $R$, समूह $$\operatorname{GL}_1(R)$$ और $$\mathbb{G}_m(R)$$ विहित रूप से समरूपी हैं $$U(R)$$. ध्यान दें कि फ़नकार $$\mathbb{G}_m$$ (वह है, $$R \mapsto U(R)$$) इस अर्थ में प्रस्तुत करने योग्य है: $$\mathbb{G}_m(R) \simeq \operatorname{Hom}(\mathbb{Z}[t, t^{-1}], R)$$ क्रमविनिमेय छल्लों के लिए $R$ (उदाहरण के लिए, यह समूह वलय निर्माण के साथ उपर्युक्त सहायक संबंध से अनुसरण करता है)। स्पष्ट रूप से इसका मतलब यह है कि वलय होमोमोर्फिज्म के सेट के बीच एक प्राकृतिक आपत्ति है $$\mathbb{Z}[t, t^{-1}] \to R$$ और इकाई तत्वों का सेट $R$ (इसके विपरीत, $$\mathbb{Z}[t]$$ योगात्मक समूह का प्रतिनिधित्व करता है $$\mathbb{G}_a$$, क्रमविनिमेय वलय की श्रेणी से एबेलियन समूहों की श्रेणी तक भुलक्कड़ फ़नकार)।

संबद्धता
लगता है कि $R$ क्रमविनिमेय है। तत्वों $r$ और $s$ का $R$ कहा जाता है यदि कोई इकाई उपस्थित है $u$ में $R$ ऐसा है कि $R× → S×$; फिर लिखना $r = us$. किसी भी वलय में योगात्मक व्युत्क्रम तत्वों के जोड़े होते हैं $r ∼ s$ और $−x$ संबद्ध तत्व हैं। उदाहरण के लिए, 6 और −6 सहयोगी हैं $3 = −3$. सामान्य रूप में, $1 ≠ −1$ पर एक तुल्यता संबंध है $x$.

संबद्धता को समूह क्रिया (गणित) के संदर्भ में भी वर्णित किया जा सकता है $x$ पर $R$ गुणन के माध्यम से: के दो तत्व $R$ सहयोगी हैं यदि वे उसी में हैं $−x$-ऑर्बिट (समूह सिद्धांत).

एक अभिन्न डोमेन में, किसी दिए गए गैर-शून्य तत्व के सहयोगियों के सेट में समान प्रमुखता होती है $Z$.

तुल्यता संबंध $~$ को ग्रीन के संबंधों में से किसी एक के रूप में देखा जा सकता है|ग्रीन के अर्धसमूह संबंध एक क्रमविनिमेय वलय के गुणक अर्धसमूह के लिए विशिष्ट हैं $R$.

यह भी देखें

 * एस-इकाइयाँ
 * एक वलय और एक मॉड्यूल का स्थानीयकरण

स्रोत


श्रेणी:1 (संख्या) श्रेणी:बीजगणितीय संख्या सिद्धांत श्रेणी:समूह सिद्धांत श्रेणी:वलय सिद्धांत श्रेणी:तत्वों के बीजगणितीय गुण