केंद्रक और सामान्यक: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 8: Line 8:
उपयुक्त रूप से तैयार की गई, परिभाषाएँ [[ semigroup ]] पर भी लागू होती हैं।
उपयुक्त रूप से तैयार की गई, परिभाषाएँ [[ semigroup ]] पर भी लागू होती हैं।


[[ अंगूठी सिद्धांत ]] में, '[[सबरिंग]] (गणित) के एक सबसेट के केंद्रीकरण को रिंग के सेमीग्रुप (गुणन) ऑपरेशन के संबंध में परिभाषित किया गया है। रिंग R के एक उपसमुच्चय का केंद्रक, R का एक उपसमूह है। यह लेख [[झूठ बीजगणित]] में केंद्रक और सामान्यीकरण से भी संबंधित है।
[[ अंगूठी सिद्धांत ]] में, '[[सबरिंग]] (गणित) के सबसेट के केंद्रीकरण को रिंग के सेमीग्रुप (गुणन) ऑपरेशन के संबंध में परिभाषित किया गया है। रिंग R के उपसमुच्चय का केंद्रक, R का उपसमूह है। यह लेख [[झूठ बीजगणित]] में केंद्रक और सामान्यीकरण से भी संबंधित है।


सेमीग्रुप या रिंग में [[आदर्शवादी]] एक अन्य निर्माण है जो सेंट्रलाइज़र और नॉर्मलाइज़र के समान ही है।
सेमीग्रुप या रिंग में [[आदर्शवादी]] अन्य निर्माण है जो सेंट्रलाइज़र और नॉर्मलाइज़र के समान ही है।


[[ अंगूठी सिद्धांत | '''अंगूठी सिद्धांत''']] '''में, '[[सबरिंग]] (गणित) के एक सबसेट के केंद्रीकरण को रिंग के सेमीग्रुप (गुणन) ऑपरेशन के संबंध में परिभाषित किया गया है। रिंग R के एक उपसमुच्चय का केंद्रक, R का एक उपसमूह है। यह लेख [[झूठ बीजगणित]] में केंद्रक और सामान्यीकरण से भी संबंधित है।'''
[[ अंगूठी सिद्धांत | '''अंगूठी सिद्धांत''']] '''में, '[[सबरिंग]] (गणित) के सबसेट के केंद्रीकरण को रिंग के सेमीग्रुप (गुणन) ऑपरेशन के संबंध में परिभाषित किया गया है। रिंग R के उपसमुच्चय का केंद्रक, R का उपसमूह है।'''  


== परिभाषाएँ ==
== परिभाषाएँ ==


=== समूह और अर्धसमूह ===
=== समूह और अर्धसमूह ===
समूह (या सेमीग्रुप) ''G'' के एक सबसेट ''S'' के केंद्रक को इस रूप में परिभाषित किया गया है<ref>Jacobson (2009), p. 41</ref>
समूह (या सेमीग्रुप) ''G'' के सबसेट ''S'' के केंद्रक को इस रूप में परिभाषित किया गया है<ref>Jacobson (2009), p. 41</ref>
:<math>\mathrm{C}_G(S) = \left\{g \in G \mid gs = sg \text{ for all } s \in S\right\} = \left\{g \in G \mid gsg^{-1} = s \text{ for all } s \in S\right\},</math>
:<math>\mathrm{C}_G(S) = \left\{g \in G \mid gs = sg \text{ for all } s \in S\right\} = \left\{g \in G \mid gsg^{-1} = s \text{ for all } s \in S\right\},</math>
जहाँ केवल पहली परिभाषा सेमीग्रुप्स पर लागू होती है।
जहाँ केवल पहली परिभाषा सेमीग्रुप्स पर लागू होती है।
यदि प्रश्न में समूह के बारे में कोई अस्पष्टता नहीं है, तो G को संकेतन से दबाया जा सकता है। जब S = {a} एक [[सिंगलटन (गणित)]] सेट होता है, तो हम C लिखते हैं<sub>''G''</sub>(ए) सी के बजाय<sub>''G''</sub>({ए})। केंद्रक के लिए एक और कम सामान्य अंकन जेड (ए) है, जो [[केंद्र (समूह सिद्धांत)]] के लिए अंकन के समानांतर है। इस बाद के अंकन के साथ, समूह जी, जेड (जी) के 'केंद्र' और जी, जेड (जी) में एक तत्व जी के केंद्र के बीच भ्रम से बचने के लिए सावधान रहना चाहिए।
यदि प्रश्न में समूह के बारे में कोई अस्पष्टता नहीं है, तो G को संकेतन से दबाया जा सकता है। जब S = {a} [[सिंगलटन (गणित)]] सेट होता है, तो हम C लिखते हैं<sub>''G''</sub>(ए) सी के बजाय<sub>''G''</sub>({ए})। केंद्रक के लिए एक और कम सामान्य अंकन जेड (ए) है, जो [[केंद्र (समूह सिद्धांत)]] के लिए अंकन के समानांतर है। इस बाद के अंकन के साथ, समूह जी, जेड (जी) के 'केंद्र' और जी, जेड (जी) में तत्व जी के केंद्र के बीच भ्रम से बचने के लिए सावधान रहना चाहिए।


