समूह वलय: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(55 intermediate revisions by 6 users not shown)
Line 1: Line 1:
{{about|the algebraic group ring of a group|the case of a topological group|group algebra of a topological group}}
[[बीजगणित]] में वलय तथा एक मुक्त मॉडुलेटर होता है जो वलय किसी [[समूह (गणित)]] में प्राकृतिक तरीके से निर्मित होता है। यह नि: शुल्क मॉडरेटर के रूप में अदिश रॉशि में वलय पर स्थित होता है और इसके आधार पर दिए गए समूह के तत्वों का सेट भी स्थित होता है। जो वलय योग के नियम का मॉडुलेटर तत्व है और इसका गुणन रैखिकता द्वारा विस्तारित किया जाता है। औपचारिकता का वह रूप जो समूह में वलय के प्रत्येक तत्व में दिये गये वलय के भार को एकत्र कर समूह का सामान्यीकरण करता है।
[[बीजगणित]] में, एक समूह वलय तथा एक मुक्त मॉडुलेटर है और साथ ही  दिए गए वलय किसी [[समूह (गणित)]] से प्राकृतिक तरीके से निर्मित होता है। एक नि: शुल्क मॉडरेटर के रूप में, अदिश रॉशि की अंगूठी दी गई है और इसका आधार दिए गए समूह के तत्वों का सेट है। एक वलय के रूप में इसका योग नियम मुक्त मॉडुलेटर का है और इसका गुणन दिए गए समूह कानून के आधार पर रैखिकता द्वारा विस्तारित होता है। कम औपचारिक रूप से एक समूह की अंगूठी को समूह के प्रत्येक तत्व को किसी दी गई अंगूठी के भार को जोड़कर दिए गए समूह का एक सामान्यीकरण है।


यदि वलय क्रमविनिमेय है तो समूह वलय को समूह बीजगणित भी कहा जाता है यह वास्तव में दी गई वलय की संरचना के रूप में बीजगणित पर आधारित है। एक समूह बीजगणित में [[हॉफ बीजगणित]] की एक और संरचना होती है; इस जगह में, इसे एक [[समूह हॉफ बीजगणित]] कहा जाता है।
यदि यहां वलय क्रमविनिमेय हो तो इसे वलय का बीजगणित भी कहा जाता है समूह वलय की संरचना कुछ तत्वों पर आधारित होती है जो बीजगणित [[हॉफ बीजगणित|(हॉफ बीजगणित)]] की एक संरचना होती है जिसे [[समूह हॉफ बीजगणित]] कहते हैं।


समूह के छल्ले का उपकरण [[समूह प्रतिनिधित्व]] के सिद्धांत में विशेष रूप से उपयोगी है।
समूह के छल्ले का प्रयोग [[समूह प्रतिनिधित्व]] के सिद्धांत में किया जाता है।


== परिभाषा ==
== परिभाषा ==
जी एक समूह जिसे गुणात्मक रूप से लिखा जाता है और आर को एक वलय होने का रूप दिया जाता है। आर पर जी का समूह तथा वलय होता है जिसे हम आर या जी (या केवल RG) द्वारा निरूपित करेंगे जो कार्य करने का सेट है एफ :जी,आक का (गणित) सामान्यीकरण (जी) बहुत से तत्वों के लिए शून्य है जहां आर में एक स्केलर एल्फा के मॉडुलेटर स्केलर उत्पाद एल्फा एफ और मैपिंग एफ को कार्य के रूप में परिभाषित किया गया है। <math>x \mapsto \alpha \cdot f(x)</math> और दो कार्यरत एफ और जी के मॉडुलेटर समूह योग को कार्य के रूप में परिभाषित किया गया है <math>x \mapsto f(x) + g(x)</math>. योगात्मक समूह आर व जी को एक अंगूठी में बदलने के लिए हम एफ और जी के उत्पाद को कार्य के रूप में परिभाषित करते हैं।  
जहाँ जी एक वलय का समूह है जिसे गुणात्मक रूप में लिखा जा सकता है और आर को एक समूह वलय होने का रूप दिया जा जाता है। तथा आर समूह व जी वलय होता है जिसे हम आर या जी (आर जी) द्वारा निरूपित करते हैं जो कार्य करने का सेट है एफ ,जी तथा आर का गणित में सामान्यीकरण होता है जहाँ जी जैसे बहुत से तत्वों को शून्य लिख सकते हैं  तथा‌ आर स्केेैलर व एल्फा मैपिंग के रूप में परिभाषित करते हैं। एल्फा तथा एफ -एक्स कार्य करते हैं और एफ जी के मॉडुलेटर समूह योग को कार्य के रूप में परिभाषित किया जाता है जो इस प्रकार हैं-<math>x \mapsto f(x) + g(x)</math>योगात्मक समूह आर व जी को एक वलय में बदलने के लिए हम एफ और जी के उत्पाद को कार्य के रूप में परिभाषित करते हैं।  
:<math>x\mapsto\sum_{uv=x}f(u)g(v)=\sum_{u\in G}f(u)g(u^{-1}x).</math>
:<math>x\mapsto\sum_{uv=x}f(u)g(v)=\sum_{u\in G}f(u)g(u^{-1}x).</math>
जब एफ और जी परिमित समर्थन के हैं और वलय स्वयंसिद्धों को आसानी से सत्यापित किया जाता है।
यहाँ एफ और जी परिमित समूह हैं और वलय को आसानी से सत्यापित कर सकता है।


संकेतन और शब्दावली के कुछ बदलाव कार्य के रूप में इस प्रकार हैं जैसे {{nowrap|''f'' : ''G'' → ''R''}} कभी-कभी जी के तत्वों में आर के गुणांक के साथ औपचारिक रैखिक संयोजनों के रूप में लिखा जाता है।
जो इस प्रकार है जैसे एफ: जी -आर तथा जी के तत्वों को आर के गुणांक को औपचारिक रैखिक संयोजनों के रूप मेंते हैं।
:<math>\sum_{g\in G}f(g) g,</math>
:
या केवल
:<math>\sum_{g\in G}f_g g,</math>
:
जहां यह भ्रम उत्पन्न नहीं <ref name="Polcino">Polcino & Sehgal (2002), p. 131.</ref> होता कि यदि वलय आर वास्तव में एक क्षेत्र में हैं तो समूह वलय आर जी की मॉडुलेटर संरचना वास्तव में 'के' के ऊपर एक सदिश स्थान है।
<ref name="Polcino"></ref> यदि वलय आर एक क्षेत्र में हैं तो समूह वलय संरचना मॉडुलेटर संरचना 'के' के ऊपर एक सदिश स्थान लेता है।


== उदाहरण ==
== उदाहरण ==
1. माना जी बराबर सी क्यूब क्रमांक 3 का [[चक्रीय समूह]], विद्युत उत्पादक यंत्र के साथ ए तत्व 1 सी, जी को एक तत्व आर के रूप में लिखा जा सकता है
1. माना जी समूह वलय एक क्रमांक तथा [[चक्रीय समूह]] है जो विद्युत उत्पादक यंत्र के साथ ए तत्व सी तथा जी तत्व को आर के रूप में लिखते हैं। 


:<math>r = z_0 1_G + z_1 a + z_2 a^2\,</math>
:<math>r = z_0 1_G + z_1 a + z_2 a^2\,</math>
जहां जटिल संख्यायें जेड<sub>0</sub> साथ<sub>1</sub> और जेड<sub>2</sub> सी में हैं। यह चर में बहुपद वलय के समान है ऐसा है कि <math>a^3=a^0=1</math> जो सी ,''जी'' अंगूठी सी के लिए समरूपी है। [<math>a</math>]/<math>(a^3-1)</math>
जहां कठिन संख्यायें जेड1 और जेड2 हैं। तो यह चर में बहुपद समूह वलय के समान है ऐसा इसलिए है कि <math>a^3=a^0=1</math> जो ''जी'' समूह वलय सी के लिए समरूपी है।  


तत्व एस के रूप में उनका योग<math>s=w_0 1_G +w_1 a +w_2 a^2</math>
तत्व एस के रूप में उनका योग<math>s=w_0 1_G +w_1 a +w_2 a^2</math>
Line 29: Line 28:


:<math>rs = (z_0w_0 + z_1w_2 + z_2w_1) 1_G  +(z_0w_1 + z_1w_0 + z_2w_2)a +(z_0w_2 + z_2w_0 + z_1w_1)a^2.</math>
:<math>rs = (z_0w_0 + z_1w_2 + z_2w_1) 1_G  +(z_0w_1 + z_1w_0 + z_2w_2)a +(z_0w_2 + z_2w_0 + z_1w_1)a^2.</math>
तत्व 1जी के गुणांक अंगूठी (इसमें सी) सी तथा जी में एक निहित फोर्किंग को प्रेरित करता है जबकि सख्ती से सी जी के गुणक तत्व 1⋅1 है जो पहला सी से और दूसरा जी से आता है। योज्य पहचान तत्व शून्य है।
तत्व जी का गुणांक समूह वलय सी तथा जी में एक निहित फोर्किंग को प्रेरित करता है जबकि सी जी के गुणक तत्व 1⋅1 हैं जो पहला सी से और दूसरा जी से आता है। जिसका योज्य पहचान तत्व शून्य होता है।


