शूर गुणक

गणितीय समूह सिद्धांत में, शूर गुणक या शूर गुणक दूसरा समूह समरूपता है $H_{2}(G,\mathbb {Z} )$ एक समूह जी के द्वारा पेश किया गया था Issai Schur (1904) अनुमानित प्रतिनिधित्व पर अपने काम में।

उदाहरण और गुण

शूर गुणक $\operatorname {M} (G)$ एक परिमित समूह G का एक परिमित एबेलियन समूह है जिसका आवधिक समूह G के क्रम को विभाजित करता है। $\operatorname {M} (G)$ p से विभाज्य नहीं है। विशेष रूप से, यदि सभी साइलो उपसमूह | जी के साइलो पी-उपसमूह चक्रीय हैं, तो $\operatorname {M} (G)$ तुच्छ है।

उदाहरण के लिए, क्रम 6 के नॉनबेलियन समूह का शूर गुणक तुच्छ समूह है क्योंकि प्रत्येक सिलो उपसमूह चक्रीय है। क्रम 16 के प्राथमिक एबेलियन समूह का शूर गुणक क्रम 64 का एक प्राथमिक एबेलियन समूह है, जो दर्शाता है कि गुणक समूह से सख्ती से बड़ा हो सकता है। चतुष्कोणीय समूह का शूर गुणक तुच्छ है, लेकिन डायहेड्रल समूह के शूर गुणक | डायहेड्रल 2-समूहों का क्रम 2 है।

परिमित सरल समूहों के शूर गुणक परिमित सरल समूहों की सूची में दिए गए हैं। वैकल्पिक और सममित समूहों के कवरिंग समूह काफी हालिया रुचि के हैं।

प्रक्षेप्य अभ्यावेदन से संबंध

जी के एक अनुमानित प्रतिनिधित्व को जी के केंद्रीय विस्तार (गणित) सी के एक रैखिक प्रतिनिधित्व के लिए वापस खींचा जा सकता है।

गुणक का अध्ययन करने के लिए शूर की मूल प्रेरणा एक समूह के प्रक्षेपी अभ्यावेदन को वर्गीकृत करना था, और उनकी परिभाषा का आधुनिक सूत्रीकरण दूसरा समूह कोहोलॉजी है $H^{2}(G,\mathbb {C} ^{\times })$. एक अनुमानित प्रतिनिधित्व एक समूह प्रतिनिधित्व की तरह है, सिवाय इसके कि सामान्य रैखिक समूह में समरूपता के बजाय $\operatorname {GL} (n,\mathbb {C} )$, एक समरूपता को प्रक्षेपी सामान्य रैखिक समूह में ले जाता है $\operatorname {PGL} (n,\mathbb {C} )$. दूसरे शब्दों में, एक अनुमानित प्रतिनिधित्व एक समूह का केंद्र एक प्रतिनिधित्व मॉड्यूल है।

Schur (1904, 1907) ने दिखाया कि प्रत्येक परिमित समूह जी ने कम से कम एक परिमित समूह सी को जोड़ा है, जिसे 'शूर कवर' कहा जाता है, इस गुण के साथ कि जी के प्रत्येक प्रक्षेप्य प्रतिनिधित्व को सी के सामान्य प्रतिनिधित्व के लिए उठाया जा सकता है। शूर कवर को भी जाना जाता है एक 'कवरिंग ग्रुप' या 'डार्स्टेलुंग्सग्रुप' के रूप में। परिमित सरल समूहों की सूची के शूर कवर ज्ञात हैं, और प्रत्येक अर्ध-सरल समूह का एक उदाहरण है। एक आदर्श समूह का शूर कवर विशिष्ट रूप से आइसोमोर्फिज़्म तक निर्धारित होता है, लेकिन एक सामान्य परिमित समूह का शूर कवर केवल isoclinism तक ही निर्धारित होता है।

केंद्रीय एक्सटेंशन से संबंध

ऐसे कवरिंग समूहों के अध्ययन ने स्वाभाविक रूप से केंद्रीय विस्तार (गणित) और स्टेम एक्सटेंशन के अध्ययन का नेतृत्व किया।

समूह 'जी' का एक केंद्रीय विस्तार (गणित) एक विस्तार है

$1\to K\to C\to G\to 1$

कहाँ $K\leq Z(C)$ C के केंद्र (समूह सिद्धांत) का एक उपसमूह है।

