Finite Group Databasebeta

D15308 #72272022

order30616
automorphism?
homologyAbelianization (H1) = C22 · Schur multiplier (H2) = C2

Aliases

dihedralD15308

Splittings

FittingC4×C43×C89 ⋊ C2
HallC43×C89 ⋊ D4
SylowC89 ⋊ D172
SylowC43 ⋊ D356

Subgroups

subgroupG/H
center, FrattiniC2C2×D3827
commutator, socle, cosocleC2×C43×C89C22
FittingC4×C43×C89C2
hypercenterC4D3827
hypocenterC43×C89D4
LCSG ▷ C2×C43×C89 ▷ C43×C89
UCSC1 ◁ C2 ◁ C4

32 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 136
transitive degreeμt(G) = 15308

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

Polycyclic presentation:

2^3,43,89|b^2=c,b^a=bc,d^a=d^42,e^a=e^88

Conjugacy classes & character table

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

Relationships

maximal subgroup ofD30616
maximal normal subgroup ofD30616
maximal quotient ofDic15308, D30616

GAP

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

gap> F := FreeGroup(IsSyllableWordsFamily, "a", "b", "c", "d", "e");;
gap> coll := SingleCollector(F, [2, 2, 2, 43, 89]);;
gap> SetPower(coll, 2, F.3);;
gap> SetConjugate(coll, 2, 1, F.2*F.3);;
gap> SetConjugate(coll, 4, 1, F.4^42);;
gap> SetConjugate(coll, 5, 1, F.5^88);;
gap> UpdatePolycyclicCollector(coll);;
gap> G := GroupByRws(coll);