परिमित सरल समूहों की सूची
गणित में, परिमित सरल समूहों के वर्गीकरण में कहा गया है कि प्रत्येक परिमित समूह सरल समूह चक्रीय समूह, या वैकल्पिक समूह, या झूठ प्रकार के समूहों के 16 परिवारों में से एक या 26 छिटपुट समूहों में से एक है।
नीचे दी गई सूची सभी परिमित सरल समूहों को उनके आदेश (समूह सिद्धांत), शूर गुणक के आकार, बाहरी ऑटोमोर्फिज़्म समूह के आकार, आमतौर पर कुछ छोटे समूह प्रतिनिधित्व और सभी डुप्लिकेट की सूची के साथ देती है।
सारांश
निम्न तालिका परिमित सरल समूहों के 18 परिवारों और उनके आदेशों के साथ 26 छिटपुट सरल समूहों की पूरी सूची है। प्रत्येक परिवार के गैर-साधारण सदस्यों को सूचीबद्ध किया गया है, साथ ही किसी परिवार के भीतर या परिवारों के बीच डुप्लिकेट किए गए किसी भी सदस्य को सूचीबद्ध किया गया है। (डुप्लिकेट को हटाने में यह ध्यान रखना उपयोगी है कि कोई भी दो परिमित सरल समूहों का एक ही क्रम नहीं है, सिवाय इसके कि समूह ए8= ए3(2) और ए2(4) दोनों के पास आदेश 20160 है, और यह कि समूह बीn(क्यू) का सी के समान क्रम हैn(q) q विषम के लिए, n > 2। समूहों के बाद के युग्मों में सबसे छोटा B है3(3) और सी3(3) जिसमें दोनों का क्रम 4585351680 है।)
वैकल्पिक समूहों ए के लिए नोटेशन के बीच एक दुर्भाग्यपूर्ण संघर्ष हैn और झूठ प्रकार ए के समूहn(क्यू)। कुछ लेखक ए के लिए कई अलग-अलग फोंट का उपयोग करते हैंn उन्हें भेद करने के लिए। विशेष रूप से, इस लेख में हम वैकल्पिक समूह A सेट करके भेद करते हैंn रोमन फॉन्ट में और लाई-टाइप ग्रुप एn(क्यू) इटैलिक में।
निम्नलिखित में, n एक धनात्मक पूर्णांक है, और q एक अभाज्य संख्या p की एक धनात्मक शक्ति है, जिसमें प्रतिबंधों को नोट किया गया है। अंकन (ए, बी) पूर्णांकों ए और बी के सबसे बड़े सामान्य विभाजक का प्रतिनिधित्व करता है।
Class | Family | Order | Exclusions | Duplicates | |
---|---|---|---|---|---|
Cyclic groups | Zp | p prime | None | None | |
Alternating groups | An n > 4 |
None |
| ||
Classical Chevalley groups | An(q) | A1(2), A1(3) |
| ||
Bn(q) n > 1 |
B2(2) |
| |||
Cn(q) n > 2 |
None | Cn(2m) ≃ Bn(2m) | |||
Dn(q) n > 3 |
None | None | |||
Exceptional Chevalley groups | E6(q) | None | None | ||
E7(q) | None | None | |||
E8(q) | None | None | |||
F4(q) | None | None | |||
G2(q) | G2(2) | None | |||
Classical Steinberg groups | 2An(q2) n > 1 |
2A2(22) | 2A3(22) ≃ B2(3) | ||
2Dn(q2) n > 3 |
None | None | |||
Exceptional Steinberg groups | 2E6(q2) | None | None | ||
3D4(q3) | None | None | |||
Suzuki groups | 2B2(q) q = 22n+1 n ≥ 1 |
None | None | ||
Ree groups + Tits group |
2F4(q) q = 22n+1 n ≥ 1 |
None | None | ||
2F4(2)′ | 212(26 + 1)(24 − 1)(23 + 1)(2 − 1)/2 = 17971200 | ||||
2G2(q) q = 32n+1 n ≥ 1 |
None | None | |||
Mathieu groups | M11 | 7920 | |||
M12 | 95040 | ||||
M22 | 443520 | ||||
M23 | 10200960 | ||||
M24 | 244823040 | ||||
Janko groups | J1 | 175560 | |||
J2 | 604800 | ||||
J3 | 50232960 | ||||
J4 | 86775571046077562880 | ||||
Conway groups | Co3 | 495766656000 | |||
Co2 | 42305421312000 | ||||
Co1 | 4157776806543360000 | ||||
Fischer groups | Fi22 | 64561751654400 | |||
Fi23 | 4089470473293004800 | ||||
Fi24′ | 1255205709190661721292800 | ||||
Higman–Sims group | HS | 44352000 | |||
McLaughlin group | McL | 898128000 | |||
Held group | He | 4030387200 | |||
Rudvalis group | Ru | 145926144000 | |||
Suzuki sporadic group | Suz | 448345497600 | |||
O'Nan group | O'N | 460815505920 | |||
Harada–Norton group | HN | 273030912000000 | |||
Lyons group | Ly | 51765179004000000 | |||
Thompson group | Th | 90745943887872000 | |||
Baby Monster group | B | 4154781481226426191177580544000000 | |||
Monster group | M | 808017424794512875886459904961710757005754368000000000 |
चक्रीय समूह, जेडp
सरलता: p के लिए एक अभाज्य संख्या सरल है।
आदेश: पी
शूर गुणक: तुच्छ।
बाहरी ऑटोमोर्फिज़्म समूह: क्रम का चक्र p − 1।
दुसरे नाम: Z/pZ, Cp टिप्पणी: केवल यही साधारण समूह हैं जो पूर्ण समूह नहीं हैं।
वैकल्पिक समूह, एn, एन> 4
सरलता: n <5 के लिए हल करने योग्य, अन्यथा सरल।
आदेश: n!/2 जब n > 1.
शूर गुणक: n के लिए 2 = 5 या n > 7, 6 n के लिए = 6 या 7; देखें वैकल्पिक और सममित समूहों के समूह
बाहरी ऑटोमोर्फिज्म समूह: सामान्य तौर पर 2. अपवाद: n = 1, n = 2 के लिए, यह तुच्छ है, और बाहरी ऑटोमोर्फिज्म समूह के लिए#सममित समूहों के बाहरी ऑटोमोर्फिज्म|n = 6, इसका क्रम 4 (प्रारंभिक आबेली) है।
दुसरे नाम: Altn.
समरूपता: ए1 और ए2 तुच्छ हैं। ए3 क्रम 3 का चक्रीय है। A4 A के लिए आइसोमोर्फिक है1(3) (हल करने योग्य)। ए5 A के लिए आइसोमोर्फिक है1(4) और ए को1(5)। ए6 A के लिए आइसोमोर्फिक है1(9) और व्युत्पन्न समूह बी के लिए2(2)'। ए8 A के लिए आइसोमोर्फिक है3(2)।
टिप्पणियाँ: n बिंदुओं के क्रमपरिवर्तन के सममित समूह के एक उपसमूह 2 उपसमूह का एक सूचकांक जब n > 1।
झूठ प्रकार के समूह
अंकन: n एक सकारात्मक पूर्णांक है, q > 1 एक अभाज्य संख्या p की शक्ति है, और कुछ अंतर्निहित परिमित क्षेत्र का क्रम है। बाहरी ऑटोमोर्फिज्म समूह का क्रम d⋅f⋅g के रूप में लिखा जाता है, जहां d विकर्ण ऑटोमोर्फिज्म के समूह का क्रम है, f है फील्ड ऑटोमोर्फिज्म (एक फ्रोबेनियस ऑटोमोर्फिज्म द्वारा उत्पन्न) के (चक्रीय) समूह का क्रम, और 'जी' ग्राफ ऑटोमोर्फिज्म के समूह का क्रम है (डाइनकिन आरेख के ऑटोमोर्फिज्म से आ रहा है)। बाहरी ऑटोमोर्फिज्म समूह अक्सर होता है, लेकिन हमेशा नहीं, अर्ध-प्रत्यक्ष उत्पाद के लिए आइसोमोर्फिक जहां ये सभी समूह प्रकार को छोड़कर क्रमशः d, f, g के क्रम के चक्रीय हैं , विषम, जहां आदेश का समूह है , और (केवल जब ) , तीन तत्वों पर सममित समूह। अंकन (ए, बी) पूर्णांकों ए और बी के सबसे बड़े सामान्य विभाजक का प्रतिनिधित्व करता है।
शेवाली समूह, एn(क्यू), बीn(क्यू) एन> 1, सीn(क्यू) एन> 2, डीn(क्यू) एन> 3
Chevalley groups, An(q) linear groups |
Chevalley groups, Bn(q) n > 1 orthogonal groups |
Chevalley groups, Cn(q) n > 2 symplectic groups |
Chevalley groups, Dn(q) n > 3 orthogonal groups | |
---|---|---|---|---|
Simplicity | A1(2) and A1(3) are solvable, the others are simple. | B2(2) is not simple but its derived group B2(2)′ is a simple subgroup of index 2; the others are simple. | All simple | All simple |
Order | ||||
Schur multiplier | For the simple groups it is cyclic of order (n+1,q−1) except for A1(4) (order 2), A1(9) (order 6), A2(2) (order 2), A2(4) (order 48, product of cyclic groups of orders 3, 4, 4), A3(2) (order 2). | (2,q−1) except for B2(2) = S6 (order 2 for B2(2), order 6 for B2(2)′) and B3(2) (order 2) and B3(3) (order 6). | (2,q−1) except for C3(2) (order 2). | The order is (4,qn−1) (cyclic for n odd, elementary abelian for n even) except for D4(2) (order 4, elementary abelian). |
Outer automorphism group | (2,q−1)⋅f⋅1 for n = 1; (n+1,q−1)⋅f⋅2 for n > 1, where q = pf | (2,q−1)⋅f⋅1 for q odd or n > 2; (2,q−1)⋅f⋅2 for q even and n = 2, where q = pf | (2,q−1)⋅f⋅1, where q = pf | (2,q−1)2⋅f⋅S3 for n = 4, (2,q−1)2⋅f⋅2 for n > 4 even, (4,qn−1)⋅f⋅2 for n odd, where q = pf, and S3 is the symmetric group of order 3! on 3 points. |
Other names | Projective special linear groups, PSLn+1(q), Ln+1(q), PSL(n + 1,q) | O2n+1(q), Ω2n+1(q) (for q odd). | Projective symplectic group, PSp2n(q), PSpn(q) (not recommended), S2n(q), Abelian group (archaic). | O2n+(q), PΩ2n+(q). "Hypoabelian group" is an archaic name for this group in characteristic 2. |
Isomorphisms | A1(2) is isomorphic to the symmetric group on 3 points of order 6. A1(3) is isomorphic to the alternating group A4 (solvable). A1(4) and A1(5) are both isomorphic to the alternating group A5. A1(7) and A2(2) are isomorphic. A1(8) is isomorphic to the derived group 2G2(3)′. A1(9) is isomorphic to A6 and to the derived group B2(2)′. A3(2) is isomorphic to A8. | Bn(2m) is isomorphic to Cn(2m). B2(2) is isomorphic to the symmetric group on 6 points, and the derived group B2(2)′ is isomorphic to A1(9) and to A6. B2(3) is isomorphic to 2A3(22). | Cn(2m) is isomorphic to Bn(2m) | |
Remarks | These groups are obtained from the general linear groups GLn+1(q) by taking the elements of determinant 1 (giving the special linear groups SLn+1(q)) and then quotienting out by the center. | This is the group obtained from the orthogonal group in dimension 2n + 1 by taking the kernel of the determinant and spinor norm maps. B1(q) also exists, but is the same as A1(q). B2(q) has a non-trivial graph automorphism when q is a power of 2. | This group is obtained from the symplectic group in 2n dimensions by quotienting out the center. C1(q) also exists, but is the same as A1(q). C2(q) also exists, but is the same as B2(q). | This is the group obtained from the split orthogonal group in dimension 2n by taking the kernel of the determinant (or Dickson invariant in characteristic 2) and spinor norm maps and then killing the center. The groups of type D4 have an unusually large diagram automorphism group of order 6, containing the triality automorphism. D2(q) also exists, but is the same as A1(q)×A1(q). D3(q) also exists, but is the same as A3(q). |
चेवेली समूह, ई6(क्यू), ई7(क्यू), ई8(क्यू), एफ4(क्यू), जी2(क्यू)
Chevalley groups, E6(q) | Chevalley groups, E7(q) | Chevalley groups, E8(q) | Chevalley groups, F4(q) | Chevalley groups, G2(q) | |
---|---|---|---|---|---|
Simplicity | All simple | All simple | All simple | All simple | G2(2) is not simple but its derived group G2(2)′ is a simple subgroup of index 2; the others are simple. |
Order | q36(q12−1)(q9−1)(q8−1)(q6−1)(q5−1)(q2−1)/(3,q−1) | q63(q18−1)(q14−1)(q12−1)(q10−1)(q8−1)(q6−1)(q2−1)/(2,q−1) | q120(q30−1)(q24−1)(q20−1)(q18−1)(q14−1)(q12−1)(q8−1)(q2−1) | q24(q12−1)(q8−1)(q6−1)(q2−1) | q6(q6−1)(q2−1) |
Schur multiplier | (3,q−1) | (2,q−1) | Trivial | Trivial except for F4(2) (order 2) | Trivial for the simple groups except for G2(3) (order 3) and G2(4) (order 2) |
Outer automorphism group | (3,q−1)⋅f⋅2, where q = pf | (2,q−1)⋅f⋅1, where q = pf | 1⋅f⋅1, where q = pf | 1⋅f⋅1 for q odd, 1⋅f⋅2 for q even, where q = pf | 1⋅f⋅1 for q not a power of 3, 1⋅f⋅2 for q a power of 3, where q = pf |
Other names | Exceptional Chevalley group | Exceptional Chevalley group | Exceptional Chevalley group | Exceptional Chevalley group | Exceptional Chevalley group |
Isomorphisms | The derived group G2(2)′ is isomorphic to 2A2(32). | ||||
Remarks | Has two representations of dimension 27, and acts on the Lie algebra of dimension 78. | Has a representations of dimension 56, and acts on the corresponding Lie algebra of dimension 133. | It acts on the corresponding Lie algebra of dimension 248. E8(3) contains the Thompson simple group. | These groups act on 27-dimensional exceptional Jordan algebras, which gives them 26-dimensional representations. They also act on the corresponding Lie algebras of dimension 52. F4(q) has a non-trivial graph automorphism when q is a power of 2. | These groups are the automorphism groups of 8-dimensional Cayley algebras over finite fields, which gives them 7-dimensional representations. They also act on the corresponding Lie algebras of dimension 14. G2(q) has a non-trivial graph automorphism when q is a power of 3. Moreover, they appear as automorphism groups of certain point-line geometries called split Cayley generalized hexagons. |
झूठ प्रकार का समूह#स्टाइनबर्ग समूह, 2</सुप>एn(क्यू2) एन > 1, 2डीn(क्यू2) एन > 3, 2</सुप>ई6(क्यू2), 3डी4(क्यू3)
Steinberg groups, 2An(q2) n > 1 unitary groups |
Steinberg groups, 2Dn(q2) n > 3 orthogonal groups |
Steinberg groups, 2E6(q2) | Steinberg groups, 3D4(q3) | |
---|---|---|---|---|
Simplicity | 2A2(22) is solvable, the others are simple. | All simple | All simple | All simple |
Order | q36(q12−1)(q9+1)(q8−1)(q6−1)(q5+1)(q2−1)/(3,q+1) | q12(q8+q4+1)(q6−1)(q2−1) | ||
Schur multiplier | Cyclic of order (n+1,q+1) for the simple groups, except for 2A3(22) (order 2), 2A3(32) (order 36, product of cyclic groups of orders 3,3,4), 2A5(22) (order 12, product of cyclic groups of orders 2,2,3) | Cyclic of order (4,qn+1) | (3,q+1) except for 2E6(22) (order 12, product of cyclic groups of orders 2,2,3). | Trivial |
Outer automorphism group | (n+1,q+1)⋅f⋅1, where q2 = pf | (4,qn+1)⋅f⋅1, where q2 = pf | (3,q+1)⋅f⋅1, where q2 = pf | 1⋅f⋅1, where q3 = pf |
Other names | Twisted Chevalley group, projective special unitary group, PSUn+1(q), PSU(n + 1, q), Un+1(q), 2An(q), 2An(q, q2) | 2Dn(q), O2n−(q), PΩ2n−(q), twisted Chevalley group. "Hypoabelian group" is an archaic name for this group in characteristic 2. | 2E6(q), twisted Chevalley group | 3D4(q), D42(q3), Twisted Chevalley groups |
Isomorphisms | The solvable group 2A2(22) is isomorphic to an extension of the order 8 quaternion group by an elementary abelian group of order 9. 2A2(32) is isomorphic to the derived group G2(2)′. 2A3(22) is isomorphic to B2(3). | |||
Remarks | This is obtained from the unitary group in n + 1 dimensions by taking the subgroup of elements of determinant 1 and then quotienting out by the center. | This is the group obtained from the non-split orthogonal group in dimension 2n by taking the kernel of the determinant (or Dickson invariant in characteristic 2) and spinor norm maps and then killing the center. 2D2(q2) also exists, but is the same as A1(q2). 2D3(q2) also exists, but is the same as 2A3(q2). | One of the exceptional double covers of 2E6(22) is a subgroup of the baby monster group, and the exceptional central extension by the elementary abelian group of order 4 is a subgroup of the monster group. | 3D4(23) acts on the unique even 26-dimensional lattice of determinant 3 with no roots. |
सुजुकी समूह, 2</सुप>बी2(22n+1)
'सरलता:' n ≥ 1 के लिए सरल। समूह 2</सुप>बी2(2) हल करने योग्य है।
आदेश देना: क्यू2</उप> (क्यू2 + 1) (क्यू − 1), कहाँ क्ष = 22n+1.
'शूर मल्टीप्लायर:' n ≠ 1 के लिए तुच्छ, क्रम 4 का प्रारंभिक एबेलियन के लिए 2</सुप>बी2(8)।
बाहरी ऑटोमोर्फिज्म समूह:
- 1⋅f⋅1,
जहां एफ = 2एन + 1.
अन्य नाम: सुज (22n+1), Sz(22n+1).
'समरूपता:' 2</सुप>बी2(2) क्रम 20 का फ्रोबेनियस समूह है।
टिप्पणी: सुजुकी समूह आकार के सेट पर कार्य करने वाले ज़ैसेनहॉस समूह हैं (2वह+1 </दाएं>)2 + 1, और 2 के साथ फ़ील्ड पर 4-आयामी प्रतिनिधित्व है2n+1 तत्व। वे केवल गैर-चक्रीय सरल समूह हैं जिनका क्रम 3 से विभाज्य नहीं है। वे छिटपुट सुजुकी समूह से संबंधित नहीं हैं।
री समूह और स्तन समूह, 2एफ4(22n+1)
'सरलता:' n ≥ 1 के लिए सरल। व्युत्पन्न समूह 2एफ4(2)' सूचकांक 2 का सरल है में 2एफ4(2), और स्तन समूह कहा जाता है, बेल्जियम के गणितज्ञ जैक्स स्तन के नाम पर।
आदेश देना: क्यू12</उप> (क्यू6 + 1) (क्यू4 − 1) (क्यू3 + 1) (क्यू − 1), कहाँ क्ष = 22n+1.
स्तन समूह का क्रम 17971200 = 2 है11 ⋅ 33 ⋅ 52 ⋅ 13.
शूर गुणक: n ≥ 1 के लिए तुच्छ और स्तन समूह के लिए।
बाहरी ऑटोमोर्फिज्म समूह:
- 1⋅f⋅1,
जहाँ f = 2n +1. स्तन समूह के लिए आदेश 2।
टिप्पणी: झूठ प्रकार के अन्य सरल समूहों के विपरीत, स्तन समूह में बीएन जोड़ी नहीं होती है, हालांकि इसका ऑटोमोर्फिज्म समूह ऐसा करता है, इसलिए अधिकांश लेखक इसे झूठ प्रकार के मानद समूह के रूप में गिनते हैं।
री समूह, 2</सुप>जी2(32n+1)
'सरलता:' n ≥ 1 के लिए सरल। समूह 2</सुप>जी2(3) सरल नहीं है, बल्कि इसका व्युत्पन्न समूह है2</सुप>जी2(3)' इंडेक्स 3 का एक साधारण उपसमूह है।
'आदेश देना:' क्यू3</उप> (क्यू3 + 1) (क्यू − 1), कहाँ क्ष = 32n+1
'शूर गुणक:' n ≥ 1 और के लिए तुच्छ 2</सुप>जी2(3)'।
बाहरी ऑटोमोर्फिज्म समूह:
- 1⋅f⋅1,
जहां एफ = 2एन + 1।
अन्य नाम: री (32एन+1), आर(32n+1), ई2∗(3वह+1 </दाएं>) .
समरूपता: व्युत्पन्न समूह 2</सुप>जी2(3)' ए के लिए आइसोमोर्फिक है1(8)।
टिप्पणियां: 2</सुप>जी2(32n+1) का 3 पर दोहरा सकर्मक क्रमचय निरूपण है3(2n+1) +1 अंक और 3 के साथ फ़ील्ड पर 7-आयामी सदिश स्थान पर कार्य करता हैक्षमाकर्ता की ओर वह +1।
छिटपुट समूह
मैथ्यू समूह, एम11, एम12, एम22, एम23, एम24
Mathieu group, M11 | Mathieu group, M12 | Mathieu group, M22 | Mathieu group, M23 | Mathieu group, M24 | |
---|---|---|---|---|---|
Order | 24 ⋅ 32 ⋅ 5 ⋅ 11 = 7920 | 26 ⋅ 33 ⋅ 5 ⋅ 11 = 95040 | 27 ⋅ 32 ⋅ 5 ⋅ 7 ⋅ 11 = 443520 | 27 ⋅ 32 ⋅ 5 ⋅ 7 ⋅ 11 ⋅ 23 = 10200960 | 210 ⋅ 33 ⋅ 5 ⋅ 7 ⋅ 11 ⋅ 23 = 244823040 |
Schur multiplier | Trivial | Order 2 | Cyclic of order 12[lower-alpha 1] | Trivial | Trivial |
Outer automorphism group | Trivial | Order 2 | Order 2 | Trivial | Trivial |
Remarks | A 4-transitive permutation group on 11 points, and is the point stabilizer of M12 (in the 5-transitive 12-point permutation representation of M12). The group M11 is also contained in M23. The subgroup of M11 fixing a point in the 4-transitive 11-point permutation representation is sometimes called M10, and has a subgroup of index 2 isomorphic to the alternating group A6. | A 5-transitive permutation group on 12 points, contained in M24. | A 3-transitive permutation group on 22 points, and is the point stabilizer of M23 (in the 4-transitive 23-point permutation representation of M23). The subgroup of M22 fixing a point in the 3-transitive 22-point permutation representation is sometimes called M21, and is isomorphic to PSL(3,4) (i.e. isomorphic to A2(4)). | A 4-transitive permutation group on 23 points, and is the point stabilizer of M24 (in the 5-transitive 24-point permutation representation of M24). | A 5-transitive permutation group on 24 points. |
जंको समूह, जे1, जे2, जे3, जे4
Janko group, J1 | Janko group, J2 | Janko group, J3 | Janko group, J4 | |
---|---|---|---|---|
Order | 23 ⋅ 3 ⋅ 5 ⋅ 7 ⋅ 11 ⋅ 19 = 175560 | 27 ⋅ 33 ⋅ 52 ⋅ 7 = 604800 | 27 ⋅ 35 ⋅ 5 ⋅ 17 ⋅ 19 = 50232960 | 221 ⋅ 33 ⋅ 5 ⋅ 7 ⋅ 113 ⋅ 23 ⋅ 29 ⋅ 31 ⋅ 37 ⋅ 43 = 86775571046077562880 |
Schur multiplier | Trivial | Order 2 | Order 3 | Trivial |
Outer automorphism group | Trivial | Order 2 | Order 2 | Trivial |
Other names | J(1), J(11) | Hall–Janko group, HJ | Higman–Janko–McKay group, HJM | |
Remarks | It is a subgroup of G2(11), and so has a 7-dimensional representation over the field with 11 elements. | The automorphism group J2:2 of J2 is the automorphism group of a rank 3 graph on 100 points called the Hall-Janko graph. It is also the automorphism group of a regular near octagon called the Hall-Janko near octagon. The group J2 is contained in G2(4). | J3 seems unrelated to any other sporadic groups (or to anything else). Its triple cover has a 9-dimensional unitary representation over the field with 4 elements. | Has a 112-dimensional representation over the field with 2 elements. |
कॉनवे समूह, कं1, कं2, कं3
Conway group, Co1 | Conway group, Co2 | Conway group, Co3 | |
---|---|---|---|
Order | 221 ⋅ 39 ⋅ 54 ⋅ 72 ⋅ 11 ⋅ 13 ⋅ 23 = 4157776806543360000 | 218 ⋅ 36 ⋅ 53 ⋅ 7 ⋅ 11 ⋅ 23 = 42305421312000 | 210 ⋅ 37 ⋅ 53 ⋅ 7 ⋅ 11 ⋅ 23 = 495766656000 |
Schur multiplier | Order 2 | Trivial | Trivial |
Outer automorphism group | Trivial | Trivial | Trivial |
Other names | ·1 | ·2 | ·3, C3 |
Remarks | The perfect double cover Co0 of Co1 is the automorphism group of the Leech lattice, and is sometimes denoted by ·0. | Subgroup of Co0; fixes a norm 4 vector in the Leech lattice. | Subgroup of Co0; fixes a norm 6 vector in the Leech lattice. It has a doubly transitive permutation representation on 276 points. |
फिशर समूह, Fi22, होना23, होना24′
Fischer group, Fi22 | Fischer group, Fi23 | Fischer group, Fi24′ | |
---|---|---|---|
Order | 217 ⋅ 39 ⋅ 52 ⋅ 7 ⋅ 11 ⋅ 13 = 64561751654400 | 218 ⋅ 313 ⋅ 52 ⋅ 7 ⋅ 11 ⋅ 13 ⋅ 17 ⋅ 23 = 4089470473293004800 | 221 ⋅ 316 ⋅ 52 ⋅ 73 ⋅ 11 ⋅ 13 ⋅ 17 ⋅ 23 ⋅ 29 = 1255205709190661721292800 |
Schur multiplier | Order 6 | Trivial | Order 3 |
Outer automorphism group | Order 2 | Trivial | Order 2 |
Other names | M(22) | M(23) | M(24)′, F3+ |
Remarks | A 3-transposition group whose double cover is contained in Fi23. | A 3-transposition group contained in Fi24′. | The triple cover is contained in the monster group. |
हिगमैन-सिम्स समूह, एचएस
आदेश: 29 ⋅ 32 ⋅ 53 ⋅ 7 ⋅ 11 = 44352000
शूर गुणक: क्रम 2।
बाहरी ऑटोमोर्फिज़्म समूह: क्रम 2।
टिप्पणी: यह 100 अंकों के साथ हिगमैन सिम्स ग्राफ पर रैंक 3 क्रमचय समूह के रूप में कार्य करता है, और सह में निहित है2 और कंपनी में3.
मैकलॉघलिन समूह (गणित), मैकएल
आदेश: 27 ⋅ 36 ⋅ 53 ⋅ 7 ⋅ 11 = 898128000
शूर गुणक: क्रम 3।
बाहरी ऑटोमोर्फिज़्म समूह: क्रम 2।
टिप्पणी: 275 अंकों के साथ मैकलॉघलिन ग्राफ पर रैंक 3 क्रमचय समूह के रूप में कार्य करता है, और सह में समाहित है2 और कंपनी में3.
आयोजित समूह, वह
आदेश देना: 210 ⋅ 33 ⋅ 52 ⋅ 73 ⋅ 17 = 4030387200
शूर गुणक: तुच्छ।
बाहरी ऑटोमोर्फिज़्म समूह: क्रम 2।
अन्य नाम: हेल्ड-हिगमैन-मैके ग्रुप, एचएचएम, एफ7, एचटीएच
टिप्पणी: राक्षस समूह में क्रम 7 के एक तत्व को केंद्रीकृत करता है।
रुदवालिस समूह, रु
आदेश देना: 214 ⋅ 33 ⋅ 53 ⋅ 7 ⋅ 13 ⋅ 29 = 145926144000
शूर गुणक: क्रम 2।
बाहरी ऑटोमोर्फिज्म समूह: तुच्छ।
टिप्पणी: डबल कवर गॉसियन पूर्णांकों पर 28-आयामी जाली पर कार्य करता है।
सुजुकी छिटपुट समूह, सुज
आदेश: 213 ⋅ 37 ⋅ 52 ⋅ 7 ⋅ 11 ⋅ 13 = 448345497600
शूर गुणक: क्रम 6।
बाहरी ऑटोमोर्फिज़्म समूह: क्रम 2।
दुसरे नाम: Sz
टिप्पणी: 6 गुना आवरण आइज़ेंस्टीन पूर्णांकों पर 12-आयामी जाली पर कार्य करता है। यह झूठ प्रकार के सुजुकी समूह से संबंधित नहीं है।
ओ'एन समूह, ओ'एन
आदेश देना: 29 ⋅ 34 ⋅ 5 ⋅ 73 ⋅ 11 ⋅ 19 ⋅ 31 = 460815505920
शूर गुणक: क्रम 3।
बाहरी ऑटोमोर्फिज़्म समूह: क्रम 2।
अन्य नाम: ओ'नान-सिम्स समूह, ओ'एनएस, ओ-एस
टिप्पणियां: ट्रिपल कवर में 7 तत्वों के साथ क्षेत्र में दो 45-आयामी प्रतिनिधित्व होते हैं, जो एक बाहरी ऑटोमोर्फिज्म द्वारा बदले जाते हैं।
हरदा–नॉर्टन समूह, HN
आदेश देना: 214 ⋅ 36 ⋅ 56 ⋅ 7 ⋅ 11 ⋅ 19 = 273030912000000
शूर गुणक: तुच्छ।
बाहरी ऑटोमोर्फिज़्म समूह: क्रम 2।
अन्य नाम: एफ5, डी
'टिप्पणी:' राक्षस समूह में क्रम 5 के एक तत्व को केंद्रीकृत करता है।
ल्योंस समूह, Ly
आदेश देना: 28 ⋅ 37 ⋅ 56 ⋅ 7 ⋅ 11 ⋅ 31 ⋅ 37 ⋅ 67 = 51765179004000000
शूर गुणक: तुच्छ।
बाहरी ऑटोमोर्फिज्म समूह: तुच्छ।
अन्य नाम: ल्योंस-सिम्स समूह, LyS
टिप्पणी: 5 तत्वों के साथ क्षेत्र पर 111-आयामी प्रतिनिधित्व है।
थॉम्पसन समूह (परिमित), थ
आदेश: 215 ⋅ 310 ⋅ 53 ⋅ 72 ⋅ 13 ⋅ 19 ⋅ 31 = 90745943887872000
शूर गुणक: तुच्छ।
बाहरी ऑटोमोर्फिज्म समूह: तुच्छ।
अन्य नाम: एफ3, इ
'टिप्पणी:' राक्षस में क्रम 3 के एक तत्व को केंद्रीकृत करता है, और ई में निहित है8(3), इसलिए 3 तत्वों के साथ क्षेत्र पर 248-आयामी प्रतिनिधित्व है।
बेबी मॉन्स्टर ग्रुप, बी
आदेश देना:
- 241 ⋅ 313 ⋅ 56 ⋅ 72 ⋅ 11 ⋅ 13 ⋅ 17 ⋅ 19 ⋅ 23 ⋅ 31 ⋅ 47
- = 4154781481226426191177580544000000
शूर गुणक: क्रम 2।
बाहरी ऑटोमोर्फिज्म समूह: तुच्छ।
अन्य नाम: एफ2 टिप्पणी: दोहरा आवरण राक्षस समूह में समाहित है। इसमें जटिल संख्याओं पर आयाम 4371 का प्रतिनिधित्व है (बिना किसी गैर-इनवेरिएंट उत्पाद के), और एक कम्यूटेटिव लेकिन गैर-सहयोगी उत्पाद को संरक्षित करने वाले 2 तत्वों के साथ फ़ील्ड पर आयाम 4370 का प्रतिनिधित्व है।
फिशर-ग्रिस राक्षस समूह , एम
आदेश देना:
- 246 ⋅ 320 ⋅ 59 ⋅ 76 ⋅ 112 ⋅ 133 ⋅ 17 ⋅ 19 ⋅ 23 ⋅ 29 ⋅ 31 ⋅ 41 ⋅ 47 ⋅ 59 ⋅ 71
- = 808017424794512875886459904961710757005754368000000000
शूर गुणक: तुच्छ।
बाहरी ऑटोमोर्फिज्म समूह: तुच्छ।
अन्य नाम: एफ1, एम1, राक्षस समूह, दोस्ताना विशाल, फिशर का राक्षस।
टिप्पणी: अन्य छिटपुट समूहों में से 6 को छोड़कर सभी उपभाग के रूप में शामिल हैं। राक्षसी चन्द्रमा से संबंधित। राक्षस 196,883-आयामी ग्रिज बीजगणित और अनंत-आयामी राक्षस वर्टेक्स ऑपरेटर बीजगणित का ऑटोमोर्फिज्म समूह है, और राक्षस झूठ बीजगणित पर स्वाभाविक रूप से कार्य करता है।
छोटे क्रम के गैर-चक्रीय सरल समूह
Order | Factored order | Group | Schur multiplier | Outer automorphism group |
---|---|---|---|---|
60 | 22 ⋅ 3 ⋅ 5 | A5 = A1(4) = A1(5) | 2 | 2 |
168 | 23 ⋅ 3 ⋅ 7 | A1(7) = A2(2) | 2 | 2 |
360 | 23 ⋅ 32 ⋅ 5 | A6 = A1(9) = B2(2)′ | 6 | 2×2 |
504 | 23 ⋅ 32 ⋅ 7 | A1(8) = 2G2(3)′ | 1 | 3 |
660 | 22 ⋅ 3 ⋅ 5 ⋅ 11 | A1(11) | 2 | 2 |
1092 | 22 ⋅ 3 ⋅ 7 ⋅ 13 | A1(13) | 2 | 2 |
2448 | 24 ⋅ 32 ⋅ 17 | A1(17) | 2 | 2 |
2520 | 23 ⋅ 32 ⋅ 5 ⋅ 7 | A7 | 6 | 2 |
3420 | 22 ⋅ 32 ⋅ 5 ⋅ 19 | A1(19) | 2 | 2 |
4080 | 24 ⋅ 3 ⋅ 5 ⋅ 17 | A1(16) | 1 | 4 |
5616 | 24 ⋅ 33 ⋅ 13 | A2(3) | 1 | 2 |
6048 | 25 ⋅ 33 ⋅ 7 | 2A2(9) = G2(2)′ | 1 | 2 |
6072 | 23 ⋅ 3 ⋅ 11 ⋅ 23 | A1(23) | 2 | 2 |
7800 | 23 ⋅ 3 ⋅ 52 ⋅ 13 | A1(25) | 2 | 2×2 |
7920 | 24 ⋅ 32 ⋅ 5 ⋅ 11 | M11 | 1 | 1 |
9828 | 22 ⋅ 33 ⋅ 7 ⋅ 13 | A1(27) | 2 | 6 |
12180 | 22 ⋅ 3 ⋅ 5 ⋅ 7 ⋅ 29 | A1(29) | 2 | 2 |
14880 | 25 ⋅ 3 ⋅ 5 ⋅ 31 | A1(31) | 2 | 2 |
20160 | 26 ⋅ 32 ⋅ 5 ⋅ 7 | A3(2) = A8 | 2 | 2 |
20160 | 26 ⋅ 32 ⋅ 5 ⋅ 7 | A2(4) | 3×42 | D12 |
25308 | 22 ⋅ 32 ⋅ 19 ⋅ 37 | A1(37) | 2 | 2 |
25920 | 26 ⋅ 34 ⋅ 5 | 2A3(4) = B2(3) | 2 | 2 |
29120 | 26 ⋅ 5 ⋅ 7 ⋅ 13 | 2B2(8) | 22 | 3 |
32736 | 25 ⋅ 3 ⋅ 11 ⋅ 31 | A1(32) | 1 | 5 |
34440 | 23 ⋅ 3 ⋅ 5 ⋅ 7 ⋅ 41 | A1(41) | 2 | 2 |
39732 | 22 ⋅ 3 ⋅ 7 ⋅ 11 ⋅ 43 | A1(43) | 2 | 2 |
51888 | 24 ⋅ 3 ⋅ 23 ⋅ 47 | A1(47) | 2 | 2 |
58800 | 24 ⋅ 3 ⋅ 52 ⋅ 72 | A1(49) | 2 | 22 |
62400 | 26 ⋅ 3 ⋅ 52 ⋅ 13 | 2A2(16) | 1 | 4 |
74412 | 22 ⋅ 33 ⋅ 13 ⋅ 53 | A1(53) | 2 | 2 |
95040 | 26 ⋅ 33 ⋅ 5 ⋅ 11 | M12 | 2 | 2 |
(100,000 से कम के ऑर्डर के लिए पूर्ण)
Hall (1972) दस लाख से कम क्रम के 56 गैर-चक्रीय सरल समूहों को सूचीबद्ध करता है।
यह भी देखें
टिप्पणियाँ
- ↑ There were several mistakes made in the initial calculations of the Schur multiplier, so some older books and papers list incorrect values. (This caused an error in the title of Janko's original 1976 paper[1] giving evidence for the existence of the group J4. At the time it was thought that the full covering group of M22 was 6⋅M22. In fact J4 has no subgroup 12⋅M22.)
संदर्भ
- ↑ Z. Janko (1976). "A new finite simple group of order 86,775,571,046,077,562,880 which possesses M24 and the full covering group of M22 as subgroups". J. Algebra. 42: 564–596. doi:10.1016/0021-8693(76)90115-0.
अग्रिम पठन
- Simple Groups of Lie Type by Roger W. Carter, ISBN 0-471-50683-4
- Conway, J. H.; Curtis, R. T.; Norton, S. P.; Parker, R. A.; and Wilson, R. A.: "Atlas of Finite Groups: Maximal Subgroups and Ordinary Characters for Simple Groups." Oxford, England 1985.
- Daniel Gorenstein, Richard Lyons, Ronald Solomon The Classification of the Finite Simple Groups (volume 1), AMS, 1994 (volume 3), AMS, 1998
- Hall, Marshall Jr. (1972), "Simple groups of order less than one million", Journal of Algebra, 20: 98–102, doi:10.1016/0021-8693(72)90090-7, ISSN 0021-8693, MR 0285603
- 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: contains representations and other data for many finite simple groups, including the sporadic groups.
- Orders of non abelian simple groups up to 1010, and on to 1048 with restrictions on rank.
बाहरी संबंध
- Orders of non abelian simple groups up to order 10,000,000,000.