समूह (या सेमीग्रुप) जी में एस के 'नॉर्मलाइज़र' को इस रूप में परिभाषित किया गया है
समूह (या सेमीग्रुप) जी में एस के 'नॉर्मलाइज़र' को इस रूप में परिभाषित किया गया है


:<math>\mathrm{N}_G(S) = \left\{ g \in G \mid gS = Sg \right\} = \left\{g \in G \mid gSg^{-1} = S\right\},</math>
:<math>\mathrm{N}_G(S) = \left\{ g \in G \mid gS = Sg \right\} = \left\{g \in G \mid gSg^{-1} = S\right\},</math>
जहां फिर से केवल पहली परिभाषा सेमिग्रुप्स पर लागू होती है। परिभाषाएँ समान हैं लेकिन समान नहीं हैं। यदि जी एस के केंद्र में है और एस एस में है, तो यह होना चाहिए {{nowrap|1=''gs'' = ''sg''}}, लेकिन अगर जी नॉर्मलाइज़र में है, तो {{nowrap|1=''gs'' = ''tg''}} एस में कुछ टी के लिए, टी संभवतः एस से अलग है। यही है, एस के केंद्रक के तत्वों को एस के साथ बिंदुवार बदलना चाहिए, लेकिन एस के सामान्यीकरण के तत्वों को केवल एक सेट के रूप में एस के साथ यात्रा करने की आवश्यकता है। सेंट्रलाइजर्स के लिए ऊपर वर्णित वही सांकेतिक परंपराएं नॉर्मलाइजर्स पर भी लागू होती हैं। नॉर्मलाइज़र को [[ संयुग्मी बंद होना ]] के साथ भ्रमित नहीं होना चाहिए।
जहां फिर से केवल पहली परिभाषा सेमिग्रुप्स पर लागू होती है। परिभाषाएँ समान हैं लेकिन समान नहीं हैं। यदि जी एस के केंद्र में है और एस एस में है, तो यह होना चाहिए {{nowrap|1=''gs'' = ''sg''}}, लेकिन अगर जी नॉर्मलाइज़र में है, तो {{nowrap|1=''gs'' = ''tg''}} एस में कुछ टी के लिए, टी संभवतः एस से अलग है। यही है, एस के केंद्रक के तत्वों को एस के साथ बिंदुवार बदलना चाहिए, लेकिन एस के सामान्यीकरण के तत्वों को केवल सेट के रूप में एस के साथ यात्रा करने की आवश्यकता है। सेंट्रलाइजर्स के लिए ऊपर वर्णित वही सांकेतिक परंपराएं नॉर्मलाइजर्स पर भी लागू होती हैं। नॉर्मलाइज़र को [[ संयुग्मी बंद होना ]] के साथ भ्रमित नहीं होना चाहिए।


स्पष्ट रूप से <math>C_G(S) \subseteq N_G(S)</math> और दोनों के उपसमूह हैं <math>G</math>.
स्पष्ट रूप से <math>C_G(S) \subseteq N_G(S)</math> और दोनों के उपसमूह हैं <math>G</math>.


===अंगूठी, [[एक क्षेत्र पर बीजगणित]], झूठ अंगूठी, और झूठ बीजगणित===
===अंगूठी, [[एक क्षेत्र पर बीजगणित]], झूठ अंगूठी, और झूठ बीजगणित===
यदि R एक क्षेत्र पर एक वलय या बीजगणित है, और S, R का एक उपसमुच्चय है, तो S का केंद्रक बिल्कुल वैसा ही है जैसा कि G के स्थान पर R के साथ समूहों के लिए परिभाषित किया गया है।
यदि R क्षेत्र पर एक वलय या बीजगणित है, और S, R का उपसमुच्चय है, तो S का केंद्रक बिल्कुल वैसा ही है जैसा कि G के स्थान पर R के साथ समूहों के लिए परिभाषित किया गया है।


