मॉन्स्टर समूह: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 3: Line 3:
{{Group theory sidebar |Finite}}
{{Group theory sidebar |Finite}}


[[अमूर्त बीजगणित]] के क्षेत्र में जिसे [[समूह सिद्धांत]] के रूप में जाना जाता है, राक्षस समूह एम (जिसे फिशर-ग्रीज़ राक्षस या मैत्रीपूर्ण विशाल के रूप में भी जाना जाता है) ऑर्डर (समूह सिद्धांत) वाला सबसे बड़ा [[छिटपुट सरल समूह]] है।{{Indent|3}}   2<sup>46</sup>{{·}}3<sup>20</sup>{{·}}5<sup>9</sup>{{·}}7<sup>6</sup>{{·}}11<sup>2</sup>{{·}}13<sup>3</sup>{{·}}17{{·}}19{{·}}23{{·}}29{{·}}31{{·}}41{{·}}47{{·}}59{{·}}71
[[अमूर्त बीजगणित]] के क्षेत्र में जिसे [[समूह सिद्धांत]] के रूप में जाना जाता है, '''मॉन्स्टर समूह''' '''M''' (जिसे '''फिशर-ग्रीज़ मॉन्स्टर''' या '''फ्रेंडली जायंट''' के रूप में भी जाना जाता है) ऑर्डर (समूह सिद्धांत) वाला सबसे बड़ा [[छिटपुट सरल समूह|विकीर्ण सरल समूह]] है।{{Indent|3}}   2<sup>46</sup>{{·}}3<sup>20</sup>{{·}}5<sup>9</sup>{{·}}7<sup>6</sup>{{·}}11<sup>2</sup>{{·}}13<sup>3</sup>{{·}}17{{·}}19{{·}}23{{·}}29{{·}}31{{·}}41{{·}}47{{·}}59{{·}}71{{Indent|3}}= 808,017,424,794,512,875,886,459,904,961,710,757,005,754,368,000,000,000{{Indent|3}}≈ 8{{e|53}}.
{{Indent|3}}= 808,017,424,794,512,875,886,459,904,961,710,757,005,754,368,000,000,000
{{Indent|3}}≈ 8{{e|53}}.


[[परिमित समूह]] [[सरल समूह]] पूरी तरह से [[परिमित सरल समूहों का वर्गीकरण]] है। ऐसा प्रत्येक समूह 18 अनगिनत अनंत परिवारों में से एक से संबंधित है या 26 छिटपुट समूहों में से एक है जो इस तरह के व्यवस्थित पैटर्न का पालन नहीं करते हैं। राक्षस समूह में उप-भाग के रूप में 20 छिटपुट समूह (स्वयं सहित) शामिल हैं। 1982 में राक्षस के अस्तित्व को सिद्ध करने वाले [[रॉबर्ट ग्रिएस]] ने उन 20 समूहों को सुखी परिवार और शेष छह अपवादों को [[पारिया समूह]] कहा है।


इसकी जटिलता के कारण राक्षस की एक अच्छी रचनात्मक परिभाषा देना कठिन है। [[मार्टिन गार्डनर]] ने जून 1980 में [[ अमेरिकी वैज्ञानिक ]] में अपने गणितीय खेल कॉलम में राक्षस समूह का एक लोकप्रिय विवरण लिखा था।{{sfn|Gardner|1980|pp=20–33}}
[[परिमित समूह|परिमित सरल]] [[सरल समूह|समूहों]] को पूर्णतः [[परिमित सरल समूहों का वर्गीकरण|वर्गीकृत]] किया गया है। ऐसा प्रत्येक समूह 18 असंख्य अनंत परिवारों में से एक से संबंधित है या 26 विकीर्ण समूहों में से एक है जो इस प्रकार के व्यवस्थित प्रारूप का पालन नहीं करते हैं। मॉन्स्टर समूह में उप-भाग के रूप में 20 विकीर्ण समूह (स्वयं सहित) सम्मिलित हैं। 1982 में मॉन्स्टर के अस्तित्व को सिद्ध करने वाले [[रॉबर्ट ग्रिएस]] ने उन 20 समूहों को सुखी परिवार और शेष छह अपवादों को [[पारिया समूह]] कहा है।
 
इसकी जटिलता के कारण मॉन्स्टर की एक अच्छी रचनात्मक परिभाषा देना कठिन है। [[मार्टिन गार्डनर]] ने जून 1980 में [[ अमेरिकी वैज्ञानिक | साइंटिफिक अमेरिकन]] में अपने गणितीय खेल कॉलम में मॉन्स्टर समूह का एक लोकप्रिय विवरण लिखा था।{{sfn|Gardner|1980|pp=20–33}}


