Finite Group Databasebeta

C23×#2572 #72301697

order1024
nilpotency class2
automorphism?
homologyAbelianization (H1) = C27 · Schur multiplier (H2) = C219

Aliases

direct productC23×#2572

Subgroups

subgroupG/H
center, socleC26C24
commutator, Frattini, cosocleC23C27
prime radicalC25×D4C22
LCSG ▷ C23 ▷ C1
UCSC1 ◁ C26 ◁ G
LECSG ▷ C23 ▷ C1

94213 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 30
transitive degreeμt(G) = 512

A minimal faithful permutation representation — 7 generators on 30 points:

(3,4);(5,6);(1,2)(3,4)(5,6);(7,8)(9,13)(10,11)(12,14)(15,16,18,20)(17,21,22,19)(23,24)(25,27)(26,28)(29,30);(8,11)(12,13)(23,24,26,28)(25,27,30,29);(7,8)(9,12)(10,11)(13,14)(15,17,18,22)(16,19,20,21)(23,24)(25,29)(26,28)(27,30);(7,9)(8,12)(10,14)(11,13)(15,16)(17,19)(18,20)(21,22)(23,25)(24,27)(26,30)(28,29)

Conjugacy classes & character table

304 conjugacy classes. The character table is too large to display.

Relationships

maximal subgroup ofC23×#59945, C23×#48088, C23×#60045, …
maximal normal subgroup ofC23×#59945, C23×#48088, C23×#60045, …

GAP

Past the SmallGroups library coverage — no SmallGroups id. Construct it from a minimal faithful permutation representation:

gap> G := Group((3,4), (5,6), (1,2)(3,4)(5,6), (7,8)(9,13)(10,11)(12,14)(15,16,18,20)(17,21,22,19)(23,24)(25,27)(26,28)(29,30), (8,11)(12,13)(23,24,26,28)(25,27,30,29), (7,8)(9,12)(10,11)(13,14)(15,17,18,22)(16,19,20,21)(23,24)(25,29)(26,28)(27,30), (7,9)(8,12)(10,14)(11,13)(15,16)(17,19)(18,20)(21,22)(23,25)(24,27)(26,30)(28,29));