जब जी एक गैर-कम्यूटेटिव समूह होता है, तो शर्तों को गुणा करते समय समूह में तत्वों के क्रम को बनाए रखने के लिए सावधानी बरतनी चाहिए तथा गलती से उन्हें कम्यूट नहीं करना चाहिए।  
जब जी एक गैर-कम्यूटेटिव समूह होता है तो शर्तों को गुणा करते समय समूह वलय में तत्वों के क्रम को बनाए रखने के लिए सावधानी बरतनी चाहिए तथा गलती से उन्हें गिनना नहीं चाहिए।  


2.उदाहरण एक वलय आर [[लॉरेंट बहुपद]] का है ये आर पर [[अनंत चक्रीय समूह]] जेड के समूह वलय से ज्यादा या कम नहीं है।
2.उदाहरण एक वलय आर [[लॉरेंट बहुपद]] का है ये आर पर [[अनंत चक्रीय समूह]] जेड के वलय से ज्यादा या कम नहीं है।


3.  क्यू तत्वों का चतुष्कोणीय समूह इस प्रकार है -<math>\{e, \bar{e}, i, \bar{i}, j, \bar{j}, k, \bar{k}\}</math> जहाँ  आर वास्तविक संख्याओं का समुच्चय है। जो समूह वलय का तत्व है।  
3.  क्यू तत्वों का चतुष्कोणीय समूह इस प्रकार है -<math>\{e, \bar{e}, i, \bar{i}, j, \bar{j}, k, \bar{k}\}</math> जहाँ  आर वास्तविक संख्याओं का समुच्चय है जो समूह वलय का तत्व है।  


:<math>x_1 \cdot e + x_2 \cdot \bar{e} + x_3 \cdot i + x_4 \cdot \bar{i} + x_5 \cdot j + x_6 \cdot \bar{j} + x_7 \cdot k + x_8 \cdot \bar{k}</math>
:<math>x_1 \cdot e + x_2 \cdot \bar{e} + x_3 \cdot i + x_4 \cdot \bar{i} + x_5 \cdot j + x_6 \cdot \bar{j} + x_7 \cdot k + x_8 \cdot \bar{k}</math>
जहाँ <math>x_i </math> एक वास्तविक संख्या है।
जहाँ <math>x_i </math> एक वास्तविक संख्या है।


गुणन किसी अन्य वलय में होता है जो समूह संचालन के आधार पर परिभाषित किया जाता है उदाहरण के लिए
गुणन किसी अन्य वलय में होता है जो समूह संचालन के आधार पर परिभाषित किया जाता है उदाहरण के लिए-


:<math>\begin{align} \big(3 \cdot e + \sqrt{2} \cdot i \big)\left(\frac{1}{2} \cdot \bar{j}\right) &= (3 \cdot e)\left(\frac{1}{2} \cdot \bar{j}\right) + (\sqrt{2} \cdot i)\left(\frac{1}{2} \cdot \bar{j}\right)\\
:<math>\begin{align} \big(3 \cdot e + \sqrt{2} \cdot i \big)\left(\frac{1}{2} \cdot \bar{j}\right) &= (3 \cdot e)\left(\frac{1}{2} \cdot \bar{j}\right) + (\sqrt{2} \cdot i)\left(\frac{1}{2} \cdot \bar{j}\right)\\
Line 46: Line 45:
&= \frac{3}{2} \cdot \bar{j} + \frac{\sqrt{2}}{2} \cdot k
&= \frac{3}{2} \cdot \bar{j} + \frac{\sqrt{2}}{2} \cdot k
\end{align}.</math>
\end{align}.</math>
माना कि आर क्यू आर चतुष्कोणों के तिरछे क्षेत्र के समान नहीं हैं। ऐसा इसलिए है क्योंकि चतुष्कोणों का तिरछा क्षेत्र वलय में अतिरिक्त संबंधों को संतुष्ट करता है जैसे कि <math>-1 \cdot i = -i</math> जबकि समूह की अंगूठी आर क्यू में <math>-1\cdot i</math> के बराबर नहीं है <math>1\cdot \bar{i}</math>. को अधिक विशिष्ट होने के लिए समूह आर क्यू स्थान वास्तविक सदिश स्थान आयाम 8 के रूप में रखा जाता है जबकि चतुष्कोणों के तिरछा क्षेत्र के वास्तविक सदिश स्थान के रूप में आयाम 4 है।
माना कि आर क्यू आर चतुष्कोणों के तिरछे क्षेत्र के समान नहीं हैं। क्योंकि चतुष्कोणों का तिरछा क्षेत्र वलय के अतिरिक्त अन्य संबंधों को संतुष्ट करता है जैसे कि <math>-1 \cdot i = -i</math> जबकि समूह का वलय आर क्यू में <math>-1\cdot i</math> के बराबर नहीं है <math>1\cdot \bar{i}</math>. को अधिक विशिष्ट होने के लिए समूह आर को क्यू के स्थान को वास्तविक रूप से सदिश रॉशि के स्थान आयाम को आठ के रूप में लिखा जाता है जबकि चतुष्कोणों को तिरछे क्षेत्र के वास्तविक सदिश स्थान के रूप में आयाम चार के रूप में रखा जाता है।


4. गैर-अबेलियन समूह वलय का एक और उदाहरण जेड एस 3 जहाँ जेड3 अक्षरों पर सममित समूह है। यह एक अभिन्न डोमेन नहीं है क्योंकि हमारे पास <math>[1 - (12)]*[1+(12)] = 1 -(12)+(12) -(12)(12) = 1 - 1 = 0</math> ये तत्व <math>(12)\in \mathbb{S}_3</math> ट्रांसपोज़िशन-एक क्रम है जो केवल 1 और 2 को फ्रिज करता है। इसलिए अंतर्निहित अंगूठी एक अभिन्न डोमेन होने पर भी समूह अंगूठी को एक अभिन्न डोमेन नहीं होना चाहिए।
4. गैर-अबेलियन समूह वलय का उदाहरण है जहाँ जेड तीन अक्षरों पर सममित समूह है। यह एक अभिन्न डोमेन नहीं है क्योंकि हमारे पास<math>[1 - (12)]*[1+(12)] = 1 -(12)+(12) -(12)(12) = 1 - 1 = 0</math> ये तत्व <math>(12)\in \mathbb{S}_3</math> टॉंर्सपोजीशियन के क्रम हैं जो केवल एक और दो को फ्रिज करता है। इसलिए अंतर्निहित वलय एक अभिन्न डोमेन पर नहीं होना चाहिए।


== कुछ बुनियादी गुण ==
== कुछ बुनियादी गुण ==
वलय आर की गुणात्मक पहचान को दर्शाने के लिए 1 का उपयोग करना और समूह इकाई को 1 जी द्वारा निरूपित करना अंगूठी  आर जी में आर के लिए एक सबरिंग आइसोमोर्फिक होता है और इसके उल्टे तत्वों के समूह में जी के लिए एक उपसमूह आइसोमोर्फिक होता है । जो 1 के संकेतक समारोह पर विचार करने के लिए 1जी जो सदिश एफ द्वारा परिभाषित है।
वलय आर की गुणात्मक पहचान को दर्शाने के लिए एक संख्या का उपयोग करना चाहिए और समूह इकाई को एक जी द्वारा निरूपित किया जाना चाहिए तथा वलय आर और जी में आर के लिए एक सबरिंग आइसोमोर्फिक होता है और तत्वों के समूह में जी के लिए एक उपसमूह आइसोमोर्फिक होता है। जो एक संकेतक समारोह पर विचार करने के लिए एक सदिश एफ द्वारा परिभाषित करते हैं जो इस प्रकार है-
:<math>f(g)= 1\cdot 1_G + \sum_{g\not= 1_G}0 \cdot g= \mathbf{1}_{\{1_G\}}(g)=\begin{cases}
:<math>f(g)= 1\cdot 1_G + \sum_{g\not= 1_G}0 \cdot g= \mathbf{1}_{\{1_G\}}(g)=\begin{cases}
1 & g = 1_G \\
1 & g = 1_G \\
0 & g \ne 1_G
0 & g \ne 1_G
\end{cases},</math>
\end{cases},</math>
एफ के सभी स्केलर गुणकों का सेट आर [जी] आइसोमोर्फिक से आर का एक सबरिंग है। यदि हम जी के प्रत्येक तत्व को {एस} सूचक समारोह में सही करते हैं जो एफ द्वारा परिभाषित नहीं किया गया है
एफ के सभी स्केलर गुणकों का सेट आर है जी आइसोमोर्फिक में आर का एक सबरिंग है। यदि हम जी के प्रत्येक तत्व को {एस} सूचक समारोह में रखते हैं जो एफ द्वारा परिभाषित किया गया है
:<math>f(g)= 1\cdot s + \sum_{g\not= s}0 \cdot g= \mathbf{1}_{\{s\}}(g)=\begin{cases}
:<math>f(g)= 1\cdot s + \sum_{g\not= s}0 \cdot g= \mathbf{1}_{\{s\}}(g)=\begin{cases}
1 & g = s \\
1 & g = s \\
0 & g \ne s
0 & g \ne s
\end{cases}</math>
\end{cases}</math>
परिणामी मैपिंग एक इंजेक्शन समूह समरूपता है आर [जी] में गुणन के संबंध में नहीं।
परिणामी मैपिंग एक इंजेक्शन समूह समरूपता है जो आर [जी] में गुणन के संबंध में नहीं है।


