Copied to
clipboard

G = D20⋊Dic3order 480 = 25·3·5

1st semidirect product of D20 and Dic3 acting via Dic3/C3=C4

metabelian, supersoluble, monomial, 2-hyperelementary

Aliases: D201Dic3, D41(C3⋊F5), (C3×D4)⋊1F5, (D4×C15)⋊1C4, (C3×D20)⋊1C4, C5⋊(D4⋊Dic3), C60⋊C45C2, (C3×D5).6D8, (D4×D5).2S3, C12.9(C2×F5), C60.33(C2×C4), C33(D20⋊C4), (C5×D4)⋊1Dic3, (C6×D5).76D4, (C4×D5).27D6, C60.C46C2, C159(D4⋊C4), D5.3(D4⋊S3), (C3×D5).8SD16, C20.1(C2×Dic3), D5.3(D4.S3), (C3×Dic5).37D4, C6.20(C22⋊F5), D10.33(C3⋊D4), C30.20(C22⋊C4), Dic5.6(C3⋊D4), (D5×C12).68C22, C10.5(C6.D4), C2.6(D10.D6), C4.1(C2×C3⋊F5), (C3×D4×D5).2C2, SmallGroup(480,312)

Series: Derived Chief Lower central Upper central

C1C60 — D20⋊Dic3
C1C5C15C30C6×D5D5×C12C60⋊C4 — D20⋊Dic3
C15C30C60 — D20⋊Dic3
C1C2C4D4

Generators and relations for D20⋊Dic3
 G = < a,b,c,d | a20=b2=c6=1, d2=c3, bab=a-1, cac-1=a9, dad-1=a7, cbc-1=a8b, dbd-1=ab, dcd-1=c-1 >

Subgroups: 604 in 100 conjugacy classes, 33 normal (all characteristic)
C1, C2, C2, C3, C4, C4, C22, C5, C6, C6, C8, C2×C4, D4, D4, C23, D5, D5, C10, C10, Dic3, C12, C12, C2×C6, C15, C4⋊C4, C2×C8, C2×D4, Dic5, C20, F5, D10, D10, C2×C10, C3⋊C8, C2×Dic3, C2×C12, C3×D4, C3×D4, C22×C6, C3×D5, C3×D5, C30, C30, D4⋊C4, C5⋊C8, C4×D5, D20, C5⋊D4, C5×D4, C2×F5, C22×D5, C2×C3⋊C8, C4⋊Dic3, C6×D4, C3×Dic5, C60, C3⋊F5, C6×D5, C6×D5, C2×C30, D5⋊C8, C4⋊F5, D4×D5, D4⋊Dic3, C15⋊C8, D5×C12, C3×D20, C3×C5⋊D4, D4×C15, C2×C3⋊F5, D5×C2×C6, D20⋊C4, C60.C4, C60⋊C4, C3×D4×D5, D20⋊Dic3
Quotients: C1, C2, C4, C22, S3, C2×C4, D4, Dic3, D6, C22⋊C4, D8, SD16, F5, C2×Dic3, C3⋊D4, D4⋊C4, C2×F5, D4⋊S3, D4.S3, C6.D4, C3⋊F5, C22⋊F5, D4⋊Dic3, C2×C3⋊F5, D20⋊C4, D10.D6, D20⋊Dic3