अगर <math>\mathfrak{L}</math> लाई उत्पाद [x, y] के साथ एक लाइ बीजगणित (या [[झूठ की अंगूठी]]) है, फिर एक सबसेट S का केंद्रक <math>\mathfrak{L}</math> होना परिभाषित किया गया है{{sfn|Jacobson|1979|loc=p. 28}}
अगर <math>\mathfrak{L}</math> लाई उत्पाद [x, y] के साथ लाइ बीजगणित (या [[झूठ की अंगूठी]]) है, फिर सबसेट S का केंद्रक <math>\mathfrak{L}</math> होना परिभाषित किया गया है{{sfn|Jacobson|1979|loc=p. 28}}


:<math>\mathrm{C}_{\mathfrak{L}}(S) = \{ x \in \mathfrak{L} \mid [x, s] = 0 \text{ for all } s \in S \}.</math>
:<math>\mathrm{C}_{\mathfrak{L}}(S) = \{ x \in \mathfrak{L} \mid [x, s] = 0 \text{ for all } s \in S \}.</math>
लाइ रिंग्स के लिए सेंट्रलाइजर्स की परिभाषा निम्नलिखित तरीके से रिंग्स की परिभाषा से जुड़ी हुई है। यदि R एक साहचर्य वलय है, तो R को कम्यूटेटर # (रिंग सिद्धांत) दिया जा सकता है {{nowrap|1=[''x'', ''y''] = ''xy'' − ''yx''}}. बेशक तब {{nowrap|1=''xy'' = ''yx''}} अगर और केवल अगर {{nowrap|1=[''x'', ''y''] = 0}}. यदि हम सेट आर को ब्रैकेट उत्पाद के साथ एल के रूप में निरूपित करते हैं<sub>''R''</sub>, तो स्पष्ट रूप से R में S का रिंग सेंट्रलाइज़र L में S के लाई रिंग सेंट्रलाइज़र के बराबर है<sub>''R''</sub>.
लाइ रिंग्स के लिए सेंट्रलाइजर्स की परिभाषा निम्नलिखित तरीके से रिंग्स की परिभाषा से जुड़ी हुई है। यदि R साहचर्य वलय है, तो R को कम्यूटेटर # (रिंग सिद्धांत) दिया जा सकता है {{nowrap|1=[''x'', ''y''] = ''xy'' − ''yx''}}. बेशक तब {{nowrap|1=''xy'' = ''yx''}} अगर और केवल अगर {{nowrap|1=[''x'', ''y''] = 0}}. यदि हम सेट आर को ब्रैकेट उत्पाद के साथ एल के रूप में निरूपित करते हैं<sub>''R''</sub>, तो स्पष्ट रूप से R में S का रिंग सेंट्रलाइज़र L में S के लाई रिंग सेंट्रलाइज़र के बराबर है<sub>''R''</sub>.


लाई बीजगणित (या लाई रिंग) के उपसमुच्चय S का सामान्यक <math>\mathfrak{L}</math> द्वारा दिया गया है{{sfn|Jacobson|1979|loc=p. 28}}
लाई बीजगणित (या लाई रिंग) के उपसमुच्चय S का सामान्यक <math>\mathfrak{L}</math> द्वारा दिया गया है{{sfn|Jacobson|1979|loc=p. 28}}
Line 44: Line 44:


=== अर्धसमूह ===
=== अर्धसमूह ===
होने देना <math>S'</math> के केंद्रक को निरूपित करें <math>S</math> अर्धसमूह में <math>A</math>; अर्थात। <math>S' = \{x \in A \mid sx = xs \text{ for every } s \in S\}.</math> तब <math>S'</math> एक उपसमूह बनाता है और <math>S' = S''' = S'''''</math>; यानी एक कम्यूटेंट अपना स्वयं का [[द्विकम्यूटेंट]] है।
होने देना <math>S'</math> के केंद्रक को निरूपित करें <math>S</math> अर्धसमूह में <math>A</math>; अर्थात। <math>S' = \{x \in A \mid sx = xs \text{ for every } s \in S\}.</math> तब <math>S'</math> उपसमूह बनाता है और <math>S' = S''' = S'''''</math>; यानी कम्यूटेंट अपना स्वयं का [[द्विकम्यूटेंट]] है।


