#72255012

order	1536
automorphism	?
homology	Abelianization (H₁) = C₂×C₈ · Schur multiplier (H₂) = C₁

Aliases

No aliases for this group.

Splittings

Sylow

C₃ ⋊ #94754

Subgroups

	subgroup	G/H
center	C₂	#10682869
commutator	C₃×C₃₂	C₂×C₈
Frattini	#1397	C₂×D₃
Fitting	C₃×#7464	C₂
socle	C₂×C₃	#7463
prime radical	C₂²×C₃	#1426
cosocle	C₃×#1397	C₂²
hypercenter	#7464	D₃
hypocenter	C₃	#94754
LCS	G ▷ C₃×C₃₂ ▷ C₃×C₁₆ ▷ C₃×C₈ ▷ C₃×C₄ ▷ C₂×C₃ ▷ C₃
UCS	C₁ ◁ C₂ ◁ C₂×C₄ ◁ C₄×C₈ ◁ C₄×C₁₆ ◁ #1397 ◁ #7464

92 conjugacy classes of subgroups.

Full subgroup data →

Presentation

transitive degree

μ_t(G) = 192

Polycyclic presentation:

2^9,3|a^2=c,b^2=d,c^2=egh,d^2=f,e^2=ghi,g^2=hi,h^2=i,b^a=bcgh,c^b=ce,d^a=dhi,d^c=di,e^b=eg,f^a=fi,g^b=gh,h^b=hi,j^a=j^2,j^b=j^2

Conjugacy classes & character table

108 conjugacy classes — view the full character table.

Relationships

maximal subgroup of	#72255016, D₃×#94754, #72255032
maximal normal subgroup of	#72255016, D₃×#94754, #72255032

GAP

Past the SmallGroups library coverage — no SmallGroups id. Construct it from its polycyclic presentation:

gap> F := FreeGroup(IsSyllableWordsFamily, "a", "b", "c", "d", "e", "f", "g", "h", "i", "j");;
gap> coll := SingleCollector(F, [2, 2, 2, 2, 2, 2, 2, 2, 2, 3]);;
gap> SetPower(coll, 1, F.3);;
gap> SetPower(coll, 2, F.4);;
gap> SetPower(coll, 3, F.5*F.7*F.8);;
gap> SetPower(coll, 4, F.6);;
gap> SetPower(coll, 5, F.7*F.8*F.9);;
gap> SetPower(coll, 7, F.8*F.9);;
gap> SetPower(coll, 8, F.9);;
gap> SetConjugate(coll, 2, 1, F.2*F.3*F.7*F.8);;
gap> SetConjugate(coll, 3, 2, F.3*F.5);;
gap> SetConjugate(coll, 4, 1, F.4*F.8*F.9);;
gap> SetConjugate(coll, 4, 3, F.4*F.9);;
gap> SetConjugate(coll, 5, 2, F.5*F.7);;
gap> SetConjugate(coll, 6, 1, F.6*F.9);;
gap> SetConjugate(coll, 7, 2, F.7*F.8);;
gap> SetConjugate(coll, 8, 2, F.8*F.9);;
gap> SetConjugate(coll, 10, 1, F.10^2);;
gap> SetConjugate(coll, 10, 2, F.10^2);;
gap> UpdatePolycyclicCollector(coll);;
gap> G := GroupByRws(coll);