परिमित सरल समूहों का वर्गीकरण: Difference between revisions

Revision as of 11:40, 31 May 2023

गणित में, परिमित सरल समूहों का वर्गीकरण समूह सिद्धांत का एक परिणाम है जिसमें कहा गया है कि प्रत्येक परिमित सरल समूह या तो चक्रीय है, या वैकल्पिक है, या यह एक विस्तृत अनंत वर्ग से संबंधित है जिसे झूठ प्रकार के समूह कहा जाता है, या फिर यह इनमें से एक है छब्बीस या सत्ताईस अपवाद, छिटपुट कहलाते हैं। प्रूफ में लगभग 100 लेखकों द्वारा लिखे गए कई सौ जर्नल लेखों में हजारों पृष्ठ हैं, जो अधिकत्तर 1955 और 2004 के बीच प्रकाशित हुए हैं।

सरल समूहों को सभी परिमित समूह के मूलभूत निर्माण खंडों के रूप में देखा जा सकता है जिस तरह से अभाज्य संख्याएँ प्राकृतिक संख्याओं के मूल निर्माण खंड हैं। जॉर्डन-होल्डर प्रमेय परिमित समूहों के बारे में इस तथ्य को बताने का एक अधिक स्पष्ट विधि है। चूँकि पूर्णांक गुणनखंड से एक महत्वपूर्ण अंतर यह है कि ऐसे बिल्डिंग ब्लॉक्स एक अद्वितीय समूह को आवश्यक रूप से निर्धारित नहीं करते हैं क्योंकि एक ही रचना श्रृंखला के साथ कई गैर-समरूपी समूह हो सकते हैं या दूसरे तरीके से कहें तो समूह विस्तार या विस्तार समस्या नहीं है एक अनूठा समाधान है।

डेनियल गोरेंस्टीन (d.1992) रिचर्ड ल्योंस (गणितज्ञ) और रोनाल्ड सोलोमन धीरे-धीरे प्रमाण का एक सरलीकृत और संशोधित संस्करण प्रकाशित कर रहे हैं।

वर्गीकरण प्रमेय का कथन

Theorem — Every finite simple group is isomorphic to one of the following groups:

a member of one of three infinite classes of such, namely:
- the cyclic groups of prime order,
- the alternating groups of degree at least 5,
- the groups of Lie type^{[note 1]}
one of 26 groups called the "sporadic groups"
the Tits group (which is sometimes considered a 27th sporadic group).^{[note 1]}

परिमित सरल समूहों का वर्गीकरण

वर्गीकरण प्रमेय में गणित की कई शाखाओं में अनुप्रयोग हैं क्योंकि परिमित समूहों की संरचना (और अन्य गणितीय वस्तुओं पर उनकी क्रिया) के बारे में प्रश्नों को कभी-कभी परिमित सरल समूहों के प्रश्नों के रूप में कम किया जा सकता है। वर्गीकरण प्रमेय के लिए धन्यवाद, कभी-कभी साधारण समूहों के प्रत्येक वर्ग और प्रत्येक छिटपुट समूह की जाँच करके ऐसे प्रश्नों का उत्तर दिया जा सकता है।

डैनियल गोरेंस्टीन ने 1983 में घोषणा की कि परिमित सरल समूहों को सभी वर्गीकृत किया गया था चूँकि यह समय से पहले था क्योंकि उन्हें क्वासिथिन समूह के वर्गीकरण के प्रमाण के बारे में गलत जानकारी दी गई थी। वर्गीकरण का पूर्ण प्रमाण किसके द्वारा घोषित किया गया था Aschbacher (2004) एशबैकर और स्मिथ द्वारा लापता क्वासिथिन स्थिति के लिए 1221-पृष्ठ का प्रमाण प्रकाशित करने के बाद।

वर्गीकरण प्रमेय के प्रमाण का अवलोकन

Gorenstein (1982, 1983) ने प्रमाण के निम्न पद और विचित्र विशेषता भाग को रेखांकित करते हुए दो खंड लिखे, और Michael Aschbacher, Richard Lyons, and Stephen D. Smith et al. (2011) शेष विशेषता 2 स्थिति को कवर करते हुए एक तीसरा खंड लिखा। प्रमाण को कई प्रमुख टुकड़ों में विभाजित किया जा सकता है:

छोटे 2-पद के समूह

एक समूह के निम्न पद के सरल समूह या सामान्यीकरण और संबंधित धारणाएं 2-पद अधिकत्तर विचित्र विशेषता के क्षेत्रों पर झूठ प्रकार के छोटे पद के समूह होते हैं साथ में पांच वैकल्पिक और सात विशेषता 2 प्रकार और नौ छिटपुट समूह होते हैं।

छोटे 2-पद के साधारण समूहों में सम्मिलित हैं:

2-पद 0 के समूह दूसरे शब्दों में विषम क्रम के समूह जो सभी फीट-थॉम्पसन प्रमेय द्वारा हल करने योग्य समूह हैं।
2-पद 1 के समूह साइलो 2-उपसमूह या तो चक्रीय होते हैं जिन्हें ट्रांसफर मैप का उपयोग करके संभालना आसान होता है, या सामान्यीकृत चतुष्कोण जिन्हें ब्राउर-सुजुकी प्रमेय के साथ नियंत्रित किया जाता है: विशेष रूप से 2 के कोई सरल समूह नहीं हैं क्रम दो के चक्रीय समूह को छोड़कर -पद 1 है
2-पद 2 के समूह एल्पेरिन ने दिखाया कि सिलो उपसमूह को डायहेड्रल क्वासिडहेड्रल, पुष्पांजलि, या U₃(4).का एक सिलो 2-उपसमूह होना चाहिए। पहला स्थिति गोरेंस्टीन-वाल्टर प्रमेय द्वारा किया गया था जिसमें दिखाया गया था कि केवल सरल समूह L₂(q) के लिए आइसोमोर्फिक हैं q विषम या A₇ के लिए दूसरा और तीसरा स्थिति एल्परिन-ब्रुएर-गोरेंस्टीन प्रमेय द्वारा किया गया था, जिसका अर्थ है कि केवल सरल समूह L₃(q) या U₃(q) q के लिए आइसोमोर्फिक हैं विषम या M₁₁ के लिए और आखिरी स्थिति ल्योंस द्वारा किया गया था जिसने दिखाया कि U₃(4) एकमात्र सरल संभावना है।
अधिकतम 4 पर अनुभागीय 2-पद के समूह, गोरेंस्टीन-हरदा प्रमेय द्वारा वर्गीकृत।

छोटे 2-पद के समूहों का वर्गीकरण, विशेष रूप से अधिकतम 2 पद साधारण और मॉड्यूलर चरित्र सिद्धांत का भारी उपयोग करता है जो वर्गीकरण में कहीं और सीधे उपयोग नहीं किया जाता है।

छोटे 2 पद के नहीं सभी समूहों को दो प्रमुख वर्गों में विभाजित किया जा सकता है: घटक प्रकार के समूह और विशेषता 2 प्रकार के समूह इसका कारण यह है कि यदि किसी समूह में अनुभागीय 2-पद कम से कम 5 है तो मैकविलियम्स ने दिखाया है कि इसके साइलो 2-उपसमूह जुड़े हुए हैं और संतुलन प्रमेय का अर्थ है कि जुड़ा हुआ सिलो 2-उपसमूह वाला कोई भी सरल समूह या तो घटक प्रकार या विशेषता 2 प्रकार का है . (निम्न 2-पद के समूहों के लिए इसका प्रमाण टूट जाता है क्योंकि प्रमेय जैसे संकेतक कारक प्रमेय केवल उन समूहों के लिए काम करते हैं जिनके पद के प्राथमिक एबेलियन उपसमूह कम से कम 3 हैं।)

घटक प्रकार के समूह

एक समूह को घटक प्रकार का कहा जाता है यदि किसी अंतर्वलन के कुछ केंद्रक C के लिए, C/O(C) में एक घटक होता है (जहाँ O(C) C का मूल है विषम क्रम का अधिकतम सामान्य उपसमूह)। ये कमोबेश कुछ छिटपुट समूहों के साथ बड़े पद की विचित्र विशेषता के झूठ प्रकार के समूह और वैकल्पिक समूह हैं। इस स्थिति में एक प्रमुख कदम एक समावेशन के मूल की बाधा को खत्म करना है। यह बी-प्रमेय द्वारा पूरा किया गया है, जिसमें कहा गया है कि C/O(C) का प्रत्येक घटक C के एक घटक की छवि है।

विचार यह है कि इन समूहों के पास एक घटक के साथ एक समावेशन का केंद्रीकरण होता है जो कि एक छोटा अर्ध-सरल समूह होता है, जिसे पहले से ही प्रेरण द्वारा जाना जा सकता है। तो इन समूहों को वर्गीकृत करने के लिए प्रत्येक ज्ञात परिमित सरल समूह के प्रत्येक केंद्रीय विस्तार को लेता है, और सभी सरल समूहों को एक घटक के रूप में सम्मिलित करने के केंद्रीकरण के साथ पाता है। यह जांच करने के लिए अलग-अलग स्थिति की एक बड़ी संख्या देता है: न केवल 26 छिटपुट समूह और झूठ प्रकार के समूहों के 16 वर्ग और वैकल्पिक समूह हैं चूँकि छोटे पद या छोटे क्षेत्रों के कई समूह सामान्य से अलग व्यवहार करते हैं स्थिति और अलग से व्यवहार किया जाना है और सम और विषम विशेषताओं के झूठ प्रकार के समूह भी अधिक भिन्न हैं।

विशेषता 2 प्रकार के समूह

प्रत्येक 2-स्थानीय उपसमूह Y का सामान्यीकृत फिटिंग उपसमूह F*(Y) एक 2-समूह है तो एक समूह विशेषता 2 प्रकार का है। जैसा कि नाम से पता चलता है कि ये सामान्यतः विशेषता 2 के क्षेत्रों में झूठ प्रकार के समूह हैं साथ ही कुछ मुट्ठी भर अन्य जो वैकल्पिक या छिटपुट या विषम विशेषता वाले हैं। उनके वर्गीकरण को छोटे और बड़े पद के स्थिति में विभाजित किया गया है, जहां पद विषम एबेलियन उपसमूह का सबसे बड़ा पद है जो एक गैर-तुच्छ 2-उपसमूह को सामान्य करता है जो अक्सर (चूँकि सदैव नहीं) कार्टन सबलजेब्रा के पद के समान होता है जब समूह लाई प्रकार का एक समूह है जिसकी विशेषता 2 है।

पद 1 समूह पतले समूह हैं जिन्हें एशबैकर द्वारा वर्गीकृत किया गया है और पद 2 वाले कुख्यात क्वासिथिन समूह हैं जिन्हें एशबैकर और स्मिथ द्वारा वर्गीकृत किया गया है। ये सामान्यतः लाई प्रकार के पद 1 या 2 के समूह के अनुरूप होते हैं जो विशेषता 2 के क्षेत्रों में होते हैं।

पद के कम से कम 3 के समूह को ट्राइकोटॉमी प्रमेय द्वारा 3 वर्गों में विभाजित किया गया है, पद 3 के लिए एशबैकर द्वारा और कम से कम 4 पद के लिए गोरेनस्टीन और लियोन द्वारा सिद्ध किया गया है।

तीन वर्ग जीएफ (2) प्रकार के समूह हैं (मुख्य रूप से टिम्सफेल्ड द्वारा वर्गीकृत) कुछ विषम प्राइम के लिए मानक प्रकार के समूह (गिलमैन-ग्रिस प्रमेय द्वारा वर्गीकृत और कई अन्य लोगों द्वारा काम) और विशिष्टता प्रकार के समूह जहां एक परिणाम एशबैकर का तात्पर्य है कि कोई सरल समूह नहीं हैं।

सामान्य उच्च पद के स्थिति में कम से कम 3 या 4 पद के विशेषता 2 के क्षेत्रों में अधिकत्तर झूठ प्रकार के समूह होते हैं।

सरल समूहों का अस्तित्व और विशिष्टता

वर्गीकरण का मुख्य भाग प्रत्येक सरल समूह का लक्षण वर्णन करता है। इसके बाद यह जांचना आवश्यक है कि प्रत्येक लक्षण वर्णन के लिए एक सरल समूह उपस्थित है और यह अद्वितीय है। यह बड़ी संख्या में अलग-अलग समस्याएं देता है उदाहरण के लिए राक्षस समूह के अस्तित्व और विशिष्टता के मूल प्रमाण कुल मिलाकर लगभग 200 पृष्ठ थे और थॉम्पसन और बॉम्बिएरी द्वारा री समूहों की पहचान वर्गीकरण के सबसे कठिन भागों में से एक था। कई अस्तित्व प्रमाण और छिटपुट समूहों के लिए कुछ विशिष्ट प्रमाण मूल रूप से कंप्यूटर गणनाओं का उपयोग करते थे जिनमें से अधिकांश को छोटे हस्त प्रमाणों द्वारा प्रतिस्थापित किया गया है।

प्रमाण का इतिहास

गोरेंस्टीन का कार्यक्रम

1972 में गोरेंस्टीन (1979, अनुबंध) ने निम्नलिखित 16 चरणों वाले परिमित सरल समूहों के वर्गीकरण को पूरा करने के लिए एक कार्यक्रम की घोषणा की:

निम्न 2-पद के समूह यह अनिवार्य रूप से गोरेंस्टीन और हराडा द्वारा किया गया था जिन्होंने समूहों को अनुभागीय 2-पद के साथ अधिकतम 4 में वर्गीकृत किया था। गोरेनस्टीन ने अपने कार्यक्रम की घोषणा के समय तक 2-पद के अधिकांश स्थिति 2 किए गए थे।
2-परतों की अर्धसरलता। समस्या यह सिद्ध करने के लिए है कि एक साधारण समूह में सम्मिलित होने के केंद्रक की 2-परत अर्धसरल है।
विषम विशेषता में मानक रूप यदि किसी समूह में 2-घटक के साथ एक अंतर्वलन है जो कि झूठ प्रकार की विषम विशेषता का एक समूह है तो लक्ष्य यह दिखाना है कि इसमें मानक रूप में सम्मिलित होने का एक केंद्रक है जिसका अर्थ है कि समावेशन के एक केंद्रक में एक घटक है जो झूठ का है विषम विशेषता में टाइप करें और 2-पद 1 का केंद्रक भी है।
विषम प्रकार के समूहों का वर्गीकरण समस्या यह दिखाने के लिए है कि यदि किसी समूह में मानक रूप में सम्मिलित होने का एक केंद्रक है तो यह लाई प्रकार की विषम विशेषता का समूह है। यह एशबैकर के मौलिक समावेशन प्रमेय द्वारा हल किया गया था।
अर्ध-मानक रूप
केंद्रीय निवेश
वैकल्पिक समूहों का वर्गीकरण।
कुछ छिटपुट समूह
पतले समूह। साधारण पतले परिमित समूह जिनके पास विषम अभाज्य p के लिए अधिकतम 1 पर 2-स्थानीय p-पद है, को 1978 में एशबैकरद्वारा वर्गीकृत किया गया था।
पी विषम के लिए एक शक्तिशाली पी-एम्बेडेड उपसमूह के साथ समूह
विषम अभाज्य संख्याओं के लिए सिग्नलाइज़र कारक विधि मुख्य समस्या गैर-सॉल्वेबल सिग्नललाइज़र कारको के लिए सिग्नलाइज़र कारक प्रमेय सिद्ध करना है। इसे 1982 में मैकब्राइड द्वारा हल किया गया था।
विशेषता पी प्रकार के समूह यह उन समूहों की समस्या है जिनमें p-एम्बेडेड 2-स्थानीय उपसमूह p विषम के साथ है जिसे एशबैकरद्वारा नियंत्रित किया गया था।
क्वासिथिन समूह एक क्वासिथिन समूह वह है जिसके 2-स्थानीय उपसमूहों में सभी विषम अभाज्य p के लिए अधिकतम 2 p-पद है और समस्या 2 प्रकार की विशेषता वाले सरल लोगों को वर्गीकृत करना है। यह 2004 में एशबैकर और स्मिथ द्वारा पूरा किया गया था।
निम्न 2-स्थानीय 3-पद के समूह। यह e(G)=3. वाले समूहों के लिए एशबैकर के ट्राइकोटॉमी प्रमेय द्वारा अनिवार्य रूप से हल किया गया था। मुख्य परिवर्तन यह है कि 2-लोकल 3-पद को ऑड प्राइम्स के लिए 2-लोकल पी-पद से बदल दिया गया है।
मानक रूप में 3-तत्वों के केंद्र यह अनिवार्य रूप से ट्राइकोटॉमी प्रमेय द्वारा किया गया था।
विशेषता 2 प्रकार के सरल समूहों का वर्गीकरण यह गिल्मन-ग्रिस प्रमेय द्वारा नियंत्रित किया गया था जिसमें 3-तत्वों को विषम प्राइम्स के लिए पी-तत्वों द्वारा प्रतिस्थापित किया गया था।