=== समूह ===
=== समूह ===
स्रोत:{{sfn|Isaacs|2009|loc=Chapters 1−3}}
स्रोत:{{sfn|Isaacs|2009|loc=Chapters 1−3}}
* S का केंद्रक और सामान्यक दोनों G के उपसमूह हैं।
* S का केंद्रक और सामान्यक दोनों G के उपसमूह हैं।
* स्पष्ट रूप से, {{nowrap|C<sub>''G''</sub>(''S'') ⊆ N<sub>''G''</sub>(''S'')}}. वास्तव में, सी<sub>''G''</sub>(एस) हमेशा एन का [[सामान्य उपसमूह]] होता है<sub>''G''</sub>(एस), होमोमोर्फिज्म का कर्नेल होने के नाते {{nowrap|N<sub>''G''</sub>(''S'') → Bij(''S'')}} और समूह एन<sub>''G''</sub>(अनुसूचित जाति<sub>''G''</sub>(S) S पर द्विभाजनों के समूह के रूप में संयुग्मन द्वारा कार्य करता है। एक टोरस टी के साथ एक कॉम्पैक्ट लाइ समूह जी के [[वेइल समूह]] को परिभाषित किया गया है {{nowrap|1=''W''(''G'',''T'') = N<sub>''G''</sub>(''T'')/C<sub>''G''</sub>(''T'')}}, और विशेष रूप से अगर टोरस अधिक से अधिक है (यानी {{nowrap|1=C<sub>''G''</sub>(''T'') = ''T'')}} यह झूठ समूहों के सिद्धांत में एक केंद्रीय उपकरण है।
* स्पष्ट रूप से, {{nowrap|C<sub>''G''</sub>(''S'') ⊆ N<sub>''G''</sub>(''S'')}}. वास्तव में, सी<sub>''G''</sub>(एस) हमेशा एन का [[सामान्य उपसमूह]] होता है<sub>''G''</sub>(एस), होमोमोर्फिज्म का कर्नेल होने के नाते {{nowrap|N<sub>''G''</sub>(''S'') → Bij(''S'')}} और समूह एन<sub>''G''</sub>(अनुसूचित जाति<sub>''G''</sub>(S) S पर द्विभाजनों के समूह के रूप में संयुग्मन द्वारा कार्य करता है। टोरस टी के साथ कॉम्पैक्ट लाइ समूह जी के [[वेइल समूह]] को परिभाषित किया गया है {{nowrap|1=''W''(''G'',''T'') = N<sub>''G''</sub>(''T'')/C<sub>''G''</sub>(''T'')}}, और विशेष रूप से अगर टोरस अधिक से अधिक है (यानी {{nowrap|1=C<sub>''G''</sub>(''T'') = ''T'')}} यह झूठ समूहों के सिद्धांत में केंद्रीय उपकरण है।
* सी<sub>''G''</sub>(सी<sub>''G''</sub>(एस)) में एस होता है, लेकिन सी<sub>''G''</sub>(एस) में एस शामिल करने की आवश्यकता नहीं है। रोकथाम बिल्कुल तब होती है जब एस एबेलियन होता है।
* सी<sub>''G''</sub>(सी<sub>''G''</sub>(एस)) में एस होता है, लेकिन सी<sub>''G''</sub>(एस) में एस शामिल करने की आवश्यकता नहीं है। रोकथाम बिल्कुल तब होती है जब एस एबेलियन होता है।
* यदि H, G का एक उपसमूह है, तो N<sub>''G''</sub>(एच) में एच शामिल है।
* यदि H, G का उपसमूह है, तो N<sub>''G''</sub>(एच) में एच शामिल है।
* यदि H, G का एक उपसमूह है, तो G का सबसे बड़ा उपसमूह जिसमें H सामान्य है, उपसमूह N है<sub>''G''</sub>(एच)।
* यदि H, G का उपसमूह है, तो G का सबसे बड़ा उपसमूह जिसमें H सामान्य है, उपसमूह N है<sub>''G''</sub>(एच)।
* यदि S, G का एक उपसमुच्चय है जैसे कि S के सभी तत्व एक दूसरे के साथ आवागमन करते हैं, तो G का सबसे बड़ा उपसमूह जिसके केंद्र में S है उपसमूह C है<sub>''G''</sub>(एस)।
* यदि S, G का उपसमुच्चय है जैसे कि S के सभी तत्व एक दूसरे के साथ आवागमन करते हैं, तो G का सबसे बड़ा उपसमूह जिसके केंद्र में S है उपसमूह C है<sub>''G''</sub>(एस)।
* समूह G के एक उपसमूह H को 'कहा जाता है।{{visible anchor|self-normalizing subgroup}''जी'' का } अगर {{nowrap|1=N<sub>''G''</sub>(''H'') = ''H''}}.
* <nowiki>समूह G के उपसमूह H को 'कहा जाता है।{{visible anchor|self-normalizing subgroup}</nowiki>''जी'' का } अगर {{nowrap|1=N<sub>''G''</sub>(''H'') = ''H''}}.
* G का केंद्र ठीक C है<sub>''G''</sub>(जी) और जी एक [[एबेलियन समूह]] है अगर और केवल अगर {{nowrap|1=C<sub>''G''</sub>(G) = Z(''G'') = ''G''}}.
* G का केंद्र ठीक C है<sub>''G''</sub>(जी) और जी [[एबेलियन समूह]] है अगर और केवल अगर {{nowrap|1=C<sub>''G''</sub>(G) = Z(''G'') = ''G''}}.
* सिंगलटन सेट के लिए, {{nowrap|1=C<sub>''G''</sub>(''a'') = N<sub>''G''</sub>(''a'')}}.
* सिंगलटन सेट के लिए, {{nowrap|1=C<sub>''G''</sub>(''a'') = N<sub>''G''</sub>(''a'')}}.
* सममिति के अनुसार, यदि S और T, G के दो उपसमुच्चय हैं, {{nowrap|''T'' ⊆ C<sub>''G''</sub>(''S'')}} अगर और केवल अगर {{nowrap|''S'' ⊆ C<sub>''G''</sub>(''T'')}}.
* सममिति के अनुसार, यदि S और T, G के दो उपसमुच्चय हैं, {{nowrap|''T'' ⊆ C<sub>''G''</sub>(''S'')}} अगर और केवल अगर {{nowrap|''S'' ⊆ C<sub>''G''</sub>(''T'')}}.
* समूह G के एक उपसमूह H के लिए, 'N/C प्रमेय' कहता है कि [[कारक समूह]] N<sub>''G''</sub>(एच) / सी<sub>''G''</sub>(एच) ऑट (एच) के उपसमूह के लिए [[समूह समरूपता]] है, एच के [[ automorphism ]] का समूह। चूंकि {{nowrap|1=N<sub>''G''</sub>(''G'') = ''G''}} और {{nowrap|1=C<sub>''G''</sub>(''G'') = Z(''G'')}}, N/C प्रमेय का अर्थ यह भी है कि G/Z(G) Inn(G) के लिए आइसोमॉर्फिक है, Aut(G) के उपसमूह में G के सभी [[आंतरिक ऑटोमोर्फिज्म]] शामिल हैं।
* समूह G के उपसमूह H के लिए, 'N/C प्रमेय' कहता है कि [[कारक समूह]] N<sub>''G''</sub>(एच) / सी<sub>''G''</sub>(एच) ऑट (एच) के उपसमूह के लिए [[समूह समरूपता]] है, एच के [[ automorphism ]] का समूह। चूंकि {{nowrap|1=N<sub>''G''</sub>(''G'') = ''G''}} और {{nowrap|1=C<sub>''G''</sub>(''G'') = Z(''G'')}}, N/C प्रमेय का अर्थ यह भी है कि G/Z(G) Inn(G) के लिए आइसोमॉर्फिक है, Aut(G) के उपसमूह में G के सभी [[आंतरिक ऑटोमोर्फिज्म]] शामिल हैं।
* यदि हम एक [[समूह समरूपता]] को परिभाषित करते हैं {{nowrap|''T'' : ''G'' → Inn(''G'')}} द्वारा {{nowrap|1=''T''(''x'')(''g'') = ''T''<sub>''x''</sub>(''g'') = ''xgx''<sup>−1</sup>}}, तो हम N का वर्णन कर सकते हैं<sub>''G''</sub>(एस) और सी<sub>''G''</sub>(एस) जी पर इन (जी) की समूह कार्रवाई (गणित) के संदर्भ में: इन (जी) में एस का स्टेबलाइजर टी (एन) है<sub>''G''</sub>(एस)), और इन (जी) का उपसमूह एस बिंदुवार फिक्सिंग टी (सी) है<sub>''G''</sub>(एस))।
* यदि हम [[समूह समरूपता]] को परिभाषित करते हैं {{nowrap|''T'' : ''G'' → Inn(''G'')}} द्वारा {{nowrap|1=''T''(''x'')(''g'') = ''T''<sub>''x''</sub>(''g'') = ''xgx''<sup>−1</sup>}}, तो हम N का वर्णन कर सकते हैं<sub>''G''</sub>(एस) और सी<sub>''G''</sub>(एस) जी पर इन (जी) की समूह कार्रवाई (गणित) के संदर्भ में: इन (जी) में एस का स्टेबलाइजर टी (एन) है<sub>''G''</sub>(एस)), और इन (जी) का उपसमूह एस बिंदुवार फिक्सिंग टी (सी) है<sub>''G''</sub>(एस))।
* समूह जी के एक उपसमूह एच को 'सी-बंद' या 'स्वयं-बायकोमुटेंट' कहा जाता है यदि {{nowrap|1=''H'' = C<sub>''G''</sub>(''S'')}} कुछ सबसेट के लिए {{nowrap|''S'' ⊆ ''G''}}. यदि ऐसा है, तो वास्तव में, {{nowrap|1=''H'' = C<sub>''G''</sub>(C<sub>''G''</sub>(''H''))}}.
* समूह जी के उपसमूह एच को 'सी-बंद' या 'स्वयं-बायकोमुटेंट' कहा जाता है यदि {{nowrap|1=''H'' = C<sub>''G''</sub>(''S'')}} कुछ सबसेट के लिए {{nowrap|''S'' ⊆ ''G''}}. यदि ऐसा है, तो वास्तव में, {{nowrap|1=''H'' = C<sub>''G''</sub>(C<sub>''G''</sub>(''H''))}}.


