Finite Group Databasebeta

#72243622

order4374
automorphism?
homologyAbelianization (H1) = C2×C34 · Schur multiplier (H2) = C36

Aliases

No aliases for this group.

Splittings

Fitting, Sylow#14555436 ⋊ C2

Subgroups

subgroupG/H
center, socleC3C33×(C3⋊D3)⋊C3
commutator, cosocle, hypocenterH(3,𝔽3)C2×C34
FrattiniC32C34×D3
Fitting#14555436C2
hypercenterC3×H(3,𝔽3)(C3⋊D3)⋊C3
LCSG ▷ H(3,𝔽3)
UCSC1 ◁ C3 ◁ C3×H(3,𝔽3)

4462 conjugacy classes of subgroups; only the 665 normal subgroups are shown.

normal subgroups only

This group has 4462 conjugacy classes of subgroups — too many to draw. Only its 665 normal subgroups are shown.

Dotted edges: containments with no intermediate normal subgroup — omitted non-normal subgroups may lie between.

Full subgroup data →

Presentation

minimal degreeμ(G) = 81
transitive degreeμt(G) = 81

A minimal faithful permutation representation — 4 generators on 81 points:

(3,13,15)(4,16)(8,25,24)(10,28)(12,30,32)(14,56,35,34,33,57)(17,36)(18,37)(19,39,41)(21,43)(23,45,47)(26,70,48,50,49,69)(27,51)(29,52)(31,71,55,54,53,72)(38,59,58)(40,76,63,62,61,77)(42,64)(44,65)(46,78,68,67,66,79)(60,81,73,75,74,80);(1,4,36,5,18,16,6,17,37)(2,27,51,9,29,52,11,10,28)(3,14,56,15,35,34,13,33,57)(7,42,43,22,21,65,20,44,64)(8,48,69,24,49,70,25,26,50)(12,31,72,30,53,54,32,55,71)(19,61,62,41,40,77,39,63,76)(23,66,78,45,68,79,47,46,67)(38,73,75,59,60,81,58,74,80);(1,3,12)(2,8,23)(4,14,31)(5,15,30)(6,13,32)(7,19,38)(9,24,45)(10,26,46)(11,25,47)(16,34,54)(17,33,55)(18,35,53)(20,39,58)(21,40,60)(22,41,59)(27,48,66)(28,50,67)(29,49,68)(36,56,72)(37,57,71)(42,61,73)(43,62,75)(44,63,74)(51,69,78)(52,70,79)(64,76,80)(65,77,81);(1,2,7)(3,8,19)(4,10,21)(5,9,22)(6,11,20)(12,23,38)(13,25,39)(14,26,40)(15,24,41)(16,28,43)(17,29,42)(18,27,44)(30,45,59)(31,46,60)(32,47,58)(33,49,61)(34,50,62)(35,48,63)(36,52,64)(37,51,65)(53,66,74)(54,67,75)(55,68,73)(56,70,76)(57,69,77)(71,78,81)(72,79,80)

Polycyclic presentation:

2,3^7|d^b=dh,e^c=eh^2,f^a=f^2,f^d=fg,g^a=g^2h,g^f=gh

Conjugacy classes & character table

274 conjugacy classes — view the full character table.

Relationships

maximal subgroup of#72243652, #72243728, #72243811
maximal normal subgroup of#72243652, #72243728, #72243811

GAP

Past the SmallGroups library coverage — no SmallGroups id. Construct it from its polycyclic presentation:

gap> F := FreeGroup(IsSyllableWordsFamily, "a", "b", "c", "d", "e", "f", "g", "h");;
gap> coll := SingleCollector(F, [2, 3, 3, 3, 3, 3, 3, 3]);;
gap> SetConjugate(coll, 4, 2, F.4*F.8);;
gap> SetConjugate(coll, 5, 3, F.5*F.8^2);;
gap> SetConjugate(coll, 6, 1, F.6^2);;
gap> SetConjugate(coll, 6, 4, F.6*F.7);;
gap> SetConjugate(coll, 7, 1, F.7^2*F.8);;
gap> SetConjugate(coll, 7, 6, F.7*F.8);;
gap> UpdatePolycyclicCollector(coll);;
gap> G := GroupByRws(coll);