प्रमाण की समयरेखा

नीचे दी गई सूची में से कई मदों से लिया जाता है सोलोमन (2001). दी गई तिथि सामान्यतः एक परिणाम के पूर्ण प्रमाण की प्रकाशन तिथि होती है जो कभी-कभी प्रमाण या परिणाम की पहली घोषणा के कई साल बाद होती है इसलिए कुछ आइटम गलत क्रम में दिखाई देते हैं।

Date of publication
1832	गाल्वा सामान्य उपसमूहों का परिचय देता है और साधारण समूहों A_n (n ≥ 5) और PSL₂(F_p) (p ≥ 5) का पता लगाता है।
1854	केली अमूर्त समूहों को परिभाषित करता है
1861	मैथ्यू पहले दो मैथ्यू समूहों M₁₁, M₁₂, पहले छिटपुट सरल समूहों का वर्णन करता है, और M₂₄के अस्तित्व की घोषणा करता है।
1870	जॉर्डन कुछ सरल समूहों को सूचीबद्ध करता है: वैकल्पिक और प्रक्षेपी विशेष रैखिक वाले, और सरल समूहों के महत्व पर जोर देते हैं।
1872	साइलो साइलो प्रमेयों को सिद्ध करता है
1873	मैथ्यू ने तीन और मैथ्यू समूह M₂₂, M₂₃, M₂₄. का परिचय दिया।
1892	होल्डर सिद्ध करते हैं कि किसी भी गैर एबेलियन परिमित सरल समूह का क्रम कम से कम चार (जरूरी नहीं कि अलग-अलग) अभाज्य संख्याओं का उत्पाद होना चाहिए और परिमित सरल समूहों के वर्गीकरण के लिए कहता है।
1893	कोल 660 तक के क्रम के सरल समूहों को वर्गीकृत करता है
1896	फ्रोबेनियस और बर्नसाइड परिमित समूहों के चरित्र सिद्धांत का अध्ययन प्रारंभ करते हैं।
1899	बर्नसाइड सरल समूहों को वर्गीकृत करता है जैसे कि प्रत्येक समावेशन का केंद्रक एक गैर-तुच्छ प्राथमिक एबेलियन 2-समूह है।
1901	फ्रोबेनियस सिद्ध करता है कि एक फ्रोबेनियस समूह में फ्रोबेनियस कर्नेल है, इसलिए विशेष रूप से सरल नहीं है।
1901	डिक्सन इच्छानुसार परिमित क्षेत्रों पर मौलिक समूहों को परिभाषित करता है और विषम विशेषता वाले क्षेत्रों पर G2 प्रकार के असाधारण समूहों को परिभाषित करता है।
1901	डिक्सन E₆ प्रकार के असाधारण परिमित सरल समूहों का परिचय देता है।
1904	बर्नसाइड बर्नसाइड के प्रमेय को सिद्ध करने के लिए चरित्र सिद्धांत का उपयोग करता है कि किसी भी गैर-अबेलियन परिमित सरल समूह का क्रम कम से कम 3 अलग-अलग प्राइम्स से विभाज्य होना चाहिए।
1905	डिक्सन समान विशेषता वाले क्षेत्रों में G₂ प्रकार के सरल समूहों का परिचय देता है
1911	बर्नसाइड का अनुमान है कि प्रत्येक गैर-अबेलियन परिमित सरल समूह में भी क्रम होता है
1928	हॉल हल करने योग्य समूहों के हॉल उपसमूहों के अस्तित्व को सिद्ध करता है
1933	हॉल पी-समूहों का अपना अध्ययन प्रारंभ करता है
1935	ब्राउर मॉड्यूलर वर्णों का अध्ययन प्रारंभ करता है।
1936	ज़ैसेनहॉस परिमित तीव्र 3-सकर्मक क्रमपरिवर्तन समूहों को वर्गीकृत करता है
1938	फिटिंग फिटिंग उपसमूह का परिचय देती है और फिटिंग के प्रमेय को सिद्ध करती है कि सॉल्व करने योग्य समूहों के लिए फिटिंग उपसमूह में इसका केंद्रक होता है।
1942	ब्राउर एक समूह के मॉड्यूलर वर्णों का वर्णन करता है जो एक प्रधान से पहली शक्ति तक विभाज्य है।
1954	ब्राउर GL₂(F_q) के साथ सरल समूहों को एक अंतर्वलन के केंद्रक के रूप में वर्गीकृत करता है।
1955	ब्राउर-फाउलर प्रमेय का अर्थ है कि सम्मिलित होने के केंद्रीकृत के साथ परिमित सरल समूहों की संख्या परिमित है जो वर्गीकरण के केंद्रीयकरणों का उपयोग करके वर्गीकरण पर हमले का सुझाव दे रहा है।
1955	शेवाली परिचय शेवाली समूहों का देता है विशेष रूप से F₄, E₇, और E₈. प्रकार के असाधारण सरल समूहों को प्रस्तुत करता है।
1956	हॉल-हिगमैन प्रमेय पी-सॉल्वेबल ग्रुप के प्रतिनिधित्व के लिए प्रधान शक्ति क्रम के तत्व के न्यूनतम बहुपद के लिए संभावनाओं का वर्णन करता है।
1957	सुज़ुकी दिखाता है कि विषम क्रम के सभी परिमित सरल सीए समूह चक्रीय हैं।
1958	ब्राउर-सुजुकी-वॉल प्रमेय पद 1 के प्रक्षेपी विशेष रैखिक समूहों की विशेषता है और सरल सीए समूहों को वर्गीकृत करता है।
1959	स्टाइनबर्ग ने स्टाइनबर्ग समूहों का परिचय दिया, कुछ नए परिमित सरल समूह दिए, प्रकार ³D₄ और ²E₆ (बाद वाले स्वतंत्र रूप से लगभग एक ही समय में स्तन द्वारा पाए गए थे)।
1959	सामान्य चतुर्भुज साइलो 2-उपसमूह वाले समूहों के बारे में ब्राउर-सुजुकी प्रमेय विशेष रूप से दर्शाता है कि उनमें से कोई भी सरल नहीं है।
1960	थॉम्पसन सिद्ध करता है कि प्राइम ऑर्डर के फिक्स्ड-पॉइंट-फ्री ऑटोमोर्फिज्म वाला एक समूह शून्य है।
1960	फिट, मार्शल हॉल और थॉम्पसन दिखाते हैं कि विषम क्रम के सभी परिमित सरल सीएन समूह चक्रीय हैं।
1960	सुज़ुकी ने सुज़ुकी समूहों को टाइप ²B₂ के साथ प्रस्तुत किया।
1961	री री समूह का परिचय देता है, प्रकार ²F₄ और ²G₂ के साथ।
1963	फीट और थॉम्पसन विषम क्रम प्रमेय सिद्ध करते हैं।
1964	स्तन झूठ प्रकार के समूहों के लिए बीएन जोड़े प्रस्तुत करता है और स्तन समूह पाता है
1965	गोरेंस्टीन-वाल्टर प्रमेय एक डायहेड्रल साइलो 2-उपसमूह वाले समूहों को वर्गीकृत करता है।
1966	ग्लौबरमैन Z* प्रमेय को सिद्ध करता है
1966	जांको जानको समूह J1 का परिचय देता है, जो लगभग एक सदी के लिए पहला नया छिटपुट समूह है।
1968	ग्लौबरमैन ZJ प्रमेय को सिद्ध करता है
1968	हिगमैन और सिम्स ने हिगमैन-सिम्स समूह का परिचय दिया
1968	कॉनवे कॉनवे समूहों का परिचय देता है
1969	वाल्टर का प्रमेय एबेलियन सिलो 2-उपसमूहों के साथ समूहों को वर्गीकृत करता है
1969	सुज़ुकी छिटपुट समूह, जानको समूह J2, जानको समूह J3, मैकलॉफ़लिन समूह और हेल्ड समूह का परिचय।
1969	गोरेंस्टीन ने थॉम्पसन के विचारों के आधार पर सिगनलाइज़र कारकों का परिचय दिया।
1970	मैकविलियम्स दिखाते हैं कि पद 3 के सामान्य एबेलियन उपसमूह वाले 2-समूहों में अनुभागीय 2-पद अधिक से अधिक 4 है।
1970	बेंडर ने सामान्यीकृत फिटिंग उपसमूह पेश किया
1970	अल्पेरिन-ब्रेउर-गोरेनस्टीन प्रमेय अर्ध-डायहेड्रल या पुष्पित साइलो 2-उपसमूहों के साथ समूहों को वर्गीकृत करता है, अधिकतम 2-पद के साधारण समूहों के वर्गीकरण को पूरा करता है।
1971	फिशर तीन फिशर समूहों का परिचय देता है
1971	थॉम्पसन द्विघात जोड़े को वर्गीकृत करता है
1971	बेंडर समूह को दृढ़ता से एम्बेडेड उपसमूह के साथ वर्गीकृत करता है
1972	गोरेंस्टीन परिमित सरल समूहों को वर्गीकृत करने के लिए एक 16-चरणीय कार्यक्रम प्रस्तावित करता है; अंतिम वर्गीकरण उसकी रूपरेखा का अधिक निकट से अनुसरण करता है।
1972	ल्योंस ल्योंस समूह का परिचय देता है
1973	रुडवालिस ने रुडवालिस समूह का परिचय दिया
1973	फिशर बेबी मॉन्स्टर समूह (अप्रकाशित) की खोज करता है, जिसका उपयोग फिशर और ग्रिएस मॉन्स्टर समूह की खोज के लिए करते हैं, जो बदले में थॉम्पसन को थॉम्पसन छिटपुट समूह और नॉर्टन को हराडा-नॉर्टन समूह (हरदा द्वारा एक अलग विधि से पाया गया) की ओर ले जाता है।
1974	थॉम्पसन एन-समूहों को वर्गीकृत करता है जिनके सभी स्थानीय उपसमूह हल करने योग्य हैं।
1974	गोरेंस्टीन-हरदा प्रमेय अनुभागीय 2-पद के सरल समूहों को अधिकतम 4 में वर्गीकृत करता है, शेष परिमित सरल समूहों को घटक प्रकार और विशेषता 2 प्रकार के लोगों में विभाजित करता है।
1974	टिट्स से पता चलता है कि कम से कम 3 पद वाले बीएन जोड़े वाले समूह झूठ प्रकार के समूह हैं
1974	एशबैकर समूहों को एक उचित 2-जनित कोर के साथ वर्गीकृत करता है
1975	गोरेंस्टीन और वाल्टर एल-बैलेंस प्रमेय सिद्ध करते हैं
1976	Glauberman सॉल्वेबल सिगनलाइज़र कारक प्रमेय को सिद्ध करता है
1976	एशबैकर घटक प्रमेय को सिद्ध करता है, सामान्यतः दिखा रहा है कि विषम प्रकार के समूह कुछ स्थितियों को संतुष्ट करते हैं, मानक रूप में एक घटक होता है। मानक रूप के एक घटक वाले समूहों को कई लेखकों द्वारा कागजात के एक बड़े संग्रह में वर्गीकृत किया गया था।
1976	ओ'नान ने ओ'नान समूह का परिचय दिया
1976	जांको जानको समूह J4 का परिचय देता है जो खोजा जाने वाला अंतिम छिटपुट समूह है
1977	एशबैकर अपने क्लासिकल इन्वोल्यूशन प्रमेय में लाई प्रकार के विषम लक्षणों के समूहों की विशेषता बताता है। इस प्रमेय के बाद, जो कुछ अर्थों में सरल समूहों के "अधिकांश" से संबंधित है, यह सामान्यतः अनुभव किया गया था कि वर्गीकरण का अंत निकट था।
1978	टिम्सफेल्ड ने O₂ अतिरिक्त विशेष प्रमेय को सिद्ध किया, GF(2)-प्रकार के समूहों के वर्गीकरण को कई छोटी समस्याओं में तोड़ दिया।
1978	एशबैकर पतले परिमित समूहों को वर्गीकृत करता है, जो कि अधिकतर विशेषता वाले क्षेत्रों पर झूठ प्रकार के रैंक 1 समूह हैं।
1981	बॉम्बिएरी वर्गीकरण के सबसे कठिन चरणों में से एक, री समूहों के लक्षण वर्णन पर थॉम्पसन के काम को पूरा करने के लिए उन्मूलन सिद्धांत का उपयोग करता है।
1982	मैकब्राइड सभी परिमित समूहों के लिए संकेतक कारक प्रमेय सिद्ध करता है।
1982	ग्राइस हाथ से राक्षस समूह का निर्माण करता है
1983	गिल्मन-ग्रिस प्रमेय विशेषता 2 प्रकार के समूहों को वर्गीकृत करता है और मानक घटकों के साथ कम से कम 4 रैंक करता है, ट्राइकोटॉमी प्रमेय के तीन स्थितियों में से एक है।
1983	एशबैकर सिद्ध करता है कि कोई भी परिमित समूह अद्वितीयता स्थिति की परिकल्पना को संतुष्ट नहीं करता है, ट्राइकोटॉमी प्रमेय द्वारा विशेषता 2 प्रकार के समूहों के लिए दिए गए तीन स्थितियों में से एक।
1983	गोरेंस्टीन और लियोन विशेषता 2 प्रकार के समूहों और कम से कम 4 रैंक के लिए ट्राइकोटॉमी प्रमेय सिद्ध करते हैं, जबकि एशबैकर रैंक 3 के स्थिति में करता है। यह इन समूहों को 3 उपकेस में विभाजित करता है: विशिष्टता स्थिति , GF(2) प्रकार के समूह, और समूह एक मानक घटक।
1983	गोरेंस्टीन ने घोषणा की कि वर्गीकरण का प्रमाण पूरा हो गया है, कुछ सीमा तक समय से पहले क्वैसिथिन स्थिति का प्रमाण अधूरा था।
1994	गोरेंस्टीन, ल्योंस और सोलोमन ने संशोधित वर्गीकरण का प्रकाशन प्रारंभ किया
2004	एशबैकरैंड स्मिथ ने क्वैसिथिन समूहों पर अपना काम प्रकाशित किया (जो अधिकत्तर लाई प्रकार के रैंक के समूह हैं जो कि विशेषता के अधिकतम 2 से अधिक क्षेत्रों में हैं), उस समय ज्ञात वर्गीकरण में अंतिम अंतर को भरते हैं।
2008	हरदा और सोलोमन एक मानक घटक के साथ समूहों का वर्णन करके वर्गीकरण में एक सामान्य अंतर को भरते हैं जो कि मैथ्यू समूह M22 का एक आवरण है, एक ऐसा स्थिति शूर गुणक की गणना M22 में त्रुटि के कारण गलती से वर्गीकरण के प्रमाण से छूट गया था।
2012	गोन्थियर और सहयोगी Coq प्रूफ सहायक का उपयोग करके फीट-थॉम्पसन प्रमेय के कंप्यूटर-जाँच किए गए संस्करण की घोषणा करते हैं।^[1]

