शूर गुणक

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

उदाहरण और गुण

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

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

परिमित सरल समूहों के शूर गुणक परिमित सरल समूहों की सूची में दिए गए हैं। वैकल्पिक और सममित समूहों के आच्छादन समूह अधिक वर्तमान रुचि के हैं।

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

File:Projective-representation-lifting.svg

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

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

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

केंद्रीय विस्तार से संबंध

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

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

$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 के व्युत्पन्न उपसमूह के प्रतिच्छेदन का उपसमूह है; यह केंद्रीय की तुलना में अधिक प्रतिबंधात्मक है।

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

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

स्टेम विस्तार की अच्छी संपत्ति है कि G के जनरेटिंग समूह का कोई भी लिफ्ट C का जनरेटिंग समूह है। यदि समूह G जनरेटर के समूह पर मुक्त समूह F के संदर्भ में समूह की प्रस्तुति है, और सामान्य उपसमूह आर उत्पन्न होता है जनरेटर पर संबंधों के समूह द्वारा, जिससे $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]। इस सादगी के कारण, प्रदर्शनी जैसे (एशबैकर 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)$ के लिए हॉपफ सूत्र को उच्च आयामों के लिए सामान्यीकृत किया गया है। दृष्टिकोण और संदर्भ के लिए नीचे सूचीबद्ध एवरर्ट, ग्रैन और वैन डेर लिंडेन द्वारा पेपर देखें।

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

अनुप्रयोग

क्रमविनिमेय वलय R के दूसरे बीजगणितीय K-समूह K₂(R) को R में प्रविष्टियों के साथ (अनंत) प्रारंभिक आव्यूहों के समूह E(R) के दूसरे गृहविज्ञान समूह H₂(E(R), Z) के साथ पहचाना जा सकता है।

यह भी देखें

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

क्लेयर मिलर के संदर्भ शूर मल्टीप्लायर का और दृश्य देते हैं जो आकारिकी κ: 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