==इतिहास==
==इतिहास==
राक्षस की भविष्यवाणी [[बर्नड फिशर (गणितज्ञ)]] (अप्रकाशित, लगभग 1973) और रॉबर्ट ग्रिएस ने की थी{{sfn|Griess|1976|pp=113–118}} एक साधारण समूह के रूप में जिसमें फिशर के [[शिशु राक्षस समूह]] का एक डबल कवरिंग समूह शामिल है जो एक इनवोल्यूशन (समूह सिद्धांत) के सेंट्रलाइज़र और सामान्याइज़र के रूप में है। कुछ महीनों के भीतर, [[थॉम्पसन ऑर्डर फॉर्मूला]] का उपयोग करके ग्रिज़ द्वारा एम का ऑर्डर पाया गया, और फिशर, [[जॉन हॉर्टन कॉनवे]], नॉर्टन और थॉम्पसन ने अन्य समूहों को उप-समूह के रूप में खोजा, जिनमें कई ज्ञात छिटपुट समूह और दो नए समूह शामिल थे: [[थॉम्पसन समूह (परिमित)]] और हरदा-नॉर्टन समूह। राक्षस के [[चरित्र सिद्धांत]], एक 194-बाई-194 सरणी, की गणना 1979 में फिशर और डोनाल्ड लिविंगस्टोन द्वारा माइकल थॉर्न द्वारा लिखित कंप्यूटर प्रोग्राम का उपयोग करके की गई थी। 1970 के दशक में यह स्पष्ट नहीं था कि राक्षस वास्तव में अस्तित्व में था या नहीं। ग्रिएस{{sfn|Griess|1982|pp=1–102}} ने एम को ग्रिज़ बीजगणित के [[ऑटोमोर्फिज्म समूह]] के रूप में निर्मित किया, जो वास्तविक संख्याओं पर एक 196,884-आयामी क्रमविनिमेय गैर-सहयोगी बीजगणित है; उन्होंने पहली बार 14 जनवरी, 1980 को [[एन आर्बर]] में अपने निर्माण की घोषणा की। अपने 1982 के पेपर में, उन्होंने राक्षस को फ्रेंडली जाइंट के रूप में संदर्भित किया, लेकिन इस नाम को आम तौर पर अपनाया नहीं गया है। जॉन कॉनवे{{sfn|Conway|1985|pp=513–540}} और [[जैक्स टिट्स]]{{sfn|Tits|1983|pp=105–122}}{{sfn|Tits|1984|pp=491–499}}बाद में इस निर्माण को सरल बनाया गया।
मॉन्स्टर की भविष्यवाणी [[बर्नड फिशर (गणितज्ञ)]] (अप्रकाशित, लगभग 1973) और रॉबर्ट ग्रिएस ने की थी{{sfn|Griess|1976|pp=113–118}} एक साधारण समूह के रूप में जिसमें फिशर के [[शिशु राक्षस समूह|शिशु मॉन्स्टर समूह]] का एक डबल कवरिंग समूह सम्मिलित है जो एक इनवोल्यूशन (समूह सिद्धांत) के सेंट्रलाइज़र और सामान्याइज़र के रूप में है। कुछ महीनों के भीतर, [[थॉम्पसन ऑर्डर फॉर्मूला]] का उपयोग करके ग्रिज़ द्वारा एम का ऑर्डर पाया गया, और फिशर, [[जॉन हॉर्टन कॉनवे]], नॉर्टन और थॉम्पसन ने अन्य समूहों को उप-समूह के रूप में खोजा, जिनमें कई ज्ञात विकीर्ण समूह और दो नए समूह सम्मिलित थे: [[थॉम्पसन समूह (परिमित)]] और हरदा-नॉर्टन समूह। मॉन्स्टर के [[चरित्र सिद्धांत]], एक 194-बाई-194 सरणी, की गणना 1979 में फिशर और डोनाल्ड लिविंगस्टोन द्वारा माइकल थॉर्न द्वारा लिखित कंप्यूटर प्रोग्राम का उपयोग करके की गई थी। 1970 के दशक में यह स्पष्ट नहीं था कि मॉन्स्टर वास्तव में अस्तित्व में था या नहीं। ग्रिएस{{sfn|Griess|1982|pp=1–102}} ने एम को ग्रिज़ बीजगणित के [[ऑटोमोर्फिज्म समूह]] के रूप में निर्मित किया, जो वास्तविक संख्याओं पर एक 196,884-आयामी क्रमविनिमेय गैर-सहयोगी बीजगणित है; उन्होंने पहली बार 14 जनवरी, 1980 को [[एन आर्बर]] में अपने निर्माण की घोषणा की। अपने 1982 के पेपर में, उन्होंने मॉन्स्टर को फ्रेंडली जाइंट के रूप में संदर्भित किया, लेकिन इस नाम को आम तौर पर अपनाया नहीं गया है। जॉन कॉनवे{{sfn|Conway|1985|pp=513–540}} और [[जैक्स टिट्स]]{{sfn|Tits|1983|pp=105–122}}{{sfn|Tits|1984|pp=491–499}}बाद में इस निर्माण को सरल बनाया गया।


ग्रिएस के निर्माण से पता चला कि राक्षस मौजूद है। जॉन जी. थॉम्पसन{{sfn|Thompson|1979|pp=340–346}} ने दिखाया कि इसकी विशिष्टता (परिमित सरल समूहों के वर्गीकरण से आने वाली कुछ शर्तों को पूरा करने वाले एक साधारण समूह के रूप में) 196,883-आयामी वफादार प्रतिनिधित्व के अस्तित्व से उत्पन्न होगी। इस तरह के प्रतिनिधित्व के अस्तित्व का प्रमाण साइमन पी. नॉर्टन द्वारा घोषित किया गया था,{{sfn|Norton|1985|pp=271–285}} हालाँकि उन्होंने कभी भी विवरण प्रकाशित नहीं किया। ग्रिज़, मेयरफ्रैंकनफेल्ड और सेगेव ने राक्षस की विशिष्टता का पहला पूर्ण प्रकाशित प्रमाण दिया (अधिक सटीक रूप से, उन्होंने दिखाया कि राक्षस के समान आक्रमणों के केंद्रीकरण वाला एक समूह राक्षस के लिए आइसोमोर्फिक है)।{{sfn|Griess|Meierfrankenfeld|Segev|1989|pp=567–602}}
ग्रिएस के निर्माण से पता चला कि मॉन्स्टर मौजूद है। जॉन जी. थॉम्पसन{{sfn|Thompson|1979|pp=340–346}} ने दिखाया कि इसकी विशिष्टता (परिमित सरल समूहों के वर्गीकरण से आने वाली कुछ शर्तों को पूरा करने वाले एक साधारण समूह के रूप में) 196,883-आयामी वफादार प्रतिनिधित्व के अस्तित्व से उत्पन्न होगी। इस तरह के प्रतिनिधित्व के अस्तित्व का प्रमाण साइमन पी. नॉर्टन द्वारा घोषित किया गया था,{{sfn|Norton|1985|pp=271–285}} हालाँकि उन्होंने कभी भी विवरण प्रकाशित नहीं किया। ग्रिज़, मेयरफ्रैंकनफेल्ड और सेगेव ने मॉन्स्टर की विशिष्टता का पहला पूर्ण प्रकाशित प्रमाण दिया (अधिक सटीक रूप से, उन्होंने दिखाया कि मॉन्स्टर के समान आक्रमणों के केंद्रीकरण वाला एक समूह मॉन्स्टर के लिए आइसोमोर्फिक है)।{{sfn|Griess|Meierfrankenfeld|Segev|1989|pp=567–602}}