=== एक क्षेत्र पर छल्ले और बीजगणित ===
=== एक क्षेत्र पर छल्ले और बीजगणित ===
स्रोत:{{sfn|Jacobson|1979|loc=p. 28}}
स्रोत:{{sfn|Jacobson|1979|loc=p. 28}}
* एक क्षेत्र में छल्ले और बीजगणित में केंद्रक एक क्षेत्र के ऊपर क्रमशः सबरिंग और सबलजेब्रस होते हैं; लाई रिंग्स और लाई एल्जेब्रा में सेंट्रलाइज़र क्रमशः लाई सबरिंग्स और लाई सबलजेब्रस हैं।
* एक क्षेत्र में छल्ले और बीजगणित में केंद्रक क्षेत्र के ऊपर क्रमशः सबरिंग और सबलजेब्रस होते हैं; लाई रिंग्स और लाई एल्जेब्रा में सेंट्रलाइज़र क्रमशः लाई सबरिंग्स और लाई सबलजेब्रस हैं।
* लाइ रिंग में S के नॉर्मलाइज़र में S का सेंट्रलाइज़र होता है।
* लाइ रिंग में S के नॉर्मलाइज़र में S का सेंट्रलाइज़र होता है।
* सी<sub>''R''</sub>(सी<sub>''R''</sub>(एस)) में एस शामिल है लेकिन जरूरी नहीं कि बराबर हो। [[डबल केंद्रीकरण प्रमेय]] उन स्थितियों से संबंधित है जहाँ समानता होती है।
* सी<sub>''R''</sub>(सी<sub>''R''</sub>(एस)) में एस शामिल है लेकिन जरूरी नहीं कि बराबर हो। [[डबल केंद्रीकरण प्रमेय]] उन स्थितियों से संबंधित है जहाँ समानता होती है।