यदि आर और जी दोनों  हैं (अर्थात् आर क्रमविनिमेय है और जी एक पंक्ति समूह है) तोआर (जी) क्रमविनिमेय है।
यदि आंक्ति समूह है तो


यदि एच जी का एक [[उपसमूह]] है तो आर (एच),आर (जी) का एक उपसमूह है। इसी प्रकार यदि एस, आर का एक उपवलय है तो एस (जी) का एक उपवलय है।
एच जी का एक [[उपसमूह]] होता है और आर (एच),आर (जी) का एक उपसमूह होता है इसी प्रकार यदि एस, आर का एक उपवलय है तो एस (जी) का एक उपवलय है।


यदि जी 1 से अधिक क्रम का परिमित समूह है, तो आर [जी] में हमेशा शून्य विभाजक होते हैं। उदाहरण के लिए क्रम जी के तत्व जी पर विचार करें - एम >  फिर 1 - जी एक शून्य विभाजक है।  
यदि जी एक से अधिक क्रम का परिमित समूह है तो आर [जी] हमेशा शून्य विभाजक होते हैं। उदाहरण के लिए क्रम जी के तत्व जी पर विचार करें - एम >  फिर एक जी एक शून्य विभाजक है।  


:<math>
:<math>
(1 - g)(1 + g+\cdots+g^{m-1}) = 1 - g^m = 1 - 1 =0.
(1 - g)(1 + g+\cdots+g^{m-1}) = 1 - g^m = 1 - 1 =0.
</math>
</math>
उदाहरण के लिए समूह जेड [''एस'' पर विचार करें ] और क्रम 3 का अवयव जी=(123)
उदाहरण के लिए समूह जेड [''एस'' पर विचार करें ] और क्रम 3 का अवयव जी=123  


:<math>
:<math>
(1 - (123))(1 + (123)+ (132)) = 1 - (123)^3 = 1 - 1 =0.
(1 - (123))(1 + (123)+ (132)) = 1 - (123)^3 = 1 - 1 =0.
</math>
</math>
एक संबंधित परिणाम यदि समूह <math> K[G] </math> प्रधान वलय है तो जी की कोई गैर-पहचान परिमित सामान्य उपसमूह नहीं है विशेष रूप से जी अनंत होना चाहिए।
एक संबंधित परिणाम यदि के,जी वलय है तो जी की कोई पहचान परिमित रूप से सामान्य उपसमूह नहीं है विशेष रूप से जी अनंत होना चाहिए।


<math> H </math> एक गैर-पहचान परिमित सामान्य उपसमूह जी है जो <math> a = \sum_{h \in H} h </math>. तब एच बराबर एच  जैसा कि हम जानते हैं कि  <math> h \in H </math>  इसलिए <math> a^2 = \sum_{h \in H} h a = |H|a </math> , <math> b = |H|\,1 - a </math>, <math> ab = 0 </math> से        <math> H </math> <math> a </math> के आधार पर आवागमन है ।
एच एक गैर-पहचान परिमित सामान्य उपसमूह है जो इस प्रकार है-<math> a = \sum_{h \in H} h </math>.   
:<math> aK[G]b=K[G]ab=0 </math>.
यदि<math> a,b </math> शून्य नहीं है तो के जी प्रधान नहीं है। यह मूल कथन को दर्शाता है।


एक [[परिमित समूह]] प्रतिनिधित्व के सिद्धांत में होते हैं। समूह बीजगणित के 'जी' क्षेत्र के पर अनिवार्य रूप से समूह वलय है जिसमें क्षेत्र के वलय का स्थान ले रहा है। एक समुच्चय और सदिश राशि के रूप में जो क्षेत्र 'के' के ऊपर जी पर मुक्त सदिश राशि है।
जैसा कि हम जानते हैं कि <math> a^2 = \sum_{h \in H} h a = |H|a </math> , <math> b = |H|\,1 - a </math>, <math> ab = 0 </math>  तो <math> H </math> <math> a </math> के आधार पर हम यह लिख सकते हैं। 
:<math>x=\sum_{g\in G} a_g g.</math>
 
एक क्षेत्र संरचना पर बीजगणित के समूह में गुणन का उपयोग करके परिभाषित किया गय।  है:
यदि एक [[परिमित समूह]] प्रतिनिधित्व के सिद्धांत में होते हैं। तो समूह बीजगणित में अनिवार्य रूप से समूह वलय है जिसमें क्षेत्र के वलय का स्थान जी ले रहा है। एक समुच्चय और सदिश राशि में [[परिमित समूह|मुक्त]] गुणन का उपयोग करके परिभाषित किया गया है।
:<math>g \cdot h = gh,</math>
:<math>g \cdot h = gh,</math>
जहां बाईं ओर जी और एच समूह बीजगणित के तत्वों को इंगित करते हैं, जबकि दाईं ओर गुणन समूह संक्रिया है ।  
जहां बाईं ओर जी बीजगणित के तत्वों को दर्शाते हैं, तथा दाईं ओर आर गुणन समूह संक्रिया को दर्शाते हैं ।  
 
इसलिए के (जी) के आधार सदिशों को ई के रूप में भी लिखा जा सकता है जिस स्थिति में गुणन को इस प्रकार लिखा जाता है-
:<math>e_g \cdot e_h = e_{gh}.</math>


इसलिए के ,जी के आधार पर सदिशों को ई के रूप में भी लिखा जा सकता है -
:


=== कार्यों के रूप में व्याख्या ===
=== कार्यों के रूप में व्याख्या ===
जी पर के-मूल्यवान कार्यों के रूप में मुक्त वेक्टर अंतरिक्ष के बारे में सोचते हुए, बीजगणित गुणन कार्यों का दृढ़ संकल्प है।
जी मूल्यवान कार्यों के रूप में न हीअंतरिक्ष के बारे में सोचते हैं बल्कि बीजगणित गुणन कार्यों का दृढ़ संकल्प लेते हैं।


जबकि एक परिमित समूह के समूह बीजगणित को समूह पर कार्यों के स्थान के साथ पहचाना जा सकता है, एक अनंत समूह के लिए ये भिन्न होते हैं। समूह बीजगणित, जिसमें परिमित योग होते हैं, उस समूह के कार्यों से मेल खाता है जो [[निश्चित रूप से]] कई बिंदुओं के लिए गायब हो जाता है; टोपोलॉजिकल रूप से ([[असतत टोपोलॉजी]] का उपयोग करके), ये [[कॉम्पैक्ट समर्थन]] वाले कार्यों के अनुरूप हैं।
जबकि एक परिमित समूह कार्यों के साथ पहचाना जा सकता है तथा अनंत समूह के लिए ये भिन्न होते हैं। समूह बीजगणित जिसमें परिमित योग होते हैं जो समूह के कार्यों से मेल खाते हैं तथा [[निश्चित रूप से]] कई बिंदुओं को गायब कर देते हैं कुछ उपयोग के रूप से ([[असतत टोपोलॉजी]] का उपयोग करके) ये [[कॉम्पैक्ट समर्थन]] वाले कार्यों के अनुरूप कार्य करते हैं।


हालाँकि, समूह बीजगणित K [G] और कार्यों का स्थान {{nowrap|1=''K''<sup>''G''</sup> := Hom(''G'', ''K'')}} दोहरे हैं: समूह बीजगणित का एक तत्व दिया गया है
जबकि समूह बीजगणित में के,जी के तत्वों के स्थान हैं तथा समूह बीजगणित का एक तत्व दिया गया है जो इस प्रकार है-


:<math>x = \sum_{g\in G} a_g g</math>
:<math>x = \sum_{g\in G} a_g g</math>
और समूह पर एक समारोह {{nowrap|''f'' : ''G'' → ''K''}} ये जोड़ी K का एक तत्व देने के लिए
जबकि समूह पर एक समारोह एफ:जी-के एक तत्व देने के लिए इस प्रकार है-


:<math>(x,f) = \sum_{g\in G} a_g f(g),</math>
:<math>(x,f) = \sum_{g\in G} a_g f(g),</math>
जो एक सुपरिभाषित योग है क्योंकि यह परिमित है।
जो एक परिभाषित योग है क्योंकि यह परिमित है।


=== एक समूह बीजगणित === का प्रतिनिधित्व
एक समूह बीजगणित के प्रतिनिधित्व के ,जी को एक अमूर्त बीजगणित लेते हुए एक आयाम डी के 'के'-वेक्टर अंतरिक्ष वी पर कार्य करने वाले बीजगणित के समूह प्रतिनिधित्व के लिए कह सकता है। ऐसा प्रतिनिधित्व यह है
के [जी] को एक अमूर्त बीजगणित लेते हुए, एक आयाम डी के के-वेक्टर अंतरिक्ष वी पर कार्य करने वाले बीजगणित के समूह प्रतिनिधित्व के लिए कह सकता है। ऐसा प्रतिनिधित्व


