Finite Group Databasebeta
Cayley diagram

#93508

order512
nilpotency class3
isoclinismisoclinic class of #93508
automorphism?
homologyAbelianization (H1) = C42 · Schur multiplier (H2) = C22×C4

Aliases

No aliases for this group.

Subgroups

subgroupG/H
centerC2×C4H(3,ℤ/4)
commutatorC22×C8C42
Frattini, cosocleC22×#131C22
socleC22#1289
prime radicalC22×#41D4
LCSG ▷ C22×C8 ▷ C2×C4 ▷ C1
UCSC1 ◁ C2×C4 ◁ C22×C8 ◁ G
LECSG ▷ C22×#131 ▷ C22×C4 ▷ C2 ▷ C1

470 conjugacy classes of subgroups; only the 72 normal subgroups are shown.

normal subgroups only

This group has 470 conjugacy classes of subgroups — too many to draw. Only its 72 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) = 72
transitive degreeμt(G) = 128

A minimal faithful permutation representation — 2 generators on 72 points:

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

Polycyclic presentation:

2^9|a^2=d,b^2=e,c^2=fhi,f^2=i,g^2=i,b^a=bc,c^a=cf,e^a=efghi,h^a=hi,c^b=cg,d^b=dh,h^b=hi,d^c=di,e^c=ei,e^d=ei

Conjugacy classes & character table

68 conjugacy classes — view the full character table.

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(512, 704);