Revision as of 10:58, 3 May 2023

गणित में, विशेष रूप से समूह सिद्धांत, केंद्रक (जिसे कम्यूटेंट भी कहा जाता है[1][2]) समूह (गणित) में एक उपसमुच्चय S का समुच्चय है जी के तत्वों की कि एस के हर तत्व के साथ क्रमविनिमेयता, या समकक्ष, जैसे कि संयुग्मन (समूह सिद्धांत) द्वारा S के प्रत्येक तत्व को नियत छोड़ देता है। जी में एस का 'नॉर्मलाइज़र' तत्वों का सेट (गणित) है जी का जो सेट छोड़ने की कमजोर स्थिति को पूरा करता है संयुग्मन के तहत तय किया गया। S का केंद्रक और सामान्यक G के उपसमूह हैं। समूह सिद्धांत में कई तकनीकें उपयुक्त उपसमूहों के केंद्रक और सामान्यीकरण का अध्ययन करने पर आधारित हैं।

उपयुक्त रूप से तैयार की गई, परिभाषाएँ semigroup पर भी लागू होती हैं।

अंगूठी सिद्धांत में, 'सबरिंग (गणित) के सबसेट के केंद्रीकरण को रिंग के सेमीग्रुप (गुणन) ऑपरेशन के संबंध में परिभाषित किया गया है। रिंग R के उपसमुच्चय का केंद्रक, R का उपसमूह है। यह लेख झूठ बीजगणित में केंद्रक और सामान्यीकरण से भी संबंधित है।

सेमीग्रुप या रिंग में आदर्शवादी अन्य निर्माण है जो सेंट्रलाइज़र और नॉर्मलाइज़र के समान ही है।

अंगूठी सिद्धांत में, 'सबरिंग (गणित) के सबसेट के केंद्रीकरण को रिंग के सेमीग्रुप (गुणन) ऑपरेशन के संबंध में परिभाषित किया गया है। रिंग R के उपसमुच्चय का केंद्रक, R का उपसमूह है।

परिभाषाएँ

समूह और अर्धसमूह

समूह (या सेमीग्रुप) G के सबसेट S के केंद्रक को इस रूप में परिभाषित किया गया है[3]

जहाँ केवल पहली परिभाषा सेमीग्रुप्स पर लागू होती है। यदि प्रश्न में समूह के बारे में कोई अस्पष्टता नहीं है, तो G को संकेतन से दबाया जा सकता है। जब S = {a} सिंगलटन (गणित) सेट होता है, तो हम C लिखते हैंG(ए) सी के बजायG({ए})। केंद्रक के लिए एक और कम सामान्य अंकन जेड (ए) है, जो केंद्र (समूह सिद्धांत) के लिए अंकन के समानांतर है। इस बाद के अंकन के साथ, समूह जी, जेड (जी) के 'केंद्र' और जी, जेड (जी) में तत्व जी के केंद्र के बीच भ्रम से बचने के लिए सावधान रहना चाहिए।

समूह (या सेमीग्रुप) जी में एस के 'नॉर्मलाइज़र' को इस रूप में परिभाषित किया गया है

जहां फिर से केवल पहली परिभाषा सेमिग्रुप्स पर लागू होती है। परिभाषाएँ समान हैं लेकिन समान नहीं हैं। यदि जी एस के केंद्र में है और एस एस में है, तो यह होना चाहिए gs = sg, लेकिन अगर जी नॉर्मलाइज़र में है, तो gs = tg एस में कुछ टी के लिए, टी संभवतः एस से अलग है। यही है, एस के केंद्रक के तत्वों को एस के साथ बिंदुवार बदलना चाहिए, लेकिन एस के सामान्यीकरण के तत्वों को केवल सेट के रूप में एस के साथ यात्रा करने की आवश्यकता है। सेंट्रलाइजर्स के लिए ऊपर वर्णित वही सांकेतिक परंपराएं नॉर्मलाइजर्स पर भी लागू होती हैं। नॉर्मलाइज़र को संयुग्मी बंद होना के साथ भ्रमित नहीं होना चाहिए।

स्पष्ट रूप से और दोनों के उपसमूह हैं .

अंगूठी, एक क्षेत्र पर बीजगणित, झूठ अंगूठी, और झूठ बीजगणित

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

अगर लाई उत्पाद [x, y] के साथ लाइ बीजगणित (या झूठ की अंगूठी) है, फिर सबसेट S का केंद्रक होना परिभाषित किया गया है[4]

लाइ रिंग्स के लिए सेंट्रलाइजर्स की परिभाषा निम्नलिखित तरीके से रिंग्स की परिभाषा से जुड़ी हुई है। यदि R साहचर्य वलय है, तो R को कम्यूटेटर # (रिंग सिद्धांत) दिया जा सकता है [x, y] = xyyx. बेशक तब xy = yx अगर और केवल अगर [x, y] = 0. यदि हम सेट आर को ब्रैकेट उत्पाद के साथ एल के रूप में निरूपित करते हैंR, तो स्पष्ट रूप से R में S का रिंग सेंट्रलाइज़र L में S के लाई रिंग सेंट्रलाइज़र के बराबर हैR.

लाई बीजगणित (या लाई रिंग) के उपसमुच्चय S का सामान्यक द्वारा दिया गया है[4]

जबकि यह ले बीजगणित में नॉर्मलाइज़र शब्द का मानक उपयोग है, यह निर्माण वास्तव में सेट एस का आदर्श है . यदि S का योगात्मक उपसमूह है , तब सबसे बड़ा लाइ सबरिंग (या लाइ सबलजेब्रा, जैसा भी मामला हो) है जिसमें S एक लाइ आदर्श (अंगूठी सिद्धांत) है।[5]

गुण

अर्धसमूह

होने देना के केंद्रक को निरूपित करें अर्धसमूह में ; अर्थात। तब उपसमूह बनाता है और ; यानी कम्यूटेंट अपना स्वयं का द्विकम्यूटेंट है।

समूह

