Finite Group DatabasebetaFinite Group Databasebeta| order | 20002 |
| automorphism | ? |
| homology | Abelianization (H1) = C2 · Schur multiplier (H2) = C1 |
| dihedral | D10001 |
| unambiguous semidirect product | C73⋊D137 |
| unambiguous semidirect product | C137⋊D73 |
| Fitting, socle, derived, Hall | C73×C137 ⋊ C2 |
| Sylow | C137 ⋊ D73 |
| Sylow | C73 ⋊ D137 |
| subgroup | G/H | |
|---|---|---|
| center, Frattini, hypercenter | C1 | G |
| commutator, Fitting, socle, cosocle, hypocenter | C73×C137 | C2 |
| LCS | G ▷ C73×C137 | |
| UCS | C1 | |
8 conjugacy classes of subgroups.
| minimal degree | μ(G) = 210 |
| transitive degree | μt(G) = 10001 |
A minimal faithful permutation representation — 2 generators on 210 points:
(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73)(74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210);(2,73)(3,72)(4,71)(5,70)(6,69)(7,68)(8,67)(9,66)(10,65)(11,64)(12,63)(13,62)(14,61)(15,60)(16,59)(17,58)(18,57)(19,56)(20,55)(21,54)(22,53)(23,52)(24,51)(25,50)(26,49)(27,48)(28,47)(29,46)(30,45)(31,44)(32,43)(33,42)(34,41)(35,40)(36,39)(37,38)(75,210)(76,209)(77,208)(78,207)(79,206)(80,205)(81,204)(82,203)(83,202)(84,201)(85,200)(86,199)(87,198)(88,197)(89,196)(90,195)(91,194)(92,193)(93,192)(94,191)(95,190)(96,189)(97,188)(98,187)(99,186)(100,185)(101,184)(102,183)(103,182)(104,181)(105,180)(106,179)(107,178)(108,177)(109,176)(110,175)(111,174)(112,173)(113,172)(114,171)(115,170)(116,169)(117,168)(118,167)(119,166)(120,165)(121,164)(122,163)(123,162)(124,161)(125,160)(126,159)(127,158)(128,157)(129,156)(130,155)(131,154)(132,153)(133,152)(134,151)(135,150)(136,149)(137,148)(138,147)(139,146)(140,145)(141,144)(142,143)Polycyclic presentation:
2,73,137|b^a=b^72,c^a=c^1365002 conjugacy classes. The character table is too large to display.
Construct this group in GAP via the SmallGroups library:
gap> SmallGroup(20002, 3);