Finite Group Databasebeta

D508 #11759841

order1016
automorphismAut(G) order 128016
homologyAbelianization (H1) = C22 · Schur multiplier (H2) = C2

Aliases

dihedralD508
unambiguous semidirect productC4⋊D127

Splittings

FittingC4×C127 ⋊ C2
SylowC127 ⋊ D4

Subgroups

subgroupG/H
center, FrattiniC2C2×D127
commutator, socle, cosocleC2×C127C22
FittingC4×C127C2
hypercenterC4D127
hypocenterC127D4
LCSG ▷ C2×C127 ▷ C127
UCSC1 ◁ C2 ◁ C4

16 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 131
transitive degreeμt(G) = 508

A minimal faithful permutation representation — 2 generators on 131 points:

(1,2,3,4)(5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131);(2,4)(6,131)(7,130)(8,129)(9,128)(10,127)(11,126)(12,125)(13,124)(14,123)(15,122)(16,121)(17,120)(18,119)(19,118)(20,117)(21,116)(22,115)(23,114)(24,113)(25,112)(26,111)(27,110)(28,109)(29,108)(30,107)(31,106)(32,105)(33,104)(34,103)(35,102)(36,101)(37,100)(38,99)(39,98)(40,97)(41,96)(42,95)(43,94)(44,93)(45,92)(46,91)(47,90)(48,89)(49,88)(50,87)(51,86)(52,85)(53,84)(54,83)(55,82)(56,81)(57,80)(58,79)(59,78)(60,77)(61,76)(62,75)(63,74)(64,73)(65,72)(66,71)(67,70)(68,69)

Polycyclic presentation:

2^3,127|b^a=bc,d^a=d^126,d^b=d^126

Conjugacy classes & character table

257 conjugacy classes — view the full character table.

Relationships

maximal subgroup of#14523233, D1016, #14523235, …
maximal normal subgroup of#14523233, D1016, #14523235, …
maximal quotient of(C2×D127)⋊C4, C4⋊Dic127, D1016, …

GAP

Construct this group in GAP via the SmallGroups library:

gap> SmallGroup(1016, 10);