| order | 108 |
| isoclinism | isoclinic class of A4 |
| automorphism | Aut(G) = C9×S4 (order 216) · Inn(G) = A4 · Out(G) = C2×C9 |
| holomorph | G ⋊ Aut(G) = #72259339 |
| homology | Abelianization (H1) = C27 · Schur multiplier (H2) = C2 |
| unambiguous semidirect product | C22⋊C27 |
| derived, Sylow | C22 ⋊ C27 |
| subgroup | G/H | |
|---|---|---|
| center, Frattini, hypercenter | C9 | A4 |
| commutator, hypocenter | C22 | C27 |
| Fitting, cosocle | C22×C9 | C3 |
| socle, prime radical | C22×C3 | C9 |
| LCS | G ▷ C22 | |
| UCS | C1 ◁ C9 | |
11 conjugacy classes of subgroups.
| minimal degree | μ(G) = 31 |
| transitive degree | μt(G) = 54 |
A minimal faithful permutation representation — 2 generators on 31 points:
(2,3,4)(5,6,9,7,10,15,12,17,22,8,11,16,13,18,23,20,25,28,14,19,24,21,26,29,27,30,31);(1,4)(2,3)Polycyclic presentation:
3^3,2^2|a^3=b,b^3=c,d^a=e,e^a=de36 conjugacy classes — view the full character table.
Construct this group in GAP via the SmallGroups library:
gap> SmallGroup(108, 3);