समूह विस्तार: Difference between revisions
No edit summary |
No edit summary |
||
| 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>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> के समरूप है। | ||
[[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> का अर्ध-प्रत्यक्ष उत्पाद है | [[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>G</math> किस समूह का विस्तार है इसका प्रश्न <math>H</math> द्वारा <math>N</math> को विस्तार समस्या कहा जाता है और उन्नीसवीं शताब्दी के उत्तरार्ध से इसका गहन अध्ययन किया गया है। | ||
इसकी प्रेरणा के रूप में, विचार करें कि परिमित समूह की संरचना [[रचना श्रृंखला|श्रृंखला]] उपसमूह <math>\{A_i\}</math> का एक परिमित अनुक्रम है | इसकी प्रेरणा के रूप में, विचार करें कि परिमित समूह की संरचना [[रचना श्रृंखला|श्रृंखला]] उपसमूह <math>\{A_i\}</math> का एक परिमित अनुक्रम है जहां प्रत्येक <math>\{A_{i+1}\}</math> का विस्तार <math>\{A_i\}</math>है कुछ साधारण समूह द्वारा परिमित सरल समूहों का वर्गीकरण हमें परिमित सरल समूहों की [[रचना श्रृंखला|श्रृंखला]] प्रदान करता है इसलिए विस्तार की समस्या का हल हमें सामान्य रूप से सभी परिमित समूहों के निर्माण और वर्गीकरण के लिए पर्याप्त जानकारी प्रदान कर सकता है। | ||
=== विस्तार का वर्गीकरण === | === विस्तार का वर्गीकरण === | ||
Revision as of 09:36, 15 March 2023
गणित में, समूह विस्तार एक विशेष सामान्य उपसमूह और भागफल समूह के संदर्भ में समूह (गणित) का वर्णन करने का सामान्य साधन है। यदि और दो समूह हैं तो , द्वारा का समूह विस्तार है यदि एक संक्षिप्त अनुक्रम है।
यदि , द्वारा का विस्तार है, तो एक समूह है , का एक सामान्य उपसमूह है और भागफल समूह समूह के लिए समरूप है। विस्तार समस्या के संदर्भ में समूह विस्तार उत्पन्न होते हैं जहां समूह और ज्ञात हैं और के गुण निर्धारित किए जाने हैं। ध्यान दें कि सूत्र के रूप में " द्वारा का विस्तार है कुछ समूह के द्वारा " का भी प्रयोग किया जाता है।[1] चूँकि किसी भी परिमित समूह में साधारण फलन समूह के साथ एक अधिकतम सामान्य उपसमूह होता है, सभी परिमित समूहों को परिमित सरल समूहों के साथ विस्तार की एक श्रृंखला के रूप में बनाया जा सकता है। एक समूह विस्तार को केंद्रीय विस्तार कहा जाता है यदि उपसमूह , के केंद्र में स्थित है।
सामान्य रूप में विस्तार
यदि किसी को विनिमेय समूह होने के लिए और की आवश्यकता होती है, तो दिए गए विनिमेय समूह द्वारा के विस्तार के समरूपी वर्गों का समुच्चय वास्तव में एक समूह है जो के समरूप है।
विस्तार प्रकार्यक समूह विस्तार के कई अन्य सामान्य वर्ग ज्ञात हैं लेकिन कोई सिद्धांत सम्मिलित नहीं है जो एक समय में सभी संभावित विस्तार को हल करता हो। समूह विस्तार को सामान्यतः एक कठिन समस्या के रूप में वर्णित किया जाता है इसे विस्तार समस्या कहा जाता है। कुछ उदाहरणों पर विचार करने के लिए, यदि , तब दोनों का विस्तार है और अधिक सामान्यतः यदि , और का अर्ध-प्रत्यक्ष उत्पाद है जिसे के रूप में लिखा जाता है, तो , का विस्तार है इसलिए समूह विस्तार, उत्पाद विस्तार के अन्य उदाहरण प्रदान करते हैं।
विस्तार समस्या
समूह किस समूह का विस्तार है इसका प्रश्न द्वारा को विस्तार समस्या कहा जाता है और उन्नीसवीं शताब्दी के उत्तरार्ध से इसका गहन अध्ययन किया गया है।
इसकी प्रेरणा के रूप में, विचार करें कि परिमित समूह की संरचना श्रृंखला उपसमूह का एक परिमित अनुक्रम है जहां प्रत्येक का विस्तार है कुछ साधारण समूह द्वारा परिमित सरल समूहों का वर्गीकरण हमें परिमित सरल समूहों की श्रृंखला प्रदान करता है इसलिए विस्तार की समस्या का हल हमें सामान्य रूप से सभी परिमित समूहों के निर्माण और वर्गीकरण के लिए पर्याप्त जानकारी प्रदान कर सकता है।
विस्तार का वर्गीकरण
गणितीय वस्तुओं के संदर्भ में ऐसे सभी विस्तारों को व्यक्त करके K या H के सभी विस्तारों को वर्गीकृत करने के लिए विस्तार समस्या को हल करने, समझने और गणना करने में आसान है। सामान्यतः यह समस्या बहुत कठिन है और सबसे उपयोगी परिणाम विस्तार को वर्गीकृत करते हैं जो कुछ अतिरिक्त शर्तों को पूरा करते हैं। यह जानना महत्वपूर्ण है कि दो विस्तार कब समतुल्य या समनुरूप होते हैं।
माना कि विस्तार
- और
समतुल्य या समनुरूप हैं यदि एक समरूप समूह उपस्थित है जो चित्र 1 के आरेख को क्रमविनिमेय बनाता है। वास्तव में आरेख की कल्पित क्रमविनिमेयता के कारण एक समूह समरूपी होना पर्याप्त है, मानचित्र को लघु पाँच लेम्मा सिद्धांत द्वारा एक समरूपता होने के लिए प्रणोदित (गणित) किया जाता है।
चेतावनी
ऐसा हो सकता है कि विस्तार