Smallest permutation representation of D20⋊Dic3
On 120 points
Generators in S120
(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)
(1 44)(2 43)(3 42)(4 41)(5 60)(6 59)(7 58)(8 57)(9 56)(10 55)(11 54)(12 53)(13 52)(14 51)(15 50)(16 49)(17 48)(18 47)(19 46)(20 45)(21 68)(22 67)(23 66)(24 65)(25 64)(26 63)(27 62)(28 61)(29 80)(30 79)(31 78)(32 77)(33 76)(34 75)(35 74)(36 73)(37 72)(38 71)(39 70)(40 69)(81 120)(82 119)(83 118)(84 117)(85 116)(86 115)(87 114)(88 113)(89 112)(90 111)(91 110)(92 109)(93 108)(94 107)(95 106)(96 105)(97 104)(98 103)(99 102)(100 101)
(1 107 21)(2 116 22 10 108 30)(3 105 23 19 109 39)(4 114 24 8 110 28)(5 103 25 17 111 37)(6 112 26)(7 101 27 15 113 35)(9 119 29 13 115 33)(11 117 31)(12 106 32 20 118 40)(14 104 34 18 120 38)(16 102 36)(41 99 65 49 91 73)(42 88 66 58 92 62)(43 97 67 47 93 71)(44 86 68 56 94 80)(45 95 69)(46 84 70 54 96 78)(48 82 72 52 98 76)(50 100 74)(51 89 75 59 81 63)(53 87 77 57 83 61)(55 85 79)(60 90 64)
(2 4 10 8)(3 7 19 15)(5 13 17 9)(6 16)(12 14 20 18)(21 107)(22 110 30 114)(23 113 39 101)(24 116 28 108)(25 119 37 115)(26 102)(27 105 35 109)(29 111 33 103)(31 117)(32 120 40 104)(34 106 38 118)(36 112)(41 58 49 42)(43 44 47 56)(45 50)(46 53 54 57)(48 59 52 51)(55 60)(61 96 77 84)(62 99 66 91)(63 82 75 98)(64 85)(65 88 73 92)(67 94 71 86)(68 97 80 93)(69 100)(70 83 78 87)(72 89 76 81)(74 95)(79 90)

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

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

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

39 conjugacy classes

class 1 2A2B2C2D2E 3 4A4B4C4D 5 6A6B6C6D6E6F6G8A8B8C8D10A10B10C12A12B15A15B 20 30A30B30C30D30E30F60A60B
order1222223444456666666888810101012121515203030303030306060
size1145520221060604244101020203030303048842044844888888

39 irreducible representations

dim11111122222222224444444488
type++++++++--++++-++
imageC1C2C2C2C4C4S3D4D4D6Dic3Dic3D8SD16C3⋊D4C3⋊D4F5C2×F5D4⋊S3D4.S3C3⋊F5C22⋊F5C2×C3⋊F5D10.D6D20⋊C4D20⋊Dic3
kernelD20⋊Dic3C60.C4C60⋊C4C3×D4×D5C3×D20D4×C15D4×D5C3×Dic5C6×D5C4×D5D20C5×D4C3×D5C3×D5Dic5D10C3×D4C12D5D5D4C6C4C2C3C1
# reps11112211111122221111222412

Matrix representation of D20⋊Dic3 in GL6(𝔽241)

240960000
510000
00124000
00102400
00100240
001000
,
221490000
1862190000
007117124234
001240117234
0072341170
000234124117
,
24000000
02400000
001141272290
00011522912
002291150126
0022912711412
,
6400000
1621770000
00100240
00001240
00000240
00010240

G:=sub<GL(6,GF(241))| [240,5,0,0,0,0,96,1,0,0,0,0,0,0,1,1,1,1,0,0,240,0,0,0,0,0,0,240,0,0,0,0,0,0,240,0],[22,186,0,0,0,0,149,219,0,0,0,0,0,0,7,124,7,0,0,0,117,0,234,234,0,0,124,117,117,124,0,0,234,234,0,117],[240,0,0,0,0,0,0,240,0,0,0,0,0,0,114,0,229,229,0,0,127,115,115,127,0,0,229,229,0,114,0,0,0,12,126,12],[64,162,0,0,0,0,0,177,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,240,240,240,240] >;

D20⋊Dic3 in GAP, Magma, Sage, TeX

D_{20}\rtimes {\rm Dic}_3
% in TeX

G:=Group("D20:Dic3");
// GroupNames label

G:=SmallGroup(480,312);
// by ID

G=gap.SmallGroup(480,312);
# by ID

G:=PCGroup([7,-2,-2,-2,-2,-2,-3,-5,28,141,675,346,80,2693,14118,4724]);
// Polycyclic

G:=Group<a,b,c,d|a^20=b^2=c^6=1,d^2=c^3,b*a*b=a^-1,c*a*c^-1=a^9,d*a*d^-1=a^7,c*b*c^-1=a^8*b,d*b*d^-1=a*b,d*c*d^-1=c^-1>;
// generators/relations

׿
×
𝔽