समूह विस्तार: Difference between revisions
(Created page with "{{Short description|Group for which a given group is a normal subgroup}} गणित में, एक समूह विस्तार एक विशेष साम...") |
No edit summary |
||
(6 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Group for which a given group is a normal subgroup}} | {{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>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>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>H</math> द्वारा <math>N</math> को विस्तार समस्या कहा जाता है और उन्नीसवीं शताब्दी के उत्तरार्ध से इसका गहन अध्ययन किया गया है। | |||
इसकी प्रेरणा के रूप में, विचार करें कि परिमित समूह की संरचना [[रचना श्रृंखला|श्रृंखला]] उपसमूह <math>\{A_i\}</math> का एक परिमित अनुक्रम है जहां प्रत्येक <math>\{A_{i+1}\}</math> का विस्तार <math>\{A_i\}</math>है कुछ साधारण समूह द्वारा परिमित सरल समूहों का वर्गीकरण हमें परिमित सरल समूहों की [[रचना श्रृंखला|श्रृंखला]] प्रदान करता है इसलिए विस्तार की समस्या का हल हमें सामान्य रूप से सभी परिमित समूहों के निर्माण और वर्गीकरण के लिए पर्याप्त जानकारी प्रदान कर सकता है। | |||
=== विस्तार का वर्गीकरण === | |||
गणितीय वस्तुओं के संदर्भ में ऐसे सभी विस्तारों को व्यक्त करके K या H के सभी विस्तारों को वर्गीकृत करने के लिए विस्तार समस्या को हल करने, समझने और गणना करने में आसान है। सामान्यतः यह समस्या बहुत कठिन है और सबसे उपयोगी परिणाम विस्तार को वर्गीकृत करते हैं जो कुछ अतिरिक्त शर्तों को पूरा करते हैं। यह जानना महत्वपूर्ण है कि दो विस्तार कब समतुल्य या समनुरूप होते हैं। | |||
विस्तार | माना कि विस्तार | ||
[[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>1\to K\stackrel{i'}{{}\to{}} G'\stackrel{\pi'}{{}\to{}} H\to 1</math> | ||
समतुल्य | समतुल्य या समनुरूप हैं यदि एक समरूप समूह <math>T: G\to G'</math> उपस्थित है जो चित्र 1 के आरेख को क्रमविनिमेय बनाता है। वास्तव में आरेख की कल्पित क्रमविनिमेयता के कारण एक समूह समरूपी होना पर्याप्त है, मानचित्र <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>\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 G\to H\to 1</math> | ||
जो विस्तार के बराबर है | जो निम्न विस्तार के बराबर होता है: | ||
:<math>1\to K\to K\times H\to H\to 1</math> | :<math>1\to K\to K\times H\to H\to 1</math> | ||
जहां बाएँ और दाएँ तीर क्रमशः | जहां बाएँ और दाएँ तीर क्रमशः <math>K\times H</math> प्रत्येक फलन का समाविष्ट और प्रक्षेप फलन हैं। | ||
==== | ==== विभाजन विस्तार का वर्गीकरण ==== | ||
एक | विभाजन विस्तार एक समूह विस्तार है | ||
:<math>1\to K\to G\to H\to 1</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> इस स्थिति में सामान्यतः कहा जाता है कि यह उपरोक्त अनुक्रम को 'विभाजित' करता है। विभाजन विस्तार को वर्गीकृत करना बहुत आसान है, क्योंकि एक विस्तार को विभाजित किया जाता है यदि समूह G K और H का एक प्रत्यक्ष उत्पाद है। प्रत्यक्ष उत्पाद को वर्गीकृत करना आसान होता है, क्योंकि वे समरूपता के साथ <math>H\to\operatorname{Aut}(K)</math> के रूप मे होते हैं जहां <math>K</math> [[ automorphism |"स्वसमाकृतिकता समूह"]] है। इसके के लिए प्रत्यक्ष उत्पाद देखें। | ||
==== शब्दावली पर चेतावनी ==== | ==== शब्दावली पर चेतावनी ==== | ||
गणित में सामान्य रूप से, संरचना K के विस्तार को | गणित में सामान्य रूप से, संरचना 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> | ||
[[रोनाल्ड ब्राउन (गणितज्ञ)]] और टिमोथी पोर्टर का [[ओटो श्रेयर]] के | |||
== केंद्रीय विस्तार == | == केंद्रीय विस्तार == | ||
समूह ''G'' का एक केंद्रीय विस्तार समूहों का एक संक्षिप्त सटीक अनुक्रम है | समूह ''G'' का एक केंद्रीय विस्तार समूहों का एक संक्षिप्त सटीक अनुक्रम है | ||
:<math>1\to A\to E\to G\to 1</math> | :<math>1\to A\to E\to G\to 1</math> | ||
जैसे कि | जैसे कि A, '''<math>Z(E)</math>''', समूह ई के केंद्र में सम्मिलित है। A द्वारा G के केंद्रीय विस्तार के समरूपता वर्गों का सह-समरूपता समूह <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>0\rightarrow \mathfrak{a}\rightarrow\mathfrak{e}\rightarrow\mathfrak{g}\rightarrow 0</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> | |||
=== सामान्य विस्तार के लिए सामान्यीकरण === | === सामान्य विस्तार के लिए सामान्यीकरण === | ||
समरूपता के संदर्भ में 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> | |||
=== [[झूठ समूह|लाई समूह]] === | |||
=== [[झूठ समूह]] === | |||
लाइ समूह सिद्धांत में, केंद्रीय विस्तार [[बीजगणितीय टोपोलॉजी|बीजगणितीय सांस्थिति]] के संबंध में उत्पन्न होते हैं। सामान्यतः असतत समूहों द्वारा लाई समूहों के केंद्रीय विस्तार समूहों को समाविष्ट करने के समान हैं। सामान्य रूप से, सम्बद्ध समूह 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''}} का लाई बीजगणित {{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|½}} वास्तविक रेखा पर इस स्थिति में, [[फूरियर रूपांतरण]] से निर्मित, वाइल प्रतिनिधित्व से अनुरूप एक अनुमानित प्रतिनिधित्व है। [[क्वांटम यांत्रिकी]] में [[मेटाप्लेक्टिक समूह|मेटा स्थित समूह]] भी सम्मिलित होते हैं। | |||
== यह भी देखें == | == यह भी देखें == | ||
* [[झूठ बीजगणित विस्तार]] | * [[झूठ बीजगणित विस्तार|लाई बीजगणित विस्तार]] | ||
* [[रिंग एक्सटेंशन]] | * [[रिंग एक्सटेंशन|वीरासोन विस्तार]] | ||
* [[एचएनएन एक्सटेंशन|एचएनएन विस्तार]] | |||
* [[एचएनएन एक्सटेंशन]] | |||
* [[समूह संकुचन]] | * [[समूह संकुचन]] | ||
* [[एक सामयिक समूह का विस्तार]] | * [[एक सामयिक समूह का विस्तार|टोपोलॉजिकल समूह विस्तार]] | ||
==संदर्भ== | ==संदर्भ== | ||
{{reflist}} | {{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}} | *{{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 | * 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 | * 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:Created On 28/02/2023]] | [[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:समूह सिद्धांत]] |
Latest revision as of 13:35, 17 March 2023
गणित में, समूह विस्तार एक विशेष सामान्य उपसमूह और भागफल समूह के संदर्भ में समूह (गणित) का वर्णन करने का सामान्य साधन है। यदि और दो समूह हैं तो , द्वारा का समूह विस्तार है यदि एक संक्षिप्त अनुक्रम है।
यदि , द्वारा का विस्तार है, तो एक समूह है , का एक सामान्य उपसमूह है और भागफल समूह समूह के लिए समरूप है। विस्तार समस्या के संदर्भ में समूह विस्तार उत्पन्न होते हैं जहां समूह और ज्ञात हैं और के गुण निर्धारित किए जाने हैं। ध्यान दें कि सूत्र के रूप में " द्वारा का विस्तार है कुछ समूह के द्वारा " का भी प्रयोग किया जाता है।[1] चूँकि किसी भी परिमित समूह में साधारण फलन समूह के साथ एक अधिकतम सामान्य उपसमूह होता है, सभी परिमित समूहों को परिमित सरल समूहों के साथ विस्तार की एक श्रृंखला के रूप में बनाया जा सकता है। एक समूह विस्तार को केंद्रीय विस्तार कहा जाता है यदि उपसमूह , के केंद्र में स्थित है।
सामान्य रूप में विस्तार
यदि किसी को विनिमेय समूह होने के लिए और की आवश्यकता होती है, तो दिए गए विनिमेय समूह द्वारा के विस्तार के समरूपी वर्गों का समुच्चय वास्तव में एक समूह है जो के समरूप है।
विस्तार प्रकार्यक समूह विस्तार के कई अन्य सामान्य वर्ग ज्ञात हैं लेकिन कोई सिद्धांत सम्मिलित नहीं है जो एक समय में सभी संभावित विस्तार को हल करता हो। समूह विस्तार को सामान्यतः एक कठिन समस्या के रूप में वर्णित किया जाता है इसे विस्तार समस्या कहा जाता है। कुछ उदाहरणों पर विचार करने के लिए, यदि , तब दोनों का विस्तार है और अधिक सामान्यतः यदि , और का अर्ध-प्रत्यक्ष उत्पाद है जिसे के रूप में लिखा जाता है, तो , का विस्तार है इसलिए समूह विस्तार, उत्पाद विस्तार के अन्य उदाहरण प्रदान करते हैं।
विस्तार समस्या
समूह किस समूह का विस्तार है इसका प्रश्न द्वारा को विस्तार समस्या कहा जाता है और उन्नीसवीं शताब्दी के उत्तरार्ध से इसका गहन अध्ययन किया गया है।
इसकी प्रेरणा के रूप में, विचार करें कि परिमित समूह की संरचना श्रृंखला उपसमूह का एक परिमित अनुक्रम है जहां प्रत्येक का विस्तार है कुछ साधारण समूह द्वारा परिमित सरल समूहों का वर्गीकरण हमें परिमित सरल समूहों की श्रृंखला प्रदान करता है इसलिए विस्तार की समस्या का हल हमें सामान्य रूप से सभी परिमित समूहों के निर्माण और वर्गीकरण के लिए पर्याप्त जानकारी प्रदान कर सकता है।
विस्तार का वर्गीकरण
गणितीय वस्तुओं के संदर्भ में ऐसे सभी विस्तारों को व्यक्त करके K या H के सभी विस्तारों को वर्गीकृत करने के लिए विस्तार समस्या को हल करने, समझने और गणना करने में आसान है। सामान्यतः यह समस्या बहुत कठिन है और सबसे उपयोगी परिणाम विस्तार को वर्गीकृत करते हैं जो कुछ अतिरिक्त शर्तों को पूरा करते हैं। यह जानना महत्वपूर्ण है कि दो विस्तार कब समतुल्य या समनुरूप होते हैं।
माना कि विस्तार
- और
समतुल्य या समनुरूप हैं यदि एक समरूप समूह उपस्थित है जो चित्र 1 के आरेख को क्रमविनिमेय बनाता है। वास्तव में आरेख की कल्पित क्रमविनिमेयता के कारण एक समूह समरूपी होना पर्याप्त है, मानचित्र को लघु पाँच लेम्मा सिद्धांत द्वारा एक समरूपता होने के लिए प्रणोदित (गणित) किया जाता है।
चेतावनी
ऐसा हो सकता है कि विस्तार और असमान हैं लेकिन G और G' समूहों के रूप में समरूप हैं। उदाहरण के लिए, द्वारा क्लेन चार-समूह के असमान विस्तार हैं[2] लेकिन समूह समरूप हैं, और अनुक्रम के केवल चार समूहों में क्रम के एक सामान्य उपसमूह होते हैं जिसमें क्लेन चार-समूह के भागफल समूह समरूप होते हैं।
तुच्छ विस्तार
तुच्छ विस्तार एक समूह विस्तार है:
जो निम्न विस्तार के बराबर होता है:
जहां बाएँ और दाएँ तीर क्रमशः प्रत्येक फलन का समाविष्ट और प्रक्षेप फलन हैं।
विभाजन विस्तार का वर्गीकरण
विभाजन विस्तार एक समूह विस्तार है
एक समरूपता जैसे कि H से G तक s द्वारा जाना और फिर लघु अनुक्रम के भागफल मानचित्र द्वारा H पर वापस जाना H पर पहचान मानचित्र को प्रेरित करता है अर्थात इस स्थिति में सामान्यतः कहा जाता है कि यह उपरोक्त अनुक्रम को 'विभाजित' करता है। विभाजन विस्तार को वर्गीकृत करना बहुत आसान है, क्योंकि एक विस्तार को विभाजित किया जाता है यदि समूह G K और H का एक प्रत्यक्ष उत्पाद है। प्रत्यक्ष उत्पाद को वर्गीकृत करना आसान होता है, क्योंकि वे समरूपता के साथ के रूप मे होते हैं जहां "स्वसमाकृतिकता समूह" है। इसके के लिए प्रत्यक्ष उत्पाद देखें।
शब्दावली पर चेतावनी
गणित में सामान्य रूप से, संरचना K के विस्तार को सामान्यतः एक संरचना L के रूप में माना जाता है जिसमें से K एक उपसंरचना है। उदाहरण के लिए क्षेत्रीय विस्तार देखें। हालांकि, समूह सिद्धांत में आंशिक रूप से अंकन के कारण विपरीत शब्दावली आ गई है जो N द्वारा Q के विस्तार के रूप में समूह Q पर स्थित है। रोनाल्ड ब्राउन (गणितज्ञ) और टिमोथी पोर्टर का ओटोश्रेयर (गणितज्ञ) के गैर-एबेलियन विस्तार के सिद्धांत पर इस शब्दावली का उपयोग करता है जो कि K के लिए समूह विस्तार की एक विस्तृत संरचना प्रदान करता है।[3]
केंद्रीय विस्तार
समूह G का एक केंद्रीय विस्तार समूहों का एक संक्षिप्त सटीक अनुक्रम है
जैसे कि A, , समूह ई के केंद्र में सम्मिलित है। A द्वारा G के केंद्रीय विस्तार के समरूपता वर्गों का सह-समरूपता समूह के साथ समतुल्य है। .
किसी भी समूह G और किसी विनिमेय समूह A और E को लेकर समूह पर केंद्रीय विस्तार के उदाहरण बनाए जा सकते हैं। इस प्रकार का विभाजन उदाहरण उपरोक्त समतुल्यता के अंतर्गत के अनुरूप है। प्रक्षेपीय अभ्यावेदन के सिद्धांत में अधिक जटिल उदाहरण पाए जाते हैं, ऐसी स्थितियों में जहां प्रक्षेपी निरूपण को साधारण रेखीय निरूपण में के रूप मे स्वीकृत नहीं जाता है। परिमित पूर्ण समूहों की स्थिति में एक पूर्णतः केंद्रीय विस्तार होता है।
इसी प्रकार, लाई बीजगणित का केंद्रीय विस्तार अनुक्रम है:
- जैसे कि , के केंद्र में है।
भागफल में केंद्रीय विस्तार का एक सामान्य सिद्धांत है।[4]
सामान्य विस्तार के लिए सामान्यीकरण
समरूपता के संदर्भ में A द्वारा G के सभी विस्तार का एक समान वर्गीकरण है लेकिन स्पष्ट रूप से परीक्षण और सह समरूपता समूह की स्थिति सम्मिलित है।[5]
लाई समूह
लाइ समूह सिद्धांत में, केंद्रीय विस्तार बीजगणितीय सांस्थिति के संबंध में उत्पन्न होते हैं। सामान्यतः असतत समूहों द्वारा लाई समूहों के केंद्रीय विस्तार समूहों को समाविष्ट करने के समान हैं। सामान्य रूप से, सम्बद्ध समूह G का एक संबद्ध समष्टि G∗ से G का एक केंद्रीय विस्तार इस प्रकार से है कि प्रक्षेपीय मान का एक समरूप समूह और विशेषण है। समूह संरचना पर G∗ में पहचान के लिए एक पहचान तत्व की समष्टि G पर निर्भर करता है उदाहरण के लिए G∗ G का सार्वभौमिक समष्टि है तब π का कर्नेल G का मौलिक समूह है जिसे विनिमेय समूह के रूप में जाना जाता है। इसके विपरीत एक लाई समूह G और केंद्रीय उपसमूह Z दिया गया है भागफल G/Z लाई समूह है और G इसका समुच्चय समष्टि है।
यदि G का लाई बीजगणित g है और A का लाई बीजगणित a है और E का e है तो e, g द्वारा a का केंद्रीय लाई बीजगणित विस्तार है। सैद्धांतिक भौतिकी की शब्दावली में, a के मान को केंद्रीय विस्तार कहा जाता है। ये मान e के केंद्र में सम्मिलित होते हैं और नोथेर की प्रमेय द्वारा समरूपता समूहों के संरक्षित मानों के अनुरूप होते हैं जिन्हें आवेशित मान (भौतिकी) कहा जाता है।
सह-समरूप समूहों के रूप में केंद्रीय विस्तार के मूल उदाहरण हैं:
- चक्रण समूह, जो विशेष लंबकोणीय समूह को दोहराते हैं और समान आयाम में प्रक्षेपी लंबकोणीय समूह को दोगुना विस्तृत करते हैं।
- मेटा स्थित समूह, जो संसुघटित समूहों को दोहराते हैं।
SL2(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 H3 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.