:<math>\tilde{\rho}:K[G]\rightarrow \mbox{End} (V)</math>
:<math>\tilde{\rho}:K[G]\rightarrow \mbox{End} (V)</math>
समूह बीजगणित से वी के [[एंडोमोर्फिज्म]] के बीजगणित तक बीजगणित होमोमोर्फिज्म है, जो डी × डी मैट्रिक्स की अंगूठी के लिए आइसोमोर्फिक है: <math>\mathrm{End}(V)\cong M_{d}(K) </math>. समतुल्य रूप से, यह एक मॉड्यूल (गणित) है | बाएं के [जी] -मॉड्यूल एबेलियन समूह वी पर।
समूह बीजगणित में [[एंडोमोर्फिज्म]] के होमोमोर्फिज्म हैं जो डी × डी मैट्रिक्स के वलय के लिए आइसोमोर्फिक है।जो <math>\mathrm{End}(V)\cong M_{d}(K) </math> पर समतुल्य है, यह एक फ्रेमवर्क (गणित) है, जी फ्रेमवर्क एबेलियन समूह वी पर स्थित है।


तदनुसार, एक समूह प्रतिनिधित्व
तदनुसार


:<math>\rho:G\rightarrow \mbox{Aut}(V),</math>
:<math>\rho:G\rightarrow \mbox{Aut}(V),</math>
G से V के रैखिक ऑटोमोर्फिज़्म के समूह के लिए एक समूह समरूपता है, जो कि उलटा मेट्रिसेस के [[सामान्य रैखिक समूह]] के लिए आइसोमोर्फिक है: <math>\mathrm{Aut}(V)\cong \mathrm{GL}_d(K) </math>. ऐसा कोई भी प्रतिनिधित्व बीजगणित प्रतिनिधित्व को प्रेरित करता है
जी से वी के रैखिक ऑटोमोर्फिज़्म के समूह के लिए एक समूह की समरूपता जो कि उलटा मेट्रिसेस के [[सामान्य रैखिक समूह]] के लिए आइसोमोर्फिक है <math>\mathrm{Aut}(V)\cong \mathrm{GL}_d(K) </math> ऐसा कोई भी प्रतिनिधित्व बीजगणित को प्रेरित नहीं करता है।


:<math>\tilde{\rho}:K[G]\rightarrow \mbox{End}(V),</math>
:<math>\tilde{\rho}:K[G]\rightarrow \mbox{End}(V),</math>
बस दे कर <math>\tilde{\rho}(e_g) = \rho(g)</math> और रैखिक रूप से फैल रहा है। इस प्रकार, समूह के निरूपण बिल्कुल बीजगणित के निरूपण के अनुरूप होते हैं, और दो सिद्धांत अनिवार्य रूप से समकक्ष हैं।
जब <math>\tilde{\rho}(e_g) = \rho(g)</math> रैखिक रूप से फैल रहा हो तो इस प्रकार समूह के निरूपण बिल्कुल बीजगणित के निरूपण के अनुरूप होते हैं और दो सिद्धांत अनिवार्य रूप से समकक्ष हैं।


=== नियमित प्रतिनिधित्व ===
=== नियमित प्रतिनिधित्व ===
{{Main|Regular representation}}
{{Main|नियमित प्रतिनिधित्व}}
समूह बीजगणित अपने आप में एक बीजगणित है; आर और आर [जी] मॉड्यूल पर अभ्यावेदन के पत्राचार के तहत, यह समूह का [[नियमित प्रतिनिधित्व]] है।
समूह बीजगणित आर और आर,जी मॉड्यूल पर अभ्यावेदन के पत्राचार के तहत यह समूह का [[नियमित प्रतिनिधित्व]] करता है।


एक प्रतिनिधित्व के रूप में लिखा, यह प्रतिनिधित्व जी है {{mapsto}} ρ<sub>''g''</sub> द्वारा दी गई क्रिया के साथ <math>\rho(g)\cdot e_h = e_{gh}</math>, या
एक प्रतिनिधित्व के रूप में ये लिखा गया कि यह प्रतिनिधित्व जी है जो इस प्रकार है <math>\rho(g)\cdot e_h = e_{gh}</math>, या


:<math>\rho(g)\cdot r =  \sum_{h\in G} k_h \rho(g)\cdot e_h = \sum_{h\in G} k_h e_{gh}. </math>
:<math>\rho(g)\cdot r =  \sum_{h\in G} k_h \rho(g)\cdot e_h = \sum_{h\in G} k_h e_{gh}. </math>
Line 130: Line 125:


=== अर्ध-सरल अपघटन ===
=== अर्ध-सरल अपघटन ===
सदिश समष्टि K[G] का आयाम समूह में तत्वों की संख्या के बराबर है। फ़ील्ड K को आमतौर पर जटिल संख्या 'C' या वास्तविक 'R' के रूप में लिया जाता है, ताकि कोई समूह बीजगणित 'C'[G] या 'R'[G] पर चर्चा कर सके।
सदिश राशि के जी का आयाम समूह में तत्वों की संख्या के बराबर है। जो क्षेत्र 'के' को सामान्यतः जटिल संख्या सी या वास्तविक संख्या आर के रूप में लिखा जाता है जिससे बीजगणित का कोई समूह सी (जी) या ऑर (जी) पर चर्चा कर सके।


समूह बीजगणित 'सी' [जी] सम्मिश्र संख्याओं पर परिमित समूह का एक अर्धसरल वलय है। यह परिणाम, मास्चके प्रमेय, हमें 'सी' [जी] को 'सी' में प्रविष्टियों के साथ [[मैट्रिक्स रिंग]]ों के छल्ले के परिमित उत्पाद के रूप में समझने की अनुमति देता है। वास्तव में, यदि हम G के जटिल अप्रासंगिक अभ्यावेदन को V के रूप में सूचीबद्ध करते हैं<sub>k</sub>के = 1 के लिए,। . . , मी, ये [[समूह समरूपता]] के अनुरूप हैं <math>\rho_k: G\to \mathrm{Aut}(V_k)</math> और इसलिए बीजगणित समरूपता के लिए <math>\tilde\rho_k: \mathbb{C}[G]\to \mathrm{End}(V_k)</math>. इन मानचित्रणों को जोड़ने से बीजगणित समरूपता प्राप्त होती है
समूह बीजगणित 'सी' [जी] सम्मिश्र संख्याओं पर परिमित समूह का एक अर्धसरल वलय है। यह परिणाम मास्चके प्रमेय, हमें 'सी', जी को 'सी' में अनुरेखण के साथ के छल्ले के परिमित उत्पाद के रूप में समझने की अनुमति देता है। यदि हम जी के जटिल अप्रासंगिक अभ्यवेदन को वी के रूप में सूचीबद्ध करते हैं जो [[समूह समरूपता]] के अनुरूप है। <math>\rho_k: G\to \mathrm{Aut}(V_k)</math> और बीजगणित समरूपता के लिए <math>\tilde\rho_k: \mathbb{C}[G]\to \mathrm{End}(V_k)</math> इन मानचित्रणों को जोड़ने से बीजगणित समरूपता प्राप्त होती है
:<math>\tilde\rho : \mathbb{C}[G] \to \bigoplus_{k=1}^m \mathrm{End}(V_k)
:<math>\tilde\rho : \mathbb{C}[G] \to \bigoplus_{k=1}^m \mathrm{End}(V_k)
\cong \bigoplus_{k=1}^m M_{d_k}(\mathbb{C}),  </math>
\cong \bigoplus_{k=1}^m M_{d_k}(\mathbb{C}),  </math>
जहां घ<sub>k</sub>V का आयाम है<sub>k</sub>. 'C'[G] का सबलजेब्रा End(V<sub>k</sub>) आइडियल (रिंग थ्योरी) है | इडेम्पोटेंट (रिंग थ्योरी) द्वारा उत्पन्न दो तरफा आदर्श
जहां वी का आयाम के है सी (जी) का एल्जेब्रा ईएनडी  वी के विचार से वलय परिभाषित हैं |    
:<math>\epsilon_k = \frac{d_k}{|G|}\sum_{g\in G}\chi_k(g^{-1})\,g,  </math>
:<math>\epsilon_k = \frac{d_k}{|G|}\sum_{g\in G}\chi_k(g^{-1})\,g,  </math>
कहाँ <math>\chi_k(g)=\mathrm{tr}\,\rho_k(g)  </math> वी. का [[चरित्र सिद्धांत]] है<sub>k</sub>. ये ऑर्थोगोनल इडेम्पोटेंट्स की एक पूरी प्रणाली बनाते हैं, ताकि <math>\epsilon_k^2 =\epsilon_k  </math>, <math>\epsilon_j \epsilon_k = 0  </math> जे ≠ के लिए, और <math>1 = \epsilon_1+\cdots+\epsilon_m  </math>. समरूपता <math>\tilde\rho</math> परिमित समूहों पर फूरियर रूपांतरण से निकटता से संबंधित है।
जहाँ <math>\chi_k(g)=\mathrm{tr}\,\rho_k(g)  </math> वी का [[चरित्र सिद्धांत]] है के ये ट्रोगोनल इडेम्पोटेंट्स की एक पूरी प्रणाली बनाते हैं, जिससे <math>\epsilon_k^2 =\epsilon_k  </math>, <math>\epsilon_j \epsilon_k = 0  </math>     <math>1 = \epsilon_1+\cdots+\epsilon_m  </math>. समरूपता <math>\tilde\rho</math> परिमित समूहों पर फूरियर रूपांतरण से निकटता से संबंधित है।


