समूह विस्तार: Difference between revisions

Revision as of 11:21, 14 March 2023

गणित में, समूह विस्तार एक विशेष सामान्य उपसमूह और भागफल समूह के संदर्भ में समूह (गणित) का वर्णन करने का एक सामान्य साधन है। यदि $Q$ और $N$ दो समूह हैं तो $G$ , $Q$ द्वारा $N$ का समूह विस्तार है यदि एक संक्षिप्त $1\to N\;{\overset {\iota }{\to }}\;G\;{\overset {\pi }{\to }}\;Q\to 1$ अनुक्रम है।

यदि $G$ , $N$ द्वारा $Q$ का विस्तार है, तो $G$ एक समूह है $\iota (N)$ , $G$ का एक सामान्य उपसमूह है और भागफल समूह $G/\iota (N)$ समूह $Q$ के लिए समरूप है। विस्तार समस्या के संदर्भ में समूह विस्तार उत्पन्न होते हैं जहां समूह $Q$ और $N$ ज्ञात हैं और $G$ के गुण निर्धारित किए जाने हैं। ध्यान दें कि सूत्र के रूप में " $G$ द्वारा $N$ का विस्तार है कुछ समूह के द्वारा $Q$ " का भी प्रयोग किया जाता है।^[1] चूँकि किसी भी परिमित समूह $G$ में साधारण फलन समूह $G/N$ के साथ एक अधिकतम सामान्य उपसमूह $N$ होता है, सभी परिमित समूहों को परिमित सरल समूहों के साथ विस्तार की एक श्रृंखला के रूप में बनाया जा सकता है। एक समूह विस्तार को केंद्रीय विस्तार कहा जाता है यदि उपसमूह $N$ , $G$ के केंद्र में स्थित है।

सामान्य रूप में विस्तार

यदि किसी को विनिमेय समूह होने के लिए $G$ और $Q$ की आवश्यकता होती है, तो दिए गए विनिमेय समूह $N$ द्वारा $Q$ के विस्तार के समरूपी वर्गों का समुच्चय वास्तव में एक समूह है जो समरूपी है:

\operatorname {Ext} _{\mathbb {Z} }^{1}(Q,N);

विस्तार प्रकार्यक समूह विस्तार के कई अन्य सामान्य वर्ग ज्ञात हैं लेकिन कोई सिद्धांत सम्मिलित नहीं है जो एक समय में सभी संभावित विस्तार को हल करता हो। समूह विस्तार को सामान्यतः एक कठिन समस्या के रूप में वर्णित किया जाता है इसे विस्तार समस्या कहा जाता है। कुछ उदाहरणों पर विचार करने के लिए, यदि $G=K\times H$ , तब $G$ दोनों का विस्तार है $H$ और $K$ अधिक सामान्यतः यदि $G$ , $K$ और $H$ का अर्ध-प्रत्यक्ष उत्पाद है, जिसे $G=K\rtimes H$ के रूप में लिखा जाता है, तो $G$ , $H$ का विस्तार है इसलिए समूह विस्तार, उत्पाद विस्तार के अन्य उदाहरण प्रदान करते हैं।

विस्तार समस्या

समूह $G$ किस समूह का विस्तार है इसका प्रश्न $H$ द्वारा $N$ को विस्तार समस्या कहा जाता है और उन्नीसवीं शताब्दी के उत्तरार्ध से इसका गहन अध्ययन किया गया है।

इसकी प्रेरणा के रूप में, विचार करें कि परिमित समूह की संरचना श्रृंखला उपसमूह $\{A_{i}\}$ का एक परिमित अनुक्रम है, जहां प्रत्येक $\{A_{i+1}\}$ का विस्तार $\{A_{i}\}$ है कुछ साधारण समूह द्वारा परिमित सरल समूहों का वर्गीकरण हमें परिमित सरल समूहों की श्रृंखला प्रदान करता है इसलिए विस्तार की समस्या का हल हमें सामान्य रूप से सभी परिमित समूहों के निर्माण और वर्गीकरण के लिए पर्याप्त जानकारी प्रदान कर सकता है।

विस्तार का वर्गीकरण

गणितीय वस्तुओं के संदर्भ में ऐसे सभी विस्तारों को व्यक्त करके K या H के सभी विस्तारों को वर्गीकृत करने के लिए विस्तार समस्या को हल करने, समझने और गणना करने में आसान है। सामान्यतः यह समस्या बहुत कठिन है और सबसे उपयोगी परिणाम विस्तार को वर्गीकृत करते हैं जो कुछ अतिरिक्त शर्तों को पूरा करते हैं। यह जानना महत्वपूर्ण है कि दो विस्तार कब समतुल्य या समनुरूप होते हैं।

माना कि विस्तार

आकृति 1

1\to K{\stackrel {i}{{}\to {}}}G{\stackrel {\pi }{{}\to {}}}H\to 1

और

