Finite Group Databasebeta
Cayley diagram

(3−1+2⋊C9)⋊C2 #92212

order486
isoclinismisoclinic class of (3−1+2⋊C9)⋊C2
automorphism?
homologyAbelianization (H1) = C2 · Schur multiplier (H2) = C1

Aliases

unambiguous semidirect product(3−1+2⋊C9)⋊C2

Splittings

Fitting, derived, Sylow3−1+2⋊C9 ⋊ C2

Subgroups

subgroupG/H
center, hypercenterC1G
commutator, Fitting, cosocle, hypocenter3−1+2⋊C9C2
FrattiniC33C3⋊D3
socleC32#272
LCSG ▷ 3−1+2⋊C9
UCSC1

73 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 18
transitive degreeμt(G) = 81

A minimal faithful permutation representation — 3 generators on 18 points:

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

Polycyclic presentation:

2,3^5|b^3=e^2,c^3=e^2,b^a=b^2e,c^a=c^2e,d^a=df^2,e^a=e^2,f^a=f^2,c^b=cd,d^b=df

Conjugacy classes & character table

30 conjugacy classes — view the full character table.

Relationships

maximal subgroup ofC2×(3−1+2⋊C9)⋊C2, C3×(3−1+2⋊C9)⋊C2, C3⋊((3−1+2⋊C9)⋊C2), …
maximal normal subgroup ofC2×(3−1+2⋊C9)⋊C2, C3×(3−1+2⋊C9)⋊C2, #10624699⋊C2, …
maximal quotient of(3−1+2⋊C9)⋊C4, C2×(3−1+2⋊C9)⋊C2, (3−1+2⋊C27)⋊C2, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(486, 57);