Finite Group Databasebeta

D15036 #72236030

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

Aliases

dihedralD15036

Splittings

FittingC3×C4×C7×C179 ⋊ C2
HallC3×C7×C179 ⋊ D4
HallC7×C179 ⋊ D12
HallC3×C179 ⋊ D28
SylowC179 ⋊ D84
HallC3×C7 ⋊ D716
SylowC7 ⋊ D2148
SylowC3 ⋊ D5012

Subgroups

subgroupG/H
center, FrattiniC2C2×D3759
commutator, socle, cosocleC2×C3×C7×C179C22
FittingC3×C4×C7×C179C2
hypercenterC4D3759
hypocenterC3×C7×C179D4
LCSG ▷ C2×C3×C7×C179 ▷ C3×C7×C179
UCSC1 ◁ C2 ◁ C4

64 conjugacy classes of subgroups.

Full subgroup data →

Presentation

minimal degreeμ(G) = 193
transitive degreeμt(G) = 15036

A minimal faithful permutation representation — 2 generators on 193 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,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193);(2,4)(6,7)(9,14)(10,13)(11,12)(16,193)(17,192)(18,191)(19,190)(20,189)(21,188)(22,187)(23,186)(24,185)(25,184)(26,183)(27,182)(28,181)(29,180)(30,179)(31,178)(32,177)(33,176)(34,175)(35,174)(36,173)(37,172)(38,171)(39,170)(40,169)(41,168)(42,167)(43,166)(44,165)(45,164)(46,163)(47,162)(48,161)(49,160)(50,159)(51,158)(52,157)(53,156)(54,155)(55,154)(56,153)(57,152)(58,151)(59,150)(60,149)(61,148)(62,147)(63,146)(64,145)(65,144)(66,143)(67,142)(68,141)(69,140)(70,139)(71,138)(72,137)(73,136)(74,135)(75,134)(76,133)(77,132)(78,131)(79,130)(80,129)(81,128)(82,127)(83,126)(84,125)(85,124)(86,123)(87,122)(88,121)(89,120)(90,119)(91,118)(92,117)(93,116)(94,115)(95,114)(96,113)(97,112)(98,111)(99,110)(100,109)(101,108)(102,107)(103,106)(104,105)

Polycyclic presentation:

2^3,3,7,179|b^2=c,b^a=bc,d^a=d^2,e^a=e^6,f^a=f^178

Conjugacy classes & character table

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

Relationships

maximal subgroup ofD30072
maximal normal subgroup ofD30072
maximal quotient ofDic15036, D30072

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, 7, 179]);;
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^6);;
gap> SetConjugate(coll, 6, 1, F.6^178);;
gap> UpdatePolycyclicCollector(coll);;
gap> G := GroupByRws(coll);