Finite Group Databasebeta

D13172 #72235409

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

Aliases

dihedralD13172

Splittings

FittingC4×C37×C89 ⋊ C2
HallC37×C89 ⋊ D4
SylowC89 ⋊ D148
SylowC37 ⋊ D356

Subgroups

subgroupG/H
center, FrattiniC2C2×D3293
commutator, socle, cosocleC2×C37×C89C22
FittingC4×C37×C89C2
hypercenterC4D3293
hypocenterC37×C89D4
LCSG ▷ C2×C37×C89 ▷ C37×C89
UCSC1 ◁ C2 ◁ C4

32 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 130
transitive degreeμt(G) = 13172

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

Polycyclic presentation:

2^3,37,89|b^2=c,b^a=bc,d^a=d^36,e^a=e^88

Conjugacy classes & character table

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

Relationships

maximal subgroup ofD26344
maximal normal subgroup ofD26344
maximal quotient ofDic13172, D26344

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, 37, 89]);;
gap> SetPower(coll, 2, F.3);;
gap> SetConjugate(coll, 2, 1, F.2*F.3);;
gap> SetConjugate(coll, 4, 1, F.4^36);;
gap> SetConjugate(coll, 5, 1, F.5^88);;
gap> UpdatePolycyclicCollector(coll);;
gap> G := GroupByRws(coll);