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

Latest revision as of 13:35, 17 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

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

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

इसी प्रकार, लाई बीजगणित का केंद्रीय विस्तार ${\mathfrak {g}}$ अनुक्रम है:

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

जैसे कि

{\mathfrak {a}}

,

{\mathfrak {e}}

के केंद्र में है।

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

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

समरूपता के संदर्भ में A द्वारा G के सभी विस्तार का एक समान वर्गीकरण $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$ का मौलिक समूह है जिसे विनिमेय समूह के रूप में जाना जाता है। इसके विपरीत एक लाई समूह $G$ और केंद्रीय उपसमूह $Z$ दिया गया है भागफल $G / Z$ लाई समूह है और $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>1\to N\;\overset{\iota}{\to}\;G\;\overset{\pi}{\to}\;Q \to 1</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>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> के केंद्र में स्थित है।
@@ Line 6: / Line 6: @@
 == सामान्य रूप में विस्तार ==
-यदि किसी को [[एबेलियन समूह|विनिमेय समूह]] होने के लिए <math>G</math> और <math>Q</math> की आवश्यकता होती है, तो दिए गए विनिमेय समूह <math>N</math> द्वारा <math>Q</math> के विस्तार के समरूपी वर्गों का समुच्चय वास्तव में एक समूह है जो समरूपी है:
+यदि किसी को [[एबेलियन समूह|विनिमेय समूह]] होने के लिए <math>G</math> और <math>Q</math> की आवश्यकता होती है, तो दिए गए विनिमेय समूह <math>N</math> द्वारा <math>Q</math> के विस्तार के समरूपी वर्गों का समुच्चय वास्तव में एक समूह है जो <math>\operatorname{Ext}^1_{\mathbb Z}(Q,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> का विस्तार है इसलिए [[पुष्पांजलि उत्पाद|समूह विस्तार]], उत्पाद विस्तार के अन्य उदाहरण प्रदान करते हैं।
+[[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> का विस्तार है इसलिए [[पुष्पांजलि उत्पाद|समूह विस्तार]], उत्पाद विस्तार के अन्य उदाहरण प्रदान करते हैं।
 ===विस्तार समस्या===
@@ Line 14: / Line 14: @@
 समूह <math>G</math> किस समूह का विस्तार है इसका प्रश्न <math>H</math> द्वारा <math>N</math> को विस्तार समस्या कहा जाता है और उन्नीसवीं शताब्दी के उत्तरार्ध से इसका गहन अध्ययन किया गया है।
-इसकी प्रेरणा के रूप में, विचार करें कि परिमित समूह की संरचना [[रचना श्रृंखला|श्रृंखला]] उपसमूह <math>\{A_i\}</math> का एक परिमित अनुक्रम है, जहां प्रत्येक <math>\{A_{i+1}\}</math> का विस्तार <math>\{A_i\}</math>है कुछ साधारण समूह द्वारा परिमित सरल समूहों का वर्गीकरण हमें परिमित सरल समूहों की [[रचना श्रृंखला|श्रृंखला]] प्रदान करता है इसलिए विस्तार की समस्या का हल हमें सामान्य रूप से सभी परिमित समूहों के निर्माण और वर्गीकरण के लिए पर्याप्त जानकारी प्रदान कर सकता है।
+इसकी प्रेरणा के रूप में, विचार करें कि परिमित समूह की संरचना [[रचना श्रृंखला|श्रृंखला]] उपसमूह <math>\{A_i\}</math> का एक परिमित अनुक्रम है जहां प्रत्येक <math>\{A_{i+1}\}</math> का विस्तार <math>\{A_i\}</math>है कुछ साधारण समूह द्वारा परिमित सरल समूहों का वर्गीकरण हमें परिमित सरल समूहों की [[रचना श्रृंखला|श्रृंखला]] प्रदान करता है इसलिए विस्तार की समस्या का हल हमें सामान्य रूप से सभी परिमित समूहों के निर्माण और वर्गीकरण के लिए पर्याप्त जानकारी प्रदान कर सकता है।
 === विस्तार का वर्गीकरण ===
@@ Line 46: / Line 46: @@
 :<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> इस स्थिति में सामान्यतः कहा जाता है कि यह उपरोक्त अनुक्रम को 'विभाजित' करता है। विभाजन विस्तार को वर्गीकृत करना बहुत आसान है, क्योंकि एक विस्तार को विभाजित किया जाता है यदि समूह G K और H का एक प्रत्यक्ष उत्पाद है। प्रत्यक्ष उत्पाद स्वयं को वर्गीकृत करना आसान है, क्योंकि वे समरूपता के साथ एक-से-एक पत्राचार में हैं <math>H\to\operatorname{Aut}(K)</math>, जहां <math>K</math> [[ automorphism |"स्वसमाकृतिकता समूह"]] है। '''इसकी पूरी चर्चा के लिए, सेमीडायरेक्ट उत्पाद देखें।'''
+एक [[समरूपता]] <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 |"स्वसमाकृतिकता समूह"]] है। इसके के लिए प्रत्यक्ष उत्पाद देखें।
 ==== शब्दावली पर चेतावनी ====
-गणित में सामान्य रूप से, संरचना K के विस्तार को आमतौर पर एक संरचना L के रूप में माना जाता है, जिसमें से K एक उपसंरचना है। उदाहरण के लिए [[फील्ड एक्सटेंशन]] देखें। हालांकि, समूह सिद्धांत में आंशिक रूप से अंकन के कारण विपरीत शब्दावली आ गई है <math>\operatorname{Ext}(Q,N)</math>, जो N द्वारा Q के विस्तार के रूप में आसानी से पढ़ता है, और ध्यान समूह Q पर है।
+गणित में सामान्य रूप से, संरचना K के विस्तार को सामान्यतः एक संरचना L के रूप में माना जाता है जिसमें से K एक उपसंरचना है। उदाहरण के लिए [[फील्ड एक्सटेंशन|क्षेत्रीय विस्तार]] देखें। हालांकि, समूह सिद्धांत में आंशिक रूप से अंकन के कारण विपरीत शब्दावली <math>\operatorname{Ext}(Q,N)</math> आ गई है जो N द्वारा Q के विस्तार के रूप में समूह Q पर स्थित है। [[रोनाल्ड ब्राउन (गणितज्ञ)]] और टिमोथी पोर्टर का [[ओटो श्रेयर|ओटोश्रेयर]] [[रोनाल्ड ब्राउन (गणितज्ञ)|(गणितज्ञ)]] के गैर-एबेलियन विस्तार के सिद्धांत पर इस शब्दावली का उपयोग करता है जो कि K के लिए समूह विस्तार की एक विस्तृत संरचना प्रदान करता है।<ref>{{cite journal|first1=Ronald|author-link1=Ronald Brown (mathematician)|last1= Brown |first2=Timothy|last2= Porter|title=On the Schreier theory of non-abelian extensions: generalisations and computations| journal=[[Proceedings of the Royal Irish Academy]] Sect A|volume=96 |year=1996|issue=2|pages=213–227|mr=1641218}}</ref>
-[[रोनाल्ड ब्राउन (गणितज्ञ)]] और टिमोथी पोर्टर का [[ओटो श्रेयर]] के नॉनबेलियन एक्सटेंशन के सिद्धांत पर एक पेपर इस शब्दावली का उपयोग करता है कि K का एक विस्तार एक बड़ी संरचना देता है।<ref>{{cite journal|first1=Ronald|author-link1=Ronald Brown (mathematician)|last1= Brown |first2=Timothy|last2= Porter|title=On the Schreier theory of non-abelian extensions: generalisations and computations| journal=[[Proceedings of the Royal Irish Academy]] Sect A|volume=96 |year=1996|issue=2|pages=213–227|mr=1641218}}</ref>
 == केंद्रीय विस्तार ==
 समूह ''G'' का एक केंद्रीय विस्तार समूहों का एक संक्षिप्त सटीक अनुक्रम है
 :<math>1\to A\to E\to G\to 1</math>
-जैसे कि ए शामिल है <math>Z(E)</math>, समूह ई के एक समूह का केंद्र। ए द्वारा जी के केंद्रीय विस्तार के समरूपता वर्गों का समूह [[समूह कोहोलॉजी]] समूह के साथ एक-से-एक पत्राचार में है <math>H^2(G,A)</math>.
+जैसे कि A, '''<math>Z(E)</math>''', समूह ई के केंद्र में सम्मिलित है। A द्वारा G के केंद्रीय विस्तार के समरूपता वर्गों का सह-समरूपता समूह <math>H^2(G,A)</math> के साथ समतुल्य है। .
-किसी भी समूह G और किसी एबेलियन समूह A को लेकर और E को सेट करके केंद्रीय विस्तार के उदाहरण बनाए जा सकते हैं <math>A\times G</math>. इस प्रकार का विभाजन उदाहरण तत्व 0 से मेल खाता है <math>H^2(G,A)</math> उपरोक्त पत्राचार के तहत प्रक्षेपी अभ्यावेदन के सिद्धांत में अधिक गंभीर उदाहरण पाए जाते हैं, ऐसे मामलों में जहां प्रक्षेपी निरूपण को साधारण रेखीय निरूपण में नहीं उठाया जा सकता है।
+किसी भी समूह G और किसी विनिमेय समूह A और E को लेकर <math>A\times G</math> समूह पर केंद्रीय विस्तार के उदाहरण बनाए जा सकते हैं। इस प्रकार का विभाजन उदाहरण उपरोक्त समतुल्यता के अंतर्गत <math>H^2(G,A)</math> के अनुरूप है। प्रक्षेपीय अभ्यावेदन के सिद्धांत में अधिक जटिल उदाहरण पाए जाते हैं, ऐसी स्थितियों में जहां प्रक्षेपी निरूपण को साधारण रेखीय निरूपण में के रूप मे स्वीकृत नहीं जाता है। परिमित पूर्ण समूहों की स्थिति में एक पूर्णतः केंद्रीय विस्तार होता है।
-परिमित पूर्ण समूहों के मामले में, एक सार्वभौमिक पूर्ण केंद्रीय विस्तार होता है।
+इसी प्रकार, [[झूठ बीजगणित|लाई बीजगणित]] का केंद्रीय विस्तार <math>\mathfrak{g}</math> अनुक्रम है:
-इसी प्रकार, [[झूठ बीजगणित]] का केंद्रीय विस्तार <math>\mathfrak{g}</math> सटीक क्रम है
 :<math>0\rightarrow \mathfrak{a}\rightarrow\mathfrak{e}\rightarrow\mathfrak{g}\rightarrow 0</math>
-ऐसा है कि <math>\mathfrak{a}</math> के केन्द्र में है <math>\mathfrak{e}</math>.
+:जैसे कि <math>\mathfrak{a}</math>, <math>\mathfrak{e}</math> के केंद्र में है।
+[[भागफल (सार्वभौमिक बीजगणित)|भागफल]] में केंद्रीय विस्तार का एक सामान्य सिद्धांत है।<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>
-[[भागफल (सार्वभौमिक बीजगणित)]] में केंद्रीय विस्तार का एक सामान्य सिद्धांत है।<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>
+समरूपता के संदर्भ में A द्वारा G के सभी विस्तार का एक समान वर्गीकरण <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>
-=== [[झूठ समूह]] ===
+=== [[झूठ समूह|लाई समूह]] ===
-लाइ समूह सिद्धांत में, केंद्रीय विस्तार [[बीजगणितीय टोपोलॉजी]] के संबंध में उत्पन्न होते हैं। मोटे तौर पर, असतत समूहों द्वारा लेटे समूहों के केंद्रीय विस्तार समूहों को कवर करने के समान हैं। अधिक सटीक रूप से, अंतरिक्ष को कवर करने वाला एक [[जुड़ा हुआ स्थान]] {{math|''G''<sup>∗</sup>}} एक जुड़े हुए समूह का {{math|''G''}} स्वाभाविक रूप से का केंद्रीय विस्तार है {{math|''G''}}, इस तरह से कि प्रोजेक्शन
-:<math>\pi\colon G^* \to G</math>
+लाइ समूह सिद्धांत में, केंद्रीय विस्तार [[बीजगणितीय टोपोलॉजी|बीजगणितीय सांस्थिति]] के संबंध में उत्पन्न होते हैं। सामान्यतः असतत समूहों द्वारा लाई समूहों के केंद्रीय विस्तार समूहों को समाविष्ट करने के समान हैं। सामान्य रूप से, सम्बद्ध समूह G का एक संबद्ध समष्टि {{math|''G''<sup>∗</sup>}} से {{math|''G''}} का एक केंद्रीय विस्तार इस प्रकार से है कि प्रक्षेपीय मान <math>\pi\colon G^* \to G</math> का एक समरूप समूह और विशेषण है। समूह संरचना पर {{math|''G''<sup>∗</sup>}} में पहचान के लिए एक पहचान तत्व की समष्टि {{math|''G''}} पर निर्भर करता है उदाहरण के लिए G∗ G का [[सार्वभौमिक आवरण|सार्वभौमिक समष्टि]] है तब π का कर्नेल {{math|''G''}} का मौलिक समूह है जिसे विनिमेय समूह के रूप में जाना जाता है। इसके विपरीत एक लाई समूह {{math|''G''}} और केंद्रीय उपसमूह {{math|''Z''}} दिया गया है भागफल {{math|''G''/''Z''}} लाई समूह है और {{math|''G''}} इसका समुच्चय समष्टि है।
-एक समूह समरूपता है, और विशेषण है। (समूह संरचना पर {{math|''G''<sup>∗</sup>}} में पहचान के लिए एक पहचान तत्व मैपिंग की पसंद पर निर्भर करता है {{math|''G''}}।) उदाहरण के लिए, कब {{math|''G''<sup>∗</sup>}} का [[सार्वभौमिक आवरण]] है {{math|''G''}}, π का कर्नेल मूलभूत समूह है {{math|''G''}}, जिसे एबेलियन के रूप में जाना जाता है ([[h-अंतरिक्ष]] देखें)। इसके विपरीत, एक झूठ समूह दिया {{math|''G''}} और एक असतत केंद्रीय उपसमूह {{math|''Z''}}, भागफल {{math|''G''/''Z''}} एक झूठ समूह है और {{math|''G''}} इसका एक आवरण स्थान है।
-अधिक आम तौर पर, जब समूह {{math|''A''}}, {{math|''E''}} और {{math|''G''}} एक केंद्रीय विस्तार में होने वाले झूठ समूह हैं, और उनके बीच के नक्शे झूठ समूहों के होमोमोर्फिज्म हैं, फिर यदि झूठ बीजगणित {{math|''G''}} है {{math|'''g'''}}, की है कि {{math|''A''}} है {{math|'''a'''}}, और वह {{math|''E''}} है {{math|'''e'''}}, तब {{math|'''e'''}} एक लाई बीजगणित विस्तार#केंद्रीय विस्तार है {{math|'''g'''}} द्वारा {{math|'''a'''}}. [[सैद्धांतिक भौतिकी]] की शब्दावली में, के जनरेटर {{math|'''a'''}} [[केंद्रीय प्रभार]] कहलाते हैं। ये जनरेटर के केंद्र में हैं {{math|'''e'''}}; नोएदर के प्रमेय द्वारा, समरूपता समूहों के जनरेटर संरक्षित मात्राओं के अनुरूप होते हैं, जिन्हें [[चार्ज (भौतिकी)]] कहा जाता है।
+यदि {{math|''G''}} का लाई बीजगणित {{math|'''g'''}} है और {{math|''A''}} का लाई बीजगणित {{math|'''a'''}} है और {{math|''E''}} का {{math|'''e'''}} है तो {{math|'''e'''}}, {{math|'''g'''}} द्वारा {{math|'''a'''}} का केंद्रीय लाई बीजगणित विस्तार है। सैद्धांतिक भौतिकी की शब्दावली में, {{math|'''a'''}} के मान को [[केंद्रीय प्रभार|केंद्रीय विस्तार]] कहा जाता है। ये मान {{math|'''e'''}} के केंद्र में सम्मिलित होते हैं और नोथेर की प्रमेय द्वारा समरूपता समूहों के संरक्षित मानों के अनुरूप होते हैं जिन्हें [[चार्ज (भौतिकी)|आवेशित मान (भौतिकी)]] कहा जाता है।
-कवरिंग समूहों के रूप में केंद्रीय एक्सटेंशन के मूल उदाहरण हैं:
+सह-समरूप समूहों के रूप में केंद्रीय विस्तार के मूल उदाहरण हैं:
-* [[स्पिन समूह]], जो [[विशेष ऑर्थोगोनल समूह]]ों को दोहराते हैं, जो (समान आयाम में[[प्रक्षेपी ओर्थोगोनल समूह]] समूह को दोगुना कवर करते हैं।
+* [[स्पिन समूह|चक्रण समूह]], जो [[विशेष ऑर्थोगोनल समूह|विशेष लंबकोणीय समूह]] को दोहराते हैं और समान आयाम में [[प्रक्षेपी ओर्थोगोनल समूह|प्रक्षेपी लंबकोणीय समूह]] को दोगुना विस्तृत करते हैं।
-* [[मेटाप्लेक्टिक समूह]], जो सहानुभूति समूहों को दोहराते हैं।
+* [[मेटाप्लेक्टिक समूह|मेटा स्थित समूह]], जो संसुघटित समूहों को दोहराते हैं।
-के मामले में {{math|[[SL2(R)|SL<sub>2</sub>('''R''')]]}} में एक मूलभूत समूह शामिल है जो [[अनंत चक्रीय]] है। यहां शामिल केंद्रीय विस्तार वजन के रूपों के मामले में [[ मॉड्यूलर रूप |मॉड्यूलर रूप]] थ्योरी में अच्छी तरह से जाना जाता है {{math|½}}. [[वास्तविक रेखा]] पर इस मामले में, [[फूरियर रूपांतरण]] से निर्मित, वेइल प्रतिनिधित्व से मेल खाने वाला एक अनुमानित प्रतिनिधित्व है। [[क्वांटम यांत्रिकी]] में मेटाप्लेक्टिक समूह भी होते हैं।
+{{math|[[SL2(R)|SL<sub>2</sub>('''R''')]]}} की स्थिति में एक मूलभूत समूह सम्मिलित है जो अपरिमित चक्रीय है। यहाँ सम्मिलित केंद्रीय विस्तार मॉड्यूलर सिद्धांत में अच्छी तरह से जाना जाता है भार के रूपों के स्थिति में {{math|½}} वास्तविक रेखा पर इस स्थिति में, [[फूरियर रूपांतरण]] से निर्मित, वाइल प्रतिनिधित्व से अनुरूप एक अनुमानित प्रतिनिधित्व है। [[क्वांटम यांत्रिकी]] में [[मेटाप्लेक्टिक समूह|मेटा स्थित समूह]] भी सम्मिलित होते हैं।
 == यह भी देखें ==
-* [[झूठ बीजगणित विस्तार]]
+* [[झूठ बीजगणित विस्तार|लाई बीजगणित विस्तार]]
-* [[रिंग एक्सटेंशन]]
+* [[रिंग एक्सटेंशन|वीरासोन विस्तार]]
-* विरासोरो बीजगणित
+* [[एचएनएन एक्सटेंशन|एचएनएन विस्तार]]
-* [[एचएनएन एक्सटेंशन]]
 * [[समूह संकुचन]]
-* [[एक सामयिक समूह का विस्तार]]
+* [[एक सामयिक समूह का विस्तार|टोपोलॉजिकल समूह विस्तार]]
 ==संदर्भ==
@@ Line 99: / Line 88: @@
 * 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.
-[[Category: समूह सिद्धांत]]
-[[Category: Machine Translated Page]]
 [[Category:Created On 28/02/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Short description with empty Wikidata description]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]
+[[Category:Webarchive template wayback links]]
+[[Category:समूह सिद्धांत]]

Anonymous

Search

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

Namespaces

More

Page actions

Latest revision as of 13:35, 17 March 2023

Contents