दूसरी पीढ़ी का वर्गीकरण

प्रमेय का प्रमाण जैसा कि यह 1985 या उसके आसपास था को पहली पीढ़ी कहा जा सकता है। पहली पीढ़ी के प्रमाण की अत्यधिक लंबाई के कारण एक सरल प्रमाण खोजने के लिए अधिक प्रयास किया गया है जिसे 'दूसरी पीढ़ी का वर्गीकरण प्रमाण' कहा जाता है। यह प्रयास जिसे संशोधनवाद कहा जाता है मूल रूप से डैनियल गोरेंस्टीन के नेतृत्व में था।

As of 2021^[update], दूसरी पीढ़ी के प्रमाण के नौ खंड प्रकाशित किए गए हैं (गोरेंस्टीन, लियोन और सोलोमन 1994, 1996, 1998, 1999, 2002, 2005, 2018a, 2018b, 2021)। 2012 में सोलोमन ने अनुमान लगाया था कि परियोजना को और 5 संस्करणों की आवश्यकता होगी चूँकि कहा कि उन पर प्रगति धीमी थी। ऐसा अनुमान है कि नया प्रमाण अंततः लगभग 5,000 पृष्ठों को भरेगा। (यह लंबाई आंशिक रूप से दूसरी पीढ़ी के प्रमाण से अधिक आराम की शैली में लिखी जा रही है।) चूँकि जीएलएस श्रृंखला के खंड 9 के प्रकाशन के साथ, और एशबैकर-स्मिथ योगदान सहित, यह अनुमान पहले से ही कई और के साथ पहुंच गया था वॉल्यूम अभी भी तैयारी में हैं (शेष जो मूल रूप से वॉल्यूम 9 के लिए अभिप्रेत था साथ ही अनुमानित वॉल्यूम 10 और 11)। एशबैकर और स्मिथ ने अपने दो खंड क्वासिथिन केस को समर्पित इस तरह से लिखे कि वे खंड दूसरी पीढ़ी के प्रमाण का भाग हो सकते हैं।

गोरेंस्टीन और उनके सहयोगियों ने कई कारण बताए हैं कि एक सरल उपपत्ति क्यों संभव है।

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

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

प्रमाण की लंबाई

गोरेंस्टीन ने कुछ कारणों पर चर्चा की है कि कॉम्पैक्ट लाई समूहों के वर्गीकरण के समान वर्गीकरण का संक्षिप्त प्रमाण क्यों नहीं हो सकता है।

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

वर्गीकरण के परिणाम

यह खंड कुछ परिणामों को सूचीबद्ध करता है जिन्हें परिमित सरल समूहों के वर्गीकरण का उपयोग करके सिद्ध किया गया है।

श्रेयर अनुमान
संकेतक समारोह सिद्धांत
बी अनुमान
सभी समूहों के लिए शूर-ज़सेनहॉस प्रमेय (चूँकि यह केवल फीट-थॉम्पसन प्रमेय का उपयोग करता है)।
1 से अधिक तत्व वाले परिमित सेट पर एक सकर्मक क्रमचय समूह में प्राइम पावर ऑर्डर का एक निश्चित-बिंदु-मुक्त तत्व होता है।
बहु संक्रामकता का वर्गीकरण 2-सकर्मक क्रमचय समूह।
पद 3 क्रमचय समूह का वर्गीकरण।
सिम्स अनुमान^[2]
xⁿ = 1 के समाधान की संख्या पर फ्रोबेनियस का अनुमान।

यह भी देखें

ओ'नान-स्कॉट प्रमेय