समूह G का एक 'तना विस्तार' एक विस्तार है

$1\to K\to C\to G\to 1$

कहाँ $K\leq Z(C)\cap C'$ C के केंद्र और C के व्युत्पन्न उपसमूह के प्रतिच्छेदन का एक उपसमूह है; यह केंद्रीय की तुलना में अधिक प्रतिबंधात्मक है। यदि समूह जी सीमित है और कोई केवल स्टेम एक्सटेंशन पर विचार करता है, तो ऐसे समूह सी के लिए सबसे बड़ा आकार होता है, और उस आकार के प्रत्येक सी के लिए उपसमूह के जी के शूर गुणक के लिए आइसोमोर्फिक होता है। यदि परिमित समूह जी है इसके अलावा पूर्ण समूह, तो सी समरूपता तक अद्वितीय है और स्वयं ही परिपूर्ण है। ऐसे C को अक्सर G का 'यूनिवर्सल परफेक्ट सेंट्रल एक्सटेंशन' या 'कवरिंग ग्रुप' कहा जाता है (क्योंकि यह टोपोलॉजी में यूनिवर्सल कवरिंग स्पेस का असतत एनालॉग है)। यदि परिमित समूह G पूर्ण नहीं है, तो इसके शूर कवरिंग समूह (अधिकतम क्रम के ऐसे सभी C) केवल आइसोक्लिनिक हैं।

इसे अधिक संक्षेप में 'सार्वभौमिक केंद्रीय विस्तार' भी कहा जाता है, लेकिन ध्यान दें कि कोई सबसे बड़ा केंद्रीय विस्तार नहीं है, क्योंकि G के समूहों का प्रत्यक्ष उत्पाद और एक एबेलियन समूह मनमाने आकार के G का एक केंद्रीय विस्तार बनाता है।

स्टेम एक्सटेंशन की अच्छी संपत्ति है कि जी के एक जनरेटिंग सेट का कोई भी लिफ्ट सी का एक जनरेटिंग सेट है। यदि समूह जी जनरेटर के एक सेट पर एक मुक्त समूह एफ के संदर्भ में एक समूह की प्रस्तुति है, और एक सामान्य उपसमूह आर उत्पन्न होता है जनरेटर पर संबंधों के एक सेट द्वारा, ताकि $G\cong F/R$, तो कवरिंग ग्रुप को F के संदर्भ में प्रस्तुत किया जा सकता है लेकिन एक छोटे सामान्य उपसमूह S के साथ, यानी $C\cong F/S$. चूँकि G के संबंध C के भाग के रूप में माने जाने पर K के तत्वों को निर्दिष्ट करते हैं, किसी के पास होना चाहिए $S\leq [F,R]$.

वास्तव में यदि G पूर्ण है, तो बस इतना ही आवश्यक है: C ≅ [F,F]/[F,R] और M(G) ≅ K ≅ R/[F,R]। इस सादगी के कारण, प्रदर्शनी जैसे (Aschbacher 2000, §33) पहले सही केस को हैंडल करें। शूर गुणक के लिए सामान्य मामला समान है लेकिन यह सुनिश्चित करता है कि विस्तार F: M(G) ≅ (R ∩ [F, F])/[F, R] के व्युत्पन्न उपसमूह तक सीमित करके एक स्टेम विस्तार है। ये सभी शूर के थोड़े बाद के परिणाम हैं, जिन्होंने उन्हें अधिक स्पष्ट रूप से गणना करने के लिए कई उपयोगी मानदंड भी दिए।

कुशल प्रस्तुतियों से संबंध

