Finite Group Databasebeta

#72276706

order3600
automorphism?
homologyAbelianization (H1) = C2×C4 · Schur multiplier (H2) = C3

Aliases

No aliases for this group.

Splittings

Fitting, socleC3×C52 ⋊ ΓL(1,𝔽25)
HallC3×C52⋊C3 ⋊ M16
SylowC52 ⋊ #3743

Subgroups

subgroupG/H
center, Frattini, hypercenterC1G
commutatorC3×(C5⋊D5)⋊C3C2×C4
Fitting, socleC3×C52ΓL(1,𝔽25)
prime radical((C5⋊D5)⋊C3)⋊D3C4
cosocleC3×#1043⋊C3C22
hypocenterC3×C52⋊C3M16
LCSG ▷ C3×(C5⋊D5)⋊C3 ▷ C3×C52⋊C3
UCSC1

136 conjugacy classes of subgroups.

Full subgroup data →

Presentation

transitive degreeμt(G) = 75

Polycyclic presentation:

2^4,3^2,5^2|b^2=c,c^2=d,b^a=bd,e^a=e^2,f^a=f^2,g^b=h,g^c=g^3,g^d=g^4,g^e=g^2h^4,h^a=h^4,h^b=g^3,h^c=h^3,h^d=h^4,h^e=g^2h^2

Conjugacy classes & character table

45 conjugacy classes — view the full character table.

Relationships

maximal subgroup ofD3×AΓL(1,𝔽25)
maximal normal subgroup ofD3×AΓL(1,𝔽25)

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");;
gap> coll := SingleCollector(F, [2, 2, 2, 2, 3, 3, 5, 5]);;
gap> SetPower(coll, 2, F.3);;
gap> SetPower(coll, 3, F.4);;
gap> SetConjugate(coll, 2, 1, F.2*F.4);;
gap> SetConjugate(coll, 5, 1, F.5^2);;
gap> SetConjugate(coll, 6, 1, F.6^2);;
gap> SetConjugate(coll, 7, 2, F.8);;
gap> SetConjugate(coll, 7, 3, F.7^3);;
gap> SetConjugate(coll, 7, 4, F.7^4);;
gap> SetConjugate(coll, 7, 5, F.7^2*F.8^4);;
gap> SetConjugate(coll, 8, 1, F.8^4);;
gap> SetConjugate(coll, 8, 2, F.7^3);;
gap> SetConjugate(coll, 8, 3, F.8^3);;
gap> SetConjugate(coll, 8, 4, F.8^4);;
gap> SetConjugate(coll, 8, 5, F.7^2*F.8^2);;
gap> UpdatePolycyclicCollector(coll);;
gap> G := GroupByRws(coll);