Finite Group Databasebeta
Cayley diagram

#20017

order256
nilpotency class3
isoclinismisoclinic class of D82
automorphismAut(G) order 8192
homologyAbelianization (H1) = C24 · Schur multiplier (H2) = C24

Aliases

No aliases for this group.

Subgroups

subgroupG/H
center, socleC22D42
commutator, Frattini, cosocleC42C24
prime radical#1624C2
LCSG ▷ C42 ▷ C22 ▷ C1
UCSC1 ◁ C22 ◁ C42 ◁ G
LECSG ▷ C42 ▷ C22 ▷ C1

300 conjugacy classes of subgroups; only the 103 normal subgroups are shown.

normal subgroups only

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

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

(1,2,7,4)(3,11,14,16)(5,10,6,9)(8,15,12,13)(17,18)(19,23)(20,27)(21,29)(22,25)(24,26)(28,31)(30,32);(1,3,7,14)(2,8,4,12)(5,13,6,15)(9,11,10,16)(17,19,22,21)(18,23,25,29)(20,26,28,30)(24,31,32,27);(1,4,7,2)(3,12,14,8)(5,10,6,9)(11,13,16,15)(17,20)(18,24)(19,26)(21,30)(22,28)(23,31)(25,32)(27,29);(1,5)(2,9)(4,10)(6,7)(11,16)(13,15)(17,19,22,21)(18,23,25,29)(20,26,28,30)(24,31,32,27)

Polycyclic presentation:

2^8|a^2=g,b^2=gh,c^2=g,d^2=h,e^2=g,f^2=h,b^a=be,c^a=cf,d^a=dg,e^a=eg,f^a=fh,d^b=de,e^b=eg,f^c=fh,e^d=eg

Conjugacy classes & character table

49 conjugacy classes — view the full character table.

Relationships

maximal subgroup of#153640, C2×#20017, #6358414, …
maximal normal subgroup of#153640, C2×#20017, #6358414, …
maximal quotient of#220831, #220837, #225617, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(256, 13005);