समूह विस्तार
गणित में, समूह विस्तार एक विशेष सामान्य उपसमूह और भागफल समूह के संदर्भ में समूह (गणित) का वर्णन करने का एक सामान्य साधन है। यदि और दो समूह हैं तो , द्वारा का समूह विस्तार है यदि एक संक्षिप्त अनुक्रम है।
यदि , द्वारा का विस्तार है, तो एक समूह है , का एक सामान्य उपसमूह है और भागफल समूह समूह के लिए समरूप है। विस्तार समस्या के संदर्भ में समूह विस्तार उत्पन्न होते हैं जहां समूह और ज्ञात हैं और के गुण निर्धारित किए जाने हैं। ध्यान दें कि सूत्र के रूप में " द्वारा का विस्तार है कुछ समूह के द्वारा " का भी प्रयोग किया जाता है।[1] चूँकि किसी भी परिमित समूह में साधारण फलन समूह के साथ एक अधिकतम सामान्य उपसमूह होता है, सभी परिमित समूहों को परिमित सरल समूहों के साथ विस्तार की एक श्रृंखला के रूप में बनाया जा सकता है। एक समूह विस्तार को केंद्रीय विस्तार कहा जाता है यदि उपसमूह , के केंद्र में स्थित है।
सामान्य रूप में विस्तार
यदि किसी को विनिमेय समूह होने के लिए और की आवश्यकता होती है, तो दिए गए विनिमेय समूह द्वारा के विस्तार के समरूपी वर्गों का समुच्चय वास्तव में एक समूह है जो समरूपी है:
विस्तार प्रकार्यक समूह विस्तार के कई अन्य सामान्य वर्ग ज्ञात हैं लेकिन कोई सिद्धांत सम्मिलित नहीं है जो एक समय में सभी संभावित विस्तार को हल करता हो। समूह विस्तार को सामान्यतः एक कठिन समस्या के रूप में वर्णित किया जाता है इसे विस्तार समस्या कहा जाता है। कुछ उदाहरणों पर विचार करने के लिए, यदि , तब दोनों का विस्तार है और अधिक सामान्यतः यदि , और का अर्ध-प्रत्यक्ष उत्पाद है, जिसे के रूप में लिखा जाता है, तो , का विस्तार है इसलिए समूह विस्तार, उत्पाद विस्तार के अन्य उदाहरण प्रदान करते हैं।
विस्तार समस्या
समूह किस समूह का विस्तार है इसका प्रश्न द्वारा को विस्तार समस्या कहा जाता है और उन्नीसवीं शताब्दी के उत्तरार्ध से इसका गहन अध्ययन किया गया है।
इसकी प्रेरणा के रूप में, विचार करें कि परिमित समूह की संरचना श्रृंखला उपसमूह का एक परिमित अनुक्रम है, जहां प्रत्येक का विस्तार है कुछ साधारण समूह द्वारा परिमित सरल समूहों का वर्गीकरण हमें परिमित सरल समूहों की श्रृंखला प्रदान करता है इसलिए विस्तार की समस्या का हल हमें सामान्य रूप से सभी परिमित समूहों के निर्माण और वर्गीकरण के लिए पर्याप्त जानकारी प्रदान कर सकता है।
विस्तार का वर्गीकरण
गणितीय वस्तुओं के संदर्भ में ऐसे सभी विस्तारों को व्यक्त करके K या H के सभी विस्तारों को वर्गीकृत करने के लिए विस्तार समस्या को हल करने, समझने और गणना करने में आसान है। सामान्यतः यह समस्या बहुत कठिन है और सबसे उपयोगी परिणाम विस्तार को वर्गीकृत करते हैं जो कुछ अतिरिक्त शर्तों को पूरा करते हैं। यह जानना महत्वपूर्ण है कि दो विस्तार कब समतुल्य या समनुरूप होते हैं।
माना कि विस्तार
- और
समतुल्य या समनुरूप हैं यदि एक समरूप समूह उपस्थित है जो चित्र 1 के आरेख को क्रमविनिमेय बनाता है। वास्तव में आरेख की कल्पित क्रमविनिमेयता के कारण एक समूह समरूपी होना पर्याप्त है, मानचित्र को लघु पाँच लेम्मा सिद्धांत द्वारा एक समरूपता होने के लिए प्रणोदित (गणित) किया जाता है।
चेतावनी
ऐसा हो सकता है कि विस्तार और असमान हैं लेकिन G और G' समूहों के रूप में समरूप हैं। उदाहरण के लिए, द्वारा क्लेन चार-समूह के असमान विस्तार हैं[2] लेकिन समूह समरूप हैं, और अनुक्रम के केवल चार समूहों में क्रम के एक सामान्य उपसमूह होते हैं जिसमें क्लेन चार-समूह के भागफल समूह समरूप होते हैं।
तुच्छ विस्तार
तुच्छ विस्तार एक समूह विस्तार है:
जो निम्न विस्तार के बराबर होता है:
जहां बाएँ और दाएँ तीर क्रमशः प्रत्येक फलन का समाविष्ट और प्रक्षेप फलन हैं।
विभाजन विस्तार का वर्गीकरण
विभाजन विस्तार एक समूह विस्तार है
एक समरूपता जैसे कि H से G तक s द्वारा जाना और फिर लघु अनुक्रम के भागफल मानचित्र द्वारा H पर वापस जाना H पर पहचान मानचित्र को प्रेरित करता है अर्थात इस स्थिति में सामान्यतः कहा जाता है कि यह उपरोक्त अनुक्रम को 'विभाजित' करता है। विभाजन विस्तार को वर्गीकृत करना बहुत आसान है, क्योंकि एक विस्तार को विभाजित किया जाता है यदि समूह G K और H का एक प्रत्यक्ष उत्पाद है। प्रत्यक्ष उत्पाद को वर्गीकृत करना आसान होता है, क्योंकि वे समरूपता के साथ के रूप मे होते हैं जहां "स्वसमाकृतिकता समूह" है। इसके के लिए प्रत्यक्ष उत्पाद देखें।
शब्दावली पर चेतावनी
गणित में सामान्य रूप से, संरचना K के विस्तार को सामान्यतः एक संरचना L के रूप में माना जाता है जिसमें से K एक उपसंरचना है। उदाहरण के लिए क्षेत्रीय विस्तार देखें। हालांकि, समूह सिद्धांत में आंशिक रूप से अंकन के कारण विपरीत शब्दावली आ गई है जो N द्वारा Q के विस्तार के रूप में समूह Q पर स्थित है। रोनाल्ड ब्राउन (गणितज्ञ) और टिमोथी पोर्टर का ओटोश्रेयर (गणितज्ञ) के गैर-एबेलियन विस्तार के सिद्धांत पर इस शब्दावली का उपयोग करता है जो कि K के लिए समूह विस्तार की एक विस्तृत संरचना प्रदान करता है।[3]
केंद्रीय विस्तार
समूह G का एक केंद्रीय विस्तार समूहों का एक संक्षिप्त सटीक अनुक्रम है
जैसे कि ए शामिल है , समूह ई के एक समूह का केंद्र। ए द्वारा जी के केंद्रीय विस्तार के समरूपता वर्गों का समूह समूह कोहोलॉजी समूह के साथ एक-से-एक पत्राचार में है .
किसी भी समूह G और किसी एबेलियन समूह A को लेकर और E को सेट करके केंद्रीय विस्तार के उदाहरण बनाए जा सकते हैं . इस प्रकार का विभाजन उदाहरण तत्व 0 से मेल खाता है उपरोक्त पत्राचार के तहत प्रक्षेपी अभ्यावेदन के सिद्धांत में अधिक गंभीर उदाहरण पाए जाते हैं, ऐसे मामलों में जहां प्रक्षेपी निरूपण को साधारण रेखीय निरूपण में नहीं उठाया जा सकता है।
परिमित पूर्ण समूहों के मामले में, एक सार्वभौमिक पूर्ण केंद्रीय विस्तार होता है।
इसी प्रकार, झूठ बीजगणित का केंद्रीय विस्तार सटीक क्रम है
ऐसा है कि के केन्द्र में है .
भागफल (सार्वभौमिक बीजगणित) में केंद्रीय विस्तार का एक सामान्य सिद्धांत है।[4]
सामान्य विस्तार के लिए सामान्यीकरण
होमोमोर्फिज्म के संदर्भ में ए द्वारा जी के सभी एक्सटेंशन का एक समान वर्गीकरण है , एक थकाऊ लेकिन स्पष्ट रूप से जांच योग्य अस्तित्व की स्थिति शामिल है और कोहोलॉजी समूह .[5]
झूठ समूह
लाइ समूह सिद्धांत में, केंद्रीय विस्तार बीजगणितीय टोपोलॉजी के संबंध में उत्पन्न होते हैं। मोटे तौर पर, असतत समूहों द्वारा लेटे समूहों के केंद्रीय विस्तार समूहों को कवर करने के समान हैं। अधिक सटीक रूप से, अंतरिक्ष को कवर करने वाला एक जुड़ा हुआ स्थान G∗ एक जुड़े हुए समूह का G स्वाभाविक रूप से का केंद्रीय विस्तार है 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; नोएदर के प्रमेय द्वारा, समरूपता समूहों के जनरेटर संरक्षित मात्राओं के अनुरूप होते हैं, जिन्हें चार्ज (भौतिकी) कहा जाता है।
कवरिंग समूहों के रूप में केंद्रीय एक्सटेंशन के मूल उदाहरण हैं:
- स्पिन समूह, जो विशेष ऑर्थोगोनल समूह को दोहराते हैं, जो (समान आयाम मेंप्रक्षेपी ओर्थोगोनल समूह समूह को दोगुना कवर करते हैं।
- मेटाप्लेक्टिक समूह, जो सहानुभूति समूहों को दोहराते हैं।
के मामले में 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.