राक्षस छिटपुट सरल समूहों के विकास की परिणति था और इसे तीन में से किन्हीं दो उपसमूहों से बनाया जा सकता है: [[फिशर समूह]] Fi<sub>24</sub>, बेबी मॉन्स्टर, और [[ कॉनवे समूह ]] कंपनी<sub>1</sub>.
मॉन्स्टर विकीर्ण सरल समूहों के विकास की परिणति था और इसे तीन में से किन्हीं दो उपसमूहों से बनाया जा सकता है: [[फिशर समूह]] Fi<sub>24</sub>, बेबी मॉन्स्टर, और [[ कॉनवे समूह ]] कंपनी<sub>1</sub>.


[[शूर गुणक]] और राक्षस का [[बाहरी ऑटोमोर्फिज्म समूह]] दोनों [[तुच्छ समूह]] हैं।
[[शूर गुणक]] और मॉन्स्टर का [[बाहरी ऑटोमोर्फिज्म समूह]] दोनों [[तुच्छ समूह]] हैं।


==अभ्यावेदन==
==अभ्यावेदन==
Line 24: Line 23:
किसी भी क्षेत्र पर सबसे छोटे वफादार रैखिक प्रतिनिधित्व का आयाम दो तत्वों वाले क्षेत्र पर 196,882 है, जो सबसे छोटे वफादार जटिल प्रतिनिधित्व के आयाम से केवल एक कम है।
किसी भी क्षेत्र पर सबसे छोटे वफादार रैखिक प्रतिनिधित्व का आयाम दो तत्वों वाले क्षेत्र पर 196,882 है, जो सबसे छोटे वफादार जटिल प्रतिनिधित्व के आयाम से केवल एक कम है।


राक्षस का सबसे छोटा वफादार क्रमपरिवर्तन प्रतिनिधित्व चालू है
मॉन्स्टर का सबसे छोटा वफादार क्रमपरिवर्तन प्रतिनिधित्व चालू है
2<sup>4</sup>·3<sup>7</sup>·5<sup>3</sup>·7<sup>4</sup> · 11 · 13<sup>2</sup> · 29 · 41 · 59 · 71 (लगभग 10<sup>20</sup>)
2<sup>4</sup>·3<sup>7</sup>·5<sup>3</sup>·7<sup>4</sup> · 11 · 13<sup>2</sup> · 29 · 41 · 59 · 71 (लगभग 10<sup>20</sup>)
अंक.
अंक.


राक्षस को [[तर्कसंगत संख्या]]ओं पर गैलोज़ समूह के रूप में महसूस किया जा सकता है,{{sfn|Thompson|1984|p=443}} और [[हर्विट्ज़ समूह]] के रूप में।{{sfn|Wilson|2001|pp=367–374}}
मॉन्स्टर को [[तर्कसंगत संख्या]]ओं पर गैलोज़ समूह के रूप में महसूस किया जा सकता है,{{sfn|Thompson|1984|p=443}} और [[हर्विट्ज़ समूह]] के रूप में।{{sfn|Wilson|2001|pp=367–374}}


राक्षस सरल समूहों के बीच असामान्य है क्योंकि इसके तत्वों का प्रतिनिधित्व करने का कोई आसान तरीका नहीं है। यह इसके आकार के कारण इतना अधिक नहीं है जितना कि छोटे प्रतिनिधित्वों की अनुपस्थिति के कारण है। उदाहरण के लिए, सरल समूह ए<sub>100</sub> और एस.एल<sub>20</sub>(2) बहुत बड़े हैं लेकिन गणना करना आसान है क्योंकि उनमें छोटे क्रमपरिवर्तन या रैखिक प्रतिनिधित्व हैं। [[वैकल्पिक समूह]], जैसे ए<sub>100</sub>, क्रमपरिवर्तन निरूपण हैं जो समूह के आकार की तुलना में छोटे हैं, और झूठ प्रकार के समूह के सभी सीमित सरल समूह, जैसे एसएल<sub>20</sub>(2), रैखिक निरूपण हैं जो समूह के आकार की तुलना में छोटे हैं। मॉन्स्टर के अलावा सभी छिटपुट समूहों में रैखिक प्रतिनिधित्व भी इतना छोटा होता है कि कंप्यूटर पर उनके साथ काम करना आसान होता है (राक्षस के बाद अगला सबसे कठिन मामला बेबी मॉन्स्टर है, आयाम 4370 के प्रतिनिधित्व के साथ)।
मॉन्स्टर सरल समूहों के बीच असामान्य है क्योंकि इसके तत्वों का प्रतिनिधित्व करने का कोई आसान तरीका नहीं है। यह इसके आकार के कारण इतना अधिक नहीं है जितना कि छोटे प्रतिनिधित्वों की अनुपस्थिति के कारण है। उदाहरण के लिए, सरल समूह ए<sub>100</sub> और एस.एल<sub>20</sub>(2) बहुत बड़े हैं लेकिन गणना करना आसान है क्योंकि उनमें छोटे क्रमपरिवर्तन या रैखिक प्रतिनिधित्व हैं। [[वैकल्पिक समूह]], जैसे ए<sub>100</sub>, क्रमपरिवर्तन निरूपण हैं जो समूह के आकार की तुलना में छोटे हैं, और झूठ प्रकार के समूह के सभी सीमित सरल समूह, जैसे एसएल<sub>20</sub>(2), रैखिक निरूपण हैं जो समूह के आकार की तुलना में छोटे हैं। मॉन्स्टर के अलावा सभी विकीर्ण समूहों में रैखिक प्रतिनिधित्व भी इतना छोटा होता है कि कंप्यूटर पर उनके साथ काम करना आसान होता है (मॉन्स्टर के बाद अगला सबसे कठिन मामला बेबी मॉन्स्टर है, आयाम 4370 के प्रतिनिधित्व के साथ)।