↑ ^1.0 ^1.1 The infinite family of [[Ree group#Ree groups of type 2F4|Ree groups of type $2 F 4 (2 2 n +1)$ ]] contains only finite groups of Lie type. They are simple for $n \geq1$ ; for $n =0$ , the group $2 F 4 (2)$ is not simple, but it contains the simple commutator subgroup $2 F 4 (2)'$ . So, if the infinite family of commutator groups of type $2 F 4 (2 2 n +1)'$ is considered a systematic infinite family (all of Lie type except for $n =0$ ), the Tits group $T := 2 F 4 (2)'$ (as a member of this infinite family) is not sporadic.

उद्धरण

↑ "Feit–Thompson theorem has been totally checked in Coq". Msr-inria.inria.fr. 2012-09-20. Archived from the original on 2016-11-19. Retrieved 2012-09-25.
↑ Cameron, P. J.; Praeger, C. E.; Saxl, J.; Seitz, G. M. (1983). "सिम्स अनुमान और दूरी सकर्मक रेखांकन पर". Bull. London Math. Soc. 15 (5): 499–506. doi:10.1112/blms/15.5.499.

संदर्भ

Aschbacher, Michael (2004). "The Status of the Classification of the Finite Simple Groups" (PDF). Notices of the American Mathematical Society. Vol. 51, no. 7. pp. 736–740.
Aschbacher, Michael; Lyons, Richard; Smith, Stephen D.; Solomon, Ronald (2011), The Classification of Finite Simple Groups: Groups of Characteristic 2 Type, Mathematical Surveys and Monographs, vol. 172, ISBN 978-0-8218-5336-8
Conway, John Horton; Curtis, Robert Turner; Norton, Simon Phillips; Parker, Richard A; Wilson, Robert Arnott (1985), Atlas of Finite Groups: Maximal Subgroups and Ordinary Characters for Simple Groups, Oxford University Press, ISBN 978-0-19-853199-9
Gorenstein, D. (1979), "The classification of finite simple groups. I. Simple groups and local analysis", Bulletin of the American Mathematical Society, New Series, 1 (1): 43–199, doi:10.1090/S0273-0979-1979-14551-8, ISSN 0002-9904, MR 0513750
Gorenstein, D. (1982), Finite simple groups, University Series in Mathematics, New York: Plenum Publishing Corp., ISBN 978-0-306-40779-6, MR 0698782
Gorenstein, D. (1983), The classification of finite simple groups. Vol. 1. Groups of noncharacteristic 2 type, The University Series in Mathematics, Plenum Press, ISBN 978-0-306-41305-6, MR 0746470
Daniel Gorenstein (1985), "The Enormous Theorem", Scientific American, December 1, 1985, vol. 253, no. 6, pp. 104–115.
Gorenstein, D. (1986), "Classifying the finite simple groups", Bulletin of the American Mathematical Society, New Series, 14 (1): 1–98, doi:10.1090/S0273-0979-1986-15392-9, ISSN 0002-9904, MR 0818060
Gorenstein, D.; Lyons, Richard; Solomon, Ronald (1994), The classification of the finite simple groups, Mathematical Surveys and Monographs, vol. 40, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-0334-9, MR 1303592
Gorenstein, D.; Lyons, Richard; Solomon, Ronald (1996), The classification of the finite simple groups, Number 2, Mathematical Surveys and Monographs, vol. 40, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-0390-5, MR 1358135
Gorenstein, D.; Lyons, Richard; Solomon, Ronald (1998), The classification of the finite simple groups, Number 3, Mathematical Surveys and Monographs, vol. 40, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-0391-2, MR 1490581
Gorenstein, D.; Lyons, Richard; Solomon, Ronald (1999), The classification of the finite simple groups, Number 4. Part II, Chapters 1-4: Uniqueness Theorems, Mathematical Surveys and Monographs, vol. 40, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-1379-9, MR 1675976
Gorenstein, D.; Lyons, Richard; Solomon, Ronald (2002), The classification of the finite simple groups, Number 5, Mathematical Surveys and Monographs, vol. 40, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-2776-5, MR 1923000
Gorenstein, D.; Lyons, Richard; Solomon, Ronald (2005), The classification of the finite simple groups, Number 6: Part IV: The Special Odd Case, Mathematical Surveys and Monographs, vol. 40, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-2777-2, MR 2104668
Gorenstein, D.; Lyons, Richard; Solomon, Ronald (2018), The classification of the finite simple groups, Number 7: Part III, Chapters 7–11: The Generic Case, Stages 3b and 4a, Mathematical Surveys and Monographs, vol. 40, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-4069-6, MR 3752626
Gorenstein, D.; Lyons, Richard; Solomon, Ronald (2018), The Classification of the Finite Simple Groups, Number 8: Part III, Chapters 12–17: The Generic Case, Completed, Mathematical Surveys and Monographs, vol. 40, Providence, R.I.: American Mathematical Society, ISBN 978-1-4704-4189-0
Mark Ronan, Symmetry and the Monster, ISBN 978-0-19-280723-6, Oxford University Press, 2006. (Concise introduction for lay reader)
Marcus du Sautoy, Finding Moonshine, Fourth Estate, 2008, ISBN 978-0-00-721461-7 (another introduction for the lay reader)
Ron Solomon (1995) "On Finite Simple Groups and their Classification," Notices of the American Mathematical Society. (Not too technical and good on history)
Solomon, Ronald (2001), "A brief history of the classification of the finite simple groups" (PDF), Bulletin of the American Mathematical Society, New Series, 38 (3): 315–352, doi:10.1090/S0273-0979-01-00909-0, ISSN 0002-9904, MR 1824893, archived (PDF) from the original on 2001-06-15 – article won Levi L. Conant prize for exposition
Thompson, John G. (1984), "Finite nonsolvable groups", in Gruenberg, K. W.; Roseblade, J. E. (eds.), Group theory. Essays for Philip Hall, Boston, MA: Academic Press, pp. 1–12, ISBN 978-0-12-304880-6, MR 0780566
Wilson, Robert A. (2009), The finite simple groups, Graduate Texts in Mathematics 251, vol. 251, Berlin, New York: Springer-Verlag, doi:10.1007/978-1-84800-988-2, ISBN 978-1-84800-987-5, Zbl 1203.20012

बाहरी संबंध

ATLAS of Finite Group Representations. Searchable database of representations and other data for many finite simple groups.
Elwes, Richard, "An enormous theorem: the classification of finite simple groups," Plus Magazine, Issue 41, December 2006. For laypeople.
Madore, David (2003) Orders of nonabelian simple groups. Archived 2005-04-04 at the Wayback Machine Includes a list of all nonabelian simple groups up to order 10¹⁰.
In what sense is the classification of all finite groups “impossible”?
Ornes, Stephen (2015). "Researchers Race to Rescue the Enormous Theorem before Its Giant Proof Vanishes". Scientific American (in English). 313 (1): 68–75. doi:10.1038/scientificamerican0715-68. PMID 26204718.
"Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?". MathOverflow (in English). (Last updated on March 2023)

[tits-1] 1.0 ^1.1 The infinite family of [[Ree group#Ree groups of type 2F4|Ree groups of type $2 F 4 (2 2 n +1)$ ]] contains only finite groups of Lie type. They are simple for $n \geq1$ ; for $n =0$ , the group $2 F 4 (2)$ is not simple, but it contains the simple commutator subgroup $2 F 4 (2)'$ . So, if the infinite family of commutator groups of type $2 F 4 (2 2 n +1)'$ is considered a systematic infinite family (all of Lie type except for $n =0$ ), the Tits group $T := 2 F 4 (2)'$ (as a member of this infinite family) is not sporadic.

[2] "Feit–Thompson theorem has been totally checked in Coq". Msr-inria.inria.fr. 2012-09-20. Archived from the original on 2016-11-19. Retrieved 2012-09-25.

[3] Cameron, P. J.; Praeger, C. E.; Saxl, J.; Seitz, G. M. (1983). "सिम्स अनुमान और दूरी सकर्मक रेखांकन पर". Bull. London Math. Soc. 15 (5): 499–506. doi:10.1112/blms/15.5.499.

[note 1]

[1]

[2]

Anonymous

Search

परिमित सरल समूहों का वर्गीकरण: Difference between revisions

Namespaces

More

Page actions

Revision as of 11:40, 31 May 2023

Contents

वर्गीकरण प्रमेय का कथन

वर्गीकरण प्रमेय के प्रमाण का अवलोकन

छोटे 2-पद के समूह

घटक प्रकार के समूह

विशेषता 2 प्रकार के समूह

सरल समूहों का अस्तित्व और विशिष्टता

प्रमाण का इतिहास

गोरेंस्टीन का कार्यक्रम

प्रमाण की समयरेखा

दूसरी पीढ़ी का वर्गीकरण

प्रमाण की लंबाई

वर्गीकरण के परिणाम

यह भी देखें

टिप्पणियाँ

उद्धरण

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

@@ Line 2: / Line 2: @@
 {{Group theory sidebar|Finite}}
-गणित में, परिमित सरल समूहों का वर्गीकरण [[समूह सिद्धांत]] का एक परिणाम है जिसमें कहा गया है कि परिमित सरल समूहों की प्रत्येक सूची या तो [[चक्रीय समूह]] है, या [[वैकल्पिक समूह]] है, या यह एक व्यापक अनंत वर्ग से संबंधित है जिसे [[झूठ प्रकार के समूह]] कहा जाता है, या अन्य यह छब्बीस या सत्ताईस अपवादों में से एक है, जिसे [[छिटपुट समूह]] कहा जाता है। इस प्रमाण में लगभग 100 लेखकों द्वारा लिखे गए कई सौ जर्नल लेखों में हजारों पृष्ठ शामिल हैं, जो ज्यादातर 1955 और 2004 के बीच प्रकाशित हुए थे।
-सरल समूहों को सभी [[परिमित समूह]]ों के बुनियादी निर्माण खंडों के रूप में देखा जा सकता है, जिस तरह से [[अभाज्य संख्या]]एँ [[प्राकृतिक संख्या]]ओं के मूल निर्माण खंड हैं। जॉर्डन-होल्डर प्रमेय परिमित समूहों के बारे में इस तथ्य को बताने का एक अधिक सटीक तरीका है। हालाँकि, पूर्णांक गुणनखंड से एक महत्वपूर्ण अंतर यह है कि ऐसे बिल्डिंग ब्लॉक्स एक अद्वितीय समूह को आवश्यक रूप से निर्धारित नहीं करते हैं, क्योंकि एक ही [[रचना श्रृंखला]] के साथ कई गैर-[[समरूपी]] समूह हो सकते हैं या दूसरे तरीके से कहें तो समूह विस्तार # विस्तार समस्या नहीं है एक अनूठा समाधान है।
+गणित में, परिमित सरल समूहों का वर्गीकरण समूह सिद्धांत का एक परिणाम है जिसमें कहा गया है कि प्रत्येक परिमित सरल समूह या तो चक्रीय है, या वैकल्पिक है, या यह एक विस्तृत अनंत वर्ग से संबंधित है जिसे झूठ प्रकार के समूह कहा जाता है, या फिर यह इनमें से एक है छब्बीस या सत्ताईस अपवाद, छिटपुट कहलाते हैं। प्रूफ में लगभग 100 लेखकों द्वारा लिखे गए कई सौ जर्नल लेखों में हजारों पृष्ठ हैं, जो अधिकत्तर 1955 और 2004 के बीच प्रकाशित हुए हैं।
-[[डेनियल गोरेंस्टीन]] (d.1992), [[रिचर्ड ल्योंस (गणितज्ञ)]], और [[रोनाल्ड सोलोमन]] धीरे-धीरे प्रमाण का एक सरलीकृत और संशोधित संस्करण प्रकाशित कर रहे हैं।
+सरल समूहों को सभी [[परिमित समूह]] के मूलभूत निर्माण खंडों के रूप में देखा जा सकता है जिस तरह से [[अभाज्य संख्या]]एँ [[प्राकृतिक संख्या]]ओं के मूल निर्माण खंड हैं। जॉर्डन-होल्डर प्रमेय परिमित समूहों के बारे में इस तथ्य को बताने का एक अधिक स्पष्ट विधि है। चूँकि पूर्णांक गुणनखंड से एक महत्वपूर्ण अंतर यह है कि ऐसे बिल्डिंग ब्लॉक्स एक अद्वितीय समूह को आवश्यक रूप से निर्धारित नहीं करते हैं क्योंकि एक ही [[रचना श्रृंखला]] के साथ कई गैर-[[समरूपी]] समूह हो सकते हैं या दूसरे तरीके से कहें तो समूह विस्तार या विस्तार समस्या नहीं है एक अनूठा समाधान है।
+[[डेनियल गोरेंस्टीन]] (d.1992) [[रिचर्ड ल्योंस (गणितज्ञ)]] और [[रोनाल्ड सोलोमन]] धीरे-धीरे प्रमाण का एक सरलीकृत और संशोधित संस्करण प्रकाशित कर रहे हैं।
 == वर्गीकरण प्रमेय का कथन ==
-{{Main|List of finite simple groups}}
+{{Main|परिमित सरल समूहों की सूची}}
 {{math_theorem|Every finite [[simple group]] is isomorphic to one of the following groups:
 * a member of one of three infinite classes of such, namely:
@@ Line 18: / Line 19: @@
 * the [[Tits group]] (which is sometimes considered a 27th sporadic group).<ref group="note" name="tits"/>}}
-[[File:Classification of the finite simple groups.jpg|thumb|परिमित सरल समूहों का वर्गीकरण]]वर्गीकरण प्रमेय में गणित की कई शाखाओं में अनुप्रयोग हैं, क्योंकि परिमित समूहों की संरचना (और अन्य गणितीय वस्तुओं पर उनकी क्रिया) के बारे में प्रश्नों को कभी-कभी परिमित सरल समूहों के प्रश्नों के रूप में कम किया जा सकता है। वर्गीकरण प्रमेय के लिए धन्यवाद, कभी-कभी साधारण समूहों के प्रत्येक परिवार और प्रत्येक छिटपुट समूह की जाँच करके ऐसे प्रश्नों का उत्तर दिया जा सकता है।
+[[File:Classification of the finite simple groups.jpg|thumb|परिमित सरल समूहों का वर्गीकरण]]वर्गीकरण प्रमेय में गणित की कई शाखाओं में अनुप्रयोग हैं क्योंकि परिमित समूहों की संरचना (और अन्य गणितीय वस्तुओं पर उनकी क्रिया) के बारे में प्रश्नों को कभी-कभी परिमित सरल समूहों के प्रश्नों के रूप में कम किया जा सकता है। वर्गीकरण प्रमेय के लिए धन्यवाद, कभी-कभी साधारण समूहों के प्रत्येक वर्ग और प्रत्येक छिटपुट समूह की जाँच करके ऐसे प्रश्नों का उत्तर दिया जा सकता है।
-डैनियल गोरेंस्टीन ने 1983 में घोषणा की कि परिमित सरल समूहों को सभी वर्गीकृत किया गया था, लेकिन यह समय से पहले था क्योंकि उन्हें [[क्वासिथिन समूह]]ों के वर्गीकरण के प्रमाण के बारे में गलत जानकारी दी गई थी। वर्गीकरण का पूर्ण प्रमाण किसके द्वारा घोषित किया गया था {{harvtxt|Aschbacher|2004}} एशबैकर और स्मिथ द्वारा लापता क्वासिथिन मामले के लिए 1221-पृष्ठ का प्रमाण प्रकाशित करने के बाद।
+डैनियल गोरेंस्टीन ने 1983 में घोषणा की कि परिमित सरल समूहों को सभी वर्गीकृत किया गया था चूँकि यह समय से पहले था क्योंकि उन्हें [[क्वासिथिन समूह]] के वर्गीकरण के प्रमाण के बारे में गलत जानकारी दी गई थी। वर्गीकरण का पूर्ण प्रमाण किसके द्वारा घोषित किया गया था {{harvtxt|Aschbacher|2004}} एशबैकर और स्मिथ द्वारा लापता क्वासिथिन स्थिति के लिए 1221-पृष्ठ का प्रमाण प्रकाशित करने के बाद।
 == वर्गीकरण प्रमेय के प्रमाण का अवलोकन ==
-{{harvs|txt|last=Gorenstein|year1=1982|year2=1983}} ने सबूत के निम्न रैंक और अजीब विशेषता भाग को रेखांकित करते हुए दो खंड लिखे, और {{harvs|txt| | last1=Aschbacher | first1=Michael | author1-link=Michael Aschbacher | last2=Lyons | first2=Richard | last3=Smith | first3=Stephen D. | last4=Solomon | first4=Ronald | title=The Classification of Finite Simple Groups: Groups of Characteristic 2 Type | url=https://www.ams.org/bookstore?fn=20&ikey=SURV-172 | series=Mathematical Surveys and Monographs | isbn=978-0-8218-5336-8 | year=2011 | volume=172}}
+{{harvs|txt|last=Gorenstein|year1=1982|year2=1983}} ने प्रमाण के निम्न पद और विचित्र विशेषता भाग को रेखांकित करते हुए दो खंड लिखे, और {{harvs|txt| | last1=Aschbacher | first1=Michael | author1-link=Michael Aschbacher | last2=Lyons | first2=Richard | last3=Smith | first3=Stephen D. | last4=Solomon | first4=Ronald | title=The Classification of Finite Simple Groups: Groups of Characteristic 2 Type | url=https://www.ams.org/bookstore?fn=20&ikey=SURV-172 | series=Mathematical Surveys and Monographs | isbn=978-0-8218-5336-8 | year=2011 | volume=172}}
-शेष विशेषता 2 मामले को कवर करते हुए एक तीसरा खंड लिखा। सबूत को कई प्रमुख टुकड़ों में विभाजित किया जा सकता है:
+शेष विशेषता 2 स्थिति को कवर करते हुए एक तीसरा खंड लिखा। प्रमाण को कई प्रमुख टुकड़ों में विभाजित किया जा सकता है:
-=== छोटे 2-रैंक === के समूह
+=== छोटे 2-पद के समूह ===
-एक समूह के निम्न रैंक के सरल समूह # सामान्यीकरण और संबंधित धारणाएं | 2-रैंक ज्यादातर अजीब विशेषता के क्षेत्रों पर झूठ प्रकार के छोटे रैंक के समूह होते हैं, साथ में पांच वैकल्पिक और सात विशेषता 2 प्रकार और नौ छिटपुट समूह होते हैं।
+एक समूह के निम्न पद के सरल समूह या सामान्यीकरण और संबंधित धारणाएं 2-पद अधिकत्तर विचित्र विशेषता के क्षेत्रों पर झूठ प्रकार के छोटे पद के समूह होते हैं साथ में पांच वैकल्पिक और सात विशेषता 2 प्रकार और नौ छिटपुट समूह होते हैं।
-छोटे 2-रैंक के साधारण समूहों में शामिल हैं:
+छोटे 2-पद के साधारण समूहों में सम्मिलित हैं:
-* 2-रैंक 0 के समूह, दूसरे शब्दों में विषम क्रम के समूह, जो सभी फीट-थॉम्पसन प्रमेय द्वारा [[हल करने योग्य समूह]] हैं।
+* 2-पद 0 के समूह दूसरे शब्दों में विषम क्रम के समूह जो सभी फीट-थॉम्पसन प्रमेय द्वारा [[हल करने योग्य समूह]] हैं।
-*2-रैंक 1 के समूह। साइलो 2-उपसमूह या तो चक्रीय होते हैं, जिन्हें ट्रांसफर मैप का उपयोग करके संभालना आसान होता है, या सामान्यीकृत चतुष्कोण, जिन्हें ब्राउर-सुजुकी प्रमेय के साथ नियंत्रित किया जाता है: विशेष रूप से 2 के कोई सरल समूह नहीं हैं क्रम दो के चक्रीय समूह को छोड़कर -रैंक 1।
+*2-पद 1 के समूह साइलो 2-उपसमूह या तो चक्रीय होते हैं जिन्हें ट्रांसफर मैप का उपयोग करके संभालना आसान होता है, या सामान्यीकृत चतुष्कोण जिन्हें ब्राउर-सुजुकी प्रमेय के साथ नियंत्रित किया जाता है: विशेष रूप से 2 के कोई सरल समूह नहीं हैं क्रम दो के चक्रीय समूह को छोड़कर -पद 1 है
-*2-रैंक 2 के समूह। एल्पेरिन ने दिखाया कि सिलो उपसमूह को डायहेड्रल, क्वासिडहेड्रल, पुष्पांजलि, या यू का एक सिलो 2-उपसमूह होना चाहिए<sub>3</sub>(4)। पहला मामला गोरेंस्टीन-वाल्टर प्रमेय द्वारा किया गया था जिसमें दिखाया गया था कि केवल सरल समूह एल के लिए आइसोमोर्फिक हैं<sub>2</sub>(क्यू) क्यू विषम या ए के लिए<sub>7</sub>, दूसरा और तीसरा मामला एल्परिन-ब्रुएर-गोरेंस्टीन प्रमेय द्वारा किया गया था, जिसका अर्थ है कि केवल सरल समूह एल के लिए आइसोमोर्फिक हैं<sub>3</sub>(क्यू) या यू<sub>3</sub>(क्यू) क्यू विषम या एम के लिए<sub>11</sub>, और आखिरी मामला ल्योंस द्वारा किया गया था जिसने दिखाया कि यू<sub>3</sub>(4) एकमात्र सरल संभावना है।
+*2-पद 2 के समूह एल्पेरिन ने दिखाया कि सिलो उपसमूह को डायहेड्रल क्वासिडहेड्रल, पुष्पांजलि, या ''U''<sub>3</sub>(4).का एक सिलो 2-उपसमूह होना चाहिए। पहला स्थिति गोरेंस्टीन-वाल्टर प्रमेय द्वारा किया गया था जिसमें दिखाया गया था कि केवल सरल समूह ''L''<sub>2</sub>(''q'') के लिए आइसोमोर्फिक हैं ''q'' विषम या ''A''<sub>7</sub> के लिए दूसरा और तीसरा स्थिति एल्परिन-ब्रुएर-गोरेंस्टीन प्रमेय द्वारा किया गया था, जिसका अर्थ है कि केवल सरल समूह ''L''<sub>3</sub>(''q'') या ''U''<sub>3</sub>(''q'') ''q'' के लिए आइसोमोर्फिक हैं विषम या ''M''<sub>11</sub> के लिए और आखिरी स्थिति ल्योंस द्वारा किया गया था जिसने दिखाया कि ''U''<sub>3</sub>(4) एकमात्र सरल संभावना है।
-*अधिकतम 4 पर अनुभागीय 2-रैंक के समूह, गोरेंस्टीन-हरदा प्रमेय द्वारा वर्गीकृत।
+*अधिकतम 4 पर अनुभागीय 2-पद के समूह, गोरेंस्टीन-हरदा प्रमेय द्वारा वर्गीकृत।
-छोटे 2-रैंक के समूहों का वर्गीकरण, विशेष रूप से अधिकतम 2 रैंक, साधारण और मॉड्यूलर चरित्र सिद्धांत का भारी उपयोग करता है, जो वर्गीकरण में कहीं और सीधे उपयोग नहीं किया जाता है।
+छोटे 2-पद के समूहों का वर्गीकरण, विशेष रूप से अधिकतम 2 पद साधारण और मॉड्यूलर चरित्र सिद्धांत का भारी उपयोग करता है जो वर्गीकरण में कहीं और सीधे उपयोग नहीं किया जाता है।
-छोटे 2 रैंक के नहीं सभी समूहों को दो प्रमुख वर्गों में विभाजित किया जा सकता है: घटक प्रकार के समूह और विशेषता 2 प्रकार के समूह। इसका कारण यह है कि यदि किसी समूह में अनुभागीय 2-रैंक कम से कम 5 है तो मैकविलियम्स ने दिखाया है कि इसके साइलो 2-उपसमूह जुड़े हुए हैं, और [[संतुलन प्रमेय]] का अर्थ है कि जुड़ा हुआ सिलो 2-उपसमूह वाला कोई भी सरल समूह या तो घटक प्रकार या विशेषता 2 प्रकार का है . (निम्न 2-रैंक के समूहों के लिए इसका प्रमाण टूट जाता है, क्योंकि प्रमेय जैसे [[संकेतक functor]] प्रमेय केवल उन समूहों के लिए काम करते हैं जिनके रैंक के प्राथमिक एबेलियन उपसमूह कम से कम 3 हैं।)
+छोटे 2 पद के नहीं सभी समूहों को दो प्रमुख वर्गों में विभाजित किया जा सकता है: घटक प्रकार के समूह और विशेषता 2 प्रकार के समूह इसका कारण यह है कि यदि किसी समूह में अनुभागीय 2-पद कम से कम 5 है तो मैकविलियम्स ने दिखाया है कि इसके साइलो 2-उपसमूह जुड़े हुए हैं और [[संतुलन प्रमेय]] का अर्थ है कि जुड़ा हुआ सिलो 2-उपसमूह वाला कोई भी सरल समूह या तो घटक प्रकार या विशेषता 2 प्रकार का है . (निम्न 2-पद के समूहों के लिए इसका प्रमाण टूट जाता है क्योंकि प्रमेय जैसे [[संकेतक functor|संकेतक कारक]]  प्रमेय केवल उन समूहों के लिए काम करते हैं जिनके पद के प्राथमिक एबेलियन उपसमूह कम से कम 3 हैं।)
 === घटक प्रकार के समूह ===
-एक समूह को घटक प्रकार का कहा जाता है यदि किसी अंतर्वलन के कुछ केंद्रक C के लिए, C/O(C) में एक घटक होता है (जहाँ O(C) C का मूल है, विषम क्रम का अधिकतम सामान्य उपसमूह)।
+एक समूह को घटक प्रकार का कहा जाता है यदि किसी अंतर्वलन के कुछ केंद्रक C के लिए, C/O(C) में एक घटक होता है (जहाँ O(C) C का मूल है विषम क्रम का अधिकतम सामान्य उपसमूह)। ये कमोबेश कुछ छिटपुट समूहों के साथ बड़े पद की विचित्र विशेषता के झूठ प्रकार के समूह और वैकल्पिक समूह हैं। इस स्थिति में एक प्रमुख कदम एक समावेशन के मूल की बाधा को खत्म करना है। यह बी-प्रमेय द्वारा पूरा किया गया है, जिसमें कहा गया है कि C/O(C) का प्रत्येक घटक C के एक घटक की छवि है।
-ये कमोबेश कुछ छिटपुट समूहों के साथ बड़े रैंक की अजीब विशेषता के झूठ प्रकार के समूह और वैकल्पिक समूह हैं।
-इस मामले में एक प्रमुख कदम एक समावेशन के मूल की बाधा को खत्म करना है। यह बी-प्रमेय द्वारा पूरा किया गया है, जिसमें कहा गया है कि C/O(C) का प्रत्येक घटक C के एक घटक की छवि है।
+विचार यह है कि इन समूहों के पास एक घटक के साथ एक समावेशन का केंद्रीकरण होता है जो कि एक छोटा अर्ध-सरल समूह होता है, जिसे पहले से ही प्रेरण द्वारा जाना जा सकता है। तो इन समूहों को वर्गीकृत करने के लिए प्रत्येक ज्ञात परिमित सरल समूह के प्रत्येक केंद्रीय विस्तार को लेता है, और सभी सरल समूहों को एक घटक के रूप में सम्मिलित करने के केंद्रीकरण के साथ पाता है। यह जांच करने के लिए अलग-अलग स्थिति की एक बड़ी संख्या देता है: न केवल 26 छिटपुट समूह और झूठ प्रकार के समूहों के 16 वर्ग और वैकल्पिक समूह हैं चूँकि छोटे पद या छोटे क्षेत्रों के कई समूह सामान्य से अलग व्यवहार करते हैं स्थिति और अलग से व्यवहार किया जाना है और सम और विषम विशेषताओं के झूठ प्रकार के समूह भी अधिक भिन्न हैं।
-विचार यह है कि इन समूहों के पास एक घटक के साथ एक समावेशन का केंद्रीकरण होता है जो कि एक छोटा अर्ध-सरल समूह होता है, जिसे पहले से ही प्रेरण द्वारा जाना जा सकता है। तो इन समूहों को वर्गीकृत करने के लिए प्रत्येक ज्ञात परिमित सरल समूह के प्रत्येक केंद्रीय विस्तार को लेता है, और सभी सरल समूहों को एक घटक के रूप में शामिल करने के केंद्रीकरण के साथ पाता है। यह जांच करने के लिए अलग-अलग मामलों की एक बड़ी संख्या देता है: न केवल 26 छिटपुट समूह और झूठ प्रकार के समूहों के 16 परिवार और वैकल्पिक समूह हैं, बल्कि छोटे रैंक या छोटे क्षेत्रों के कई समूह सामान्य से अलग व्यवहार करते हैं मामले और अलग से व्यवहार किया जाना है, और सम और विषम विशेषताओं के झूठ प्रकार के समूह भी काफी भिन्न हैं।
+=== विशेषता 2 प्रकार के समूह ===
+प्रत्येक 2-स्थानीय उपसमूह Y का [[सामान्यीकृत फिटिंग उपसमूह]] F*(Y) एक 2-समूह है तो एक समूह विशेषता 2 प्रकार का है। जैसा कि नाम से पता चलता है कि ये सामान्यतः विशेषता 2 के क्षेत्रों में झूठ प्रकार के समूह हैं साथ ही कुछ मुट्ठी भर अन्य जो वैकल्पिक या छिटपुट या विषम विशेषता वाले हैं। उनके वर्गीकरण को छोटे और बड़े पद के स्थिति में विभाजित किया गया है, जहां पद विषम एबेलियन उपसमूह का सबसे बड़ा पद है जो एक गैर-तुच्छ 2-उपसमूह को सामान्य करता है जो अक्सर (चूँकि सदैव नहीं) कार्टन सबलजेब्रा के पद के समान होता है जब समूह लाई प्रकार का एक समूह है जिसकी विशेषता 2 है।
-=== विशेषता 2 प्रकार === के समूह
+पद 1 समूह पतले समूह हैं जिन्हें एशबैकर द्वारा वर्गीकृत किया गया है और पद 2 वाले कुख्यात क्वासिथिन समूह हैं जिन्हें एशबैकर और स्मिथ द्वारा वर्गीकृत किया गया है। ये सामान्यतः लाई प्रकार के पद 1 या 2 के समूह के अनुरूप होते हैं जो विशेषता 2 के क्षेत्रों में होते हैं।
-प्रत्येक 2-स्थानीय उपसमूह Y का [[सामान्यीकृत फिटिंग उपसमूह]] F*(Y) एक 2-समूह है, तो एक समूह विशेषता 2 प्रकार का है।
+पद के कम से कम 3 के समूह को [[ट्राइकोटॉमी प्रमेय]] द्वारा 3 वर्गों में विभाजित किया गया है, पद 3 के लिए एशबैकर द्वारा और कम से कम 4 पद के लिए गोरेनस्टीन और लियोन द्वारा सिद्ध किया गया है।
-जैसा कि नाम से पता चलता है कि ये मोटे तौर पर विशेषता 2 के क्षेत्रों में झूठ प्रकार के समूह हैं, साथ ही कुछ मुट्ठी भर अन्य जो वैकल्पिक या छिटपुट या विषम विशेषता वाले हैं। उनके वर्गीकरण को छोटे और बड़े रैंक के मामलों में विभाजित किया गया है, जहां रैंक विषम एबेलियन उपसमूह का सबसे बड़ा रैंक है, जो एक गैर-तुच्छ 2-उपसमूह को सामान्य करता है, जो अक्सर (लेकिन हमेशा नहीं) कार्टन सबलजेब्रा के रैंक के समान होता है जब समूह लाई प्रकार का एक समूह है जिसकी विशेषता 2 है।
-रैंक 1 समूह पतले समूह हैं, जिन्हें एशबैकर द्वारा वर्गीकृत किया गया है, और रैंक 2 वाले कुख्यात क्वासिथिन समूह हैं, जिन्हें एशबैकर और स्मिथ द्वारा वर्गीकृत किया गया है। ये मोटे तौर पर लाई प्रकार के रैंक 1 या 2 के समूह के अनुरूप होते हैं जो विशेषता 2 के क्षेत्रों में होते हैं।
+तीन वर्ग जीएफ (2) प्रकार के समूह हैं (मुख्य रूप से टिम्सफेल्ड द्वारा वर्गीकृत) कुछ विषम प्राइम के लिए मानक प्रकार के समूह (गिलमैन-ग्रिस प्रमेय द्वारा वर्गीकृत और कई अन्य लोगों द्वारा काम) और विशिष्टता प्रकार के समूह जहां एक परिणाम एशबैकर का तात्पर्य है कि कोई सरल समूह नहीं हैं।
-रैंक के कम से कम 3 के समूह को [[ट्राइकोटॉमी प्रमेय]] द्वारा 3 वर्गों में विभाजित किया गया है, रैंक 3 के लिए एशबैकर द्वारा और कम से कम 4 रैंक के लिए गोरेनस्टीन और लियोन द्वारा सिद्ध किया गया है।
+सामान्य उच्च पद के स्थिति में कम से कम 3 या 4 पद के विशेषता 2 के क्षेत्रों में अधिकत्तर झूठ प्रकार के समूह होते हैं।
-तीन वर्ग जीएफ (2) प्रकार के समूह हैं (मुख्य रूप से टिम्सफेल्ड द्वारा वर्गीकृत), कुछ विषम प्राइम के लिए मानक प्रकार के समूह (गिलमैन-ग्रिस प्रमेय द्वारा वर्गीकृत और कई अन्य लोगों द्वारा काम), और विशिष्टता प्रकार के समूह, जहां एक परिणाम एशबैकर का तात्पर्य है कि कोई सरल समूह नहीं हैं।
-सामान्य उच्च रैंक के मामले में कम से कम 3 या 4 रैंक के विशेषता 2 के क्षेत्रों में ज्यादातर झूठ प्रकार के समूह होते हैं।
 === सरल समूहों का अस्तित्व और विशिष्टता ===
-वर्गीकरण का मुख्य भाग प्रत्येक सरल समूह का लक्षण वर्णन करता है। इसके बाद यह जांचना आवश्यक है कि प्रत्येक लक्षण वर्णन के लिए एक सरल समूह मौजूद है और यह अद्वितीय है। यह बड़ी संख्या में अलग-अलग समस्याएं देता है; उदाहरण के लिए, [[राक्षस समूह]] के अस्तित्व और विशिष्टता के मूल प्रमाण कुल मिलाकर लगभग 200 पृष्ठ थे, और थॉम्पसन और बॉम्बिएरी द्वारा [[री समूह]]ों की पहचान वर्गीकरण के सबसे कठिन भागों में से एक था। कई अस्तित्व प्रमाण और छिटपुट समूहों के लिए कुछ विशिष्ट प्रमाण मूल रूप से कंप्यूटर गणनाओं का उपयोग करते थे, जिनमें से अधिकांश को छोटे हस्त प्रमाणों द्वारा प्रतिस्थापित किया गया है।
+वर्गीकरण का मुख्य भाग प्रत्येक सरल समूह का लक्षण वर्णन करता है। इसके बाद यह जांचना आवश्यक है कि प्रत्येक लक्षण वर्णन के लिए एक सरल समूह उपस्थित है और यह अद्वितीय है। यह बड़ी संख्या में अलग-अलग समस्याएं देता है उदाहरण के लिए [[राक्षस समूह]] के अस्तित्व और विशिष्टता के मूल प्रमाण कुल मिलाकर लगभग 200 पृष्ठ थे और थॉम्पसन और बॉम्बिएरी द्वारा [[री समूह]]ों की पहचान वर्गीकरण के सबसे कठिन भागों में से एक था। कई अस्तित्व प्रमाण और छिटपुट समूहों के लिए कुछ विशिष्ट प्रमाण मूल रूप से कंप्यूटर गणनाओं का उपयोग करते थे जिनमें से अधिकांश को छोटे हस्त प्रमाणों द्वारा प्रतिस्थापित किया गया है।
 == प्रमाण का इतिहास ==
 === गोरेंस्टीन का कार्यक्रम ===
-में {{harvtxt|Gorenstein|1979|loc=Appendix}} ने निम्नलिखित 16 चरणों वाले परिमित सरल समूहों के वर्गीकरण को पूरा करने के लिए एक कार्यक्रम की घोषणा की:
+में {{harvtxt|गोरेंस्टीन|1979|loc=अनुबंध}} ने निम्नलिखित 16 चरणों वाले परिमित सरल समूहों के वर्गीकरण को पूरा करने के लिए एक कार्यक्रम की घोषणा की:
-# निम्न 2-रैंक के समूह। यह अनिवार्य रूप से गोरेंस्टीन और हराडा द्वारा किया गया था, जिन्होंने समूहों को अनुभागीय 2-रैंक के साथ अधिकतम 4 में वर्गीकृत किया था। गोरेनस्टीन ने अपने कार्यक्रम की घोषणा के समय तक 2-रैंक के अधिकांश मामले 2 किए गए थे।
+# निम्न 2-पद के समूह यह अनिवार्य रूप से गोरेंस्टीन और हराडा द्वारा किया गया था जिन्होंने समूहों को अनुभागीय 2-पद के साथ अधिकतम 4 में वर्गीकृत किया था। गोरेनस्टीन ने अपने कार्यक्रम की घोषणा के समय तक 2-पद के अधिकांश स्थिति 2 किए गए थे।
-# 2-परतों की अर्धसरलता। समस्या यह साबित करने के लिए है कि एक साधारण समूह में शामिल होने के केंद्रक की 2-परत अर्धसरल है।
+# 2-परतों की अर्धसरलता। समस्या यह सिद्ध करने के लिए है कि एक साधारण समूह में सम्मिलित होने के केंद्रक की 2-परत अर्धसरल है।
-# विषम विशेषता में मानक रूप। यदि किसी समूह में 2-घटक के साथ एक अंतर्वलन है जो कि झूठ प्रकार की विषम विशेषता का एक समूह है, तो लक्ष्य यह दिखाना है कि इसमें मानक रूप में शामिल होने का एक केंद्रक है जिसका अर्थ है कि समावेशन के एक केंद्रक में एक घटक है जो झूठ का है विषम विशेषता में टाइप करें और 2-रैंक 1 का केंद्रक भी है।
+# विषम विशेषता में मानक रूप यदि किसी समूह में 2-घटक के साथ एक अंतर्वलन है जो कि झूठ प्रकार की विषम विशेषता का एक समूह है तो लक्ष्य यह दिखाना है कि इसमें मानक रूप में सम्मिलित होने का एक केंद्रक है जिसका अर्थ है कि समावेशन के एक केंद्रक में एक घटक है जो झूठ का है विषम विशेषता में टाइप करें और 2-पद 1 का केंद्रक भी है।
-# विषम प्रकार के समूहों का वर्गीकरण। समस्या यह दिखाने के लिए है कि यदि किसी समूह में मानक रूप में शामिल होने का एक केंद्रक है तो यह लाई प्रकार की विषम विशेषता का समूह है। यह एशबैकर के [[शास्त्रीय समावेशन प्रमेय]] द्वारा हल किया गया था।
+# विषम प्रकार के समूहों का वर्गीकरण समस्या यह दिखाने के लिए है कि यदि किसी समूह में मानक रूप में सम्मिलित होने का एक केंद्रक है तो यह लाई प्रकार की विषम विशेषता का समूह है। यह एशबैकर के [[शास्त्रीय समावेशन प्रमेय|मौलिक समावेशन प्रमेय]] द्वारा हल किया गया था।
 # अर्ध-मानक रूप
 # केंद्रीय निवेश
 # वैकल्पिक समूहों का वर्गीकरण।
 # कुछ छिटपुट समूह
-# पतले समूह। साधारण [[पतले परिमित समूह]], जिनके पास विषम अभाज्य p के लिए अधिकतम 1 पर 2-स्थानीय p-रैंक है, को 1978 में Aschbacher द्वारा वर्गीकृत किया गया था।
+# पतले समूह। साधारण [[पतले परिमित समूह]] जिनके पास विषम अभाज्य p के लिए अधिकतम 1 पर 2-स्थानीय p-पद है, को 1978 में एशबैकरद्वारा वर्गीकृत किया गया था।
-# पी विषम के लिए एक मजबूत पी-एम्बेडेड उपसमूह के साथ समूह
+# पी विषम के लिए एक शक्तिशाली पी-एम्बेडेड उपसमूह के साथ समूह
-# विषम अभाज्य संख्याओं के लिए सिग्नलाइज़र फ़ंक्टर विधि। मुख्य समस्या गैर-सॉल्वेबल सिग्नललाइज़र फ़ैक्टरों के लिए सिग्नलाइज़र फ़ंक्टर प्रमेय साबित करना है। इसे 1982 में मैकब्राइड द्वारा हल किया गया था।
+# विषम अभाज्य संख्याओं के लिए सिग्नलाइज़र कारक विधि मुख्य समस्या गैर-सॉल्वेबल सिग्नललाइज़र कारको के लिए सिग्नलाइज़र कारक प्रमेय सिद्ध करना है। इसे 1982 में मैकब्राइड द्वारा हल किया गया था।
-# विशेषता पी प्रकार के समूह। यह उन समूहों की समस्या है जिनमें p-एम्बेडेड 2-स्थानीय उपसमूह p विषम के साथ है, जिसे Aschbacher द्वारा नियंत्रित किया गया था।
+# विशेषता पी प्रकार के समूह यह उन समूहों की समस्या है जिनमें p-एम्बेडेड 2-स्थानीय उपसमूह p विषम के साथ है जिसे एशबैकरद्वारा नियंत्रित किया गया था।
-# क्वासिथिन समूह। एक क्वासिथिन समूह वह है जिसके 2-स्थानीय उपसमूहों में सभी विषम अभाज्य p के लिए अधिकतम 2 p-रैंक है, और समस्या 2 प्रकार की विशेषता वाले सरल लोगों को वर्गीकृत करना है। यह 2004 में एशबैकर और स्मिथ द्वारा पूरा किया गया था।
+# क्वासिथिन समूह एक क्वासिथिन समूह वह है जिसके 2-स्थानीय उपसमूहों में सभी विषम अभाज्य p के लिए अधिकतम 2 p-पद है और समस्या 2 प्रकार की विशेषता वाले सरल लोगों को वर्गीकृत करना है। यह 2004 में एशबैकर और स्मिथ द्वारा पूरा किया गया था।
-# निम्न 2-स्थानीय 3-रैंक के समूह। यह ई (जी) = 3 वाले समूहों के लिए एशबैकर के ट्राइकोटॉमी प्रमेय द्वारा अनिवार्य रूप से हल किया गया था। मुख्य परिवर्तन यह है कि 2-लोकल 3-रैंक को ऑड प्राइम्स के लिए 2-लोकल पी-रैंक से बदल दिया गया है।
+# निम्न 2-स्थानीय 3-पद के समूह। यह ''e''(''G'')=3. वाले समूहों के लिए एशबैकर के ट्राइकोटॉमी प्रमेय द्वारा अनिवार्य रूप से हल किया गया था। मुख्य परिवर्तन यह है कि 2-लोकल 3-पद को ऑड प्राइम्स के लिए 2-लोकल पी-पद से बदल दिया गया है।
-# मानक रूप में 3-तत्वों के केंद्र। यह अनिवार्य रूप से ट्राइकोटॉमी प्रमेय द्वारा किया गया था।
+# मानक रूप में 3-तत्वों के केंद्र यह अनिवार्य रूप से ट्राइकोटॉमी प्रमेय द्वारा किया गया था।
-# विशेषता 2 प्रकार के सरल समूहों का वर्गीकरण। यह गिल्मन-ग्रिस प्रमेय द्वारा नियंत्रित किया गया था, जिसमें 3-तत्वों को विषम प्राइम्स के लिए पी-तत्वों द्वारा प्रतिस्थापित किया गया था।
+# विशेषता 2 प्रकार के सरल समूहों का वर्गीकरण यह गिल्मन-ग्रिस प्रमेय द्वारा नियंत्रित किया गया था जिसमें 3-तत्वों को विषम प्राइम्स के लिए पी-तत्वों द्वारा प्रतिस्थापित किया गया था।
 === प्रमाण की समयरेखा ===
-नीचे दी गई सूची में से कई मदों से लिया जाता है {{harvtxt|Solomon|2001}}. दी गई तिथि आमतौर पर एक परिणाम के पूर्ण प्रमाण की प्रकाशन तिथि होती है, जो कभी-कभी प्रमाण या परिणाम की पहली घोषणा के कई साल बाद होती है, इसलिए कुछ आइटम गलत क्रम में दिखाई देते हैं।
+नीचे दी गई सूची में से कई मदों से लिया जाता है {{harvtxt|सोलोमन|2001}}. दी गई तिथि सामान्यतः एक परिणाम के पूर्ण प्रमाण की प्रकाशन तिथि होती है जो कभी-कभी प्रमाण या परिणाम की पहली घोषणा के कई साल बाद होती है इसलिए कुछ आइटम गलत क्रम में दिखाई देते हैं।
 {|
 |- style="vertical-align: top;"
@@ Line 89: / Line 88: @@
 |-
 | style="width: 3.4em; vertical-align:top" |1832
-|Galois introduces normal subgroups and finds the simple groups A<sub>''n''</sub> (''n'' ≥ 5) and [[Projective linear group#Finite fields|PSL<sub>2</sub>('''F'''<sub>''p''</sub>)]] (''p'' ≥ 5)
+|गाल्वा सामान्य उपसमूहों का परिचय देता है और साधारण समूहों A<sub>''n''</sub> (''n'' ≥ 5) और  [[Projective linear group#Finite fields|PSL<sub>2</sub>('''F'''<sub>''p''</sub>)]] (''p'' ≥ 5) का पता लगाता है।
 |-
 |style="vertical-align:top"|1854
-|Cayley defines abstract groups
+|केली अमूर्त समूहों को परिभाषित करता है
 |-
 |style="vertical-align:top"|1861
-|Mathieu describes the first two [[Mathieu group]]s M<sub>11</sub>, M<sub>12</sub>, the first sporadic simple groups, and announces the existence of M<sub>24</sub>.
+|मैथ्यू पहले दो मैथ्यू समूहों M<sub>11</sub>, M<sub>12</sub>, पहले छिटपुट सरल समूहों का वर्णन करता है, और M<sub>24</sub>के अस्तित्व की घोषणा करता है।
 |-
 |style="vertical-align:top"|1870
-|Jordan lists some simple groups: the alternating and projective special linear ones, and emphasizes the importance of the simple groups.
+|जॉर्डन कुछ सरल समूहों को सूचीबद्ध करता है: वैकल्पिक और प्रक्षेपी विशेष रैखिक वाले, और सरल समूहों के महत्व पर जोर देते हैं।
 |-
 |style="vertical-align:top"|1872
-|Sylow proves the [[Sylow theorem]]s
+|साइलो साइलो प्रमेयों को सिद्ध करता है
 |-
 |style="vertical-align:top"|1873
-|Mathieu introduces three more [[Mathieu group]]s M<sub>22</sub>, M<sub>23</sub>, M<sub>24</sub>.
+|मैथ्यू ने तीन और मैथ्यू समूह M<sub>22</sub>, M<sub>23</sub>, M<sub>24</sub>. का परिचय दिया।
 |-
 |style="vertical-align:top"|1892
-|Hölder proves that the order of any nonabelian finite simple group must be a product of at least four (not necessarily distinct) primes, and asks for a classification of finite simple groups.
+|होल्डर सिद्ध करते हैं कि किसी भी गैर एबेलियन परिमित सरल समूह का क्रम कम से कम चार (जरूरी नहीं कि अलग-अलग) अभाज्य संख्याओं का उत्पाद होना चाहिए और परिमित सरल समूहों के वर्गीकरण के लिए कहता है।
 |-
 |style="vertical-align:top"|1893
-|Cole classifies simple groups of order up to 660
+|कोल 660 तक के क्रम के सरल समूहों को वर्गीकृत करता है
 |-
 |style="vertical-align:top"|1896
-|Frobenius and Burnside begin the study of character theory of finite groups.
+|फ्रोबेनियस और बर्नसाइड परिमित समूहों के चरित्र सिद्धांत का अध्ययन प्रारंभ करते हैं।
 |-
 |style="vertical-align:top"|1899
-|Burnside classifies the simple groups such that the centralizer of every involution is a non-trivial elementary abelian 2-group.
+|बर्नसाइड सरल समूहों को वर्गीकृत करता है जैसे कि प्रत्येक समावेशन का केंद्रक एक गैर-तुच्छ प्राथमिक एबेलियन 2-समूह है।
 |-
 |style="vertical-align:top"|1901
-|Frobenius proves that a [[Frobenius group]] has a Frobenius kernel, so in particular is not simple.
+|फ्रोबेनियस सिद्ध करता है कि एक फ्रोबेनियस समूह में फ्रोबेनियस कर्नेल है, इसलिए विशेष रूप से सरल नहीं है।
 |-
 |style="vertical-align:top"|1901
-|Dickson defines classical groups over arbitrary finite fields, and exceptional groups of type ''G''<sub>2</sub> over fields of odd characteristic.
+|डिक्सन इच्छानुसार परिमित क्षेत्रों पर मौलिक समूहों को परिभाषित करता है और विषम विशेषता वाले क्षेत्रों पर G2 प्रकार के असाधारण समूहों को परिभाषित करता है।
 |-
 |style="vertical-align:top"|1901
-|Dickson introduces the exceptional finite simple groups of type ''E''<sub>6</sub>.
+|डिक्सन ''E''<sub>6</sub> प्रकार के असाधारण परिमित सरल समूहों का परिचय देता है।
 |-
 |style="vertical-align:top"|1904
-|Burnside uses character theory to prove [[Burnside's theorem]] that the order of any non-abelian finite simple group must be divisible by at least 3 distinct primes.
+|बर्नसाइड बर्नसाइड के प्रमेय को सिद्ध करने के लिए चरित्र सिद्धांत का उपयोग करता है कि किसी भी गैर-अबेलियन परिमित सरल समूह का क्रम कम से कम 3 अलग-अलग प्राइम्स से विभाज्य होना चाहिए।
 |-
 |style="vertical-align:top"|1905
-|Dickson introduces simple groups of type G<sub>2</sub> over fields of even characteristic
+|डिक्सन समान विशेषता वाले क्षेत्रों में G<sub>2</sub> प्रकार के सरल समूहों का परिचय देता है
 |-
 |style="vertical-align:top"| 1911
-|Burnside conjectures that every non-abelian finite simple group has even order
+|बर्नसाइड का अनुमान है कि प्रत्येक गैर-अबेलियन परिमित सरल समूह में भी क्रम होता है
 |-
 |style="vertical-align:top"|1928
-|Hall proves the existence of [[Hall subgroup]]s of solvable groups
+|हॉल हल करने योग्य समूहों के हॉल उपसमूहों के अस्तित्व को सिद्ध करता है
 |-
 |style="vertical-align:top"|1933
-|Hall begins his study of ''p''-groups
+|हॉल पी-समूहों का अपना अध्ययन प्रारंभ करता है
 |-
 |style="vertical-align:top"|1935
-|Brauer begins the study of [[modular character]]s.
+|ब्राउर मॉड्यूलर वर्णों का अध्ययन प्रारंभ करता है।
 |-
 |style="vertical-align:top"|1936
-|Zassenhaus classifies finite sharply 3-transitive permutation groups
+|ज़ैसेनहॉस परिमित तीव्र 3-सकर्मक क्रमपरिवर्तन समूहों को वर्गीकृत करता है
 |-
 |style="vertical-align:top"|1938
-|Fitting introduces the [[Fitting subgroup]] and proves Fitting's theorem that for solvable groups the Fitting subgroup contains its centralizer.
+|फिटिंग फिटिंग उपसमूह का परिचय देती है और फिटिंग के प्रमेय को सिद्ध करती है कि सॉल्व करने योग्य समूहों के लिए फिटिंग उपसमूह में इसका केंद्रक होता है।
 |-
 |style="vertical-align:top"|1942
-|Brauer describes the modular characters of a group divisible by a prime to the first power.
+|ब्राउर एक समूह के मॉड्यूलर वर्णों का वर्णन करता है जो एक प्रधान से पहली शक्ति तक विभाज्य है।
 |-
 |style="vertical-align:top"|1954
-|Brauer classifies simple groups with GL<sub>2</sub>('''F'''<sub>''q''</sub>) as the centralizer of an involution.
+|ब्राउर GL<sub>2</sub>('''F'''<sub>''q''</sub>)  के साथ सरल समूहों को एक अंतर्वलन के केंद्रक के रूप में वर्गीकृत करता है।
 |-
 |style="vertical-align:top"|1955
-|The [[Brauer–Fowler theorem]] implies that the number of finite simple groups with given centralizer of involution is finite, suggesting an attack on the classification using centralizers of involutions.
+|ब्राउर-फाउलर प्रमेय का अर्थ है कि सम्मिलित होने के केंद्रीकृत के साथ परिमित सरल समूहों की संख्या परिमित है जो वर्गीकरण के केंद्रीयकरणों का उपयोग करके वर्गीकरण पर हमले का सुझाव दे रहा है।
 |-
 |style="vertical-align:top"|1955
-|Chevalley introduces the [[Chevalley groups]], in particular introducing exceptional simple groups of types ''F''<sub>4</sub>, ''E''<sub>7</sub>, and ''E''<sub>8</sub>.
+|शेवाली परिचय  शेवाली समूहों का देता है विशेष रूप से ''F''<sub>4</sub>, ''E''<sub>7</sub>, और ''E''<sub>8</sub>. प्रकार के असाधारण सरल समूहों को प्रस्तुत करता है।
 |-
 |style="vertical-align:top"|1956
-|The [[Hall–Higman theorem]] describes the possibilities for the [[minimal polynomial (linear algebra)|minimal polynomial]] of an element of prime power order for a representation of a [[p-solvable group|''p''-solvable group]].
+|हॉल-हिगमैन प्रमेय पी-सॉल्वेबल ग्रुप के प्रतिनिधित्व के लिए प्रधान शक्ति क्रम के तत्व के न्यूनतम बहुपद के लिए संभावनाओं का वर्णन करता है।
 |-
 |style="vertical-align:top"|1957
-| Suzuki shows that all finite simple [[CA group]]s of odd order are cyclic.
+| सुज़ुकी दिखाता है कि विषम क्रम के सभी परिमित सरल सीए समूह चक्रीय हैं।
 |-
 |style="vertical-align:top"|1958
-|The [[Brauer–Suzuki–Wall theorem]] characterizes the projective special linear groups of rank 1, and classifies the simple [[CA group]]s.
+|ब्राउर-सुजुकी-वॉल प्रमेय पद 1 के प्रक्षेपी विशेष रैखिक समूहों की विशेषता है और सरल सीए समूहों को वर्गीकृत करता है।
 |-
 |style="vertical-align:top"|1959
-|Steinberg introduces the [[Group of Lie type#Steinberg groups|Steinberg group]]s, giving some new finite simple groups, of types <sup>3</sup>''D''<sub>4</sub> and <sup>2</sup>''E''<sub>6</sub> (the latter were independently found at about the same time by Tits).
+|स्टाइनबर्ग ने स्टाइनबर्ग समूहों का परिचय दिया, कुछ नए परिमित सरल समूह दिए, प्रकार <sup>3</sup>''D''<sub>4</sub> और <sup>2</sup>''E''<sub>6</sub> (बाद वाले स्वतंत्र रूप से लगभग एक ही समय में स्तन द्वारा पाए गए थे)।
 |-
 |style="vertical-align:top"|1959
-|The [[Brauer–Suzuki theorem]] about groups with generalized quaternion Sylow 2-subgroups shows in particular that none of them are simple.
+|सामान्य चतुर्भुज साइलो 2-उपसमूह वाले समूहों के बारे में ब्राउर-सुजुकी प्रमेय विशेष रूप से दर्शाता है कि उनमें से कोई भी सरल नहीं है।
 |-
 |style="vertical-align:top"|1960
-|Thompson proves that a group with a fixed-point-free automorphism of prime order is nilpotent.
+|थॉम्पसन सिद्ध करता है कि प्राइम ऑर्डर के फिक्स्ड-पॉइंट-फ्री ऑटोमोर्फिज्म वाला एक समूह शून्य है।
 |-
 |style="vertical-align:top"|1960
-| Feit, Marshall Hall, and Thompson show that all finite simple [[CN group]]s of odd order are cyclic.
+| फिट, मार्शल हॉल और थॉम्पसन दिखाते हैं कि विषम क्रम के सभी परिमित सरल सीएन समूह चक्रीय हैं।
 |-
 |style="vertical-align:top"|1960
-|Suzuki introduces the [[Suzuki groups]], with types <sup>2</sup>''B''<sub>2</sub>.
+|सुज़ुकी ने सुज़ुकी समूहों को टाइप <sup>2</sup>''B''<sub>2</sub> के साथ प्रस्तुत  किया।
 |-
 |style="vertical-align:top"|1961
-|Ree introduces the [[Ree group]]s, with types <sup>2</sup>''F''<sub>4</sub> and  <sup>2</sup>''G''<sub>2</sub>.
+|री री समूह का परिचय देता है, प्रकार <sup>2</sup>''F''<sub>4</sub> और <sup>2</sup>''G''<sub>2</sub> के साथ।
 |-
 |style="vertical-align:top"| 1963
-| Feit and Thompson prove the [[odd order theorem]].
+| फीट और थॉम्पसन विषम क्रम प्रमेय सिद्ध करते हैं।
 |-
 |style="vertical-align:top"|1964
-|Tits introduces BN pairs for groups of Lie type and finds the [[Tits group]]
+|स्तन झूठ प्रकार के समूहों के लिए बीएन जोड़े प्रस्तुत  करता है और स्तन समूह पाता है
 |-
 |style="vertical-align:top"|1965
-|The [[Gorenstein–Walter theorem]] classifies groups with a dihedral Sylow 2-subgroup.
+|गोरेंस्टीन-वाल्टर प्रमेय एक डायहेड्रल साइलो 2-उपसमूह वाले समूहों को वर्गीकृत करता है।
 |-
 |style="vertical-align:top"|1966
-|Glauberman proves the [[Z* theorem]]
+|ग्लौबरमैन Z* प्रमेय को सिद्ध करता है
 |-
 |style="vertical-align:top"|1966
-|Janko introduces the [[Janko group J1]], the first new sporadic group for about a century.
+|जांको जानको समूह J1 का परिचय देता है, जो लगभग एक सदी के लिए पहला नया छिटपुट समूह है।
 |-
 |style="vertical-align:top"|1968
-|Glauberman proves the [[ZJ theorem]]
+|ग्लौबरमैन ZJ प्रमेय को सिद्ध करता है
 |-
 |style="vertical-align:top"|1968
-|Higman and Sims introduce the [[Higman–Sims group]]
+|हिगमैन और सिम्स ने हिगमैन-सिम्स समूह का परिचय दिया
 |-
 |style="vertical-align:top"|1968
-|[[John Horton Conway|Conway]] introduces the [[Conway groups]]
+|कॉनवे कॉनवे समूहों का परिचय देता है
 |-
 |style="vertical-align:top"|1969
-|[[Walter's theorem]] classifies groups with abelian Sylow 2-subgroups
+|वाल्टर का प्रमेय एबेलियन सिलो 2-उपसमूहों के साथ समूहों को वर्गीकृत करता है
 |-
 |style="vertical-align:top"|1969
-|Introduction of the [[Suzuki sporadic group]], the [[Janko group J2]], the [[Janko group J3]], the [[McLaughlin group (mathematics)|McLaughlin group]], and the [[Held group]].
+|सुज़ुकी छिटपुट समूह, जानको समूह J2, जानको समूह J3, मैकलॉफ़लिन समूह और हेल्ड समूह का परिचय।
 |-
 |style="vertical-align:top"|1969
-|Gorenstein introduces [[signalizer functor]]s based on Thompson's ideas.
+|गोरेंस्टीन ने थॉम्पसन के विचारों के आधार पर सिगनलाइज़र कारकों का परिचय दिया।
 |-
 |style="vertical-align:top"|1970
-|MacWilliams shows that the 2-groups with no normal abelian subgroup of rank 3 have sectional 2-rank at most 4. (The simple groups with Sylow subgroups satisfying the latter condition were later classified by Gorenstein and Harada.)
+|मैकविलियम्स दिखाते हैं कि पद 3 के सामान्य एबेलियन उपसमूह वाले 2-समूहों में अनुभागीय 2-पद अधिक से अधिक 4 है।
 |-
 |style="vertical-align:top"|1970
-|Bender introduced the [[generalized Fitting subgroup]]
+|बेंडर ने सामान्यीकृत फिटिंग उपसमूह पेश किया
 |-
 |style="vertical-align:top"|1970
-|The [[Alperin–Brauer–Gorenstein theorem]] classifies groups with quasi-dihedral or wreathed Sylow 2-subgroups, completing the classification of the simple groups of 2-rank at most 2
+|अल्पेरिन-ब्रेउर-गोरेनस्टीन प्रमेय अर्ध-डायहेड्रल या पुष्पित साइलो 2-उपसमूहों के साथ समूहों को वर्गीकृत करता है, अधिकतम 2-पद के साधारण समूहों के वर्गीकरण को पूरा करता है।
 |-
 |style="vertical-align:top"|1971
-|Fischer introduces the three [[Fischer groups]]
+|फिशर तीन फिशर समूहों का परिचय देता है
 |-
 |style="vertical-align:top"|1971
-|Thompson classifies [[quadratic pair]]s
+|थॉम्पसन द्विघात जोड़े को वर्गीकृत करता है
 |-
 |style="vertical-align:top"|1971
-|Bender classifies group with a [[strongly embedded subgroup]]
+|बेंडर समूह को दृढ़ता से एम्बेडेड उपसमूह के साथ वर्गीकृत करता है
 |-
 |style="vertical-align:top"|1972
-|Gorenstein proposes a 16-step program for classifying finite simple groups; the final classification follows his outline quite closely.
+|गोरेंस्टीन परिमित सरल समूहों को वर्गीकृत करने के लिए एक 16-चरणीय कार्यक्रम प्रस्तावित करता है; अंतिम वर्गीकरण उसकी रूपरेखा का अधिक निकट से अनुसरण करता है।
 |-
 |style="vertical-align:top"|1972
-|Lyons introduces the [[Lyons group]]
+|ल्योंस ल्योंस समूह का परिचय देता है
 |-
 |style="vertical-align:top"|1973
-|Rudvalis introduces the [[Rudvalis group]]
+|रुडवालिस ने रुडवालिस समूह का परिचय दिया
 |-
 |style="vertical-align:top"|1973
-|Fischer discovers the [[baby monster group]] (unpublished), which Fischer and Griess use to discover the [[monster group]], which in turn leads Thompson to the [[Thompson sporadic group]] and Norton to the [[Harada–Norton group]] (also found in a different way by Harada).
+|फिशर बेबी मॉन्स्टर समूह (अप्रकाशित) की खोज करता है, जिसका उपयोग फिशर और ग्रिएस मॉन्स्टर समूह की खोज के लिए करते हैं, जो बदले में थॉम्पसन को थॉम्पसन छिटपुट समूह और नॉर्टन को हराडा-नॉर्टन समूह (हरदा द्वारा एक अलग विधि से पाया गया) की ओर ले जाता है।
 |-
 |style="vertical-align:top"|1974
-|Thompson classifies [[N-group (finite group theory)|N-groups]], groups all of whose local subgroups are solvable.
+|थॉम्पसन एन-समूहों को वर्गीकृत करता है जिनके सभी स्थानीय उपसमूह हल करने योग्य हैं।
 |-
 |style="vertical-align:top"|1974
-|The [[Gorenstein–Harada theorem]] classifies the simple groups of sectional 2-rank at most 4, dividing the remaining finite simple groups into those of component type and those of characteristic 2 type.
+|गोरेंस्टीन-हरदा प्रमेय अनुभागीय 2-पद के सरल समूहों को अधिकतम 4 में वर्गीकृत करता है, शेष परिमित सरल समूहों को घटक प्रकार और विशेषता 2 प्रकार के लोगों में विभाजित करता है।
 |-
 |style="vertical-align:top"|1974
-|Tits shows that groups with [[BN pair]]s of rank at least 3 are groups of Lie type
+|टिट्स से पता चलता है कि कम से कम 3 पद वाले बीएन जोड़े वाले समूह झूठ प्रकार के समूह हैं
 |-
 |style="vertical-align:top"|1974
-|Aschbacher classifies the groups with a proper [[2-generated core]]
+|एशबैकर समूहों को एक उचित 2-जनित कोर के साथ वर्गीकृत करता है
 |-
 |style="vertical-align:top"|1975
-|Gorenstein and Walter prove the [[L-balance theorem]]
+|गोरेंस्टीन और वाल्टर एल-बैलेंस प्रमेय सिद्ध करते हैं
 |-
 |style="vertical-align:top"|1976
-|Glauberman proves the solvable [[signalizer functor]] theorem
+|Glauberman सॉल्वेबल सिगनलाइज़र कारक प्रमेय को सिद्ध करता है
 |-
 |style="vertical-align:top"|1976
-|Aschbacher proves the [[component theorem]], showing roughly that groups of odd type satisfying some conditions have a component in standard form. The groups with a component of standard form were classified in a large collection of papers by many authors.
+|एशबैकर घटक प्रमेय को सिद्ध करता है, सामान्यतः दिखा रहा है कि विषम प्रकार के समूह कुछ स्थितियों को संतुष्ट करते हैं, मानक रूप में एक घटक होता है। मानक रूप के एक घटक वाले समूहों को कई लेखकों द्वारा कागजात के एक बड़े संग्रह में वर्गीकृत किया गया था।
 |-
 |style="vertical-align:top"|1976
-|O'Nan introduces the [[O'Nan group]]
+|ओ'नान ने ओ'नान समूह का परिचय दिया
 |-
 |style="vertical-align:top"|1976
-|Janko introduces the [[Janko group J4]], the last sporadic group to be discovered
+|जांको जानको समूह J4 का परिचय देता है जो खोजा जाने वाला अंतिम छिटपुट समूह है
 |-
 |style="vertical-align:top"|1977
-|Aschbacher characterizes the groups of Lie type of odd characteristic in his [[classical involution theorem]]. After this theorem, which in some sense deals with "most" of the simple groups, it was generally felt that the end of the classification was in sight.
+|एशबैकर अपने क्लासिकल इन्वोल्यूशन प्रमेय में लाई प्रकार के विषम लक्षणों के समूहों की विशेषता बताता है। इस प्रमेय के बाद, जो कुछ अर्थों में सरल समूहों के "अधिकांश" से संबंधित है, यह सामान्यतः अनुभव किया गया था कि वर्गीकरण का अंत निकट था।
 |-
 |style="vertical-align:top"|1978
-|Timmesfeld proves the O<sub>2</sub> extraspecial theorem, breaking the classification of [[groups of GF(2)-type]] into several smaller problems.
+|टिम्सफेल्ड ने O<sub>2</sub> अतिरिक्त विशेष प्रमेय को सिद्ध किया, GF(2)-प्रकार के समूहों के वर्गीकरण को कई छोटी समस्याओं में तोड़ दिया।
 |-
 |style="vertical-align:top"|1978
-|Aschbacher classifies the [[thin finite group]]s, which are mostly rank 1 groups of Lie type over fields of even characteristic.
+|एशबैकर पतले परिमित समूहों को वर्गीकृत करता है, जो कि अधिकतर विशेषता वाले क्षेत्रों पर झूठ प्रकार के रैंक 1 समूह हैं।
 |-
 |style="vertical-align:top"|1981
-|Bombieri uses elimination theory to complete Thompson's work on the characterization of [[Ree group]]s, one of the hardest steps of the classification.
+|बॉम्बिएरी वर्गीकरण के सबसे कठिन चरणों में से एक, री समूहों के लक्षण वर्णन पर थॉम्पसन के काम को पूरा करने के लिए उन्मूलन सिद्धांत का उपयोग करता है।
 |-
 |style="vertical-align:top"|1982
-|McBride proves the [[signalizer functor theorem]] for all finite groups.
+|मैकब्राइड सभी परिमित समूहों के लिए संकेतक कारक प्रमेय सिद्ध करता है।
 |-
 |style="vertical-align:top"|1982
-|Griess constructs the [[monster group]] by hand
+|ग्राइस हाथ से राक्षस समूह का निर्माण करता है
 |-
 |style="vertical-align:top"|1983
-| The [[Gilman–Griess theorem]] classifies groups of characteristic 2 type and rank at least 4 with standard components, one of the three cases of the trichotomy theorem.
+| गिल्मन-ग्रिस प्रमेय विशेषता 2 प्रकार के समूहों को वर्गीकृत करता है और मानक घटकों के साथ कम से कम 4 रैंक करता है, ट्राइकोटॉमी प्रमेय के तीन स्थितियों में से एक है।
 |-
 |style="vertical-align:top"|1983
-|Aschbacher proves that no finite group satisfies the hypothesis of the [[uniqueness case]], one of the three cases given by the trichotomy theorem for groups of characteristic 2 type.
+|एशबैकर सिद्ध करता है कि कोई भी परिमित समूह अद्वितीयता स्थिति की परिकल्पना को संतुष्ट नहीं करता है, ट्राइकोटॉमी प्रमेय द्वारा विशेषता 2 प्रकार के समूहों के लिए दिए गए तीन स्थितियों में से एक।
 |-
 |style="vertical-align:top"|1983
-|Gorenstein and Lyons prove the [[trichotomy theorem]] for groups of characteristic 2 type and rank at least 4, while Aschbacher does the case of rank 3. This divides these groups into 3 subcases: the uniqueness case, groups of GF(2) type, and groups with a standard component.
+|गोरेंस्टीन और लियोन विशेषता 2 प्रकार के समूहों और कम से कम 4 रैंक के लिए ट्राइकोटॉमी प्रमेय सिद्ध करते हैं, जबकि एशबैकर रैंक 3 के स्थिति में करता है। यह इन समूहों को 3 उपकेस में विभाजित करता है: विशिष्टता स्थिति , GF(2) प्रकार के समूह, और समूह एक मानक घटक।
 |-
 |style="vertical-align:top"| 1983
-| Gorenstein announces the proof of the classification is complete, somewhat prematurely as the proof of the quasithin case was incomplete.
+| गोरेंस्टीन ने घोषणा की कि वर्गीकरण का प्रमाण पूरा हो गया है, कुछ सीमा तक समय से पहले क्वैसिथिन स्थिति का प्रमाण अधूरा था।
 |-
 |style="vertical-align:top"|1994
-| Gorenstein, Lyons, and Solomon begin publication of the revised classification
+| गोरेंस्टीन, ल्योंस और सोलोमन ने संशोधित वर्गीकरण का प्रकाशन प्रारंभ किया
 |-
 |style="vertical-align:top"|2004
-|Aschbacher and Smith publish their work on [[quasithin group]]s (which are mostly groups of Lie type of rank at most 2 over fields of even characteristic), filling the last gap in the classification known at that time.
+|एशबैकरैंड स्मिथ ने क्वैसिथिन समूहों पर अपना काम प्रकाशित किया (जो अधिकत्तर लाई प्रकार के रैंक के समूह हैं जो कि विशेषता के अधिकतम 2 से अधिक क्षेत्रों में हैं), उस समय ज्ञात वर्गीकरण में अंतिम अंतर को भरते हैं।
 |-
 |style="vertical-align:top"|2008
-|Harada and Solomon fill a minor gap in the classification by describing groups with a standard component that is a cover of the [[Mathieu group M22]], a case that was accidentally omitted from the proof of the classification due to an error in the calculation of the Schur multiplier of M22.
+|हरदा और सोलोमन एक मानक घटक के साथ समूहों का वर्णन करके वर्गीकरण में एक सामान्य अंतर को भरते हैं जो कि मैथ्यू समूह M22 का एक आवरण है, एक ऐसा स्थिति  शूर गुणक की गणना M22 में त्रुटि के कारण गलती से वर्गीकरण के प्रमाण से छूट गया था।
 |-
 |style="vertical-align:top"|2012
-|Gonthier and collaborators announce a computer-checked version of the [[Feit–Thompson theorem]] using the [[Coq]] [[proof assistant]].<ref>{{cite web |url=http://www.msr-inria.fr/news/feit-thomson-proved-in-coq/ |title=Feit–Thompson theorem has been totally checked in Coq |publisher=Msr-inria.inria.fr |date=2012-09-20 |access-date=2012-09-25 |archive-url=https://web.archive.org/web/20161119094854/http://www.msr-inria.fr/news/feit-thomson-proved-in-coq/ |archive-date=2016-11-19 |url-status=dead }}</ref>
+|गोन्थियर और सहयोगी Coq प्रूफ सहायक का उपयोग करके फीट-थॉम्पसन प्रमेय के कंप्यूटर-जाँच किए गए संस्करण की घोषणा करते हैं।<ref>{{cite web |url=http://www.msr-inria.fr/news/feit-thomson-proved-in-coq/ |title=Feit–Thompson theorem has been totally checked in Coq |publisher=Msr-inria.inria.fr |date=2012-09-20 |access-date=2012-09-25 |archive-url=https://web.archive.org/web/20161119094854/http://www.msr-inria.fr/news/feit-thomson-proved-in-coq/ |archive-date=2016-11-19 |url-status=dead }}</ref>
 |}
 == दूसरी पीढ़ी का वर्गीकरण ==
-प्रमेय का प्रमाण, जैसा कि यह 1985 या उसके आसपास था, को पहली पीढ़ी कहा जा सकता है। पहली पीढ़ी के प्रमाण की अत्यधिक लंबाई के कारण, एक सरल प्रमाण खोजने के लिए काफी प्रयास किया गया है, जिसे 'दूसरी पीढ़ी का वर्गीकरण प्रमाण' कहा जाता है। यह प्रयास, जिसे संशोधनवाद कहा जाता है, मूल रूप से डैनियल गोरेंस्टीन के नेतृत्व में था।
+प्रमेय का प्रमाण जैसा कि यह 1985 या उसके आसपास था को पहली पीढ़ी कहा जा सकता है। पहली पीढ़ी के प्रमाण की अत्यधिक लंबाई के कारण एक सरल प्रमाण खोजने के लिए अधिक प्रयास किया गया है जिसे 'दूसरी पीढ़ी का वर्गीकरण प्रमाण' कहा जाता है। यह प्रयास जिसे संशोधनवाद कहा जाता है मूल रूप से डैनियल गोरेंस्टीन के नेतृत्व में था।
-{{As of|2021}}, दूसरी पीढ़ी के प्रमाण के नौ खंड प्रकाशित किए गए हैं (गोरेंस्टीन, लियोन और सोलोमन 1994, 1996, 1998, 1999, 2002, 2005, 2018a, 2018b, 2021)। 2012 में सोलोमन ने अनुमान लगाया था कि परियोजना को और 5 संस्करणों की आवश्यकता होगी, लेकिन कहा कि उन पर प्रगति धीमी थी। ऐसा अनुमान है कि नया प्रमाण अंततः लगभग 5,000 पृष्ठों को भरेगा। (यह लंबाई आंशिक रूप से दूसरी पीढ़ी के प्रमाण से अधिक आराम की शैली में लिखी जा रही है।) हालांकि, जीएलएस श्रृंखला के खंड 9 के प्रकाशन के साथ, और एशबैकर-स्मिथ योगदान सहित, यह अनुमान पहले से ही कई और के साथ पहुंच गया था वॉल्यूम अभी भी तैयारी में हैं (शेष जो मूल रूप से वॉल्यूम 9 के लिए अभिप्रेत था, साथ ही अनुमानित वॉल्यूम 10 और 11)। एशबैकर और स्मिथ ने अपने दो खंड क्वासिथिन केस को समर्पित इस तरह से लिखे कि वे खंड दूसरी पीढ़ी के प्रमाण का हिस्सा हो सकते हैं।
+{{As of|2021}}, दूसरी पीढ़ी के प्रमाण के नौ खंड प्रकाशित किए गए हैं (गोरेंस्टीन, लियोन और सोलोमन 1994, 1996, 1998, 1999, 2002, 2005, 2018a, 2018b, 2021)। 2012 में सोलोमन ने अनुमान लगाया था कि परियोजना को और 5 संस्करणों की आवश्यकता होगी चूँकि कहा कि उन पर प्रगति धीमी थी। ऐसा अनुमान है कि नया प्रमाण अंततः लगभग 5,000 पृष्ठों को भरेगा। (यह लंबाई आंशिक रूप से दूसरी पीढ़ी के प्रमाण से अधिक आराम की शैली में लिखी जा रही है।) चूँकि जीएलएस श्रृंखला के खंड 9 के प्रकाशन के साथ, और एशबैकर-स्मिथ योगदान सहित, यह अनुमान पहले से ही कई और के साथ पहुंच गया था वॉल्यूम अभी भी तैयारी में हैं (शेष जो मूल रूप से वॉल्यूम 9 के लिए अभिप्रेत था साथ ही अनुमानित वॉल्यूम 10 और 11)। एशबैकर और स्मिथ ने अपने दो खंड क्वासिथिन केस को समर्पित इस तरह से लिखे कि वे खंड दूसरी पीढ़ी के प्रमाण का भाग हो सकते हैं।
 गोरेंस्टीन और उनके सहयोगियों ने कई कारण बताए हैं कि एक सरल उपपत्ति क्यों संभव है।
-* सबसे महत्वपूर्ण बात यह है कि अब प्रमेय का सही, अंतिम कथन ज्ञात हो गया है। सरल तकनीकें लागू की जा सकती हैं जो उन समूहों के लिए पर्याप्त मानी जाती हैं जिन्हें हम जानते हैं कि वे परिमित सरल हैं। इसके विपरीत, पहली पीढ़ी के प्रमाण पर काम करने वालों को यह नहीं पता था कि कितने छिटपुट समूह थे, और वास्तव में वर्गीकरण प्रमेय के अन्य मामलों को साबित करते हुए कुछ छिटपुट समूहों (जैसे, [[जांको समूह]]) की खोज की गई थी। नतीजतन, प्रमेय के कई टुकड़े उन तकनीकों का उपयोग करके साबित हुए जो अत्यधिक सामान्य थे।
+* सबसे महत्वपूर्ण बात यह है कि अब प्रमेय का सही अंतिम कथन ज्ञात हो गया है। सरल विधि प्रयुक्त की जा सकती हैं जो उन समूहों के लिए पर्याप्त मानी जाती हैं जिन्हें हम जानते हैं कि वे परिमित सरल हैं। इसके विपरीत पहली पीढ़ी के प्रमाण पर काम करने वालों को यह नहीं पता था कि कितने छिटपुट समूह थे और वास्तव में वर्गीकरण प्रमेय के अन्य स्थिति को सिद्ध करते हुए कुछ छिटपुट समूहों (जैसे, [[जांको समूह]]) की खोज की गई थी। परिणाम स्वरुप  प्रमेय के कई टुकड़े उन विधियों का उपयोग करके सिद्ध हुए जो अत्यधिक सामान्य थे।
-*चूंकि निष्कर्ष अज्ञात था, पहली पीढ़ी के प्रमाण में कई स्टैंड-अलोन प्रमेय शामिल हैं, जो महत्वपूर्ण विशेष मामलों से निपटते हैं। इन प्रमेयों को सिद्ध करने का अधिकांश कार्य अनेक विशेष मामलों के विश्लेषण के लिए समर्पित था। एक बड़े, ऑर्केस्ट्रेटेड सबूत को देखते हुए, इनमें से कई विशेष मामलों से निपटना तब तक के लिए स्थगित किया जा सकता है जब तक कि सबसे शक्तिशाली मान्यताओं को लागू नहीं किया जा सकता। इस संशोधित रणनीति के तहत भुगतान की गई कीमत यह है कि इन पहली पीढ़ी के प्रमेयों के पास तुलनात्मक रूप से कम प्रमाण नहीं हैं, बल्कि पूर्ण वर्गीकरण पर निर्भर हैं।
+*चूंकि निष्कर्ष अज्ञात था पहली पीढ़ी के प्रमाण में कई स्टैंड-अलोन प्रमेय सम्मिलित हैं जो महत्वपूर्ण विशेष स्थिति से निपटते हैं। इन प्रमेयों को सिद्ध करने का अधिकांश कार्य अनेक विशेष स्थिति के विश्लेषण के लिए समर्पित था। एक बड़े ऑर्केस्ट्रेटेड प्रमाण को देखते हुए इनमें से कई विशेष स्थिति से निपटना तब तक के लिए स्थगित किया जा सकता है जब तक कि सबसे शक्तिशाली मान्यताओं को प्रयुक्त नहीं किया जा सकता इस संशोधित रणनीति के तहत भुगतान की गई कीमत यह है कि इन पहली पीढ़ी के प्रमेयों के पास तुलनात्मक रूप से कम प्रमाण नहीं हैं चूँकि पूर्ण वर्गीकरण पर निर्भर हैं।
-*कई पहली पीढ़ी के प्रमेय ओवरलैप करते हैं, और इसलिए संभावित मामलों को अकुशल तरीकों से विभाजित करते हैं। परिणामस्वरूप, परिमित सरल समूहों के परिवारों और उप-परिवारों की कई बार पहचान की गई। संशोधित सबूत मामलों के एक अलग उपखंड पर भरोसा करके इन अतिरेक को समाप्त करता है।
+*कई पहली पीढ़ी के प्रमेय ओवरलैप करते हैं और इसलिए संभावित स्थिति को अकुशल विधियों से विभाजित करते हैं। परिणामस्वरूप परिमित सरल समूहों के वर्गों और उप-वर्गों की कई बार पहचान की गई। संशोधित प्रमाण स्थिति के एक अलग उपखंड पर विश्वास करके इन अतिरेक को समाप्त करता है।
-* परिमित समूह सिद्धांतकारों के पास इस प्रकार के व्यायाम का अधिक अनुभव है, और उनके निपटान में नई तकनीकें हैं।
+* परिमित समूह सिद्धांतकारों के पास इस प्रकार के व्यायाम का अधिक अनुभव है और उनके निपटान में नई विधि हैं।
-{{harvtxt|Aschbacher|2004}} ने अलरिच मीयरफैंकेंफेल्ड, बर्न्ड स्टेलमाकर, गर्नोट स्ट्रॉथ और कुछ अन्य लोगों द्वारा वर्गीकरण समस्या पर काम को तीसरी पीढ़ी का कार्यक्रम कहा है। इसका एक लक्ष्य अमलगम विधि का उपयोग करके सभी समूहों को विशेषता 2 में समान रूप से व्यवहार करना है।
+{{harvtxt|एशबैकर|2004}} ने अलरिच मीयरफैंकेंफेल्ड, बर्न्ड स्टेलमाकर, गर्नोट स्ट्रॉथ और कुछ अन्य लोगों द्वारा वर्गीकरण समस्या पर काम को तीसरी पीढ़ी का कार्यक्रम कहा है। इसका एक लक्ष्य अमलगम विधि का उपयोग करके सभी समूहों को विशेषता 2 में समान रूप से व्यवहार करना है।
-=== सबूत की लंबाई ===
+=== प्रमाण की लंबाई ===
 गोरेंस्टीन ने कुछ कारणों पर चर्चा की है कि कॉम्पैक्ट लाई समूहों के वर्गीकरण के समान वर्गीकरण का संक्षिप्त प्रमाण क्यों नहीं हो सकता है।
-*सबसे स्पष्ट कारण यह है कि सरल समूहों की सूची काफी जटिल है: 26 छिटपुट समूहों के साथ कई विशेष मामले होने की संभावना है जिन्हें किसी प्रमाण में माना जाना है। अभी तक किसी को भी [[डायनकिन आरेख]]ों द्वारा कॉम्पैक्ट लाई समूहों के पैरामीटरकरण के समान परिमित सरल समूहों का एक स्वच्छ वर्दी विवरण नहीं मिला है।
+*सबसे स्पष्ट कारण यह है कि सरल समूहों की सूची अधिक जटिल है: 26 छिटपुट समूहों के साथ कई विशेष स्थिति होने की संभावना है जिन्हें किसी प्रमाण में माना जाना है। अभी तक किसी को भी [[डायनकिन आरेख]] द्वारा कॉम्पैक्ट लाई समूहों के पैरामीटरकरण के समान परिमित सरल समूहों का एक स्वच्छ वर्दी विवरण नहीं मिला है।
-*अतियाह और अन्य लोगों ने सुझाव दिया है कि कुछ ज्यामितीय वस्तु का निर्माण करके वर्गीकरण को सरल बनाया जाना चाहिए, जिस पर समूह कार्य करते हैं और फिर इन ज्यामितीय संरचनाओं को वर्गीकृत करते हैं। समस्या यह है कि कोई भी एक साधारण समूह से जुड़ी ऐसी ज्यामितीय संरचना को खोजने का आसान तरीका सुझाने में सक्षम नहीं है। कुछ अर्थों में, वर्गीकरण बीएन-जोड़े जैसे ज्यामितीय संरचनाओं को खोजने के द्वारा काम करता है, लेकिन यह केवल एक परिमित सरल समूह की संरचना के बहुत लंबे और कठिन विश्लेषण के अंत में आता है।
+*अतियाह और अन्य लोगों ने सुझाव दिया है कि कुछ ज्यामितीय वस्तु का निर्माण करके वर्गीकरण को सरल बनाया जाना चाहिए जिस पर समूह कार्य करते हैं और फिर इन ज्यामितीय संरचनाओं को वर्गीकृत करते हैं। समस्या यह है कि कोई भी एक साधारण समूह से जुड़ी ऐसी ज्यामितीय संरचना को खोजने का आसान विधि सुझाने में सक्षम नहीं है। कुछ अर्थों में वर्गीकरण बीएन-जोड़े जैसे ज्यामितीय संरचनाओं को खोजने के द्वारा काम करता है चूँकि यह केवल एक परिमित सरल समूह की संरचना के बहुत लंबे और कठिन विश्लेषण के अंत में आता है।
-*उपपत्ति को सरल बनाने के लिए एक अन्य सुझाव [[प्रतिनिधित्व सिद्धांत]] का अधिक से अधिक उपयोग करना है। यहाँ समस्या यह है कि प्रतिनिधित्व सिद्धांत को अच्छी तरह से काम करने के लिए एक समूह के उपसमूहों पर बहुत सख्त नियंत्रण की आवश्यकता होती है। छोटे रैंक के समूहों के लिए, इस तरह का नियंत्रण और प्रतिनिधित्व सिद्धांत बहुत अच्छी तरह से काम करता है, लेकिन बड़े रैंक के समूहों के लिए वर्गीकरण को सरल बनाने के लिए कोई भी इसका उपयोग करने में सफल नहीं हुआ है। वर्गीकरण के शुरुआती दिनों में, प्रतिनिधित्व सिद्धांत का उपयोग करने के लिए काफी प्रयास किए गए थे, लेकिन इससे उच्च पद के मामले में ज्यादा सफलता नहीं मिली।
+*उपपत्ति को सरल बनाने के लिए एक अन्य सुझाव [[प्रतिनिधित्व सिद्धांत]] का अधिक से अधिक उपयोग करना है। यहाँ समस्या यह है कि प्रतिनिधित्व सिद्धांत को अच्छी तरह से काम करने के लिए एक समूह के उपसमूहों पर बहुत सख्त नियंत्रण की आवश्यकता होती है। छोटे पद के समूहों के लिए, इस तरह का नियंत्रण और प्रतिनिधित्व सिद्धांत बहुत अच्छी तरह से काम करता है चूँकि बड़े पद के समूहों के लिए वर्गीकरण को सरल बनाने के लिए कोई भी इसका उपयोग करने में सफल नहीं हुआ है। वर्गीकरण के प्रारंभिक  दिनों में प्रतिनिधित्व सिद्धांत का उपयोग करने के लिए अधिक प्रयास किए गए थे चूँकि इससे उच्च पद के स्थिति में ज्यादा सफलता नहीं मिली है।
 == वर्गीकरण के परिणाम ==
@@ Line 352: / Line 351: @@
 *[[संकेतक समारोह सिद्धांत]]
 * [[बी अनुमान]]
-* सभी समूहों के लिए शूर-ज़सेनहॉस प्रमेय (हालांकि यह केवल फीट-थॉम्पसन प्रमेय का उपयोग करता है)।
+* सभी समूहों के लिए शूर-ज़सेनहॉस प्रमेय (चूँकि यह केवल फीट-थॉम्पसन प्रमेय का उपयोग करता है)।
 * 1 से अधिक तत्व वाले परिमित सेट पर एक सकर्मक क्रमचय समूह में प्राइम पावर ऑर्डर का एक निश्चित-बिंदु-मुक्त तत्व होता है।
-*बहु संक्रामकता का वर्गीकरण|2-सकर्मक क्रमचय समूह।
+*बहु संक्रामकता का वर्गीकरण 2-सकर्मक क्रमचय समूह।
-*[[रैंक 3 क्रमचय समूह]]ों का वर्गीकरण।
+*[[रैंक 3 क्रमचय समूह|पद 3 क्रमचय समूह]] का वर्गीकरण।
 * [[सिम्स अनुमान]]<ref>{{cite journal|last1=Cameron |first1=P. J. |last2=Praeger |first2=C. E. |last3=Saxl |first3=J. |last4=Seitz |first4=G. M. |author-link1=Peter Cameron (mathematician) |author-link2=Cheryl Praeger |author-link3=Jan Saxl|author-link4=Gary Seitz |title=सिम्स अनुमान और दूरी सकर्मक रेखांकन पर|journal=[[Bull. London Math. Soc.]] |volume=15 |year=1983 |issue=5 |pages=499–506 |doi=10.1112/blms/15.5.499}}</ref>
-*फ्रोबेनियस की प्रमेय (समूह सिद्धांत) | के समाधान की संख्या पर फ्रोबेनियस का अनुमान {{nowrap|1=''x''<sup>''n''</sup> = 1}}.
+*{{nowrap|1=''x''<sup>''n''</sup> = 1}} के समाधान की संख्या पर फ्रोबेनियस का अनुमान।
 == यह भी देखें ==

Anonymous

Search

परिमित सरल समूहों का वर्गीकरण: Difference between revisions

Revision as of 11:40, 31 May 2023

वर्गीकरण प्रमेय का कथन

वर्गीकरण प्रमेय के प्रमाण का अवलोकन

छोटे 2-पद के समूह

घटक प्रकार के समूह

विशेषता 2 प्रकार के समूह

सरल समूहों का अस्तित्व और विशिष्टता

प्रमाण का इतिहास

गोरेंस्टीन का कार्यक्रम

प्रमाण की समयरेखा

दूसरी पीढ़ी का वर्गीकरण

प्रमाण की लंबाई

वर्गीकरण के परिणाम

यह भी देखें

टिप्पणियाँ

उद्धरण

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories