केंद्रक और सामान्यक

गणित में, विशेष रूप से समूह सिद्धांत,में समूह (गणित) में एक उपसमुच्चय S का केंद्रक (जिसे कम्यूटेंट भी कहा जाता है | ) $$\operatorname{C}_G(S)$$ G के तत्वों का समुच्चय है | G जो S के प्रत्येक तत्व के साथ क्रमविनिमेयता, या समकक्ष, जैसे कि संयुग्मन (समूह सिद्धांत) द्वारा $$g$$ S के प्रत्येक तत्व को नियत छोड़ देता है। G में S का 'नॉर्मलाइज़र' तत्वों का समुच्चय (गणित) है | G में S का नॉर्मलाइज़र $$\mathrm{N}_G(S)$$ का G का समुच्चय है | जो संयुग्मन के अनुसार समुच्चय $$S \subseteq G$$ छोड़ने की अशक्त स्थिति को पूरा करता है। S का केंद्रक और सामान्यक G के उपसमूह हैं। समूह सिद्धांत में कई विधि उपयुक्त उपसमूहों S के केंद्रक और सामान्यीकरण का अध्ययन करने पर आधारित हैं।

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

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

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

समूह और अर्धसमूह
समूह (या अर्धसमूह) G के सबसमुच्चय S के केंद्रक को इस रूप में परिभाषित किया गया है |
 * $$\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\},$$

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

समूह (या अर्धसमूह) G में S के 'नॉर्मलाइज़र' को इस रूप में परिभाषित किया गया है |


 * $$\mathrm{N}_G(S) = \left\{ g \in G \mid gS = Sg \right\} = \left\{g \in G \mid gSg^{-1} = S\right\},$$

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

स्पष्ट रूप से $$C_G(S) \subseteq N_G(S)$$ और $$G$$ दोनों के उपसमूह हैं |

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

यदि $$\mathfrak{L}$$ लाई उत्पाद [x, y] के साथ लाइ बीजगणित (या लाई की रिंग) है | फिर सबसमुच्चय S का केंद्रक $$\mathfrak{L}$$ होना परिभाषित किया गया है |


 * $$\mathrm{C}_{\mathfrak{L}}(S) = \{ x \in \mathfrak{L} \mid [x, s] = 0 \text{ for all } s \in S \}.$$

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

लाई बीजगणित (या लाई रिंग) के उपसमुच्चय S का सामान्यक $$\mathfrak{L}$$ द्वारा दिया गया है |
 * $$\mathrm{N}_\mathfrak{L}(S) = \{ x \in \mathfrak{L} \mid [x, s] \in S \text{ for all } s \in S \}.$$

जबकि यह ले बीजगणित में नॉर्मलाइज़र शब्द का मानक उपयोग है | यह निर्माण वास्तव में $$\mathfrak{L}$$ समुच्चय S का आदर्श है | यदि S का योगात्मक उपसमूह $$\mathfrak{L}$$ है | तब $$\mathrm{N}_{\mathfrak{L}}(S)$$ सबसे बड़ा लाइ सबरिंग (या लाइ सबलजेब्रा, जैसी भी स्थिति हो) है | जिसमें S एक लाइ आदर्श (रिंग सिद्धांत) है।

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

समूह
स्रोत:
 * S का केंद्रक और सामान्यक दोनों G के उपसमूह हैं।
 * स्पष्ट रूप से, CG(S) ⊆ NG(S). वास्तव में, CG(S) सदैव NG(S) का सामान्य उपसमूह होता है | होमोमोर्फिज्म NG(S) → Bij(S) का कर्नेल होता है और समूह NG(S)/CG(S) पर द्विभाजनों के समूह के रूप में संयुग्मन द्वारा कार्य करता है। टोरस T के साथ कॉम्पैक्ट लाइ समूह G के वेइल समूह को W(G,T) = NG(T)/CG(T) परिभाषित किया गया है, और विशेष रूप से यदि टोरस अधिक से अधिक है (अर्थात CG(T) = T) यह लाई समूहों के सिद्धांत में केंद्रीय उपकरण है।
 * CG(CG(S)) में S होता है, किन्तु CG(S) में S सम्मिलित करने की आवश्यकता नहीं है। रोकथाम ठीक तब होती है जब S एबेलियन होता है।
 * यदि H, G का उपसमूह है, तो NG(H) में H सम्मिलित है।
 * यदि H, G का उपसमूह है, तो G का सबसे बड़ा उपसमूह जिसमें H सामान्य है, उपसमूह NG(H) है।
 * यदि S, G का उपसमुच्चय है जैसे कि S के सभी तत्व एक दूसरे के साथ आवागमन करते हैं, तो G का सबसे बड़ा उपसमूह जिसके केंद्र में S उपसमूह CG(S) है।
 * समूह G के उपसमूह H को G का स्व-सामान्यीकरण उपसमूह 'कहा जाता है। यदि NG(H) = H. है |
 * G का केंद्र ठीक CG(G) है और G एबेलियन समूह है यदि और केवल यदि CG(G) = Z(G) = G. होता है |
 * सिंगलटन समुच्चय के लिए, CG(a) = NG(a).
 * सममिति के अनुसार, यदि S और T, G के दो उपसमुच्चय हैं,तो T ⊆ CG(S) यदि और केवल यदि S ⊆ CG(T). है |
 * समूह G के उपसमूह H के लिए, 'N/C प्रमेय' कहता है कि कारक समूह NG(H) / CG(H) ऑट (H) के उपसमूह के लिए समूह समरूपता है, H के ऑटोमोर्फिज़्म का समूह है | चूंकि 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,द्वारा परिभाषित करते हैं तो हम समूह कार्रवाई (गणित) के संदर्भ में NG(S) और CG(S) का वर्णन कर सकते हैं | G पर इन (G) की संख्या : इन (G) में S का स्टेबलाइजर T (NG(S)) है और इन (G) का उपसमूह S बिंदुवार फिक्सिंग T (CG(S)) है।
 * समूह G के उपसमूह H को 'C-बंद' या 'स्वयं-बायकोमुटेंट' कहा जाता है | यदि H = CG(S) कुछ सबसमुच्चय S ⊆ G.के लिए यदि ऐसा है, तो वास्तव में, H = CG(CG(H)).होता है |

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

यह भी देखें

 * कम्यूटेटर
 * डबल केंद्रक प्रमेय
 * आदर्शवादी
 * मल्टीप्लायर और सेंट्रलाइज़र (बैनाच स्पेस)
 * स्टेबलाइजर उपसमूह