=== कंप्यूटर निर्माण ===
=== कंप्यूटर निर्माण ===
मार्टिन सेसेन ने [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|}}
मार्टिन सेसेन ने [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-आयामी प्रतिनिधित्व से एक आयाम कम है। इन मैट्रिक्स के साथ गणना करना संभव था लेकिन उपयोगी होने के लिए समय और भंडारण स्थान के मामले में यह बहुत महंगा है, क्योंकि ऐसा प्रत्येक मैट्रिक्स साढ़े चार गीगाबाइट से अधिक घेरता है।{{sfn|Borcherds|2002|p=1076}}
इससे पहले, रॉबर्ट ए. विल्सन ने स्पष्ट रूप से (कंप्यूटर की सहायता से) दो उलटे 196,882 गुणा 196,882 मैट्रिक्स (जीएफ (2) में तत्वों के साथ) पाए थे, जो मैट्रिक्स गुणन द्वारा एक समूह के मॉन्स्टर समूह का निर्माण कर रहे थे; यह विशेषता 0 में 196,883-आयामी प्रतिनिधित्व से एक आयाम कम है। इन मैट्रिक्स के साथ गणना करना संभव था लेकिन उपयोगी होने के लिए समय और भंडारण स्थान के मामले में यह बहुत महंगा है, क्योंकि ऐसा प्रत्येक मैट्रिक्स साढ़े चार गीगाबाइट से अधिक घेरता है।{{sfn|Borcherds|2002|p=1076}}


विल्सन का दावा है कि राक्षस का सबसे अच्छा वर्णन यह है कि, यह राक्षस शीर्ष बीजगणित का ऑटोमोर्फिज्म समूह है। हालाँकि, यह बहुत मददगार नहीं है, क्योंकि किसी को भी [[मॉन्स्टर वर्टेक्स बीजगणित]] का वास्तव में सरल और प्राकृतिक निर्माण नहीं मिला है।{{sfn|Borcherds|2002|p=1077}}
विल्सन का दावा है कि मॉन्स्टर का सबसे अच्छा वर्णन यह है कि, यह मॉन्स्टर शीर्ष बीजगणित का ऑटोमोर्फिज्म समूह है। हालाँकि, यह बहुत मददगार नहीं है, क्योंकि किसी को भी [[मॉन्स्टर वर्टेक्स बीजगणित]] का वास्तव में सरल और प्राकृतिक निर्माण नहीं मिला है।{{sfn|Borcherds|2002|p=1077}}


विल्सन ने सहयोगियों के साथ राक्षस के साथ गणना करने की एक विधि ढूंढी जो काफी तेज़ थी, हालांकि अब सेसेन के उपर्युक्त कार्य ने इसकी जगह ले ली है। मान लीजिए V 2 तत्वों के साथ क्षेत्र पर 196,882 आयामी वेक्टर स्थान है। मॉन्स्टर का एक बड़ा उपसमूह एच (अधिमानतः एक अधिकतम उपसमूह) चुना जाता है जिसमें गणना करना आसान होता है। चुना गया उपसमूह H 3 है<sup>1+12</sup>.2.सुज.2, जहां सुज [[सुजुकी समूह (गणित)]] है। राक्षस के तत्वों को एच और एक अतिरिक्त जनरेटर टी के तत्वों में शब्दों के रूप में संग्रहीत किया जाता है। वी में एक वेक्टर पर इन शब्दों में से एक की कार्रवाई की गणना करना उचित रूप से त्वरित है। इस क्रिया का उपयोग करके, गणना करना संभव है (जैसे) राक्षस के एक तत्व के आदेश के रूप में)। विल्सन ने वैक्टर यू और वी प्रदर्शित किए हैं जिनका संयुक्त स्टेबलाइजर तुच्छ समूह है। इस प्रकार (उदाहरण के लिए) कोई सबसे छोटा i > 0 ज्ञात करके राक्षस के तत्व g के क्रम की गणना कर सकता है जैसे कि g<sup>मैं</sup>u = आप और जी<sup>i</sup>v = v. यह और इसी तरह के निर्माण (विभिन्न विशेषताओं (बीजगणित) में) का उपयोग राक्षस समूह के कुछ गैर-स्थानीय अधिकतम उपसमूहों को खोजने के लिए किया गया था।
विल्सन ने सहयोगियों के साथ मॉन्स्टर के साथ गणना करने की एक विधि ढूंढी जो काफी तेज़ थी, हालांकि अब सेसेन के उपर्युक्त कार्य ने इसकी जगह ले ली है। मान लीजिए V 2 तत्वों के साथ क्षेत्र पर 196,882 आयामी वेक्टर स्थान है। मॉन्स्टर का एक बड़ा उपसमूह एच (अधिमानतः एक अधिकतम उपसमूह) चुना जाता है जिसमें गणना करना आसान होता है। चुना गया उपसमूह H 3 है<sup>1+12</sup>.2.सुज.2, जहां सुज [[सुजुकी समूह (गणित)]] है। मॉन्स्टर के तत्वों को एच और एक अतिरिक्त जनरेटर टी के तत्वों में शब्दों के रूप में संग्रहीत किया जाता है। वी में एक वेक्टर पर इन शब्दों में से एक की कार्रवाई की गणना करना उचित रूप से त्वरित है। इस क्रिया का उपयोग करके, गणना करना संभव है (जैसे) मॉन्स्टर के एक तत्व के आदेश के रूप में)। विल्सन ने वैक्टर यू और वी प्रदर्शित किए हैं जिनका संयुक्त स्टेबलाइजर तुच्छ समूह है। इस प्रकार (उदाहरण के लिए) कोई सबसे छोटा i > 0 ज्ञात करके मॉन्स्टर के तत्व g के क्रम की गणना कर सकता है जैसे कि g<sup>मैं</sup>u = आप और जी<sup>i</sup>v = v. यह और इसी तरह के निर्माण (विभिन्न विशेषताओं (बीजगणित) में) का उपयोग मॉन्स्टर समूह के कुछ गैर-स्थानीय अधिकतम उपसमूहों को खोजने के लिए किया गया था।