संयोजी समूह सिद्धांत में, एक समूह अक्सर एक समूह की प्रस्तुति से उत्पन्न होता है। गणित के इस क्षेत्र में एक महत्वपूर्ण विषय यथासंभव कम से कम संबंधों के साथ प्रस्तुतियों का अध्ययन करना है, जैसे बॉम्सलैग-सोलिटर समूह जैसे एक संबंधक समूह। ये समूह दो जनरेटर और एक संबंध के साथ अनंत समूह हैं, और श्रेयर के एक पुराने परिणाम से पता चलता है कि संबंधों की तुलना में अधिक जनरेटर के साथ किसी भी प्रस्तुति में परिणामी समूह अनंत है। सीमा रेखा का मामला इस प्रकार काफी दिलचस्प है: समान संख्या वाले जनरेटर के साथ परिमित समूहों को कहा जाता है कि संबंधों में कमी (समूह सिद्धांत) शून्य है। एक समूह में कमी शून्य होने के लिए, समूह के पास एक तुच्छ शूर गुणक होना चाहिए क्योंकि शूर गुणक के जनरेटर की न्यूनतम संख्या हमेशा संबंधों की संख्या और जनरेटर की संख्या के बीच के अंतर से कम या बराबर होती है, जो नकारात्मक है कमी। एक कुशल समूह वह है जहां शूर गुणक को जनरेटर की संख्या की आवश्यकता होती है। अनुसंधान का एक हालिया विषय तुच्छ शूर मल्टीप्लायरों के साथ सभी परिमित सरल समूहों के लिए कुशल प्रस्तुतियों को खोजना है। इस तरह की प्रस्तुतियाँ कुछ अर्थों में अच्छी होती हैं क्योंकि वे आम तौर पर कम होती हैं, लेकिन उन्हें खोजना और उनके साथ काम करना मुश्किल होता है क्योंकि वे टोड-कॉक्सेटर एल्गोरिथम जैसे मानक तरीकों के अनुकूल नहीं हैं।

टोपोलॉजी से संबंध

टोपोलॉजी में, समूहों को अक्सर समूह समूहों की बारीक प्रस्तुति के रूप में वर्णित किया जा सकता है और एक मौलिक प्रश्न उनके अभिन्न समरूपता की गणना करना है $H_{n}(G,\mathbb {Z} )$. विशेष रूप से, दूसरी समरूपता एक विशेष भूमिका निभाती है और इसने हेंज हॉफ को इसकी गणना के लिए एक प्रभावी तरीका खोजने के लिए प्रेरित किया। में विधि (Hopf 1942) को हॉफ के इंटीग्रल होमोलॉजी फॉर्मूला के रूप में भी जाना जाता है और एक परिमित समूह के शूर गुणक के लिए शूर के सूत्र के समान है:

$H_{2}(G,\mathbb {Z} )\cong (R\cap [F,F])/[F,R]$

कहाँ $G\cong F/R$ और F एक मुक्त समूह है। यही सूत्र तब भी लागू होता है जब G एक पूर्ण समूह है। मान्यता है कि ये सूत्र समान थे, समूहों के कोहोलॉजी के निर्माण के लिए सैमुअल एलेनबर्ग और सॉन्डर्स मैक लेन का नेतृत्व किया। सामान्य रूप में,

$H_{2}(G,\mathbb {Z} )\cong {\bigl (}H^{2}(G,\mathbb {C} ^{\times }){\bigr )}^{*}$ जहां तारा बीजगणितीय दोहरे समूह को दर्शाता है। इसके अलावा, जब G परिमित होता है, तो एक प्राकृतिक परिवर्तन समरूपता होती है

${\bigl (}H^{2}(G,\mathbb {C} ^{\times }){\bigr )}^{*}\cong H^{2}(G,\mathbb {C} ^{\times }).$

के लिए हॉफ फॉर्मूला $H_{2}(G)$ उच्च आयामों के लिए सामान्यीकृत किया गया है। एक दृष्टिकोण और संदर्भ के लिए नीचे सूचीबद्ध एवरर्ट, ग्रैन और वैन डेर लिंडेन द्वारा पेपर देखें।

एक आदर्श समूह वह है जिसका पहला अभिन्न समरूपता लुप्त हो जाता है। एक अति उत्तम समूह वह होता है जिसके पहले दो इंटीग्रल होमोलॉजी ग्रुप गायब हो जाते हैं। परिमित पूर्ण समूहों के शूर कवर सुपरपरफेक्ट हैं। एसाइक्लिक समूह एक ऐसा समूह है जिसके सभी घटे हुए इंटीग्रल होमोलॉजी गायब हो जाते हैं।

अनुप्रयोग

बीजीय K-सिद्धांत#K2|दूसरा बीजगणितीय K-समूह K₂(आर) एक कम्यूटेटिव रिंग आर की पहचान दूसरे होमोलॉजी ग्रुप एच के साथ की जा सकती है₂(ई (आर), 'जेड') आर में प्रविष्टियों के साथ (अनंत) प्राथमिक मैट्रिक्स के समूह ई (आर) का।

यह भी देखें

• अर्धसरल समूह

