मॉन्स्टर समूह

From Vigyanwiki

अमूर्त बीजगणित के क्षेत्र में जिसे समूह सिद्धांत के रूप में जाना जाता है, मॉन्स्टर समूह 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 में रिचर्ड इवेन बोरचर्ड्स द्वारा सिद्ध किया गया था।

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

कॉनवे सहित अनेक गणितज्ञों ने मॉन्स्टर को एक सुंदर और अभी भी रहस्यमय वस्तु के रूप में देखा है। कॉनवे ने मॉन्स्टर समूह के बारे में कहा: इसका कोई स्पष्टीकरण कभी नहीं दिया गया है कि यह वहां क्यों है, और यह स्पष्ट रूप से सिर्फ संयोग से वहां नहीं है। इसमें इतने रोचक गुण हैं कि यह सब सिर्फ एक दुर्घटना बनकर रह जाएगा।[20] मॉन्स्टर समूह के गुणों के विशेषज्ञ साइमन पी. नॉर्टन को यह कहते हुए उद्धृत किया गया है, मैं एक वाक्य में समझा सकता हूं कि मॉन्स्टरी मूनशाइन क्या है, यह भगवान की आवाज है।[21]

मैके का E8 अवलोकन

मॉन्स्टर और विस्तारित डायनकिन आरेख के मध्य भी संबंध हैं, विशेष रूप से आरेख के नोड्स और मॉन्स्टर में कुछ संयुग्मी वर्गों के मध्य, जिसे मैके के E8 अवलोकन के रूप में जाना जाता है।[22][23][24] इसके पश्चात् इसे विस्तारित आरेखों और समूह 3.Fi24', 2.B, और M के मध्य एक संबंध तक बढ़ाया जाता है, जहां यह फिशर समूह, बेबी मॉन्स्टर समूह और मॉन्स्टर के (3/2/1-गुना केंद्रीय विस्तार) हैं। यह मॉन्स्टर में प्रकार 1A, 2A और 3A के तत्वों के केंद्रीकरणकर्ताओं से जुड़े विकीर्ण समूह हैं, और विस्तार का क्रम आरेख की समरूपता के समान है। एडीई वर्गीकरण देखें: आगे के कनेक्शन के लिए ट्रिनिटी (मैकके पत्राचार प्रकार के), जिसमें (मॉन्स्टर के लिए) किन्तु छोटे सरल समूह पीएसएल (2,11) और एक कैनोनिक के 120 ट्रिटेंजेंट समतलों के साथ सम्मिलित हैं जीनस 4 के सेक्सटिक वक्र को ब्रिंग्स कर्व के नाम से जाना जाता है।

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

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

मॉन्स्टर के पास अधिकतम उपसमूहों के कम से कम 46 संयुग्मी वर्ग हैं। लगभग 60 समरूपता प्रकारों के गैर-एबेलियन सरल समूह उपसमूहों के रूप में या उपसमूहों के भागफल के रूप में पाए जाते हैं। प्रतिनिधित्व करने वाला सबसे बड़ा वैकल्पिक समूह A12 है।

मॉन्स्टर में 26 विकीर्ण समूहों में से 20 को उप-भाग के रूप में सम्मिलित किया गया है। मार्क रोनन की पुस्तक सिमिट्री एंड द मॉन्स्टर में से एक पर आधारित यह आरेख दर्शाता है कि वे एक साथ कैसे फिट होते हैं।[25] पंक्तियाँ ऊपरी समूह द्वारा निचले समूह को उपभाग के रूप में सम्मिलित करने का संकेत देती हैं। गोलाकार चिह्न उन समूहों को दर्शाते हैं जो बड़े विकीर्ण समूहों में सम्मिलित नहीं हैं। स्पष्टता के लिए अनावश्यक समावेशन नहीं दिखाए गए हैं।