== चांदनी ==
== चांदनी ==
{{main|Monstrous moonshine}}
{{main|Monstrous moonshine}}


कॉनवे और नॉर्टन के राक्षसी चंद्रमा अनुमान में राक्षस समूह दो प्रमुख घटकों में से एक है,{{sfn|Conway|Norton|1979|pp=308–339}} जो असतत और गैर-असतत गणित से संबंधित है और अंततः 1992 में [[रिचर्ड इवेन बोरचर्ड्स]] द्वारा सिद्ध किया गया था।
कॉनवे और नॉर्टन के मॉन्स्टरी चंद्रमा अनुमान में मॉन्स्टर समूह दो प्रमुख घटकों में से एक है,{{sfn|Conway|Norton|1979|pp=308–339}} जो असतत और गैर-असतत गणित से संबंधित है और अंततः 1992 में [[रिचर्ड इवेन बोरचर्ड्स]] द्वारा सिद्ध किया गया था।


इस सेटिंग में, मॉन्स्टर समूह [[ राक्षस मॉड्यूल ]] के ऑटोमोर्फिज्म समूह, एक [[वर्टेक्स ऑपरेटर बीजगणित]], ग्रिज़ बीजगणित युक्त एक अनंत आयामी बीजगणित के रूप में दिखाई देता है, और मॉन्स्टर लाई बीजगणित, एक सामान्यीकृत केएसी-मूडी बीजगणित पर कार्य करता है।
इस सेटिंग में, मॉन्स्टर समूह [[ राक्षस मॉड्यूल | मॉन्स्टर मॉड्यूल]] के ऑटोमोर्फिज्म समूह, एक [[वर्टेक्स ऑपरेटर बीजगणित]], ग्रिज़ बीजगणित युक्त एक अनंत आयामी बीजगणित के रूप में दिखाई देता है, और मॉन्स्टर लाई बीजगणित, एक सामान्यीकृत केएसी-मूडी बीजगणित पर कार्य करता है।