क्लेयर मिलर के संदर्भ शूर मल्टीप्लायर का एक और दृश्य देते हैं जो एक आकारिकी κ: G ∧ G → G के कर्नेल के रूप में कम्यूटेटर मानचित्र से प्रेरित है।

संदर्भ

• Aschbacher, Michael (2000), Finite group theory, Cambridge Studies in Advanced Mathematics, vol. 10 (2nd ed.), Cambridge University Press, ISBN 978-0-521-78145-9, MR 1777008, Zbl 0997.20001
• Hopf, Heinz (1942), "Fundamentalgruppe und zweite Bettische Gruppe", Commentarii Mathematici Helvetici, 14: 257–309, doi:10.1007/BF02565622, ISSN 0010-2571, MR 0006510, Zbl 0027.09503
• Johnson, David Lawrence; Robertson, Edmund Frederick (1979), "Finite groups of deficiency zero", in Wall, C.T.C. (ed.), Homological Group Theory, London Mathematical Society Lecture Note Series, vol. 36, Cambridge University Press, ISBN 978-0-521-22729-2, Zbl 0423.20029
• Kuzmin, Leonid Viktorovich (2001) [1994], "Schur multiplicator", Encyclopedia of Mathematics, EMS Press
• Rosenberg, Jonathan (1994), Algebraic K-theory and its applications, Graduate Texts in Mathematics, vol. 147, Springer-Verlag, ISBN 978-0-387-94248-3, MR 1282290, Zbl 0801.19001 Errata
• Rotman, Joseph J. (1994), An introduction to the theory of groups, Springer-Verlag, ISBN 978-0-387-94285-8
• Schur, Issai (1904), "Über die Darstellung der endlichen Gruppen durch gebrochene lineare Substitutionen.", Journal für die reine und angewandte Mathematik (in German), 127: 20–50, ISSN 0075-4102, JFM 35.0155.01{{citation}}: CS1 maint: unrecognized language (link)
• Schur, Issai (1907), "Untersuchungen über die Darstellung der endlichen Gruppen durch gebrochene lineare Substitutionen.", Journal für die reine und angewandte Mathematik (in German), 1907 (132): 85–137, doi:10.1515/crll.1907.132.85, ISSN 0075-4102, JFM 38.0174.02{{citation}}: CS1 maint: unrecognized language (link)
• Van der Kallen, Wilberd (1984), "Review: F. Rudolf Beyl and Jürgen Tappe, Group extensions, representations, and the Schur multiplicator", Bulletin of the American Mathematical Society, 10 (2): 330–3, doi:10.1090/s0273-0979-1984-15273-x
• Wiegold, James (1982), "The Schur multiplier: an elementary approach", Groups–St. Andrews 1981 (St. Andrews, 1981), London Math. Soc. Lecture Note Ser., vol. 71, Cambridge University Press, pp. 137–154, MR 0679156, Zbl 0502.20003
• Miller, Clair (1952), "The second homology of a group", Proceedings of the American Mathematical Society, 3 (4): 588–595, doi:10.1090/s0002-9939-1952-0049191-5, Zbl 0047.25703
• Dennis, R.K. (1976), In search of new "Homology" functors having a close relationship to K-theory, Cornell University
• Brown, R.; Johnson, D.L.; Robertson, E.F. (1987), "Some computations of non-abelian tensor products of groups", Journal of Algebra, 111: 177–202, doi:10.1016/0021-8693(87)90248-1, Zbl 0626.20038
• Ellis, G.J.; Leonard, F. (1995), "Computing Schur multipliers and tensor products of finite groups", Proceedings of the Royal Irish Academy, 95A (2): 137–147, ISSN 0035-8975, JSTOR 20490165, Zbl 0863.20010
• Ellis, Graham J. (1998), "The Schur multiplier of a pair of groups", Applied Categorical Structures, 6 (3): 355–371, doi:10.1023/A:1008652316165, Zbl 0948.20026
• Eick, Bettina; Nickel, Werner (2008), "Computing the Schur multiplicator and the nonabelian tensor square of a polycyclic group", Journal of Algebra, 320 (2): 927–944, doi:10.1016/j.jalgebra.2008.02.041, Zbl 1163.20022
• Everaert, Tomas; Gran, Marino; Van der Linden, Tim (2008), "Higher Hopf formulae for homology via Galois theory", Advances in Mathematics, 217 (5): 2231–67, arXiv:math/0701815, doi:10.1016/j.aim.2007.11.001, Zbl 1140.18012