मॉन्स्टर समूह: Difference between revisions
No edit summary |
No edit summary |
||
Line 28: | Line 28: | ||
=== कंप्यूटर निर्माण === | === कंप्यूटर निर्माण === | ||
मार्टिन सेसेन ने [https://mmgroup.readthedocs.io/ mmgroup] नामक एक तेज़ [[पायथन (प्रोग्रामिंग भाषा)]] पैकेज | मार्टिन सेसेन ने [https://mmgroup.readthedocs.io/ mmgroup] नामक एक तेज़ [[पायथन (प्रोग्रामिंग भाषा)]] पैकेज प्रयुक्त किया है, जो मॉन्स्टर समूह का पहला कार्यान्वयन होने का दावा करता है जहां स्वैच्छिक रूप से संचालन प्रभावी विधि से किया जा सकता है। दस्तावेज़ में कहा गया है कि समूह तत्वों के गुणन में एक सामान्य आधुनिक पीसी पर 40 मिलीसेकंड से भी कम समय लगता है, जो कि 2013 में रॉबर्ट अर्नोट विल्सन के अनुमान से पांच ऑर्डर तेज है।<ref>{{cite web |url=https://mmgroup.readthedocs.io/en/latest/api.html |title=एमएमग्रुप एपीआई संदर्भ|last=Seysen |first=Martin |access-date=31 July 2022}}</ref><ref>{{cite arXiv |last=Seysen |first=Martin |author-link= |eprint=2203.04223 |title=मॉन्स्टर समूह का तेजी से कार्यान्वयन|class=math.GR |date=8 Mar 2022}}</ref><ref>{{cite arXiv |last=Seysen |first=Martin |author-link= |eprint=2002.10921 |title=राक्षस का एक कंप्यूटर-अनुकूल निर्माण|class=math.GR |date=13 May 2020}}</ref><ref>{{cite arXiv |last=Wilson |first=Robert A. |author-link=Robert A. Wilson (mathematician)|eprint=1310.5016 |title=द मॉन्स्टर और ब्लैक-बॉक्स समूह|class=math.GR |date=18 Oct 2013}}</ref> एमएमग्रुप सॉफ्टवेयर पैकेज का उपयोग मॉन्स्टर समूह के दो नए अधिकतम उपसमूहों को खोजने के लिए किया गया है।{{sfn|Dietrich|Lee|Popiel|2023|}} | ||
इससे पहले, रॉबर्ट ए. विल्सन ने स्पष्ट रूप से (कंप्यूटर की सहायता से) दो उलटे 196,882 गुणा 196,882 मैट्रिक्स (जीएफ (2) में तत्वों के साथ) पाए थे, जो मैट्रिक्स गुणन द्वारा एक समूह के मॉन्स्टर समूह का निर्माण कर रहे थे; यह विशेषता 0 में 196,883-आयामी प्रतिनिधित्व से एक आयाम कम है। इन मैट्रिक्स के साथ गणना करना संभव था लेकिन उपयोगी होने के लिए समय और भंडारण स्थान के | इससे पहले, रॉबर्ट ए. विल्सन ने स्पष्ट रूप से (कंप्यूटर की सहायता से) दो उलटे 196,882 गुणा 196,882 मैट्रिक्स (जीएफ (2) में तत्वों के साथ) पाए थे, जो मैट्रिक्स गुणन द्वारा एक समूह के मॉन्स्टर समूह का निर्माण कर रहे थे; यह विशेषता 0 में 196,883-आयामी प्रतिनिधित्व से एक आयाम कम है। इन मैट्रिक्स के साथ गणना करना संभव था लेकिन उपयोगी होने के लिए समय और भंडारण स्थान के स्थिति में यह बहुत महंगा है, क्योंकि ऐसा प्रत्येक मैट्रिक्स साढ़े चार गीगाबाइट से अधिक स्थान घेरता है।{{sfn|Borcherds|2002|p=1076}} | ||
विल्सन का दावा है कि मॉन्स्टर का सबसे अच्छा वर्णन यह है कि, यह मॉन्स्टर शीर्ष बीजगणित का ऑटोमोर्फिज्म समूह है। चूँकि, यह बहुत | विल्सन का दावा है कि मॉन्स्टर का सबसे अच्छा वर्णन यह है कि, यह मॉन्स्टर शीर्ष बीजगणित का ऑटोमोर्फिज्म समूह है। चूँकि, यह बहुत सहायक नहीं है, क्योंकि किसी को भी [[मॉन्स्टर वर्टेक्स बीजगणित]] का वास्तविक में सरल और प्राकृतिक निर्माण नहीं मिला है।{{sfn|Borcherds|2002|p=1077}} | ||
विल्सन ने सहयोगियों के साथ मॉन्स्टर के साथ गणना करने की एक विधि ढूंढी जो काफी तेज़ थी, | विल्सन ने सहयोगियों के साथ मॉन्स्टर के साथ गणना करने की एक विधि ढूंढी जो काफी तेज़ थी, चूंकि अब सेसेन के उपर्युक्त कार्य ने इसका स्थान ले लिया है। मान लीजिए V 2 तत्वों के साथ क्षेत्र पर 196,882 आयामी वेक्टर स्थान है। मॉन्स्टर का एक बड़ा उपसमूह H (अधिमानतः एक अधिकतम उपसमूह) चुना जाता है जिसमें गणना करना आसान होता है। चुना गया उपसमूह H 3<sup>1+12</sup>.2.Suz.2, जहां Suz [[सुजुकी समूह (गणित)]] है। मॉन्स्टर के तत्वों को H और एक अतिरिक्त जनरेटर T के तत्वों में शब्दों के रूप में संग्रहीत किया जाता है। ''V'' में एक वेक्टर पर इन शब्दों में से एक की कार्रवाई की गणना करना उचित रूप से त्वरित है। इस क्रिया का उपयोग करके, गणना ( जैसे कि मॉन्स्टर के एक तत्व का क्रम के रूप में) करना संभव है। विल्सन ने वैक्टर ''u'' और ''v'' प्रदर्शित किए हैं जिनका संयुक्त स्टेबलाइजर नगण्य समूह है। इस प्रकार (उदाहरण के लिए) कोई सबसे छोटा ''i > 0'' ज्ञात करके मॉन्स्टर के तत्व g के क्रम की गणना कर सकता है जैसे कि ''g<sup>i</sup>u'' = ''u'' और ''g<sup>i</sup>v'' = ''v.'' यह और इसी प्रकार के निर्माण (विभिन्न विशेषताओं (बीजगणित) में) का उपयोग मॉन्स्टर समूह के कुछ गैर-स्थानीय अधिकतम उपसमूहों को खोजने के लिए किया गया था। | ||
== चांदनी == | == चांदनी == |
Revision as of 07:28, 1 December 2023
बीजगणितीय संरचना → 'समूह सिद्धांत' समूह सिद्धांत |
---|
अमूर्त बीजगणित के क्षेत्र में जिसे समूह सिद्धांत के रूप में जाना जाता है, मॉन्स्टर समूह M (जिसे फिशर-ग्रीज़ मॉन्स्टर या फ्रेंडली जायंट के रूप में भी जाना जाता है) ऑर्डर (समूह सिद्धांत) वाला सबसे बड़ा विकीर्ण सरल समूह है।
246 · 320 · 59 · 76 · 112 · 133 · 17 · 19 · 23 · 29 · 31 · 41 · 47 · 59 · 71
= 808,017,424,794,512,875,886,459,904,961,710,757,005,754,368,000,000,000
≈ 8×1053.
परिमित सरल समूहों को पूर्णतः वर्गीकृत किया गया है। ऐसा प्रत्येक समूह 18 असंख्य अनंत परिवारों में से एक से संबंधित है या 26 विकीर्ण समूहों में से एक है जो इस प्रकार के व्यवस्थित प्रारूप का पालन नहीं करते हैं। मॉन्स्टर समूह में उप-भाग के रूप में 20 विकीर्ण समूह (स्वयं सहित) सम्मिलित हैं। 1982 में मॉन्स्टर के अस्तित्व को सिद्ध करने वाले रॉबर्ट ग्रिएस ने उन 20 समूहों को सुखी परिवार और शेष छह अपवादों को पारिया समूह कहा है।
इसकी जटिलता के कारण मॉन्स्टर की एक अच्छी रचनात्मक परिभाषा देना कठिन है। मार्टिन गार्डनर ने जून 1980 में साइंटिफिक अमेरिकन में अपने गणितीय खेल कॉलम में मॉन्स्टर समूह का एक लोकप्रिय विवरण लिखा था।[1]
इतिहास
मॉन्स्टर की भविष्यवाणी बर्नड फिशर (गणितज्ञ) (अप्रकाशित, लगभग 1973) और रॉबर्ट ग्रिएस[2] ने एक साधारण समूह के रूप में की थी जिसमें फिशर के बेबी मॉन्स्टर समूह का एक डबल कवरिंग समूह सम्मिलित है जो एक इनवोल्यूशन (समूह सिद्धांत) के सेंट्रलाइज़र और सामान्याइज़र के रूप में था। कुछ माह के अन्दर, थॉम्पसन ऑर्डर फॉर्मूला का उपयोग करके ग्रिज़ द्वारा M का ऑर्डर पाया गया, और फिशर, जॉन हॉर्टन कॉनवे, नॉर्टन और थॉम्पसन ने अन्य समूहों को उप-समूह के रूप में खोजा, जिनमें कई ज्ञात विकीर्ण समूह और दो नए समूह सम्मिलित थे: थॉम्पसन समूह (परिमित) और हरदा-नॉर्टन समूह। मॉन्स्टर के करैक्टर सिद्धांत, एक 194-बाई-194 सरणी, की गणना 1979 में फिशर और डोनाल्ड लिविंगस्टोन द्वारा माइकल थॉर्न द्वारा लिखित कंप्यूटर प्रोग्राम का उपयोग करके की गई थी। 1970 के दशक में यह स्पष्ट नहीं था कि मॉन्स्टर वास्तव में अस्तित्व में था या नहीं। ग्रिएस[3] ने एम को ग्रिज़ बीजगणित के ऑटोमोर्फिज्म समूह के रूप में निर्मित किया, जो वास्तविक संख्याओं पर एक 196,884-आयामी क्रमविनिमेय गैर-सहयोगी बीजगणित है; उन्होंने पहली बार 14 जनवरी, 1980 को एन आर्बर में अपने निर्माण की घोषणा की। अपने 1982 के पेपर में, उन्होंने मॉन्स्टर को फ्रेंडली जाइंट के रूप में संदर्भित किया, लेकिन इस नाम को सामान्यतः अपनाया नहीं गया है। जॉन कॉनवे[4] और जैक्स टिट्स[5][6] ने बाद में इस निर्माण को सरल बनाया था।
ग्रिएस के निर्माण से पता चला कि मॉन्स्टर उपस्थित है। जॉन जी. थॉम्पसन[7] ने दिखाया कि इसकी विशिष्टता (परिमित सरल समूहों के वर्गीकरण से आने वाली कुछ शर्तों को पूरा करने वाले एक साधारण समूह के रूप में) 196,883-आयामी फेथफुल प्रतिनिधित्व के अस्तित्व से उत्पन्न होगी। इस तरह के प्रतिनिधित्व के अस्तित्व का प्रमाण साइमन पी. नॉर्टन द्वारा घोषित किया गया था,[8] चूँकि उन्होंने कभी भी विवरण प्रकाशित नहीं किया। ग्रिज़, मेयरफ्रैंकनफेल्ड और सेगेव ने मॉन्स्टर (अधिक सटीक रूप से, उन्होंने दिखाया कि मॉन्स्टर के समान आक्रमणों के केंद्रीकरण वाला एक समूह मॉन्स्टर के लिए आइसोमोर्फिक है) की विशिष्टता का पहला पूर्ण प्रकाशित प्रमाण दिया था।[9]
मॉन्स्टर विकीर्ण सरल समूहों के विकास की परिणति था और इसे फिशर समूह Fi24, बेबी मॉन्स्टर, और कॉनवे समूह Co1 में से किन्हीं दो तीन उप-समूहों से बनाया जा सकता है।
शूर गुणक और मॉन्स्टर का बाहरी ऑटोमोर्फिज्म समूह दोनों नगण्य समूह हैं।
रिप्रेजेंटेशन
फेथफुल रिप्रजेंटेशन कॉम्प्लेक्स रिप्रेजेंटेशन की न्यूनतम डिग्री 47 × 59 × 71 = 196,883 है, इसलिए यह M के क्रम के तीन सबसे बड़े अभाज्य विभाजकों का उत्पाद है। किसी भी क्षेत्र पर सबसे छोटे फेथफुल रैखिक प्रतिनिधित्व का आयाम दो तत्वों वाले क्षेत्र पर 196,882 है, जो सबसे छोटे फेथफुल जटिल प्रतिनिधित्व के आयाम से केवल एक कम है।
मॉन्स्टर का सबसे छोटा फेथफुल क्रमपरिवर्तन प्रतिनिधित्व 24·37·53·74 · 11 · 132 · 29 · 41 · 59 · 71 (लगभग 1020) अंक पर है।
मॉन्स्टर को तर्कसंगत संख्याओं पर गैलोज़ समूह[10] और हर्विट्ज़ समूह के रूप में सिद्ध किया जा सकता है।।[11]
मॉन्स्टर सरल समूहों के बीच असामान्य है क्योंकि इसके तत्वों का प्रतिनिधित्व करने का कोई आसान विधि नहीं है। यह इसके आकार के कारण इतना अधिक नहीं है जितना कि छोटे प्रतिनिधित्वों की अनुपस्थिति के कारण है। उदाहरण के लिए, सरल समूह A100 और SL20(2) बहुत बड़े हैं लेकिन गणना करना आसान है क्योंकि उनमें छोटे क्रमपरिवर्तन या रैखिक प्रतिनिधित्व हैं। वैकल्पिक समूह, जैसे A100, क्रमपरिवर्तन निरूपण हैं जो समूह के आकार की तुलना में छोटे हैं, और लाई प्रकार के समूह के सभी सीमित सरल समूह, जैसे SL20(2), रैखिक निरूपण हैं जो समूह के आकार की तुलना में छोटे हैं। मॉन्स्टर के अतिरिक्त सभी विकीर्ण समूहों में रैखिक प्रतिनिधित्व भी इतना छोटा होता है कि कंप्यूटर (मॉन्स्टर के बाद अगला सबसे कठिन मामला बेबी मॉन्स्टर है, जिसका आयाम 4370 है) पर उनके साथ काम करना आसान होता है।
कंप्यूटर निर्माण
मार्टिन सेसेन ने mmgroup नामक एक तेज़ पायथन (प्रोग्रामिंग भाषा) पैकेज प्रयुक्त किया है, जो मॉन्स्टर समूह का पहला कार्यान्वयन होने का दावा करता है जहां स्वैच्छिक रूप से संचालन प्रभावी विधि से किया जा सकता है। दस्तावेज़ में कहा गया है कि समूह तत्वों के गुणन में एक सामान्य आधुनिक पीसी पर 40 मिलीसेकंड से भी कम समय लगता है, जो कि 2013 में रॉबर्ट अर्नोट विल्सन के अनुमान से पांच ऑर्डर तेज है।[12][13][14][15] एमएमग्रुप सॉफ्टवेयर पैकेज का उपयोग मॉन्स्टर समूह के दो नए अधिकतम उपसमूहों को खोजने के लिए किया गया है।[16]
इससे पहले, रॉबर्ट ए. विल्सन ने स्पष्ट रूप से (कंप्यूटर की सहायता से) दो उलटे 196,882 गुणा 196,882 मैट्रिक्स (जीएफ (2) में तत्वों के साथ) पाए थे, जो मैट्रिक्स गुणन द्वारा एक समूह के मॉन्स्टर समूह का निर्माण कर रहे थे; यह विशेषता 0 में 196,883-आयामी प्रतिनिधित्व से एक आयाम कम है। इन मैट्रिक्स के साथ गणना करना संभव था लेकिन उपयोगी होने के लिए समय और भंडारण स्थान के स्थिति में यह बहुत महंगा है, क्योंकि ऐसा प्रत्येक मैट्रिक्स साढ़े चार गीगाबाइट से अधिक स्थान घेरता है।[17]
विल्सन का दावा है कि मॉन्स्टर का सबसे अच्छा वर्णन यह है कि, यह मॉन्स्टर शीर्ष बीजगणित का ऑटोमोर्फिज्म समूह है। चूँकि, यह बहुत सहायक नहीं है, क्योंकि किसी को भी मॉन्स्टर वर्टेक्स बीजगणित का वास्तविक में सरल और प्राकृतिक निर्माण नहीं मिला है।[18]
विल्सन ने सहयोगियों के साथ मॉन्स्टर के साथ गणना करने की एक विधि ढूंढी जो काफी तेज़ थी, चूंकि अब सेसेन के उपर्युक्त कार्य ने इसका स्थान ले लिया है। मान लीजिए V 2 तत्वों के साथ क्षेत्र पर 196,882 आयामी वेक्टर स्थान है। मॉन्स्टर का एक बड़ा उपसमूह H (अधिमानतः एक अधिकतम उपसमूह) चुना जाता है जिसमें गणना करना आसान होता है। चुना गया उपसमूह H 31+12.2.Suz.2, जहां Suz सुजुकी समूह (गणित) है। मॉन्स्टर के तत्वों को H और एक अतिरिक्त जनरेटर T के तत्वों में शब्दों के रूप में संग्रहीत किया जाता है। V में एक वेक्टर पर इन शब्दों में से एक की कार्रवाई की गणना करना उचित रूप से त्वरित है। इस क्रिया का उपयोग करके, गणना ( जैसे कि मॉन्स्टर के एक तत्व का क्रम के रूप में) करना संभव है। विल्सन ने वैक्टर u और v प्रदर्शित किए हैं जिनका संयुक्त स्टेबलाइजर नगण्य समूह है। इस प्रकार (उदाहरण के लिए) कोई सबसे छोटा i > 0 ज्ञात करके मॉन्स्टर के तत्व g के क्रम की गणना कर सकता है जैसे कि giu = u और giv = v. यह और इसी प्रकार के निर्माण (विभिन्न विशेषताओं (बीजगणित) में) का उपयोग मॉन्स्टर समूह के कुछ गैर-स्थानीय अधिकतम उपसमूहों को खोजने के लिए किया गया था।
चांदनी
कॉनवे और नॉर्टन के मॉन्स्टरी चंद्रमा अनुमान में मॉन्स्टर समूह दो प्रमुख घटकों में से एक है,[19] जो असतत और गैर-असतत गणित से संबंधित है और अंततः 1992 में रिचर्ड इवेन बोरचर्ड्स द्वारा सिद्ध किया गया था।
इस सेटिंग में, मॉन्स्टर समूह मॉन्स्टर मॉड्यूल के ऑटोमोर्फिज्म समूह, एक वर्टेक्स ऑपरेटर बीजगणित, ग्रिज़ बीजगणित युक्त एक अनंत आयामी बीजगणित के रूप में दिखाई देता है, और मॉन्स्टर लाई बीजगणित, एक सामान्यीकृत केएसी-मूडी बीजगणित पर कार्य करता है।
कॉनवे सहित कई गणितज्ञों ने मॉन्स्टर को एक सुंदर और अभी भी रहस्यमय वस्तु के रूप में देखा है।{{sfn|Roberts|2013}कॉनवे ने मॉन्स्टर समूह के बारे में कहा: इसका कोई स्पष्टीकरण कभी नहीं दिया गया है कि यह वहां क्यों है, और यह स्पष्ट रूप से सिर्फ संयोग से वहां नहीं है। इसमें इतने दिलचस्प गुण हैं कि यह सब महज एक दुर्घटना बनकर रह जाएगा।[20] मॉन्स्टर समूह के गुणों के विशेषज्ञ साइमन पी. नॉर्टन को यह कहते हुए उद्धृत किया गया है, मैं एक वाक्य में समझा सकता हूं कि मॉन्स्टरी मूनशाइन क्या है, यह भगवान की आवाज है।[21]
मैके का ई8 अवलोकन
मॉन्स्टर और विस्तारित डायनकिन आरेखों के बीच भी संबंध हैं विशेष रूप से आरेख के नोड्स और मॉन्स्टर में कुछ संयुग्मी वर्गों के बीच, जिसे मैके के ई के रूप में जाना जाता है8 अवलोकन।[22][23][24] इसके बाद इसे विस्तारित आरेखों के बीच एक संबंध तक बढ़ाया जाता है और समूह 3.Fi24', 2.बी, और एम, जहां ये फिशर समूह, बेबी मॉन्स्टर समूह और मॉन्स्टर के (3/2/1-गुना केंद्रीय विस्तार) हैं। ये मॉन्स्टर में प्रकार 1ए, 2ए और 3ए के तत्वों के केंद्रीकरणकर्ताओं से जुड़े विकीर्ण समूह हैं, और विस्तार का क्रम आरेख की समरूपता से मेल खाता है। एडीई वर्गीकरण देखें#ट्रिनिटीज|एडीई वर्गीकरण: आगे के कनेक्शन के लिए ट्रिनिटी (मैकके पत्राचार प्रकार के), जिसमें (मॉन्स्टर के लिए) बल्कि छोटे सरल समूह प्रक्षेप्य विशेष रैखिक समूह (2,11) और एक कैनोनिक के 120 ट्रिटेंजेंट विमानों के साथ सम्मिलित हैं जीनस 4 के सेक्सटिक वक्र को ब्रिंग्स कर्व के नाम से जाना जाता है।
अधिकतम उपसमूह
मॉन्स्टर के पास अधिकतम उपसमूहों के कम से कम 46 संयुग्मी वर्ग हैं। लगभग 60 समरूपता प्रकारों के गैर-एबेलियन सरल समूह उपसमूहों के रूप में या उपसमूहों के भागफल के रूप में पाए जाते हैं। प्रतिनिधित्व करने वाला सबसे बड़ा वैकल्पिक समूह A है12.
मॉन्स्टर में 26 विकीर्ण समूहों में से 20 को उप-भाग के रूप में सम्मिलित किया गया है। मार्क रोनन की पुस्तक सिमेट्री एंड द मॉन्स्टर में से एक पर आधारित यह आरेख दिखाता है कि वे एक साथ कैसे फिट होते हैं।[25] पंक्तियाँ ऊपरी समूह द्वारा निचले समूह को उपभाग के रूप में सम्मिलित करने का संकेत देती हैं। गोलाकार चिह्न उन समूहों को दर्शाते हैं जो बड़े विकीर्ण समूहों में सम्मिलित नहीं हैं। स्पष्टता के लिए अनावश्यक समावेशन नहीं दिखाए गए हैं।
मॉन्स्टर के अधिकतम उपसमूहों के छियालीस वर्ग निम्नलिखित सूची में दिए गए हैं। विल्सन एट के अप्रकाशित कार्यों को ध्यान में रखते हुए यह सूची पूर्ण मानी गई थी। अल फॉर्म यू के गैर-एबेलियन सरल सॉकल (गणित) के साथ किसी भी लगभग सरल उपसमूह को खारिज कर रहा है3(4), एल2(8), और एल2(16).[26][27][28] चूँकि, बाद वाले का डायट्रिच एट अल द्वारा खंडन किया गया, जिन्होंने फॉर्म यू का एक नया अधिकतम उपसमूह पाया3(4). एल की स्थिति2(8) का निर्धारण होना बाकी है।[16]
ध्यान दें कि अधिकतम उपसमूहों की तालिकाओं में अक्सर सूक्ष्म त्रुटियां पाई गई हैं, और विशेष रूप से नीचे दी गई सूची के कम से कम दो उपसमूहों को कुछ पिछली सूचियों से गलत तरीके से हटा दिया गया था।
- 2.बी किसी इन्वॉल्वमेंट का केंद्रीकरणकर्ता; इसमें सिलो 47-उपसमूह का नॉर्मलाइज़र (47:23) × 2 शामिल है
- 21+24.Co1 किसी इन्वॉल्वमेंट का केंद्रीकरणकर्ता
- 3.फाई24 क्रम 3 के उपसमूह का सामान्यीकरण; इसमें साइलो 29-उपसमूह का नॉर्मलाइज़र ((29:14) × 3.2) शामिल है
- 22.2ई6(22):एस3 क्लेन 4-समूह का सामान्यीकरणकर्ता
- 210+16.O10+(2)
- 22+11+22.(एम24 × एस3) क्लेन 4-समूह का सामान्यीकरणकर्ता; इसमें नॉर्मलाइज़र (23:11) × एस शामिल है4 सिलो 23-उपसमूह का
- 31+12.2z.2 क्रम 3 के उपसमूह का सामान्यीकरण
- 25+10+20. (एस3 × एल5(2))
- एस3 × गु क्रम 3 के उपसमूह का सामान्यीकरण; इसमें नॉर्मलाइज़र (31:15) × एस शामिल है3 सिलो 31-उपसमूह का
- 23+6+12+18.(एल3(2)×3एस6)
- 38.O8− (3).23
- (डी10 × एचएन).2 क्रम 5 के उपसमूह का सामान्यीकरणकर्ता
- (32:2×O8+(3)).एस4
- 32+5+10.(एम11 × 2एस4)
- 33+2+6+6:(एल3(3) × एसडी16)
- 51+6:2J2:4 क्रम 5 के उपसमूह का सामान्यीकरणकर्ता
- (7:3 × वह):2 क्रम 7 के उपसमूह का सामान्यीकरणकर्ता
- (ए5 × ए12):2
- 53+3.(2 × एल3(5))
- (ए6 × ए6 × ए6).(2 × एस4)
- (ए5 × यू3(8):31):2 में नॉर्मलाइज़र ((19:9) × ए शामिल है5):सिलो 19-उपसमूह का 2
- 52+2+4:(एस3 × जीएल2(5))
- (एल3(2) × एस4(4):2).2 में नॉर्मलाइज़र ((17:8) × एल शामिल है3(2)).2 सिलो 17-उपसमूह का
- 71+4:(3×2एस7) क्रम 7 के उपसमूह का सामान्यीकरणकर्ता
- (52:4.22× यू3(5)).एस3
- (एल2(11)× एम12):2 में नॉर्मलाइज़र (11:5 × एम) शामिल है12):क्रम 11 के एक उपसमूह का 2
- (ए7 × (ए5 × ए5):22):2
- 54:(3×2एल2(25)):22
- 72+1+2:GL2(7)
- एम11 × ए6.22
- (एस5 × एस5 × एस5):एस3
- (एल2(11) × एल2(11)):4
- 132:2L2(13).4
- (72:(3×2ए4) × एल2(7)):2
- (13:6 × एल3(3)).2 क्रम 13 के उपसमूह का सामान्यीकरणकर्ता
- 131+2:(3×4एस4) क्रम 13 के उपसमूह का सामान्यीकरणकर्ता; सिलो 13-उपसमूह का सामान्यीकरणकर्ता
- यू3(4):4 [16]
- एल2(71) में साइलो 71-उपसमूह का नॉर्मलाइज़र 71:35 शामिल है[29]
- एल2(59) में साइलो 59-उपसमूह का नॉर्मलाइज़र 59:29 शामिल है[30]
- 112:(5×2ए5) सिलो 11-उपसमूह का सामान्यीकरणकर्ता।
- एल2(41) नॉर्टन और विल्सन ने इस रूप का अधिकतम उपसमूह पाया; ज़वार्नित्सिन द्वारा बताई गई एक सूक्ष्म त्रुटि के कारण कुछ पिछली सूचियों और कागजात में कहा गया था कि ऐसा कोई अधिकतम उपसमूह मौजूद नहीं था[27]
- एल2(29):2 [31]
- 72: चित्र2(7) इसे गलती से 7-स्थानीय उपसमूहों की कुछ पिछली सूचियों से हटा दिया गया था
- एल2(19):2 [29]
- एल2(13):2 [16]
- 41:40 सिलो 41-उपसमूह का सामान्यीकरणकर्ता
यह भी देखें
- सुपरसिंगुलर प्राइम (चांदनी सिद्धांत), अभाज्य संख्याएं जो मॉन्स्टर के क्रम को विभाजित करती हैं
उद्धरण
- ↑ Gardner 1980, pp. 20–33.
- ↑ Griess 1976, pp. 113–118.
- ↑ Griess 1982, pp. 1–102.
- ↑ Conway 1985, pp. 513–540.
- ↑ Tits 1983, pp. 105–122.
- ↑ Tits 1984, pp. 491–499.
- ↑ Thompson 1979, pp. 340–346.
- ↑ Norton 1985, pp. 271–285.
- ↑ Griess, Meierfrankenfeld & Segev 1989, pp. 567–602.
- ↑ Thompson 1984, p. 443.
- ↑ Wilson 2001, pp. 367–374.
- ↑ Seysen, Martin. "एमएमग्रुप एपीआई संदर्भ". Retrieved 31 July 2022.
- ↑ Seysen, Martin (8 Mar 2022). "मॉन्स्टर समूह का तेजी से कार्यान्वयन". arXiv:2203.04223 [math.GR].
- ↑ Seysen, Martin (13 May 2020). "राक्षस का एक कंप्यूटर-अनुकूल निर्माण". arXiv:2002.10921 [math.GR].
- ↑ Wilson, Robert A. (18 Oct 2013). "द मॉन्स्टर और ब्लैक-बॉक्स समूह". arXiv:1310.5016 [math.GR].
- ↑ 16.0 16.1 16.2 16.3 Dietrich, Lee & Popiel 2023.
- ↑ Borcherds 2002, p. 1076.
- ↑ Borcherds 2002, p. 1077.
- ↑ Conway & Norton 1979, pp. 308–339.
- ↑ Haran 2014, 7:57.
- ↑ Masters 2019.
- ↑ Duncan 2008.
- ↑ le Bruyn 2009.
- ↑ He & McKay 2015.
- ↑ Ronan 2006.
- ↑ Wilson 2010, pp. 393–403.
- ↑ 27.0 27.1 Norton & Wilson 2013, pp. 943–962.
- ↑ Wilson 2016, pp. 355–364.
- ↑ 29.0 29.1 Holmes & Wilson 2008, pp. 2653–2667.
- ↑ Holmes & Wilson 2004, pp. 141–152.
- ↑ Holmes & Wilson 2002, pp. 435–447.
स्रोत
- Borcherds, Richard E. (October 2002). "क्या है... राक्षस?" (PDF). Notices of the American Mathematical Society. 49 (9).
- le Bruyn, Lieven (22 April 2009). "राक्षस ग्राफ और मैके का अवलोकन". neverendingbooks.
- Conway, John Horton (1985). "फिशर-ग्रिज़ राक्षस समूह के लिए एक सरल निर्माण". Inventiones Mathematicae. 79 (3): 513–540. Bibcode:1985InMat..79..513C. doi:10.1007/BF01388521. MR 0782233. S2CID 123340529.
- Conway, John Horton; Norton, Simon P. (1979). "राक्षसी चांदनी". Bulletin of the London Mathematical Society. 11 (3): 308–339. doi:10.1112/blms/11.3.308.
- Dietrich, Heiko; Lee, Melissa; Popiel, Tomasz (8 November 2023). "राक्षस के अधिकतम उपसमूह". arXiv:2304.14646 [GR math. GR].
- Duncan, John F. (2008). "अंकगणित समूह और एफ़िन E8 डिनकिन आरेख". arXiv:0810.1465 [RT math. RT].
- Gardner, Martin (1980). "गणितीय खेल". Scientific American. Vol. 242, no. 6. pp. 20–33. ISSN 0036-8733. JSTOR 24966339.
- Griess, Robert L. (1976). "The structure of the monster simple group". In Scott, W. Richard; Gross, Fletcher (eds.). परिमित समूहों पर सम्मेलन की कार्यवाही (विश्वविद्यालय यूटा, 1975). Boston, MA: Academic Press. pp. 113–118. ISBN 978-012633650-4. MR 0399248.
- Griess, Robert L. (1982). "मिलनसार विशाल" (PDF). Inventiones Mathematicae. 69 (1): 1–102. Bibcode:1982InMat..69....1G. doi:10.1007/BF01389186. hdl:2027.42/46608. MR 0671653. S2CID 123597150.
- Griess, Robert L.; Meierfrankenfeld, Ulrich; Segev, Yoav (1989). "राक्षस के लिए एक विशिष्टता प्रमाण". Annals of Mathematics. Second Series. 130 (3): 567–602. doi:10.2307/1971455. JSTOR 1971455. MR 1025167.
- Haran, Brady (2014). जीवन, मृत्यु और राक्षस (जॉन कॉनवे). Numberphile – via YouTube.
- He, Yang-Hui; McKay, John (25 May 2015). "छिटपुट और असाधारण". arXiv:1505.06742 [AG math. AG].
- Holmes, Petra E.; Wilson, Robert A. (2002). "राक्षस का एक नया अधिकतम उपसमूह". Journal of Algebra. 251 (1): 435–447. doi:10.1006/jabr.2001.9037. MR 1900293.
- Holmes, Petra E.; Wilson, Robert A. (2004). "पीएसएल2(59) मॉन्स्टर का एक उपसमूह है". Journal of the London Mathematical Society. Second Series. 69 (1): 141–152. doi:10.1112/S0024610703004915. MR 2025332.
- Holmes, Petra E.; Wilson, Robert A. (2008). "A5 वाले राक्षस के उपसमूहों पर". Journal of Algebra. 319 (7): 2653–2667. doi:10.1016/j.jalgebra.2003.11.014. MR 2397402.
- Masters, Alexander (22 February 2019). "साइमन नॉर्टन मृत्युलेख". The Guardian.
- Norton, Simon P. (1985). "The uniqueness of the Fischer–Griess Monster". परिमित समूह-उम्र का आगमन (मॉन्ट्रियल, क्यू., 1982). Contemp. Math. Vol. 45. Providence RI: American Mathematical Society. pp. 271–285. doi:10.1090/conm/045/822242. ISBN 978-082185047-3. MR 0822242.
- Norton, Simon P.; Wilson, Robert A. (2013). "मॉन्स्टर की 41-संरचना में सुधार, एक नए अधिकतम उपसमूह L2(41) का निर्माण और एक नई मूनशाइन घटना" (PDF). Journal of the London Mathematical Society. Second Series. 87 (3): 943–962. doi:10.1112/jlms/jds078.
- Roberts, Siobhan (2013). जिज्ञासाएँ: राक्षस का पीछा करना. Institute for Advanced Study.
- Ronan, M. (2006). समरूपता और राक्षस. Oxford University Press. ISBN 019280722-6.
- Thompson, John G. (1979). "फिशर-ग्रीस राक्षस की विशिष्टता". The Bulletin of the London Mathematical Society. 11 (3): 340–346. doi:10.1112/blms/11.3.340. MR 0554400.
- Thompson, John G. (1984). "कुछ परिमित समूह जो गैल एल/के के रूप में दिखाई देते हैं, जहां के ⊆ क्यू(μn)". Journal of Algebra. 89 (2): 437–499. doi:10.1016/0021-8693(84)90228-X. MR 0751155.
- Tits, Jacques (1983). "द मॉन्स्टर (आर. ग्रिज़, बी. फिशर एट अल के बाद)". Astérisque (121): 105–122. MR 0768956. Zbl 0548.20010.
- Tits, Jacques (1984). "आर. ग्रिज़ के "दोस्ताना विशाल" पर". Inventiones Mathematicae. 78 (3): 491–499. Bibcode:1984InMat..78..491T. doi:10.1007/BF01388446. MR 0768989. S2CID 122379975.
- Wilson, Robert A. (2001). "द मॉन्स्टर एक हर्विट्ज़ समूह है". Journal of Group Theory. 4 (4): 367–374. doi:10.1515/jgth.2001.027. MR 1859175. Archived from the original on 2012-03-05.
- Wilson, Robert A. (2010). "New computations in the Monster". मूनशाइन: पहली तिमाही सदी और उससे आगे. London Math. Soc. Lecture Note Ser. Vol. 372. Cambridge University Press. pp. 393–403. ISBN 978-052110664-1. MR 2681789.
- Wilson, Robert A. (2016). "क्या सुजुकी समूह Sz(8) मॉन्स्टर का एक उपसमूह है?" (PDF). Bulletin of the London Mathematical Society. 48 (2): 355–364. doi:10.1112/blms/bdw012. MR 3483073.
अग्रिम पठन
- Conway, J. H.; Curtis, R. T.; Norton, S. P.; Parker, R. A.; Wilson, R. A. (1985). Atlas of Finite Groups: Maximal Subgroups and Ordinary Characters for Simple Groups. with computational assistance from J. G. Thackray. Oxford University Press. ISBN 978-019853199-9.
- Harada, Koichiro (2001). "Mathematics of the Monster". Sugaku Expositions. 14 (1): 55–71. MR 1690763.
- Holmes, P. E.; Wilson, R. A. (2003). "A computer construction of the Monster using 2-local subgroups". Journal of the London Mathematical Society. 67 (2): 346–364. doi:10.1112/S0024610702003976.
- Holmes, Petra E. (2008). "A classification of subgroups of the Monster isomorphic to S4 and an application". Journal of Algebra. 319 (8): 3089–3099. doi:10.1016/j.jalgebra.2004.01.031. MR 2408306.
- Ivanov, A.A. (2009). The Monster Group and Majorana Involutions. Cambridge tracts in mathematics. Vol. 176. Cambridge University Press. doi:10.1017/CBO9780511576812. ISBN 978-052188994-0.
- Norton, Simon P. (1998). "Anatomy of the Monster. I". The atlas of finite groups: ten years on (Birmingham, 1995). London Math. Soc. Lecture Note Ser. Vol. 249. Cambridge University Press. pp. 198–214. doi:10.1017/CBO9780511565830.020. ISBN 978-052157587-4. MR 1647423.
- Norton, Simon P.; Wilson, Robert A. (2002). "Anatomy of the Monster. II". Proceedings of the London Mathematical Society. Third Series. 84 (3): 581–598. doi:10.1112/S0024611502013357. MR 1888424.
- du Sautoy, Marcus (2008). Finding Moonshine. Fourth Estate. ISBN 978-000721461-7. published in the US by HarperCollins as Symmetry, ISBN 978-006078940-4).
- Wilson, R. A.; Walsh, P. G.; Parker, R. A.; Linton, S. A. (1998). "Computer construction of the Monster". Journal of Group Theory. 1 (4): 307–337. doi:10.1515/jgth.1998.023.
- McKay, John; He, Yang-Hui (2022). "Kashiwa Lectures on "New Approaches to the Monster"". Notices of the ICCM.
बाहरी संबंध
- What is... The Monster? by Richard E. Borcherds, Notices of the American Mathematical Society, October 2002 1077
- MathWorld: Monster Group
- Atlas of Finite Group Representations: Monster group
- Scientific American June 1980 Issue: The capture of the monster: a mathematical group with a ridiculous number of elements