स्रोत:[6]

  • S का केंद्रक और सामान्यक दोनों G के उपसमूह हैं।
  • स्पष्ट रूप से, CG(S) ⊆ NG(S). वास्तव में, सीG(एस) हमेशा एन का सामान्य उपसमूह होता हैG(एस), होमोमोर्फिज्म का कर्नेल होने के नाते NG(S) → Bij(S) और समूह एनG(अनुसूचित जातिG(S) S पर द्विभाजनों के समूह के रूप में संयुग्मन द्वारा कार्य करता है। टोरस टी के साथ कॉम्पैक्ट लाइ समूह जी के वेइल समूह को परिभाषित किया गया है W(G,T) = NG(T)/CG(T), और विशेष रूप से अगर टोरस अधिक से अधिक है (यानी CG(T) = T) यह झूठ समूहों के सिद्धांत में केंद्रीय उपकरण है।
  • सीG(सीG(एस)) में एस होता है, लेकिन सीG(एस) में एस शामिल करने की आवश्यकता नहीं है। रोकथाम बिल्कुल तब होती है जब एस एबेलियन होता है।
  • यदि H, G का उपसमूह है, तो NG(एच) में एच शामिल है।
  • यदि H, G का उपसमूह है, तो G का सबसे बड़ा उपसमूह जिसमें H सामान्य है, उपसमूह N हैG(एच)।
  • यदि S, G का उपसमुच्चय है जैसे कि S के सभी तत्व एक दूसरे के साथ आवागमन करते हैं, तो G का सबसे बड़ा उपसमूह जिसके केंद्र में S है उपसमूह C हैG(एस)।
  • समूह G के उपसमूह H को 'कहा जाता है।{{visible anchor|self-normalizing subgroup}जी का } अगर NG(H) = H.
  • G का केंद्र ठीक C हैG(जी) और जी एबेलियन समूह है अगर और केवल अगर CG(G) = Z(G) = G.
  • सिंगलटन सेट के लिए, CG(a) = NG(a).
  • सममिति के अनुसार, यदि S और T, G के दो उपसमुच्चय हैं, T ⊆ CG(S) अगर और केवल अगर S ⊆ CG(T).
  • समूह G के उपसमूह H के लिए, 'N/C प्रमेय' कहता है कि कारक समूह NG(एच) / सीG(एच) ऑट (एच) के उपसमूह के लिए समूह समरूपता है, एच के automorphism का समूह। चूंकि NG(G) = G और CG(G) = Z(G), N/C प्रमेय का अर्थ यह भी है कि G/Z(G) Inn(G) के लिए आइसोमॉर्फिक है, Aut(G) के उपसमूह में G के सभी आंतरिक ऑटोमोर्फिज्म शामिल हैं।
  • यदि हम समूह समरूपता को परिभाषित करते हैं T : G → Inn(G) द्वारा T(x)(g) = Tx(g) = xgx−1, तो हम N का वर्णन कर सकते हैंG(एस) और सीG(एस) जी पर इन (जी) की समूह कार्रवाई (गणित) के संदर्भ में: इन (जी) में एस का स्टेबलाइजर टी (एन) हैG(एस)), और इन (जी) का उपसमूह एस बिंदुवार फिक्सिंग टी (सी) हैG(एस))।
  • समूह जी के उपसमूह एच को 'सी-बंद' या 'स्वयं-बायकोमुटेंट' कहा जाता है यदि H = CG(S) कुछ सबसेट के लिए SG. यदि ऐसा है, तो वास्तव में, H = CG(CG(H)).

एक क्षेत्र पर छल्ले और बीजगणित

स्रोत:[4]

  • एक क्षेत्र में छल्ले और बीजगणित में केंद्रक क्षेत्र के ऊपर क्रमशः सबरिंग और सबलजेब्रस होते हैं; लाई रिंग्स और लाई एल्जेब्रा में सेंट्रलाइज़र क्रमशः लाई सबरिंग्स और लाई सबलजेब्रस हैं।
  • लाइ रिंग में S के नॉर्मलाइज़र में S का सेंट्रलाइज़र होता है।
  • सीR(सीR(एस)) में एस शामिल है लेकिन जरूरी नहीं कि बराबर हो। डबल केंद्रीकरण प्रमेय उन स्थितियों से संबंधित है जहाँ समानता होती है।
  • यदि S एक लाई रिंग A का योगात्मक उपसमूह है, तो NA(S) A का सबसे बड़ा झूठ उपसमूह है जिसमें S झूठ आदर्श है।
  • अगर S, लाइ रिंग A का लाइ सबरिंग है, तो S ⊆ NA(S).

यह भी देखें

टिप्पणियाँ

  1. Kevin O'Meara; John Clark; Charles Vinsonhaler (2011). Advanced Topics in Linear Algebra: Weaving Matrix Problems Through the Weyr Form. Oxford University Press. p. 65. ISBN 978-0-19-979373-0.
  2. Karl Heinrich Hofmann; Sidney A. Morris (2007). The Lie Theory of Connected Pro-Lie Groups: A Structure Theory for Pro-Lie Algebras, Pro-Lie Groups, and Connected Locally Compact Groups. European Mathematical Society. p. 30. ISBN 978-3-03719-032-6.
  3. Jacobson (2009), p. 41
  4. 4.0 4.1 4.2 Jacobson 1979, p. 28.
  5. Jacobson 1979, p. 57.
  6. Isaacs 2009, Chapters 1−3.


संदर्भ