Finite Group Databasebeta

Dic4386 #72215826

order17544
automorphismAut(G) order 23579136
homologyAbelianization (H1) = C22 · Schur multiplier (H2) = C1

Aliases

dicyclicDic4386

Splittings

HallC3×C17×C43 ⋊ Q8
HallC17×C43 ⋊ Dic6
HallC3×C43 ⋊ Dic34
HallC3×C17 ⋊ Dic86
SylowC43 ⋊ Dic102
SylowC17 ⋊ Dic258
SylowC3 ⋊ Dic1462

Subgroups

subgroupG/H
center, FrattiniC2C2×D2193
commutator, socle, prime radical, cosocleC2×C3×C17×C43C22
FittingC3×C4×C17×C43C2
hypercenterC4D2193
hypocenterC3×C17×C43Q8
LCSG ▷ C2×C3×C17×C43 ▷ C3×C17×C43
UCSC1 ◁ C2 ◁ C4

48 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 71
transitive degreeμt(G) = 17544

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

(1,2,3,4)(5,8,7,6)(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);(1,5,3,7)(2,6,4,8)(10,11)(13,28)(14,27)(15,26)(16,25)(17,24)(18,23)(19,22)(20,21)(30,71)(31,70)(32,69)(33,68)(34,67)(35,66)(36,65)(37,64)(38,63)(39,62)(40,61)(41,60)(42,59)(43,58)(44,57)(45,56)(46,55)(47,54)(48,53)(49,52)(50,51)

Polycyclic presentation:

2^3,3,17,43|a^2=c,b^2=c,b^a=bc,d^a=d^2,e^a=e^16,f^a=f^42

Conjugacy classes & character table

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

Relationships

maximal subgroup ofDic8772, Dic13158
maximal normal subgroup ofDic8772
maximal quotient ofDic13158

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