अधिक सामान्य क्षेत्र K के लिए, जब भी K की [[विशेषता (बीजगणित)]] समूह G के क्रम को विभाजित नहीं करती है, तब K[G] अर्धसरल होता है। जब G एक परिमित एबेलियन समूह होता है, तो समूह वलय K[G] क्रमविनिमेय होता है, और इसकी संरचना को [[एकता की जड़]] के रूप में व्यक्त करना आसान होता है।
अधिक सामान्य क्षेत्र 'के' के लिए जब भी 'के' की [[विशेषता (बीजगणित)]] समूह जी के क्रम को विभाजित नहीं करती है तब के, जी अर्धसरल होता है। जब जी एक परिमित एबेलियन समूह किसी वलय के (जी) क्रमविनिमेय रूप में होता है तो इसकी संरचना को [[एकता की जड़]] के रूप में व्यक्त करना आसान होता है।


जब K विशेषता p का एक क्षेत्र होता है जो G के क्रम को विभाजित करता है, तो समूह की अंगूठी अर्ध-सरल नहीं होती है: इसमें एक गैर-शून्य [[जैकबसन कट्टरपंथी]] होता है, और यह [[मॉड्यूलर प्रतिनिधित्व सिद्धांत]] के संबंधित विषय को अपना, गहरा चरित्र देता है।
जब 'के' विशेषता पी का एक क्षेत्र होता है जो जी के क्रम को विभाजित करता है तो समूह का वलय अर्ध-सरल नहीं होत है इसमें एक गैर-शून्य [[जैकबसन कट्टरपंथी]] होता है जो यह [[मॉड्यूलर प्रतिनिधित्व सिद्धांत]] से संबंधित विषय को अपना, गहरा चरित्र देता है।


=== एक समूह बीजगणित का केंद्र ===
=== एक समूह वलय बीजगणित का केंद्र ===
समूह बीजगणित के [[एक समूह का केंद्र]] उन तत्वों का समूह है जो समूह बीजगणित के सभी तत्वों के साथ आवागमन करते हैं:
समूह बीजगणित [[एक समूह का केंद्र]] है जो समूह बीजगणित के सभी तत्वों के साथ आवागमन करते हैं।
:<math>\mathrm{Z}(K[G]) := \left\{ z \in K[G] : \forall r \in K[G], zr = rz \right\}.</math>
:<math>\mathrm{Z}(K[G]) := \left\{ z \in K[G] : \forall r \in K[G], zr = rz \right\}.</math>
केंद्र वर्ग कार्यों के समुच्चय के बराबर है, अर्थात उन तत्वों का समुच्चय जो प्रत्येक संयुग्मन वर्ग पर स्थिर होते हैं
केंद्र के वर्ग में कार्यों के समुच्चय बराबर हैं अर्थात् उन तत्वों का समुच्चय जो प्रत्येक संयुग्मन वर्ग पर स्थिर होते हैं।
:<math>\mathrm{Z}(K[G]) = \left\{ \sum_{g \in G} a_g g :  \forall g,h \in G, a_g = a_{h^{-1}gh}\right\}.</math>
:<math>\mathrm{Z}(K[G]) = \left\{ \sum_{g \in G} a_g g :  \forall g,h \in G, a_g = a_{h^{-1}gh}\right\}.</math>
अगर {{nowrap|1=''K'' = '''C'''}}, जी के अलघुकरणीय चरित्र सिद्धांत का सेट आंतरिक उत्पाद के संबंध में Z(K[G]) का एक असामान्य आधार बनाता है।
यदि सिग्मा समूह वलय के बराबर है तो सी , जी के अलघुकरणीय चरित्र सिद्धांत का सेट आंतरिक उत्पाद के संबंध में जेड , जी का एक असामान्य आधार है।
:<math>\left \langle \sum_{g \in G} a_g g, \sum_{g \in G} b_g g \right \rangle = \frac{1}{|G|} \sum_{g \in G} \bar{a}_g b_g.</math>
:<math>\left \langle \sum_{g \in G} a_g g, \sum_{g \in G} b_g g \right \rangle = \frac{1}{|G|} \sum_{g \in G} \bar{a}_g b_g.</math>