कॉनवे सहित कई गणितज्ञों ने राक्षस को एक सुंदर और अभी भी रहस्यमय वस्तु के रूप में देखा है।{{sfn|Roberts|2013}कॉनवे ने राक्षस समूह के बारे में कहा: इसका कोई स्पष्टीकरण कभी नहीं दिया गया है कि यह वहां क्यों है, और यह स्पष्ट रूप से सिर्फ संयोग से वहां नहीं है। इसमें इतने दिलचस्प गुण हैं कि यह सब महज एक दुर्घटना बनकर रह जाएगा।{{sfn|Haran|2014|loc=7:57}} राक्षस समूह के गुणों के विशेषज्ञ साइमन पी. नॉर्टन को यह कहते हुए उद्धृत किया गया है, मैं एक वाक्य में समझा सकता हूं कि राक्षसी मूनशाइन क्या है, यह भगवान की आवाज है।{{sfn|Masters|2019}}
<nowiki>कॉनवे सहित कई गणितज्ञों ने मॉन्स्टर को एक सुंदर और अभी भी रहस्यमय वस्तु के रूप में देखा है।{{sfn|Roberts|2013}कॉनवे ने मॉन्स्टर समूह के बारे में कहा: इसका कोई स्पष्टीकरण कभी नहीं दिया गया है कि यह वहां क्यों है, और यह स्पष्ट रूप से सिर्फ संयोग से वहां नहीं है। इसमें इतने दिलचस्प गुण हैं कि यह सब महज एक दुर्घटना बनकर रह जाएगा।</nowiki>{{sfn|Haran|2014|loc=7:57}} मॉन्स्टर समूह के गुणों के विशेषज्ञ साइमन पी. नॉर्टन को यह कहते हुए उद्धृत किया गया है, मैं एक वाक्य में समझा सकता हूं कि मॉन्स्टरी मूनशाइन क्या है, यह भगवान की आवाज है।{{sfn|Masters|2019}}


== मैके का ई<sub>8</sub> अवलोकन ==
== मैके का ई<sub>8</sub> अवलोकन ==
राक्षस और विस्तारित डायनकिन आरेखों के बीच भी संबंध हैं <math>\tilde E_8,</math> विशेष रूप से आरेख के नोड्स और राक्षस में कुछ संयुग्मी वर्गों के बीच, जिसे मैके के ई के रूप में जाना जाता है<sub>8</sub> अवलोकन।{{sfn|Duncan|2008}}{{sfn|le Bruyn|2009}}{{sfn|He|McKay|2015}} इसके बाद इसे विस्तारित आरेखों के बीच एक संबंध तक बढ़ाया जाता है <math>\tilde E_6, \tilde E_7, \tilde E_8</math> और समूह 3.Fi<sub>24</sub>', 2.बी, और एम, जहां ये फिशर समूह, बेबी मॉन्स्टर समूह और मॉन्स्टर के (3/2/1-गुना केंद्रीय विस्तार) हैं। ये राक्षस में प्रकार 1ए, 2ए और 3ए के तत्वों के केंद्रीकरणकर्ताओं से जुड़े [[छिटपुट समूह]] हैं, और विस्तार का क्रम आरेख की समरूपता से मेल खाता है। एडीई वर्गीकरण देखें#ट्रिनिटीज|एडीई वर्गीकरण: आगे के कनेक्शन के लिए ट्रिनिटी (मैकके पत्राचार प्रकार के), जिसमें (राक्षस के लिए) बल्कि छोटे सरल समूह [[प्रक्षेप्य विशेष रैखिक समूह]] (2,11) और एक कैनोनिक के 120 ट्रिटेंजेंट विमानों के साथ शामिल हैं जीनस 4 के सेक्सटिक वक्र को ब्रिंग्स कर्व के नाम से जाना जाता है।
मॉन्स्टर और विस्तारित डायनकिन आरेखों के बीच भी संबंध हैं <math>\tilde E_8,</math> विशेष रूप से आरेख के नोड्स और मॉन्स्टर में कुछ संयुग्मी वर्गों के बीच, जिसे मैके के ई के रूप में जाना जाता है<sub>8</sub> अवलोकन।{{sfn|Duncan|2008}}{{sfn|le Bruyn|2009}}{{sfn|He|McKay|2015}} इसके बाद इसे विस्तारित आरेखों के बीच एक संबंध तक बढ़ाया जाता है <math>\tilde E_6, \tilde E_7, \tilde E_8</math> और समूह 3.Fi<sub>24</sub>', 2.बी, और एम, जहां ये फिशर समूह, बेबी मॉन्स्टर समूह और मॉन्स्टर के (3/2/1-गुना केंद्रीय विस्तार) हैं। ये मॉन्स्टर में प्रकार 1ए, 2ए और 3ए के तत्वों के केंद्रीकरणकर्ताओं से जुड़े [[छिटपुट समूह|विकीर्ण समूह]] हैं, और विस्तार का क्रम आरेख की समरूपता से मेल खाता है। एडीई वर्गीकरण देखें#ट्रिनिटीज|एडीई वर्गीकरण: आगे के कनेक्शन के लिए ट्रिनिटी (मैकके पत्राचार प्रकार के), जिसमें (मॉन्स्टर के लिए) बल्कि छोटे सरल समूह [[प्रक्षेप्य विशेष रैखिक समूह]] (2,11) और एक कैनोनिक के 120 ट्रिटेंजेंट विमानों के साथ सम्मिलित हैं जीनस 4 के सेक्सटिक वक्र को ब्रिंग्स कर्व के नाम से जाना जाता है।


==अधिकतम उपसमूह==
==अधिकतम उपसमूह==
[[File:SporadicGroups.svg|thumb|350px|26 छिटपुट सरल समूहों का आरेख, उप-भाग संबंधों को दर्शाता है।]]राक्षस के पास अधिकतम [[उपसमूहों]] के कम से कम 46 संयुग्मी वर्ग हैं। लगभग 60 समरूपता प्रकारों के गैर-एबेलियन सरल समूह उपसमूहों के रूप में या उपसमूहों के भागफल के रूप में पाए जाते हैं। प्रतिनिधित्व करने वाला सबसे बड़ा वैकल्पिक समूह A है<sub>12</sub>.
[[File:SporadicGroups.svg|thumb|350px|26 विकीर्ण सरल समूहों का आरेख, उप-भाग संबंधों को दर्शाता है।]]मॉन्स्टर के पास अधिकतम [[उपसमूहों]] के कम से कम 46 संयुग्मी वर्ग हैं। लगभग 60 समरूपता प्रकारों के गैर-एबेलियन सरल समूह उपसमूहों के रूप में या उपसमूहों के भागफल के रूप में पाए जाते हैं। प्रतिनिधित्व करने वाला सबसे बड़ा वैकल्पिक समूह A है<sub>12</sub>.
राक्षस में 26 [[छिटपुट समूह]]ों में से 20 को उप-भाग के रूप में शामिल किया गया है। [[मार्क रोनन]] की पुस्तक सिमेट्री एंड द मॉन्स्टर में से एक पर आधारित यह आरेख दिखाता है कि वे एक साथ कैसे फिट होते हैं।{{sfn|Ronan|2006}} पंक्तियाँ ऊपरी समूह द्वारा निचले समूह को उपभाग के रूप में शामिल करने का संकेत देती हैं। गोलाकार चिह्न उन समूहों को दर्शाते हैं जो बड़े छिटपुट समूहों में शामिल नहीं हैं। स्पष्टता के लिए अनावश्यक समावेशन नहीं दिखाए गए हैं।
मॉन्स्टर में 26 [[छिटपुट समूह|विकीर्ण समूह]]ों में से 20 को उप-भाग के रूप में सम्मिलित किया गया है। [[मार्क रोनन]] की पुस्तक सिमेट्री एंड द मॉन्स्टर में से एक पर आधारित यह आरेख दिखाता है कि वे एक साथ कैसे फिट होते हैं।{{sfn|Ronan|2006}} पंक्तियाँ ऊपरी समूह द्वारा निचले समूह को उपभाग के रूप में सम्मिलित करने का संकेत देती हैं। गोलाकार चिह्न उन समूहों को दर्शाते हैं जो बड़े विकीर्ण समूहों में सम्मिलित नहीं हैं। स्पष्टता के लिए अनावश्यक समावेशन नहीं दिखाए गए हैं।


राक्षस के अधिकतम उपसमूहों के छियालीस वर्ग निम्नलिखित सूची में दिए गए हैं। विल्सन एट के अप्रकाशित कार्यों को ध्यान में रखते हुए यह सूची पूर्ण मानी गई थी। अल फॉर्म यू के गैर-एबेलियन सरल [[सॉकल (गणित)]] के साथ किसी भी लगभग सरल उपसमूह को खारिज कर रहा है<sub>3</sub>(4), एल<sub>2</sub>(8), और एल<sub>2</sub>(16).{{sfn|Wilson|2010|pp=393–403}}{{sfn|Norton|Wilson|2013|pp=943–962}}{{sfn|Wilson|2016|pp=355–364}} हालाँकि, बाद वाले का डायट्रिच एट अल द्वारा खंडन किया गया, जिन्होंने फॉर्म यू का एक नया अधिकतम उपसमूह पाया<sub>3</sub>(4). एल की स्थिति<sub>2</sub>(8) का निर्धारण होना बाकी है।{{sfn|Dietrich|Lee|Popiel|2023|}}
मॉन्स्टर के अधिकतम उपसमूहों के छियालीस वर्ग निम्नलिखित सूची में दिए गए हैं। विल्सन एट के अप्रकाशित कार्यों को ध्यान में रखते हुए यह सूची पूर्ण मानी गई थी। अल फॉर्म यू के गैर-एबेलियन सरल [[सॉकल (गणित)]] के साथ किसी भी लगभग सरल उपसमूह को खारिज कर रहा है<sub>3</sub>(4), एल<sub>2</sub>(8), और एल<sub>2</sub>(16).{{sfn|Wilson|2010|pp=393–403}}{{sfn|Norton|Wilson|2013|pp=943–962}}{{sfn|Wilson|2016|pp=355–364}} हालाँकि, बाद वाले का डायट्रिच एट अल द्वारा खंडन किया गया, जिन्होंने फॉर्म यू का एक नया अधिकतम उपसमूह पाया<sub>3</sub>(4). एल की स्थिति<sub>2</sub>(8) का निर्धारण होना बाकी है।{{sfn|Dietrich|Lee|Popiel|2023|}}


ध्यान दें कि अधिकतम उपसमूहों की तालिकाओं में अक्सर सूक्ष्म त्रुटियां पाई गई हैं, और विशेष रूप से नीचे दी गई सूची के कम से कम दो उपसमूहों को कुछ पिछली सूचियों से गलत तरीके से हटा दिया गया था।
ध्यान दें कि अधिकतम उपसमूहों की तालिकाओं में अक्सर सूक्ष्म त्रुटियां पाई गई हैं, और विशेष रूप से नीचे दी गई सूची के कम से कम दो उपसमूहों को कुछ पिछली सूचियों से गलत तरीके से हटा दिया गया था।
Line 111: Line 110:


== यह भी देखें ==
== यह भी देखें ==
* [[सुपरसिंगुलर प्राइम (चांदनी सिद्धांत)]], अभाज्य संख्याएं जो राक्षस के क्रम को विभाजित करती हैं
* [[सुपरसिंगुलर प्राइम (चांदनी सिद्धांत)]], अभाज्य संख्याएं जो मॉन्स्टर के क्रम को विभाजित करती हैं


==उद्धरण==
==उद्धरण==

Revision as of 21:46, 30 November 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] एक साधारण समूह के रूप में जिसमें फिशर के शिशु मॉन्स्टर समूह का एक डबल कवरिंग समूह सम्मिलित है जो एक इनवोल्यूशन (समूह सिद्धांत) के सेंट्रलाइज़र और सामान्याइज़र के रूप में है। कुछ महीनों के भीतर, थॉम्पसन ऑर्डर फॉर्मूला का उपयोग करके ग्रिज़ द्वारा एम का ऑर्डर पाया गया, और फिशर, जॉन हॉर्टन कॉनवे, नॉर्टन और थॉम्पसन ने अन्य समूहों को उप-समूह के रूप में खोजा, जिनमें कई ज्ञात विकीर्ण समूह और दो नए समूह सम्मिलित थे: थॉम्पसन समूह (परिमित) और हरदा-नॉर्टन समूह। मॉन्स्टर के चरित्र सिद्धांत, एक 194-बाई-194 सरणी, की गणना 1979 में फिशर और डोनाल्ड लिविंगस्टोन द्वारा माइकल थॉर्न द्वारा लिखित कंप्यूटर प्रोग्राम का उपयोग करके की गई थी। 1970 के दशक में यह स्पष्ट नहीं था कि मॉन्स्टर वास्तव में अस्तित्व में था या नहीं। ग्रिएस[3] ने एम को ग्रिज़ बीजगणित के ऑटोमोर्फिज्म समूह के रूप में निर्मित किया, जो वास्तविक संख्याओं पर एक 196,884-आयामी क्रमविनिमेय गैर-सहयोगी बीजगणित है; उन्होंने पहली बार 14 जनवरी, 1980 को एन आर्बर में अपने निर्माण की घोषणा की। अपने 1982 के पेपर में, उन्होंने मॉन्स्टर को फ्रेंडली जाइंट के रूप में संदर्भित किया, लेकिन इस नाम को आम तौर पर अपनाया नहीं गया है। जॉन कॉनवे[4] और जैक्स टिट्स[5][6]बाद में इस निर्माण को सरल बनाया गया।

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

मॉन्स्टर विकीर्ण सरल समूहों के विकास की परिणति था और इसे तीन में से किन्हीं दो उपसमूहों से बनाया जा सकता है: फिशर समूह Fi24, बेबी मॉन्स्टर, और कॉनवे समूह कंपनी1.

शूर गुणक और मॉन्स्टर का बाहरी ऑटोमोर्फिज्म समूह दोनों तुच्छ समूह हैं।

अभ्यावेदन

फेथफुल रिप्रजेंटेशन कॉम्प्लेक्स रिप्रेजेंटेशन की न्यूनतम डिग्री 47 × 59 × 71 = 196,883 है, इसलिए यह एम के क्रम के तीन सबसे बड़े अभाज्य विभाजकों का उत्पाद है। किसी भी क्षेत्र पर सबसे छोटे वफादार रैखिक प्रतिनिधित्व का आयाम दो तत्वों वाले क्षेत्र पर 196,882 है, जो सबसे छोटे वफादार जटिल प्रतिनिधित्व के आयाम से केवल एक कम है।

मॉन्स्टर का सबसे छोटा वफादार क्रमपरिवर्तन प्रतिनिधित्व चालू है 24·37·53·74 · 11 · 132 · 29 · 41 · 59 · 71 (लगभग 1020) अंक.

मॉन्स्टर को तर्कसंगत संख्याओं पर गैलोज़ समूह के रूप में महसूस किया जा सकता है,[10] और हर्विट्ज़ समूह के रूप में।[11]

मॉन्स्टर सरल समूहों के बीच असामान्य है क्योंकि इसके तत्वों का प्रतिनिधित्व करने का कोई आसान तरीका नहीं है। यह इसके आकार के कारण इतना अधिक नहीं है जितना कि छोटे प्रतिनिधित्वों की अनुपस्थिति के कारण है। उदाहरण के लिए, सरल समूह ए100 और एस.एल20(2) बहुत बड़े हैं लेकिन गणना करना आसान है क्योंकि उनमें छोटे क्रमपरिवर्तन या रैखिक प्रतिनिधित्व हैं। वैकल्पिक समूह, जैसे ए100, क्रमपरिवर्तन निरूपण हैं जो समूह के आकार की तुलना में छोटे हैं, और झूठ प्रकार के समूह के सभी सीमित सरल समूह, जैसे एसएल20(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 3 है1+12.2.सुज.2, जहां सुज सुजुकी समूह (गणित) है। मॉन्स्टर के तत्वों को एच और एक अतिरिक्त जनरेटर टी के तत्वों में शब्दों के रूप में संग्रहीत किया जाता है। वी में एक वेक्टर पर इन शब्दों में से एक की कार्रवाई की गणना करना उचित रूप से त्वरित है। इस क्रिया का उपयोग करके, गणना करना संभव है (जैसे) मॉन्स्टर के एक तत्व के आदेश के रूप में)। विल्सन ने वैक्टर यू और वी प्रदर्शित किए हैं जिनका संयुक्त स्टेबलाइजर तुच्छ समूह है। इस प्रकार (उदाहरण के लिए) कोई सबसे छोटा i > 0 ज्ञात करके मॉन्स्टर के तत्व g के क्रम की गणना कर सकता है जैसे कि gमैंu = आप और जीiv = 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 के सेक्सटिक वक्र को ब्रिंग्स कर्व के नाम से जाना जाता है।

अधिकतम उपसमूह

26 विकीर्ण सरल समूहों का आरेख, उप-भाग संबंधों को दर्शाता है।

मॉन्स्टर के पास अधिकतम उपसमूहों के कम से कम 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.26(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-उपसमूह का सामान्यीकरणकर्ता

यह भी देखें

उद्धरण

  1. Gardner 1980, pp. 20–33.
  2. Griess 1976, pp. 113–118.
  3. Griess 1982, pp. 1–102.
  4. Conway 1985, pp. 513–540.
  5. Tits 1983, pp. 105–122.
  6. Tits 1984, pp. 491–499.
  7. Thompson 1979, pp. 340–346.
  8. Norton 1985, pp. 271–285.
  9. Griess, Meierfrankenfeld & Segev 1989, pp. 567–602.
  10. Thompson 1984, p. 443.
  11. Wilson 2001, pp. 367–374.
  12. Seysen, Martin. "एमएमग्रुप एपीआई संदर्भ". Retrieved 31 July 2022.
  13. Seysen, Martin (8 Mar 2022). "मॉन्स्टर समूह का तेजी से कार्यान्वयन". arXiv:2203.04223 [math.GR].
  14. Seysen, Martin (13 May 2020). "राक्षस का एक कंप्यूटर-अनुकूल निर्माण". arXiv:2002.10921 [math.GR].
  15. Wilson, Robert A. (18 Oct 2013). "द मॉन्स्टर और ब्लैक-बॉक्स समूह". arXiv:1310.5016 [math.GR].
  16. 16.0 16.1 16.2 16.3 Dietrich, Lee & Popiel 2023.
  17. Borcherds 2002, p. 1076.
  18. Borcherds 2002, p. 1077.
  19. Conway & Norton 1979, pp. 308–339.
  20. Haran 2014, 7:57.
  21. Masters 2019.
  22. Duncan 2008.
  23. le Bruyn 2009.
  24. He & McKay 2015.
  25. Ronan 2006.
  26. Wilson 2010, pp. 393–403.
  27. 27.0 27.1 Norton & Wilson 2013, pp. 943–962.
  28. Wilson 2016, pp. 355–364.
  29. 29.0 29.1 Holmes & Wilson 2008, pp. 2653–2667.
  30. Holmes & Wilson 2004, pp. 141–152.
  31. Holmes & Wilson 2002, pp. 435–447.


स्रोत

अग्रिम पठन


बाहरी संबंध