Finite Group Databasebeta
Cayley diagram

H(3,𝔽4) #561

order64
nilpotency class2
isoclinismisoclinic class of #560
automorphismAut(G) = #72226554 (order 9216) · Inn(G) = C24 · Out(G) = #10593244
homologyAbelianization (H1) = C24 · Schur multiplier (H2) = C22×C42

Aliases

unitriangularUT(3,𝔽4)
HeisenbergH(3,𝔽4)

Subgroups

subgroupG/H
center, commutator, Frattini, socle, cosocleC22C24
LCSG ▷ C22 ▷ C1
UCSC1 ◁ C22 ◁ G
LECSG ▷ C22 ▷ C1

130 conjugacy classes of subgroups.

Full subgroup data →

Presentation

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

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

(1,2,5,8)(3,10,11,7)(4,12,14,16)(6,9,15,13);(1,3,5,11)(2,7,8,10)(4,13,14,9)(6,12,15,16);(1,4)(2,3)(5,14)(6,7)(8,11)(9,12)(10,15)(13,16);(1,3)(2,4)(5,11)(6,12)(7,9)(8,14)(10,13)(15,16)

Polycyclic presentation:

2^6|a^2=e,b^2=e,b^a=be,c^a=cf,d^a=def,c^b=cef,d^b=de

Conjugacy classes & character table

19 conjugacy classes — view the full character table.

Relationships

derived subgroup of#5464, #5465, #1655⋊C3, …
Fitting subgroup of#5450, #5464, #5465, …
maximal subgroup of#1655, #1659, #2199, …
maximal normal subgroup of#1655, #1659, #2199, …
maximal quotient of#2375, #2379, #2670, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(64, 242);