== समूह एक अनंत समूह == पर बजता है
उस मामले में बहुत कम जाना जाता है जहां जी अनगिनत रूप से अनंत या बेशुमार है, और यह सक्रिय शोध का एक क्षेत्र है।<ref>{{cite journal|author=Passman, Donald S.|author-link=Donald S. Passman|title=What is a group ring?|journal=Amer. Math. Monthly|volume=83|year=1976|pages=173–185|url=http://www.maa.org/programs/maa-awards/writing-awards/what-is-a-group-ring|doi=10.2307/2977018}}</ref> मामला जहां आर जटिल संख्याओं का क्षेत्र है, शायद सबसे अच्छा अध्ययन किया गया है। इस मामले में, [[इरविंग कपलान्स्की]] ने साबित किया कि यदि ए और बी 'सी' [जी] के तत्व हैं {{nowrap|1=''ab'' = 1}}, तब {{nowrap|1=''ba'' = 1}}. क्या यह सच है अगर आर सकारात्मक विशेषता का क्षेत्र है अज्ञात रहता है।


लंबे समय से चले आ रहे कप्लान्स्की के अनुमान (~ 1940) कहते हैं कि यदि G एक मरोड़-[[मुक्त समूह]] है, और K एक क्षेत्र है, तो समूह वलय K[G] में कोई गैर-तुच्छ शून्य विभाजक नहीं है। यह अनुमान K [G] के समतुल्य है, जिसमें K और G के लिए समान परिकल्पना के तहत कोई गैर-तुच्छ [[nilpotent]] नहीं है।
समूह वलय एक अनंत समूह पर बनता है जो उस स्थित में बहुत कम जाना जाता है और यह सक्रिय शोध का एक क्षेत्र है।<ref>{{cite journal|author=Passman, Donald S.|author-link=Donald S. Passman|title=What is a group ring?|journal=Amer. Math. Monthly|volume=83|year=1976|pages=173–185|url=http://www.maa.org/programs/maa-awards/writing-awards/what-is-a-group-ring|doi=10.2307/2977018}}</ref> जहाँ आर जटिल संख्याओं का क्षेत्र है तथा जिसका सबसे अच्छा अध्ययन किया जाता हो इन जगहों में[[इरविंग कपलान्स्की]] ने द्रढ़ किया कि यदि ए और बी 'सी' [जी] के तत्व हैं {{nowrap|1=''ab'' = 1}}, तब {{nowrap|1=''ba'' = 1}} आर सकारात्मक विशेषता का क्षेत्र है जो अज्ञात रहता है।
 
कप्लान्स्की के अनुमान (1940) कहते हैं कि यदि जी एक मरोड़-[[मुक्त समूह]] है और के एक क्षेत्र है तो समूह वलय के(जी) में कोई गैर-तुच्छ शून्य विभाजक नहीं है। यह अनुमान के (जी) के समतुल्य है जिसमें के और जी के लिए समान परिकल्पना है।


वास्तव में, स्थिति यह है कि K एक क्षेत्र है जिसे किसी भी रिंग में शिथिल किया जा सकता है जिसे एक [[अभिन्न डोमेन]] में एम्बेड किया जा सकता है।
जबकि स्थिति यह है कि के एक क्षेत्र है जिसे किसी भी वलय में शिथिल किया जा सकता है जिसे एक [[अभिन्न डोमेन]] में करने के लिए किया जा सकता है ।


अनुमान पूरी तरह से खुला रहता है, हालांकि मरोड़-मुक्त समूहों के कुछ विशेष मामलों को शून्य विभाजक अनुमान को पूरा करने के लिए दिखाया गया है। इसमे शामिल है:
जबकि मरोड़-मुक्त समूहों के कुछ विशेष जगहों को शून्य विभाजक में दिखाया गया है जो इसमें सम्मिलित है।  


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


मामला जहां जी एक स्थलीय समूह है, स्थानीय रूप से कॉम्पैक्ट समूह के लेख समूह बीजगणित में अधिक विस्तार से चर्चा की गई है।
स्थानीय समूह से कॉम्पैक्ट समूह वलय के लेख में समूह वलय बीजगणित में अधिक विस्तार हैं।


== श्रेणी सिद्धांत ==
== श्रेणी सिद्धांत ==


=== संलग्न ===
=== संलग्नक ===
[[श्रेणी सिद्धांत]], समूह वलय निर्माण इकाइयों के समूह से जुड़ा हुआ है; निम्नलिखित फ़ैक्टर एक सहायक फ़ैक्टर हैं:
[[श्रेणी सिद्धांत]] समूह वलय की निर्माण इकाइयों के समूह से जुड़ा हुआ है इसके निम्नलिखित कारक हैं <math>R[-]\colon \mathbf{Grp} \to R\mathbf{\text{-}Alg}</math>
:<math>R[-]\colon \mathbf{Grp} \to R\mathbf{\text{-}Alg}</math>
:<math>(-)^\times\colon R\mathbf{\text{-}Alg} \to \mathbf{Grp}</math>
:<math>(-)^\times\colon R\mathbf{\text{-}Alg} \to \mathbf{Grp}</math>
कहाँ <math>R[-]</math> एक समूह को R पर उसके समूह रिंग में ले जाता है, और <math>(-)^\times</math> इकाइयों के अपने समूह के लिए एक आर-बीजगणित लेता है।
जहां आर एक समूह वलय में जाता है और इकाइयों को अपने समूह के लिए आर वलय में ले जाता है।


कब {{nowrap|1=''R'' = '''Z'''}}, यह [[समूहों की श्रेणी]] और रिंगों की श्रेणी के बीच एक संयोजन देता है, और संयोजन की इकाई समूह G को उस समूह में ले जाती है जिसमें तुच्छ इकाइयाँ होती हैं: {{nowrap|1=''G'' × {±1} = {±''g''}.}} सामान्य तौर पर, समूह के छल्ले में गैर-तुच्छ इकाइयां होती हैं। यदि G में तत्व a और b हैं जैसे कि <math>a^n=1</math> और बी सामान्य नहीं करता है <math>\langle a\rangle</math> फिर का वर्ग
जहाँ आर=जेड [[समूहों की श्रेणी]] और वलय की श्रेणी के बीच एक संयोजन देता है और संयोजन की इकाई समूह जी को उस समूह में ले जाता है जिसमें सत्वरहित इकाइयाँ होती हैं जी×(+_1)=(+जी) समूह के छल्ले में भी सत्वरहित इकाइयां होती हैं। यदि जी में तत्व और बी हैं जैसे कि <math>a^n=1</math> और बी सामान्य नहीं है


:<math>x=(a-1)b \left (1+a+a^2+...+a^{n-1} \right )</math>
:<math>x=(a-1)b \left (1+a+a^2+...+a^{n-1} \right )</math>
शून्य है, इसलिए <math>(1+x)(1-x)=1</math>. तत्व {{nowrap|1 + ''x''}} अनंत क्रम की एक इकाई है।
इसलिए <math>(1+x)(1-x)=1</math>. तत्व {{nowrap|1 + ''x''}} अनंत क्रम की एक इकाई है।


=== सार्वभौमिक संपत्ति ===
=== वैश्विक संपत्ति ===
उपरोक्त संयोजन समूह के छल्ले की एक सार्वभौमिक संपत्ति व्यक्त करता है।<ref name="Polcino" /><ref>{{Cite web|url=https://ncatlab.org/nlab/show/group+algebra#general|title=group algebra in nLab|website=ncatlab.org|access-date=2017-11-01}}</ref> होने देना {{var|R}} एक (कम्यूटेटिव) रिंग बनें, चलो {{var|G}} एक समूह बनो, और चलो {{var|S}} सेम {{var|R}}-बीजगणित। किसी भी समूह समरूपता के लिए <math>f:G\to S^\times</math>, वहाँ एक अनूठा मौजूद है {{var|R}}-बीजगणित समरूपता <math>\overline{f}:R[G]\to S</math> ऐसा है कि <math>\overline{f}\circ i=f</math> कहाँ {{var|i}} समावेशन है
उपरोक्त संयोजन समूह के छल्ले सार्वभौमिक संपत्ति को व्यक्त करता है <ref name="Polcino" /> तथा आर समूह वलय पर बने और जी समूह वलय पर बने व बीजगणित किसी भी समूह समरूपता के लिए एफ:जी-एस और आर बीजगणित की समरूपता <math>\overline{f}:R[G]\to S</math> है तो <math>\overline{f}\circ i=f</math>{{var|i}} समावेशन है।


:<math>\begin{align}
:<math>\begin{align}
Line 187: Line 181:
   g &\longmapsto 1_Rg
   g &\longmapsto 1_Rg
\end{align}</math>
\end{align}</math>
दूसरे शब्दों में, <math>\overline{f}</math> अद्वितीय समाकारिता है जो निम्न रेखाचित्र को कम्यूट करती है:
दूसरे शब्दों में, <math>\overline{f}</math> अद्वितीय समाकारिता है जो निम्न रेखाचित्र को गणना करती है।
 
:[[Image:Group ring UMP.svg|200px]]इस लाभदायक वस्तु में छल्लो के लिए गणितीय शब्दावली आइसोमोर्फिक की सूची सम्मिलित है।


:[[Image:Group ring UMP.svg|200px]]इस संपत्ति को संतुष्ट करने वाली कोई अन्य अंगूठी समूह की अंगूठी के लिए गणितीय शब्दावली आइसोमोर्फिक की सूची है।
=== आशा बीजगणित ===
यदि समूह वलय बीजगणित आशा वलय बीजगणित की एक प्राकृतिक संरचना है जो सहगुणन द्वारा परिभाषित की जाती है।


=== हॉप बीजगणित ===
उदाहरण- यदि त्रिभुज जी=जी×जी के रूप से विस्तारित और एंटीपोड है
समूह बीजगणित K[G] में हॉफ बीजगणित की एक प्राकृतिक संरचना है। सहगुणन द्वारा परिभाषित किया गया है <math>\Delta(g)=g\otimes g </math>, रैखिक रूप से विस्तारित, और एंटीपोड है <math>S(g)=g^{-1}</math>, फिर से रैखिक रूप से बढ़ाया गया।


=== सामान्यीकरण ===
=== सामान्यीकरण ===
समूह बीजगणित [[मोनॉइड रिंग]] के लिए सामान्यीकरण करता है और फिर [[श्रेणी बीजगणित]] के लिए, जिसमें से एक अन्य उदाहरण [[घटना बीजगणित]] है।
यदि कोई समूह [[मोनॉइड रिंग|मोनोलोड छल्ले]] के लिए सामान्यीकरण करता है । उदाहरण[[श्रेणी बीजगणित]] [[घटना बीजगणित|घटना]]


== छानने का कार्य ==
== छानने का कार्य ==
{{Expand section|date=December 2008}}
यदि किसी समूह वलय का कार्य लम्बाई होता है तो उदाहरण के लिएजेनरेटर ।यदि समूह वलय कोई आव्यूह शब्द लेता है तथा यह विपरीत वलय [[कॉक्सेटर समूह|समूहों]] में होता है तो यह समूह का समूह वलय एक [[फ़िल्टर्ड बीजगणित|बीजगणित]] बन जाती है।
यदि किसी समूह का लंबाई कार्य है - उदाहरण के लिए, यदि जेनरेटर का विकल्प है और कोई मेट्रिक शब्द लेता है, जैसा [[कॉक्सेटर समूह]] में होता है - तो समूह की अंगूठी एक [[फ़िल्टर्ड बीजगणित]] बन जाती है।


== यह भी देखें ==
== यह भी देखें ==
* स्थानीय रूप से कॉम्पैक्ट समूह का समूह बीजगणित
* स्थानीय रूप से समूह बीजगणित।
* मोनॉइड रिंग
*
* कप्लान्स्की के अनुमान
* मोनोलोड वलय।
* कपलान्सकी के अनुसार।


=== प्रतिनिधित्व सिद्धांत ===
=== प्रतिनिधित्व सिद्धांत ===
* समूह प्रतिनिधित्व
* समूह प्रतिनिधित्व का सिद्धांत।
* नियमित प्रतिनिधित्व
* नियमित प्रतिनिधित्व का सिद्धांत।


=== श्रेणी सिद्धांत ===
=== श्रेणी सिद्धांत ===
* स्पष्ट बीजगणित
* स्पष्ट बीजगणित।
* इकाइयों का समूह
* इकाइयों का वलय।
* घटना बीजगणित
* घटना बीजगणित।
* [[तरकश (गणित)]]
* [[तरकश (गणित)|तरकश (गणित)।]]


== टिप्पणियाँ ==
== टिप्पणियाँ ==
Line 226: Line 222:
* D.S. Passman, [https://books.google.com/books/about/The_Algebraic_Structure_of_Group_Rings.html?id=2xrSHX-rpGMC ''The algebraic structure of group rings''], Wiley  (1977)
* D.S. Passman, [https://books.google.com/books/about/The_Algebraic_Structure_of_Group_Rings.html?id=2xrSHX-rpGMC ''The algebraic structure of group rings''], Wiley  (1977)


{{DEFAULTSORT:Group Ring}}[[Category: रिंग थ्योरी]] [[Category: समूहों का प्रतिनिधित्व सिद्धांत]] [[Category: हार्मोनिक विश्लेषण]]
{{DEFAULTSORT:Group Ring}}  


[[de:Monoidring]]
[[de:Monoidring]]


 
[[Category:Articles with hatnote templates targeting a nonexistent page|Group Ring]]
 
[[Category:Created On 13/02/2023|Group Ring]]
[[Category: Machine Translated Page]]
[[Category:Machine Translated Page|Group Ring]]
[[Category:Created On 13/02/2023]]
[[Category:Pages with script errors|Group Ring]]
[[Category:Templates Vigyan Ready|Group Ring]]
[[Category:रिंग थ्योरी|Group Ring]]
[[Category:समूहों का प्रतिनिधित्व सिद्धांत|Group Ring]]
[[Category:हार्मोनिक विश्लेषण|Group Ring]]

Latest revision as of 10:17, 10 March 2023

बीजगणित में वलय तथा एक मुक्त मॉडुलेटर होता है जो वलय किसी समूह (गणित) में प्राकृतिक तरीके से निर्मित होता है। यह नि: शुल्क मॉडरेटर के रूप में अदिश रॉशि में वलय पर स्थित होता है और इसके आधार पर दिए गए समूह के तत्वों का सेट भी स्थित होता है। जो वलय योग के नियम का मॉडुलेटर तत्व है और इसका गुणन रैखिकता द्वारा विस्तारित किया जाता है। औपचारिकता का वह रूप जो समूह में वलय के प्रत्येक तत्व में दिये गये वलय के भार को एकत्र कर समूह का सामान्यीकरण करता है।

यदि यहां वलय क्रमविनिमेय हो तो इसे वलय का बीजगणित भी कहा जाता है समूह वलय की संरचना कुछ तत्वों पर आधारित होती है जो बीजगणित (हॉफ बीजगणित) की एक संरचना होती है जिसे समूह हॉफ बीजगणित कहते हैं।

समूह के छल्ले का प्रयोग समूह प्रतिनिधित्व के सिद्धांत में किया जाता है।

परिभाषा

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

यहाँ एफ और जी परिमित समूह हैं और वलय को आसानी से सत्यापित कर सकता है।

जो इस प्रकार है जैसे एफ: जी -आर तथा जी के तत्वों को आर के गुणांक को औपचारिक रैखिक संयोजनों के रूप मेंते हैं।

[1] यदि वलय आर एक क्षेत्र में हैं तो समूह वलय संरचना मॉडुलेटर संरचना 'के' के ऊपर एक सदिश स्थान लेता है।

उदाहरण

1. माना जी समूह वलय एक क्रमांक तथा चक्रीय समूह है जो विद्युत उत्पादक यंत्र के साथ ए तत्व सी तथा जी तत्व को आर के रूप में लिखते हैं।

जहां कठिन संख्यायें जेड1 और जेड2 हैं। तो यह चर में बहुपद समूह वलय के समान है ऐसा इसलिए है कि जो जी समूह वलय सी के लिए समरूपी है।

तत्व एस के रूप में उनका योग

और उनका उत्पाद इस प्रकार है-

तत्व जी का गुणांक समूह वलय सी तथा जी में एक निहित फोर्किंग को प्रेरित करता है जबकि सी जी के गुणक तत्व 1⋅1 हैं जो पहला सी से और दूसरा जी से आता है। जिसका योज्य पहचान तत्व शून्य होता है।

जब जी एक गैर-कम्यूटेटिव समूह होता है तो शर्तों को गुणा करते समय समूह वलय में तत्वों के क्रम को बनाए रखने के लिए सावधानी बरतनी चाहिए तथा गलती से उन्हें गिनना नहीं चाहिए।

2.उदाहरण एक वलय आर लॉरेंट बहुपद का है ये आर पर अनंत चक्रीय समूह जेड के वलय से ज्यादा या कम नहीं है।

3. क्यू तत्वों का चतुष्कोणीय समूह इस प्रकार है - जहाँ आर वास्तविक संख्याओं का समुच्चय है जो समूह वलय का तत्व है।

जहाँ एक वास्तविक संख्या है।

गुणन किसी अन्य वलय में होता है जो समूह संचालन के आधार पर परिभाषित किया जाता है उदाहरण के लिए-

माना कि आर क्यू आर चतुष्कोणों के तिरछे क्षेत्र के समान नहीं हैं। क्योंकि चतुष्कोणों का तिरछा क्षेत्र वलय के अतिरिक्त अन्य संबंधों को संतुष्ट करता है जैसे कि जबकि समूह का वलय आर क्यू में के बराबर नहीं है . को अधिक विशिष्ट होने के लिए समूह आर को क्यू के स्थान को वास्तविक रूप से सदिश रॉशि के स्थान आयाम को आठ के रूप में लिखा जाता है जबकि चतुष्कोणों को तिरछे क्षेत्र के वास्तविक सदिश स्थान के रूप में आयाम चार के रूप में रखा जाता है।

4. गैर-अबेलियन समूह वलय का उदाहरण है जहाँ जेड तीन अक्षरों पर सममित समूह है। यह एक अभिन्न डोमेन नहीं है क्योंकि हमारे पास ये तत्व टॉंर्सपोजीशियन के क्रम हैं जो केवल एक और दो को फ्रिज करता है। इसलिए अंतर्निहित वलय एक अभिन्न डोमेन पर नहीं होना चाहिए।

कुछ बुनियादी गुण

वलय आर की गुणात्मक पहचान को दर्शाने के लिए एक संख्या का उपयोग करना चाहिए और समूह इकाई को एक जी द्वारा निरूपित किया जाना चाहिए तथा वलय आर और जी में आर के लिए एक सबरिंग आइसोमोर्फिक होता है और तत्वों के समूह में जी के लिए एक उपसमूह आइसोमोर्फिक होता है। जो एक संकेतक समारोह पर विचार करने के लिए एक सदिश एफ द्वारा परिभाषित करते हैं जो इस प्रकार है-

एफ के सभी स्केलर गुणकों का सेट आर है जी आइसोमोर्फिक में आर का एक सबरिंग है। यदि हम जी के प्रत्येक तत्व को {एस} सूचक समारोह में रखते हैं जो एफ द्वारा परिभाषित किया गया है

परिणामी मैपिंग एक इंजेक्शन समूह समरूपता है जो आर [जी] में गुणन के संबंध में नहीं है।

यदि आंक्ति समूह है तो

एच जी का एक उपसमूह होता है और आर (एच),आर (जी) का एक उपसमूह होता है इसी प्रकार यदि एस, आर का एक उपवलय है तो एस (जी) का एक उपवलय है।

यदि जी एक से अधिक क्रम का परिमित समूह है तो आर [जी] हमेशा शून्य विभाजक होते हैं। उदाहरण के लिए क्रम जी के तत्व जी पर विचार करें - एम > फिर एक जी एक शून्य विभाजक है।

उदाहरण के लिए समूह जेड [एस पर विचार करें ] और क्रम 3 का अवयव जी=123

एक संबंधित परिणाम यदि के,जी वलय है तो जी की कोई पहचान परिमित रूप से सामान्य उपसमूह नहीं है विशेष रूप से जी अनंत होना चाहिए।

एच एक गैर-पहचान परिमित सामान्य उपसमूह है जो इस प्रकार है-.

जैसा कि हम जानते हैं कि , , तो के आधार पर हम यह लिख सकते हैं।

यदि एक परिमित समूह प्रतिनिधित्व के सिद्धांत में होते हैं। तो समूह बीजगणित में अनिवार्य रूप से समूह वलय है जिसमें क्षेत्र के वलय का स्थान जी ले रहा है। एक समुच्चय और सदिश राशि में मुक्त गुणन का उपयोग करके परिभाषित किया गया है।

जहां बाईं ओर जी बीजगणित के तत्वों को दर्शाते हैं, तथा दाईं ओर आर गुणन समूह संक्रिया को दर्शाते हैं ।

इसलिए के ,जी के आधार पर सदिशों को ई के रूप में भी लिखा जा सकता है -

कार्यों के रूप में व्याख्या

जी मूल्यवान कार्यों के रूप में न हीअंतरिक्ष के बारे में सोचते हैं बल्कि बीजगणित गुणन कार्यों का दृढ़ संकल्प लेते हैं।

जबकि एक परिमित समूह कार्यों के साथ पहचाना जा सकता है तथा अनंत समूह के लिए ये भिन्न होते हैं। समूह बीजगणित जिसमें परिमित योग होते हैं जो समूह के कार्यों से मेल खाते हैं तथा निश्चित रूप से कई बिंदुओं को गायब कर देते हैं कुछ उपयोग के रूप से (असतत टोपोलॉजी का उपयोग करके) ये कॉम्पैक्ट समर्थन वाले कार्यों के अनुरूप कार्य करते हैं।

जबकि समूह बीजगणित में के,जी के तत्वों के स्थान हैं तथा समूह बीजगणित का एक तत्व दिया गया है जो इस प्रकार है-

जबकि समूह पर एक समारोह एफ:जी-के एक तत्व देने के लिए इस प्रकार है-

जो एक परिभाषित योग है क्योंकि यह परिमित है।

एक समूह बीजगणित के प्रतिनिधित्व के ,जी को एक अमूर्त बीजगणित लेते हुए एक आयाम डी के 'के'-वेक्टर अंतरिक्ष वी पर कार्य करने वाले बीजगणित के समूह प्रतिनिधित्व के लिए कह सकता है। ऐसा प्रतिनिधित्व यह है

समूह बीजगणित में एंडोमोर्फिज्म के होमोमोर्फिज्म हैं जो डी × डी मैट्रिक्स के वलय के लिए आइसोमोर्फिक है।जो पर समतुल्य है, यह एक फ्रेमवर्क (गणित) है, जी फ्रेमवर्क एबेलियन समूह वी पर स्थित है।

तदनुसार

जी से वी के रैखिक ऑटोमोर्फिज़्म के समूह के लिए एक समूह की समरूपता जो कि उलटा मेट्रिसेस के सामान्य रैखिक समूह के लिए आइसोमोर्फिक है ऐसा कोई भी प्रतिनिधित्व बीजगणित को प्रेरित नहीं करता है।

जब रैखिक रूप से फैल रहा हो तो इस प्रकार समूह के निरूपण बिल्कुल बीजगणित के निरूपण के अनुरूप होते हैं और दो सिद्धांत अनिवार्य रूप से समकक्ष हैं।

नियमित प्रतिनिधित्व

समूह बीजगणित आर और आर,जी मॉड्यूल पर अभ्यावेदन के पत्राचार के तहत यह समूह का नियमित प्रतिनिधित्व करता है।

एक प्रतिनिधित्व के रूप में ये लिखा गया कि यह प्रतिनिधित्व जी है जो इस प्रकार है , या


अर्ध-सरल अपघटन

सदिश राशि के जी का आयाम समूह में तत्वों की संख्या के बराबर है। जो क्षेत्र 'के' को सामान्यतः जटिल संख्या सी या वास्तविक संख्या आर के रूप में लिखा जाता है जिससे बीजगणित का कोई समूह सी (जी) या ऑर (जी) पर चर्चा कर सके।

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

जहां वी का आयाम के है सी (जी) का एल्जेब्रा ईएनडी वी के विचार से वलय परिभाषित हैं |

जहाँ वी का चरित्र सिद्धांत है के ये ट्रोगोनल इडेम्पोटेंट्स की एक पूरी प्रणाली बनाते हैं, जिससे , . समरूपता परिमित समूहों पर फूरियर रूपांतरण से निकटता से संबंधित है।

अधिक सामान्य क्षेत्र 'के' के लिए जब भी 'के' की विशेषता (बीजगणित) समूह जी के क्रम को विभाजित नहीं करती है तब के, जी अर्धसरल होता है। जब जी एक परिमित एबेलियन समूह किसी वलय के (जी) क्रमविनिमेय रूप में होता है तो इसकी संरचना को एकता की जड़ के रूप में व्यक्त करना आसान होता है।

जब 'के' विशेषता पी का एक क्षेत्र होता है जो जी के क्रम को विभाजित करता है तो समूह का वलय अर्ध-सरल नहीं होत है इसमें एक गैर-शून्य जैकबसन कट्टरपंथी होता है जो यह मॉड्यूलर प्रतिनिधित्व सिद्धांत से संबंधित विषय को अपना, गहरा चरित्र देता है।

एक समूह वलय बीजगणित का केंद्र

समूह बीजगणित एक समूह का केंद्र है जो समूह बीजगणित के सभी तत्वों के साथ आवागमन करते हैं।

केंद्र के वर्ग में कार्यों के समुच्चय बराबर हैं अर्थात् उन तत्वों का समुच्चय जो प्रत्येक संयुग्मन वर्ग पर स्थिर होते हैं।

यदि सिग्मा समूह वलय के बराबर है तो सी , जी के अलघुकरणीय चरित्र सिद्धांत का सेट आंतरिक उत्पाद के संबंध में जेड , जी का एक असामान्य आधार है।


समूह वलय एक अनंत समूह पर बनता है जो उस स्थित में बहुत कम जाना जाता है और यह सक्रिय शोध का एक क्षेत्र है।[2] जहाँ आर जटिल संख्याओं का क्षेत्र है तथा जिसका सबसे अच्छा अध्ययन किया जाता हो इन जगहों मेंइरविंग कपलान्स्की ने द्रढ़ किया कि यदि ए और बी 'सी' [जी] के तत्व हैं ab = 1, तब ba = 1 आर सकारात्मक विशेषता का क्षेत्र है जो अज्ञात रहता है।

कप्लान्स्की के अनुमान (1940) कहते हैं कि यदि जी एक मरोड़-मुक्त समूह है और के एक क्षेत्र है तो समूह वलय के(जी) में कोई गैर-तुच्छ शून्य विभाजक नहीं है। यह अनुमान के (जी) के समतुल्य है जिसमें के और जी के लिए समान परिकल्पना है।

जबकि स्थिति यह है कि के एक क्षेत्र है जिसे किसी भी वलय में शिथिल किया जा सकता है जिसे एक अभिन्न डोमेन में करने के लिए किया जा सकता है ।

जबकि मरोड़-मुक्त समूहों के कुछ विशेष जगहों को शून्य विभाजक में दिखाया गया है जो इसमें सम्मिलित है।

  • अनन्य उत्पाद समूह।
  • प्राथमिक अनुमन्य समूह (जैसे वस्तुतः एबेलियन समूह)।
  • विशेष रूप से समूह जो स्वतंत्र रूप से आर पर असममित रूप से कार्य करते हैं और प्रक्षेपी विमान की तरह एक, दो या तीन प्रतियों के प्रत्यक्ष योगों के मूलभूत समूहों को छोड़कर सतह समूहों के मूलभूत समूह से जुड़े होते हैं।

स्थानीय समूह से कॉम्पैक्ट समूह वलय के लेख में समूह वलय बीजगणित में अधिक विस्तार हैं।

श्रेणी सिद्धांत

संलग्नक

श्रेणी सिद्धांत समूह वलय की निर्माण इकाइयों के समूह से जुड़ा हुआ है इसके निम्नलिखित कारक हैं

जहां आर एक समूह वलय में जाता है और इकाइयों को अपने समूह के लिए आर वलय में ले जाता है।

जहाँ आर=जेड समूहों की श्रेणी और वलय की श्रेणी के बीच एक संयोजन देता है और संयोजन की इकाई समूह जी को उस समूह में ले जाता है जिसमें सत्वरहित इकाइयाँ होती हैं जी×(+_1)=(+जी) समूह के छल्ले में भी सत्वरहित इकाइयां होती हैं। यदि जी में तत्व ए और बी हैं जैसे कि और बी सामान्य नहीं है ।

इसलिए . तत्व 1 + x अनंत क्रम की एक इकाई है।

वैश्विक संपत्ति

उपरोक्त संयोजन समूह के छल्ले सार्वभौमिक संपत्ति को व्यक्त करता है [1] तथा आर समूह वलय पर बने और जी समूह वलय पर बने व बीजगणित किसी भी समूह समरूपता के लिए एफ:जी-एस और आर बीजगणित की समरूपता है तो i समावेशन है।

दूसरे शब्दों में, अद्वितीय समाकारिता है जो निम्न रेखाचित्र को गणना करती है।

Group ring UMP.svgइस लाभदायक वस्तु में छल्लो के लिए गणितीय शब्दावली आइसोमोर्फिक की सूची सम्मिलित है।

आशा बीजगणित

यदि समूह वलय बीजगणित आशा वलय बीजगणित की एक प्राकृतिक संरचना है जो सहगुणन द्वारा परिभाषित की जाती है।

उदाहरण- यदि त्रिभुज जी=जी×जी के रूप से विस्तारित और एंटीपोड है ।

सामान्यीकरण

यदि कोई समूह मोनोलोड छल्ले के लिए सामान्यीकरण करता है । उदाहरणश्रेणी बीजगणित घटना

छानने का कार्य

यदि किसी समूह वलय का कार्य लम्बाई होता है तो उदाहरण के लिए- जेनरेटर ।यदि समूह वलय कोई आव्यूह शब्द लेता है तथा यह विपरीत वलय समूहों में होता है तो यह समूह का समूह वलय एक बीजगणित बन जाती है।

यह भी देखें

  • स्थानीय रूप से समूह बीजगणित।
  • मोनोलोड वलय।
  • कपलान्सकी के अनुसार।

प्रतिनिधित्व सिद्धांत

  • समूह प्रतिनिधित्व का सिद्धांत।
  • नियमित प्रतिनिधित्व का सिद्धांत।

श्रेणी सिद्धांत

  • स्पष्ट बीजगणित।
  • इकाइयों का वलय।
  • घटना बीजगणित।
  • तरकश (गणित)।

टिप्पणियाँ

  1. 1.0 1.1
  2. Passman, Donald S. (1976). "What is a group ring?". Amer. Math. Monthly. 83: 173–185. doi:10.2307/2977018.


संदर्भ