मॉन्स्टर के अधिकतम उपसमूहों के 46 वर्ग निम्नलिखित सूची में दिए गए हैं। विल्सन एट के अप्रकाशित कार्यों को ध्यान में रखते हुए यह सूची पूर्ण मानी गई थी। हम U3(4), L2(8), और L2(16) रूप के गैर-एबेलियन सरल सॉकल (गणित) वाले किसी भी लगभग सरल उपसमूह को निरस्त कर रहे हैं।[26][27][28] चूँकि, पश्चात् वाले का डायट्रिच एट अल द्वारा खंडन किया गया, जिन्होंने U3(4) फॉर्म का एक नया अधिकतम उपसमूह पाया था। L2(8) की स्थिति निर्धारित की जानी शेष है।[16]

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

  • 2.B  किसी इन्वॉल्वमेंट का केंद्रीकरणकर्ता; इसमें सिलो 47-उपसमूह का नॉर्मलाइज़र (47:23) × 2 सम्मिलित है
  • 21+24.Co1  किसी इन्वॉल्वमेंट का केंद्रीकरणकर्ता
  • 3.Fi24   क्रम 3 के उपसमूह का सामान्यीकरण; इसमें साइलो 29-उपसमूह का नॉर्मलाइज़र ((29:14) × 3.2) सम्मिलित है
  • 22.2E6(22):S3  क्लेन 4-समूह का सामान्यीकरणकर्ता
  • 210+16.O10+(2)
  • 22+11+22.(M24 × S3)   क्लेन 4-समूह का सामान्यीकरणकर्ता; इसमें नॉर्मलाइज़र (23:11) × S4 सम्मिलित है सिलो 23-उपसमूह का
  • 31+12.2z.2   क्रम 3 के उपसमूह का सामान्यीकरण
  • 25+10+20. (S3 × L5(2))
  • S3 × Th   क्रम 3 के उपसमूह का सामान्यीकरण; इसमें नॉर्मलाइज़र (31:15) × S3 सम्मिलित है सिलो 31-उपसमूह का
  • 23+6+12+18.(L3(2)×3S6)
  • 38.O8(3).23
  • (D10 × HN).2   क्रम 5 के उपसमूह का सामान्यीकरणकर्ता
  • (32:2×O8+(3)).S4
  • 32+5+10.(M11 × 2S4)
  • 33+2+6+6:(L3(3) × SD16)
  • 51+6:2J2:4   क्रम 5 के उपसमूह का सामान्यीकरणकर्ता
  • (7:3 × He):2   क्रम 7 के उपसमूह का सामान्यीकरणकर्ता
  • (A5 × A12):2
  • 53+3.(2 × L3(5))
  • (A6 × A6 × A6).(2 × S4)
  • (A5 × U3(8):31):2   में नॉर्मलाइज़र ((19:9) × A5) सम्मिलित है:सिलो 19-उपसमूह का 2
  • 52+2+4:(S3 × GL2(5))
  • (L3(2) × S4(4):2).2   में नॉर्मलाइज़र ((17:8) × L3(2)).2 सम्मिलित है सिलो 17-उपसमूह का
  • 71+4:(3×2S7)   क्रम 7 के उपसमूह का सामान्यीकरणकर्ता
  • (52:4.22× U3(5)).S3
  • (L2(11)× M12):2   में नॉर्मलाइज़र (11:5 × M) सम्मिलित है12):क्रम 11 के एक उपसमूह का 2
  • (A7 × (A5 × A5):22):2
  • 54:(3×2L2(25)):22
  • 72+1+2:GL2(7)
  • M11 × A6.22
  • (S5 × S5 × S5):S3
  • (L2(11) × L2(11)):4
  • 132:2L2(13).4
  • (72:(3×2A4) × L2(7)):2
  • (13:6 × L3(3)).2   क्रम 13 के उपसमूह का सामान्यीकरणकर्ता
  • 131+2:(3×4S4)   क्रम 13 के उपसमूह का सामान्यीकरणकर्ता; सिलो 13-उपसमूह का सामान्यीकरणकर्ता
  • U3(4):4  [16]
  • L2(71)   में साइलो 71-उपसमूह का नॉर्मलाइज़र 71:35 सम्मिलित है[29]
  • L2(59)   में साइलो 59-उपसमूह का नॉर्मलाइज़र 59:29 सम्मिलित है[30]
  • 112:(5×2A5)   सिलो 11-उपसमूह का सामान्यीकरणकर्ता।
  • L2(41)   नॉर्टन और विल्सन ने इस रूप का अधिकतम उपसमूह पाया; ज़वार्नित्सिन द्वारा बताई गई एक सूक्ष्म त्रुटि के कारण कुछ पिछली सूचियों और कागजात में कहा गया था कि ऐसा कोई अधिकतम उपसमूह उपस्थित नहीं था[27]
  • L2(29):2  [31]
  • 72: SL2(7)   इसे गलती से 7-स्थानीय उपसमूहों की कुछ पिछली सूचियों से हटा दिया गया था
  • L2(19):2  [29]
  • L2(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.


स्रोत

अग्रिम पठन


बाहरी संबंध