1\to K{\stackrel {i'}{{}\to {}}}G'{\stackrel {\pi '}{{}\to {}}}H\to 1

समतुल्य या समनुरूप हैं यदि एक समरूप समूह $T:G\to G'$ उपस्थित है जो चित्र 1 के आरेख को क्रमविनिमेय बनाता है। वास्तव में आरेख की कल्पित क्रमविनिमेयता के कारण एक समूह समरूपी होना पर्याप्त है, मानचित्र $T$ को लघु पाँच लेम्मा सिद्धांत द्वारा एक समरूपता होने के लिए प्रणोदित (गणित) किया जाता है।

चेतावनी

ऐसा हो सकता है कि विस्तार $1\to K\to G\to H\to 1$ और $1\to K\to G^{\prime }\to H\to 1$ असमान हैं लेकिन G और G' समूहों के रूप में समरूप हैं। उदाहरण के लिए, $\mathbb {Z} /2\mathbb {Z}$ द्वारा क्लेन चार-समूह के $8$ असमान विस्तार हैं^[2] लेकिन समूह समरूप हैं, और अनुक्रम $8$ के केवल चार समूहों में क्रम $2$ के एक सामान्य उपसमूह होते हैं जिसमें क्लेन चार-समूह के भागफल समूह समरूप होते हैं।

तुच्छ विस्तार

तुच्छ विस्तार एक समूह विस्तार है:

1\to K\to G\to H\to 1

जो निम्न विस्तार के बराबर होता है:

1\to K\to K\times H\to H\to 1

जहां बाएँ और दाएँ तीर क्रमशः $K\times H$ प्रत्येक फलन का समाविष्ट और प्रक्षेप फलन हैं।

विभाजन विस्तार का वर्गीकरण

विभाजन विस्तार एक समूह विस्तार है

1\to K\to G\to H\to 1

एक समरूपता $s\colon H\to G$ जैसे कि H से G तक s द्वारा जाना और फिर लघु अनुक्रम के भागफल मानचित्र द्वारा H पर वापस जाना H पर पहचान मानचित्र को प्रेरित करता है अर्थात $\pi \circ s=\mathrm {id} _{H}$ इस स्थिति में सामान्यतः कहा जाता है कि यह उपरोक्त अनुक्रम को 'विभाजित' करता है। विभाजन विस्तार को वर्गीकृत करना बहुत आसान है, क्योंकि एक विस्तार को विभाजित किया जाता है यदि समूह G K और H का एक प्रत्यक्ष उत्पाद है। प्रत्यक्ष उत्पाद स्वयं को वर्गीकृत करना आसान है, क्योंकि वे समरूपता के साथ एक-से-एक पत्राचार में हैं $H\to \operatorname {Aut} (K)$ , जहां $K$ "स्वसमाकृतिकता समूह" है। इसकी पूरी चर्चा के लिए, सेमीडायरेक्ट उत्पाद देखें।

शब्दावली पर चेतावनी

गणित में सामान्य रूप से, संरचना K के विस्तार को आमतौर पर एक संरचना L के रूप में माना जाता है, जिसमें से K एक उपसंरचना है। उदाहरण के लिए फील्ड एक्सटेंशन देखें। हालांकि, समूह सिद्धांत में आंशिक रूप से अंकन के कारण विपरीत शब्दावली आ गई है $\operatorname {Ext} (Q,N)$ , जो N द्वारा Q के विस्तार के रूप में आसानी से पढ़ता है, और ध्यान समूह Q पर है।

रोनाल्ड ब्राउन (गणितज्ञ) और टिमोथी पोर्टर का ओटो श्रेयर के नॉनबेलियन एक्सटेंशन के सिद्धांत पर एक पेपर इस शब्दावली का उपयोग करता है कि K का एक विस्तार एक बड़ी संरचना देता है।^[3]

केंद्रीय विस्तार

समूह G का एक केंद्रीय विस्तार समूहों का एक संक्षिप्त सटीक अनुक्रम है

1\to A\to E\to G\to 1

जैसे कि ए शामिल है $Z(E)$ , समूह ई के एक समूह का केंद्र। ए द्वारा जी के केंद्रीय विस्तार के समरूपता वर्गों का समूह समूह कोहोलॉजी समूह के साथ एक-से-एक पत्राचार में है $H^{2}(G,A)$ .

किसी भी समूह G और किसी एबेलियन समूह A को लेकर और E को सेट करके केंद्रीय विस्तार के उदाहरण बनाए जा सकते हैं $A\times G$ . इस प्रकार का विभाजन उदाहरण तत्व 0 से मेल खाता है $H^{2}(G,A)$ उपरोक्त पत्राचार के तहत प्रक्षेपी अभ्यावेदन के सिद्धांत में अधिक गंभीर उदाहरण पाए जाते हैं, ऐसे मामलों में जहां प्रक्षेपी निरूपण को साधारण रेखीय निरूपण में नहीं उठाया जा सकता है।

परिमित पूर्ण समूहों के मामले में, एक सार्वभौमिक पूर्ण केंद्रीय विस्तार होता है।

इसी प्रकार, झूठ बीजगणित का केंद्रीय विस्तार ${\mathfrak {g}}$ सटीक क्रम है

0\rightarrow {\mathfrak {a}}\rightarrow {\mathfrak {e}}\rightarrow {\mathfrak {g}}\rightarrow 0

ऐसा है कि ${\mathfrak {a}}$ के केन्द्र में है ${\mathfrak {e}}$ .

भागफल (सार्वभौमिक बीजगणित) में केंद्रीय विस्तार का एक सामान्य सिद्धांत है।^[4]

सामान्य विस्तार के लिए सामान्यीकरण

होमोमोर्फिज्म के संदर्भ में ए द्वारा जी के सभी एक्सटेंशन का एक समान वर्गीकरण है $G\to \operatorname {Out} (A)$ , एक थकाऊ लेकिन स्पष्ट रूप से जांच योग्य अस्तित्व की स्थिति शामिल है $H^{3}(G,Z(A))$ और कोहोलॉजी समूह $H^{2}(G,Z(A))$ .^[5]

झूठ समूह

लाइ समूह सिद्धांत में, केंद्रीय विस्तार बीजगणितीय टोपोलॉजी के संबंध में उत्पन्न होते हैं। मोटे तौर पर, असतत समूहों द्वारा लेटे समूहों के केंद्रीय विस्तार समूहों को कवर करने के समान हैं। अधिक सटीक रूप से, अंतरिक्ष को कवर करने वाला एक जुड़ा हुआ स्थान $G *$ एक जुड़े हुए समूह का $G$ स्वाभाविक रूप से का केंद्रीय विस्तार है $G$ , इस तरह से कि प्रोजेक्शन

\pi \colon G^{*}\to G

एक समूह समरूपता है, और विशेषण है। (समूह संरचना पर $G *$ में पहचान के लिए एक पहचान तत्व मैपिंग की पसंद पर निर्भर करता है $G$ ।) उदाहरण के लिए, कब $G *$ का सार्वभौमिक आवरण है $G$ , π का कर्नेल मूलभूत समूह है $G$ , जिसे एबेलियन के रूप में जाना जाता है (h-अंतरिक्ष देखें)। इसके विपरीत, एक झूठ समूह दिया $G$ और एक असतत केंद्रीय उपसमूह $Z$ , भागफल $G / Z$ एक झूठ समूह है और $G$ इसका एक आवरण स्थान है।

अधिक आम तौर पर, जब समूह $A$ , $E$ और $G$ एक केंद्रीय विस्तार में होने वाले झूठ समूह हैं, और उनके बीच के नक्शे झूठ समूहों के होमोमोर्फिज्म हैं, फिर यदि झूठ बीजगणित $G$ है $g$ , की है कि $A$ है $a$ , और वह $E$ है $e$ , तब $e$ एक लाई बीजगणित विस्तार#केंद्रीय विस्तार है $g$ द्वारा $a$ . सैद्धांतिक भौतिकी की शब्दावली में, के जनरेटर $a$ केंद्रीय प्रभार कहलाते हैं। ये जनरेटर के केंद्र में हैं $e$ ; नोएदर के प्रमेय द्वारा, समरूपता समूहों के जनरेटर संरक्षित मात्राओं के अनुरूप होते हैं, जिन्हें चार्ज (भौतिकी) कहा जाता है।

कवरिंग समूहों के रूप में केंद्रीय एक्सटेंशन के मूल उदाहरण हैं:

स्पिन समूह, जो विशेष ऑर्थोगोनल समूहों को दोहराते हैं, जो (समान आयाम मेंप्रक्षेपी ओर्थोगोनल समूह समूह को दोगुना कवर करते हैं।
मेटाप्लेक्टिक समूह, जो सहानुभूति समूहों को दोहराते हैं।

के मामले में $SL 2 (R)$ में एक मूलभूत समूह शामिल है जो अनंत चक्रीय है। यहां शामिल केंद्रीय विस्तार वजन के रूपों के मामले में मॉड्यूलर रूप थ्योरी में अच्छी तरह से जाना जाता है $½$ . वास्तविक रेखा पर इस मामले में, फूरियर रूपांतरण से निर्मित, वेइल प्रतिनिधित्व से मेल खाने वाला एक अनुमानित प्रतिनिधित्व है। क्वांटम यांत्रिकी में मेटाप्लेक्टिक समूह भी होते हैं।

यह भी देखें

संदर्भ

↑ group+extension#Definition at the nLab Remark 2.2.
↑ page no. 830, Dummit, David S., Foote, Richard M., Abstract algebra (Third edition), John Wiley & Sons, Inc., Hoboken, NJ (2004).
↑ Brown, Ronald; Porter, Timothy (1996). "On the Schreier theory of non-abelian extensions: generalisations and computations". Proceedings of the Royal Irish Academy Sect A. 96 (2): 213–227. MR 1641218.
↑ Janelidze, George; Kelly, Gregory Maxwell (2000). "माल्टसेव किस्मों में केंद्रीय विस्तार". Theory and Applications of Categories. 7 (10): 219–226. MR 1774075.
↑ P. J. Morandi, Group Extensions and H³ Archived 2018-05-17 at the Wayback Machine. From his collection of short mathematical notes.

Mac Lane, Saunders (1975), Homology, Classics in Mathematics, Springer Verlag, ISBN 3-540-58662-8
R.L. Taylor, Covering groups of non connected topological groups, Proceedings of the American Mathematical Society, vol. 5 (1954), 753–768.
R. Brown and O. Mucuk, Covering groups of non-connected topological groups revisited, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 115 (1994), 97–110.

[1] roup+extension#Definition at the nLab Remark 2.2.

[2] . 830, Dummit, David S., Foote, Richard M., Abstract algebra (Third edition), John Wiley & Sons, Inc., Hoboken, NJ (2004).

[3] Brown, Ronald; Porter, Timothy (1996). "On the Schreier theory of non-abelian extensions: generalisations and computations". Proceedings of the Royal Irish Academy Sect A. 96 (2): 213–227. MR 1641218.

[4] Janelidze, George; Kelly, Gregory Maxwell (2000). "माल्टसेव किस्मों में केंद्रीय विस्तार". Theory and Applications of Categories. 7 (10): 219–226. MR 1774075.

[5] P. J. Morandi, Group Extensions and H³ Archived 2018-05-17 at the Wayback Machine. From his collection of short mathematical notes.

[1]

[2]

[3]

[4]

[5]

@@ Line 1: / Line 1: @@
 {{Short description|Group for which a given group is a normal subgroup}}
-गणित में, एक समूह विस्तार एक विशेष [[सामान्य उपसमूह]] और [[भागफल समूह]] के संदर्भ में एक [[समूह (गणित)]] का वर्णन करने का एक सामान्य साधन है। अगर <math>Q</math> और <math>N</math> दो समूह हैं, फिर <math>G</math> का विस्तार है <math>Q</math> द्वारा <math>N</math> अगर कोई छोटा सटीक क्रम है
+गणित में, '''समूह विस्तार''' एक विशेष [[सामान्य उपसमूह]] और [[भागफल समूह]] के संदर्भ में [[समूह (गणित)]] का वर्णन करने का एक सामान्य साधन है। यदि <math>Q</math> और <math>N</math> दो समूह हैं तो <math>G</math>, <math>Q</math> द्वारा <math>N</math> का समूह विस्तार है यदि एक संक्षिप्त <math>1\to N\;\overset{\iota}{\to}\;G\;\overset{\pi}{\to}\;Q \to 1</math> अनुक्रम है।
-:<math>1\to N\;\overset{\iota}{\to}\;G\;\overset{\pi}{\to}\;Q \to 1.</math>
+यदि <math>G</math>, <math>N</math> द्वारा <math>Q</math> का विस्तार है, तो <math>G</math> एक समूह है <math>\iota(N)</math>, <math>G</math> का एक सामान्य उपसमूह है और भागफल समूह <math>G/\iota(N)</math> समूह <math>Q</math> के लिए [[ समरूप |समरूप]] है। विस्तार समस्या के संदर्भ में समूह विस्तार उत्पन्न होते हैं जहां समूह <math>Q</math> और <math>N</math> ज्ञात हैं और <math>G</math> के गुण निर्धारित किए जाने हैं। ध्यान दें कि सूत्र के रूप में "<math>G</math> द्वारा <math>N</math> का विस्तार है कुछ समूह के द्वारा <math>Q</math>" का भी प्रयोग किया जाता है।<ref>{{nlab|id=group+extension#Definition}} Remark 2.2.</ref> चूँकि किसी भी [[परिमित समूह]] <math>G</math> में साधारण फलन समूह <math>G/N</math> के साथ एक अधिकतम सामान्य उपसमूह <math>N</math> होता है, सभी परिमित समूहों को परिमित सरल समूहों के साथ विस्तार की एक श्रृंखला के रूप में बनाया जा सकता है। एक समूह विस्तार को केंद्रीय विस्तार कहा जाता है यदि उपसमूह <math>N</math>, <math>G</math> के केंद्र में स्थित है।
-अगर <math>G</math> का विस्तार है <math>Q</math> द्वारा <math>N</math>, तब <math>G</math> एक समूह है, <math>\iota(N)</math> का सामान्य उपसमूह है <math>G</math> और भागफल समूह <math>G/\iota(N)</math> समूह के लिए [[ समरूप ]] है <math>Q</math>. समूह एक्सटेंशन विस्तार समस्या के संदर्भ में उत्पन्न होते हैं, जहां समूह <math>Q</math> और <math>N</math> ज्ञात हैं और के गुण <math>G</math> निर्धारित किया जाना है। ध्यान दें कि वाक्यांश<math>G</math> का विस्तार है <math>N</math> द्वारा <math>Q</math>कुछ द्वारा प्रयोग भी किया जाता है।<ref>{{nlab|id=group+extension#Definition}} Remark 2.2.</ref>
-चूंकि कोई [[परिमित समूह]] <math>G</math> एक अधिकतम सामान्य उपसमूह रखता है <math>N</math> सरल समूह कारक समूह के साथ <math>G/N</math>, सभी परिमित समूहों को परिमित सरल समूहों के साथ विस्तार की एक श्रृंखला के रूप में बनाया जा सकता है। यह तथ्य परिमित सरल समूहों के वर्गीकरण को पूरा करने के लिए एक प्रेरणा थी।
-उपसमूह होने पर एक एक्सटेंशन को केंद्रीय एक्सटेंशन कहा जाता है <math>N</math> के समूह के मध्य में स्थित है <math>G</math>.
+== सामान्य रूप में विस्तार ==
-== सामान्य रूप में एक्सटेंशन ==
+यदि किसी को [[एबेलियन समूह|विनिमेय समूह]] होने के लिए <math>G</math> और <math>Q</math> की आवश्यकता होती है, तो दिए गए विनिमेय समूह <math>N</math> द्वारा <math>Q</math> के विस्तार के समरूपी वर्गों का समुच्चय वास्तव में एक समूह है जो समरूपी है:
+:<math>\operatorname{Ext}^1_{\mathbb Z}(Q,N);</math>
+[[Ext functor|विस्तार प्रकार्यक]] समूह विस्तार के कई अन्य सामान्य वर्ग ज्ञात हैं लेकिन कोई सिद्धांत सम्मिलित नहीं है जो एक समय में सभी संभावित विस्तार को हल करता हो। समूह विस्तार को सामान्यतः एक कठिन समस्या के रूप में वर्णित किया जाता है इसे विस्तार समस्या कहा जाता है। कुछ उदाहरणों पर विचार करने के लिए, यदि {{nowrap|<math>G=K\times H</math>}}, तब <math>G</math> दोनों का विस्तार है <math>H</math> और <math>K</math> अधिक सामान्यतः यदि <math>G</math>, <math>K</math> और <math>H</math> का अर्ध-प्रत्यक्ष उत्पाद है, जिसे <math>G=K\rtimes H</math> के रूप में लिखा जाता है, तो <math>G</math>, <math>H</math> का विस्तार है इसलिए [[पुष्पांजलि उत्पाद|समूह विस्तार]], उत्पाद विस्तार के अन्य उदाहरण प्रदान करते हैं।
-एक विस्तार, [[समूहों का प्रत्यक्ष उत्पाद]], तत्काल स्पष्ट है। अगर किसी की आवश्यकता है <math>G</math> और <math>Q</math> [[एबेलियन समूह]] होने के लिए, फिर एक्सटेंशन के आइसोमोर्फिज्म वर्गों का सेट <math>Q</math> किसी दिए गए (एबेलियन) समूह द्वारा <math>N</math> वास्तव में एक समूह है, जो कि समरूपी है
+===विस्तार समस्या===
-:<math>\operatorname{Ext}^1_{\mathbb Z}(Q,N);</math>
-सी एफ [[Ext functor]]. एक्सटेंशन के कई अन्य सामान्य वर्ग ज्ञात हैं लेकिन कोई सिद्धांत मौजूद नहीं है जो एक समय में सभी संभावित एक्सटेंशन का इलाज करता हो। समूह विस्तार को आमतौर पर एक कठिन समस्या के रूप में वर्णित किया जाता है; इसे विस्तार समस्या कहा जाता है।
-कुछ उदाहरणों पर विचार करने के लिए, यदि {{nowrap|<math>G=K\times H</math>}}, तब <math>G</math> दोनों का विस्तार है <math>H</math> और <math>K</math>. अधिक सामान्यतः, यदि <math>G</math> का अर्धप्रत्यक्ष उत्पाद है <math>K</math> और <math>H</math>, के रूप में लिखा गया है <math>G=K\rtimes H</math>, तब <math>G</math> का विस्तार है <math>H</math> द्वारा <math>K</math>, इसलिए [[पुष्पांजलि उत्पाद]] जैसे उत्पाद एक्सटेंशन के और उदाहरण प्रदान करते हैं।
+समूह <math>G</math> किस समूह का विस्तार है इसका प्रश्न <math>H</math> द्वारा <math>N</math> को विस्तार समस्या कहा जाता है और उन्नीसवीं शताब्दी के उत्तरार्ध से इसका गहन अध्ययन किया गया है।
-===विस्तार समस्या===
+इसकी प्रेरणा के रूप में, विचार करें कि परिमित समूह की संरचना [[रचना श्रृंखला|श्रृंखला]] उपसमूह <math>\{A_i\}</math> का एक परिमित अनुक्रम है, जहां प्रत्येक <math>\{A_{i+1}\}</math> का विस्तार <math>\{A_i\}</math>है कुछ साधारण समूह द्वारा परिमित सरल समूहों का वर्गीकरण हमें परिमित सरल समूहों की [[रचना श्रृंखला|श्रृंखला]] प्रदान करता है इसलिए विस्तार की समस्या का हल हमें सामान्य रूप से सभी परिमित समूहों के निर्माण और वर्गीकरण के लिए पर्याप्त जानकारी प्रदान कर सकता है।
-किस समूह का प्रश्न <math>G</math> के विस्तार हैं <math>H</math> द्वारा <math>N</math> विस्तार समस्या कहा जाता है, और उन्नीसवीं शताब्दी के उत्तरार्ध से इसका गहन अध्ययन किया गया है। इसकी प्रेरणा के रूप में, विचार करें कि एक परिमित समूह की [[रचना श्रृंखला]] उपसमूहों का एक परिमित अनुक्रम है <math>\{A_i\}</math>, जहां प्रत्येक <math>\{A_{i+1}\}</math> का विस्तार है <math>\{A_i\}</math> किसी साधारण समूह द्वारा। परिमित सरल समूहों का वर्गीकरण हमें परिमित सरल समूहों की पूरी सूची देता है; इसलिए विस्तार की समस्या का समाधान हमें सामान्य रूप से सभी परिमित समूहों के निर्माण और वर्गीकरण के लिए पर्याप्त जानकारी देगा।
+=== विस्तार का वर्गीकरण ===
-=== एक्सटेंशन का वर्गीकरण ===
+गणितीय वस्तुओं के संदर्भ में ऐसे सभी विस्तारों को व्यक्त करके K या H के सभी विस्तारों को वर्गीकृत करने के लिए विस्तार समस्या को हल करने, समझने और गणना करने में आसान है। सामान्यतः यह समस्या बहुत कठिन है और सबसे उपयोगी परिणाम विस्तार को वर्गीकृत करते हैं जो कुछ अतिरिक्त शर्तों को पूरा करते हैं। यह जानना महत्वपूर्ण है कि दो विस्तार कब समतुल्य या समनुरूप होते हैं।
-विस्तार समस्या को हल करना H के सभी विस्तारों को K द्वारा वर्गीकृत करने जैसा है; या अधिक व्यावहारिक रूप से, गणितीय वस्तुओं के संदर्भ में ऐसे सभी विस्तारों को व्यक्त करके जिन्हें समझना और गणना करना आसान है। सामान्य तौर पर, यह समस्या बहुत कठिन है, और सभी सबसे उपयोगी परिणाम एक्सटेंशन को वर्गीकृत करते हैं जो कुछ अतिरिक्त शर्तों को पूरा करते हैं।
+माना कि विस्तार
-[[File:Extensions groups.png|thumb|आकृति 1]]यह जानना महत्वपूर्ण है कि दो एक्सटेंशन कब समतुल्य या सर्वांगसम होते हैं। हम कहते हैं कि एक्सटेंशन
+[[File:Extensions groups.png|thumb|आकृति 1]]
-:<math>1 \to K\stackrel{i}{{}\to{}} G\stackrel{\pi}{{}\to{}} H\to 1</math> और
+:<math>1 \to K\stackrel{i}{{}\to{}} G\stackrel{\pi}{{}\to{}} H\to 1</math>
+:और
 :<math>1\to K\stackrel{i'}{{}\to{}} G'\stackrel{\pi'}{{}\to{}} H\to 1</math>
-समतुल्य (या सर्वांगसम) हैं यदि कोई समूह समरूपता मौजूद है <math>T: G\to G'</math> चित्र 1 का आरेख क्रमविनिमेय बनाना।
+समतुल्य या समनुरूप हैं यदि एक समरूप समूह <math>T: G\to G'</math> उपस्थित है जो चित्र 1 के आरेख को क्रमविनिमेय बनाता है। वास्तव में आरेख की कल्पित क्रमविनिमेयता के कारण एक समूह समरूपी होना पर्याप्त है, मानचित्र <math>T</math> को लघु पाँच लेम्मा सिद्धांत द्वारा एक समरूपता होने के लिए प्रणोदित (गणित) किया जाता है।
-वास्तव में एक समूह समरूपता होना पर्याप्त है; आरेख, मानचित्र की कल्पित क्रमविनिमेयता के कारण <math>T</math> छोटे पांच लेम्मा द्वारा एक समरूपता होने के लिए मजबूर किया जाता है।
 ====चेतावनी====
-ऐसा हो सकता है कि एक्सटेंशन <math>1\to K\to G\to H\to 1</math> और <math>1\to K\to G^\prime\to H\to 1</math> असमान हैं लेकिन G और G' समूह के रूप में तुल्याकारी हैं। उदाहरण के लिए, हैं <math>8</math> द्वारा [[क्लेन चार-समूह]] के असमान विस्तार <math>\mathbb{Z}/2\mathbb{Z}</math>,<ref>page no. 830, Dummit, David S., Foote, Richard M., ''Abstract algebra'' (Third edition), John Wiley & Sons, Inc., Hoboken, NJ (2004).</ref> लेकिन समूह समरूपता तक, क्रम के केवल चार समूह हैं <math>8</math> आदेश का एक सामान्य उपसमूह युक्त <math>2</math> क्लेन चार-समूह के भागफल समूह आइसोमॉर्फिक के साथ।
+ऐसा हो सकता है कि विस्तार <math>1\to K\to G\to H\to 1</math> और <math>1\to K\to G^\prime\to H\to 1</math> असमान हैं लेकिन G और G' समूहों के रूप में समरूप हैं। उदाहरण के लिए, <math>\mathbb{Z}/2\mathbb{Z}</math> द्वारा [[क्लेन चार-समूह]] के <math>8</math> असमान विस्तार हैं<ref>page no. 830, Dummit, David S., Foote, Richard M., ''Abstract algebra'' (Third edition), John Wiley & Sons, Inc., Hoboken, NJ (2004).</ref> लेकिन समूह समरूप हैं, और अनुक्रम <math>8</math> के केवल चार समूहों में क्रम <math>2</math> के एक सामान्य उपसमूह होते हैं जिसमें [[क्लेन चार-समूह]] के भागफल समूह समरूप होते हैं।
 ==== तुच्छ विस्तार ====
-एक तुच्छ विस्तार एक विस्तार है
+तुच्छ विस्तार एक समूह विस्तार है:
 :<math>1\to K\to G\to H\to 1</math>
-जो विस्तार के बराबर है
+जो निम्न विस्तार के बराबर होता है:
 :<math>1\to K\to K\times H\to H\to 1</math>
-जहां बाएँ और दाएँ तीर क्रमशः प्रत्येक कारक का समावेश और प्रक्षेपण हैं <math>K\times H</math>.
+जहां बाएँ और दाएँ तीर क्रमशः <math>K\times H</math> प्रत्येक फलन का समाविष्ट और प्रक्षेप फलन हैं।
-==== स्प्लिट एक्सटेंशन का वर्गीकरण ====
+==== विभाजन विस्तार का वर्गीकरण ====
-एक स्प्लिट एक्सटेंशन एक एक्सटेंशन है
+विभाजन विस्तार एक समूह विस्तार है
 :<math>1\to K\to G\to H\to 1</math>
-एक [[समरूपता]] के साथ <math>s\colon H \to G</math> जैसे कि H से G तक s से जाना और फिर वापस H पर लघु सटीक अनुक्रम के भागफल मानचित्र द्वारा H पर पहचान फ़ंक्शन को प्रेरित करता है, अर्थात। <math>\pi \circ s=\mathrm{id}_H</math>. इस स्थिति में, यह आमतौर पर कहा जाता है कि उपरोक्त सटीक अनुक्रम को 'विभाजित' करता है।
+एक [[समरूपता]] <math>s\colon H \to G</math> जैसे कि H से G तक s द्वारा जाना और फिर लघु अनुक्रम के भागफल मानचित्र द्वारा H पर वापस जाना H पर पहचान मानचित्र को प्रेरित करता है अर्थात <math>\pi \circ s=\mathrm{id}_H</math> इस स्थिति में सामान्यतः कहा जाता है कि यह उपरोक्त अनुक्रम को 'विभाजित' करता है। विभाजन विस्तार को वर्गीकृत करना बहुत आसान है, क्योंकि एक विस्तार को विभाजित किया जाता है यदि समूह G K और H का एक प्रत्यक्ष उत्पाद है। प्रत्यक्ष उत्पाद स्वयं को वर्गीकृत करना आसान है, क्योंकि वे समरूपता के साथ एक-से-एक पत्राचार में हैं <math>H\to\operatorname{Aut}(K)</math>, जहां <math>K</math> [[ automorphism |"स्वसमाकृतिकता समूह"]] है। '''इसकी पूरी चर्चा के लिए, सेमीडायरेक्ट उत्पाद देखें।'''
-स्प्लिट एक्सटेंशन को वर्गीकृत करना बहुत आसान है, क्योंकि एक एक्सटेंशन को विभाजित किया जाता है [[अगर और केवल अगर]] समूह G K और H का एक सेमीडायरेक्ट उत्पाद है। सेमीडायरेक्ट उत्पाद स्वयं को वर्गीकृत करना आसान है, क्योंकि वे समरूपता के साथ एक-से-एक पत्राचार में हैं <math>H\to\operatorname{Aut}(K)</math>, जहां ऑट (के) के का [[ automorphism ]] समूह है। यह क्यों सच है, इसकी पूरी चर्चा के लिए, सेमीडायरेक्ट उत्पाद देखें।
 ==== शब्दावली पर चेतावनी ====
@@ Line 73: / Line 69: @@
 [[भागफल (सार्वभौमिक बीजगणित)]] में केंद्रीय विस्तार का एक सामान्य सिद्धांत है।<ref>{{cite journal|first=George|last1=Janelidze |first2= Gregory Maxwell|last2= Kelly|author2-link=Max Kelly|url=http://www.tac.mta.ca/tac/volumes/7/n10/7-10abs.html|title= माल्टसेव किस्मों में केंद्रीय विस्तार|journal=Theory and Applications of Categories|volume=7|year=2000|issue=10|pages=219–226|mr=1774075}}</ref>
 === सामान्य विस्तार के लिए सामान्यीकरण ===
 होमोमोर्फिज्म के संदर्भ में ए द्वारा जी के सभी एक्सटेंशन का एक समान वर्गीकरण है <math>G\to\operatorname{Out}(A)</math>, एक थकाऊ लेकिन स्पष्ट रूप से जांच योग्य अस्तित्व की स्थिति शामिल है {{nowrap|<math>H^3(G, Z(A))</math>}} और कोहोलॉजी समूह {{nowrap|<math>H^2(G, Z(A))</math>}}.<ref>P. J. Morandi, [http://sierra.nmsu.edu/morandi/notes/GroupExtensions.pdf Group Extensions and ''H''<sup>3</sup>] {{Webarchive|url=https://web.archive.org/web/20180517072932/http://sierra.nmsu.edu/morandi/notes/GroupExtensions.pdf |date=2018-05-17 }}. From his collection of short mathematical notes.</ref>
 === [[झूठ समूह]] ===
@@ Line 92: / Line 84: @@
 * [[स्पिन समूह]], जो [[विशेष ऑर्थोगोनल समूह]]ों को दोहराते हैं, जो (समान आयाम में[[प्रक्षेपी ओर्थोगोनल समूह]] समूह को दोगुना कवर करते हैं।
 * [[मेटाप्लेक्टिक समूह]], जो सहानुभूति समूहों को दोहराते हैं।
-के मामले में {{math|[[SL2(R)|SL<sub>2</sub>('''R''')]]}} में एक मूलभूत समूह शामिल है जो [[अनंत चक्रीय]] है। यहां शामिल केंद्रीय विस्तार वजन के रूपों के मामले में [[ मॉड्यूलर रूप ]] थ्योरी में अच्छी तरह से जाना जाता है {{math|½}}. [[वास्तविक रेखा]] पर इस मामले में, [[फूरियर रूपांतरण]] से निर्मित, वेइल प्रतिनिधित्व से मेल खाने वाला एक अनुमानित प्रतिनिधित्व है। [[क्वांटम यांत्रिकी]] में मेटाप्लेक्टिक समूह भी होते हैं।
+के मामले में {{math|[[SL2(R)|SL<sub>2</sub>('''R''')]]}} में एक मूलभूत समूह शामिल है जो [[अनंत चक्रीय]] है। यहां शामिल केंद्रीय विस्तार वजन के रूपों के मामले में [[ मॉड्यूलर रूप |मॉड्यूलर रूप]] थ्योरी में अच्छी तरह से जाना जाता है {{math|½}}. [[वास्तविक रेखा]] पर इस मामले में, [[फूरियर रूपांतरण]] से निर्मित, वेइल प्रतिनिधित्व से मेल खाने वाला एक अनुमानित प्रतिनिधित्व है। [[क्वांटम यांत्रिकी]] में मेटाप्लेक्टिक समूह भी होते हैं।
 == यह भी देखें ==
@@ Line 105: / Line 97: @@
 {{reflist}}
 *{{Citation | first=Saunders | last1=Mac Lane |authorlink = Saunders Mac Lane| title=Homology | publisher=[[Springer Verlag]] | year=1975 | isbn=3-540-58662-8 | series=Classics in Mathematics}}
-* R.L. Taylor, Covering  groups  of  non  connected topological  groups, ''[[Proceedings of the American Mathematical Society]]'', vol. 5 (1954), 753–768.
+* R.L. Taylor, Covering groups of non connected topological groups, ''[[Proceedings of the American Mathematical Society]]'', vol. 5 (1954), 753–768.
-* R. Brown and O. Mucuk, Covering groups of non-connected topological  groups revisited, ''[[Mathematical Proceedings of the Cambridge Philosophical Society]]'', vol. 115 (1994), 97–110.
+* R. Brown and O. Mucuk, Covering groups of non-connected topological groups revisited, ''[[Mathematical Proceedings of the Cambridge Philosophical Society]]'', vol. 115 (1994), 97–110.
 [[Category: समूह सिद्धांत]]

Anonymous

Search

समूह विस्तार: Difference between revisions

Namespaces

More

Page actions

Revision as of 11:21, 14 March 2023

Contents