Finite Group Databasebeta

← Prev (#269) Next (#271) →

AGL(1,ℤ/9) #270

order	54
isoclinism	isoclinic class of AGL(1,ℤ/9)
automorphism	Aut(G) = AGL(1,ℤ/9) (order 54) · Inn(G) = G · Out(G) = C₁
holomorph	G ⋊ Aut(G) = AGL(1,ℤ/9)²
homology	Abelianization (H₁) = C₂×C₃ · Schur multiplier (H₂) = C₁

Aliases

affine general linear	AGL(1,ℤ/9)
unambiguous semidirect product	D₉⋊C₃
unambiguous semidirect product	3₋¹⁺²⋊C₂

Splittings

Fitting, Sylow	3₋¹⁺² ⋊ C₂
derived	C₉ ⋊ C₂×C₃

Subgroups

	subgroup	G/H
center, hypercenter	C₁	G
commutator, cosocle, hypocenter	C₉	C₂×C₃
Frattini, socle	C₃	C₃×D₃
Fitting	3₋¹⁺²	C₂
LCS	G ▷ C₉
UCS	C₁

13 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:

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

Polycyclic presentation:

2,3^3|c^3=d^2,c^a=c^2d,d^a=d^2,c^b=cd

Conjugacy classes & character table

	C₁	C₂	C₃	C₄	C₅	C₆	C₇	C₈	C₉	C₁₀
size	1	2	3	3	6	6	6	9	9	9
order	1	3	3	3	9	9	9	2	6	6
χ₁	1	1	1	1	1	1	1	1	1	1
χ₂	1	1	1	1	1	1	1	-1	-1	-1
χ₃	1	1	$\frac{- 1 + i \sqrt{3}}{2}$	$\frac{- 1 - i \sqrt{3}}{2}$	1	$\frac{- 1 + i \sqrt{3}}{2}$	$\frac{- 1 - i \sqrt{3}}{2}$	1	$\frac{- 1 + i \sqrt{3}}{2}$	$\frac{- 1 - i \sqrt{3}}{2}$
χ₄	1	1	$\frac{- 1 + i \sqrt{3}}{2}$	$\frac{- 1 - i \sqrt{3}}{2}$	1	$\frac{- 1 + i \sqrt{3}}{2}$	$\frac{- 1 - i \sqrt{3}}{2}$	-1	$\frac{1 - i \sqrt{3}}{2}$	$\frac{1 + i \sqrt{3}}{2}$
χ₅	1	1	$\frac{- 1 - i \sqrt{3}}{2}$	$\frac{- 1 + i \sqrt{3}}{2}$	1	$\frac{- 1 - i \sqrt{3}}{2}$	$\frac{- 1 + i \sqrt{3}}{2}$	1	$\frac{- 1 - i \sqrt{3}}{2}$	$\frac{- 1 + i \sqrt{3}}{2}$
χ₆	1	1	$\frac{- 1 - i \sqrt{3}}{2}$	$\frac{- 1 + i \sqrt{3}}{2}$	1	$\frac{- 1 - i \sqrt{3}}{2}$	$\frac{- 1 + i \sqrt{3}}{2}$	-1	$\frac{1 + i \sqrt{3}}{2}$	$\frac{1 - i \sqrt{3}}{2}$
χ₇	2	2	2	2	-1	-1	-1	0	0	0
χ₈	2	2	$- 1 + i \sqrt{3}$	$- 1 - i \sqrt{3}$	-1	$\frac{1 - i \sqrt{3}}{2}$	$\frac{1 + i \sqrt{3}}{2}$	0	0	0
χ₉	2	2	$- 1 - i \sqrt{3}$	$- 1 + i \sqrt{3}$	-1	$\frac{1 + i \sqrt{3}}{2}$	$\frac{1 - i \sqrt{3}}{2}$	0	0	0
χ₁₀	6	-3	0	0	0	0	0	0	0	0

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

Relationships

maximal subgroup of	C₂×AGL(1,ℤ/9), #4183, #4184, …
maximal normal subgroup of	C₂×AGL(1,ℤ/9), C₃×AGL(1,ℤ/9), C₅×AGL(1,ℤ/9), …
maximal quotient of	3₋¹⁺²⋊C₄, C₂×AGL(1,ℤ/9), #4169, …
automorphism group of	D₉, AGL(1,ℤ/9)
holomorph of	C₉

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(54, 6);