Copied to
clipboard

## G = C4○D4×D15order 480 = 25·3·5

### Direct product of C4○D4 and D15

Series: Derived Chief Lower central Upper central

 Derived series C1 — C30 — C4○D4×D15
 Chief series C1 — C5 — C15 — C30 — D30 — C22×D15 — C2×C4×D15 — C4○D4×D15
 Lower central C15 — C30 — C4○D4×D15
 Upper central C1 — C4 — C4○D4

Generators and relations for C4○D4×D15
G = < a,b,c,d,e | a4=c2=d15=e2=1, b2=a2, ab=ba, ac=ca, ad=da, ae=ea, cbc=a2b, bd=db, be=eb, cd=dc, ce=ec, ede=d-1 >

Subgroups: 1796 in 328 conjugacy classes, 121 normal (26 characteristic)
C1, C2, C2 [×8], C3, C4, C4 [×3], C4 [×4], C22 [×3], C22 [×10], C5, S3 [×5], C6, C6 [×3], C2×C4 [×3], C2×C4 [×13], D4 [×3], D4 [×9], Q8, Q8 [×3], C23 [×3], D5 [×5], C10, C10 [×3], Dic3 [×4], C12, C12 [×3], D6 [×10], C2×C6 [×3], C15, C22×C4 [×3], C2×D4 [×3], C2×Q8, C4○D4, C4○D4 [×7], Dic5 [×4], C20, C20 [×3], D10 [×10], C2×C10 [×3], Dic6 [×3], C4×S3 [×10], D12 [×3], C2×Dic3 [×3], C3⋊D4 [×6], C2×C12 [×3], C3×D4 [×3], C3×Q8, C22×S3 [×3], D15 [×2], D15 [×3], C30, C30 [×3], C2×C4○D4, Dic10 [×3], C4×D5 [×10], D20 [×3], C2×Dic5 [×3], C5⋊D4 [×6], C2×C20 [×3], C5×D4 [×3], C5×Q8, C22×D5 [×3], S3×C2×C4 [×3], C4○D12 [×3], S3×D4 [×3], D42S3 [×3], S3×Q8, Q83S3, C3×C4○D4, Dic15, Dic15 [×3], C60, C60 [×3], D30, D30 [×3], D30 [×6], C2×C30 [×3], C2×C4×D5 [×3], C4○D20 [×3], D4×D5 [×3], D42D5 [×3], Q8×D5, Q82D5, C5×C4○D4, S3×C4○D4, Dic30 [×3], C4×D15, C4×D15 [×9], D60 [×3], C2×Dic15 [×3], C157D4 [×6], C2×C60 [×3], D4×C15 [×3], Q8×C15, C22×D15 [×3], D5×C4○D4, C2×C4×D15 [×3], D6011C2 [×3], D4×D15 [×3], D42D15 [×3], Q8×D15, Q83D15, C15×C4○D4, C4○D4×D15
Quotients: C1, C2 [×15], C22 [×35], S3, C23 [×15], D5, D6 [×7], C4○D4 [×2], C24, D10 [×7], C22×S3 [×7], D15, C2×C4○D4, C22×D5 [×7], S3×C23, D30 [×7], C23×D5, S3×C4○D4, C22×D15 [×7], D5×C4○D4, C23×D15, C4○D4×D15

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

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

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

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

90 conjugacy classes

 class 1 2A 2B 2C 2D 2E 2F 2G 2H 2I 3 4A 4B 4C 4D 4E 4F 4G 4H 4I 4J 5A 5B 6A 6B 6C 6D 10A 10B 10C ··· 10H 12A 12B 12C 12D 12E 15A 15B 15C 15D 20A 20B 20C 20D 20E ··· 20J 30A 30B 30C 30D 30E ··· 30P 60A ··· 60H 60I ··· 60T order 1 2 2 2 2 2 2 2 2 2 3 4 4 4 4 4 4 4 4 4 4 5 5 6 6 6 6 10 10 10 ··· 10 12 12 12 12 12 15 15 15 15 20 20 20 20 20 ··· 20 30 30 30 30 30 ··· 30 60 ··· 60 60 ··· 60 size 1 1 2 2 2 15 15 30 30 30 2 1 1 2 2 2 15 15 30 30 30 2 2 2 4 4 4 2 2 4 ··· 4 2 2 4 4 4 2 2 2 2 2 2 2 2 4 ··· 4 2 2 2 2 4 ··· 4 2 ··· 2 4 ··· 4

90 irreducible representations

 dim 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 4 4 4 type + + + + + + + + + + + + + + + + + + + + image C1 C2 C2 C2 C2 C2 C2 C2 S3 D5 D6 D6 D6 C4○D4 D10 D10 D10 D15 D30 D30 D30 S3×C4○D4 D5×C4○D4 C4○D4×D15 kernel C4○D4×D15 C2×C4×D15 D60⋊11C2 D4×D15 D4⋊2D15 Q8×D15 Q8⋊3D15 C15×C4○D4 C5×C4○D4 C3×C4○D4 C2×C20 C5×D4 C5×Q8 D15 C2×C12 C3×D4 C3×Q8 C4○D4 C2×C4 D4 Q8 C5 C3 C1 # reps 1 3 3 3 3 1 1 1 1 2 3 3 1 4 6 6 2 4 12 12 4 2 4 8

Matrix representation of C4○D4×D15 in GL6(𝔽61)

 60 0 0 0 0 0 0 60 0 0 0 0 0 0 60 0 0 0 0 0 0 60 0 0 0 0 0 0 50 0 0 0 0 0 0 50
,
 60 0 0 0 0 0 0 60 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 60 9 0 0 0 0 54 1
,
 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 7 60
,
 60 43 0 0 0 0 18 18 0 0 0 0 0 0 1 20 0 0 0 0 9 59 0 0 0 0 0 0 1 0 0 0 0 0 0 1
,
 60 43 0 0 0 0 0 1 0 0 0 0 0 0 1 20 0 0 0 0 0 60 0 0 0 0 0 0 60 0 0 0 0 0 0 60

G:=sub<GL(6,GF(61))| [60,0,0,0,0,0,0,60,0,0,0,0,0,0,60,0,0,0,0,0,0,60,0,0,0,0,0,0,50,0,0,0,0,0,0,50],[60,0,0,0,0,0,0,60,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,60,54,0,0,0,0,9,1],[1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,7,0,0,0,0,0,60],[60,18,0,0,0,0,43,18,0,0,0,0,0,0,1,9,0,0,0,0,20,59,0,0,0,0,0,0,1,0,0,0,0,0,0,1],[60,0,0,0,0,0,43,1,0,0,0,0,0,0,1,0,0,0,0,0,20,60,0,0,0,0,0,0,60,0,0,0,0,0,0,60] >;

C4○D4×D15 in GAP, Magma, Sage, TeX

C_4\circ D_4\times D_{15}
% in TeX

G:=Group("C4oD4xD15");
// GroupNames label

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

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

G:=PCGroup([7,-2,-2,-2,-2,-2,-3,-5,100,346,2693,18822]);
// Polycyclic

G:=Group<a,b,c,d,e|a^4=c^2=d^15=e^2=1,b^2=a^2,a*b=b*a,a*c=c*a,a*d=d*a,a*e=e*a,c*b*c=a^2*b,b*d=d*b,b*e=e*b,c*d=d*c,c*e=e*c,e*d*e=d^-1>;
// generators/relations

׿
×
𝔽