Finite Group Databasebeta
Cayley diagram

AΓL(1,𝔽9) #3839

order144
isoclinismisoclinic class of AΓL(1,𝔽9)
automorphismAut(G) = AΓL(1,𝔽9) (order 144) · Inn(G) = G · Out(G) = C1
holomorphG ⋊ Aut(G) = AΓL(1,𝔽9)2
homologyAbelianization (H1) = C22 · Schur multiplier (H2) = C1

Aliases

affine general semilinearAΓL(1,𝔽9)
unambiguous semidirect productAGL(1,𝔽9)⋊C2
unambiguous semidirect productPSU(3,𝔽2)⋊C2

Splittings

Fitting, socle, SylowC32 ⋊ SD16

Subgroups

subgroupG/H
center, Frattini, hypercenterC1G
commutator, cosocle#157C22
Fitting, socle, hypocenterC32SD16
prime radicalGO+(4,𝔽2)C2
LCSG ▷ #157 ▷ C3⋊D3 ▷ C32
UCSC1

25 conjugacy classes of subgroups.

Full subgroup data →

Presentation

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

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

(1,6,8)(2,5,7,4,9,3);(2,3,4,8,5,7,9,6)

Polycyclic presentation:

2^4,3^2|a^2=c,c^2=d,b^a=bcd,e^a=f,f^a=ef^2,c^b=cd,e^b=ef^2,f^b=f^2,e^c=ef^2,f^c=e^2f^2,e^d=e^2,f^d=f^2

Conjugacy classes & character table

C1C2C3C4C5C6C7C8C9
size189121818182436
order132248864
χ1111111111
χ211111-1-11-1
χ3111-1111-1-1
χ4111-11-1-1-11
χ52220-20000
χ622-200i2−i200
χ722-200−i2i200
χ88-102000-10
χ98-10-200010

Here i is the imaginary unit (i² = −1).

Relationships

maximal subgroup ofC2×AΓL(1,𝔽9), AGL(2,𝔽3), C3×AΓL(1,𝔽9), …
maximal normal subgroup ofC2×AΓL(1,𝔽9), C3×AΓL(1,𝔽9), C5×AΓL(1,𝔽9), …
maximal quotient ofGO+(4,𝔽2)⋊C4, PSU(3,𝔽2)⋊C4, AGL(1,𝔽9)⋊C4, …
automorphism group of#157, AGL(1,𝔽9), GO+(4,𝔽2), …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(144, 182);