Copied to
clipboard

G = Q8×D15order 240 = 24·3·5

Direct product of Q8 and D15

Series: Derived Chief Lower central Upper central

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

Generators and relations for Q8×D15
G = < a,b,c,d | a4=c15=d2=1, b2=a2, bab-1=a-1, ac=ca, ad=da, bc=cb, bd=db, dcd=c-1 >

Subgroups: 336 in 76 conjugacy classes, 37 normal (14 characteristic)
C1, C2, C2 [×2], C3, C4 [×3], C4 [×3], C22, C5, S3 [×2], C6, C2×C4 [×3], Q8, Q8 [×3], D5 [×2], C10, Dic3 [×3], C12 [×3], D6, C15, C2×Q8, Dic5 [×3], C20 [×3], D10, Dic6 [×3], C4×S3 [×3], C3×Q8, D15 [×2], C30, Dic10 [×3], C4×D5 [×3], C5×Q8, S3×Q8, Dic15 [×3], C60 [×3], D30, Q8×D5, Dic30 [×3], C4×D15 [×3], Q8×C15, Q8×D15
Quotients: C1, C2 [×7], C22 [×7], S3, Q8 [×2], C23, D5, D6 [×3], C2×Q8, D10 [×3], C22×S3, D15, C22×D5, S3×Q8, D30 [×3], Q8×D5, C22×D15, Q8×D15

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

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

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

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

Q8×D15 is a maximal subgroup of
D15⋊SD16  D15⋊Q16  D20.17D6  D30.44D4  SD16⋊D15  Q16⋊D15  D20.29D6  D12.29D10  S3×Q8×D5  D2016D6  Q8.15D30  D4.10D30
Q8×D15 is a maximal quotient of
Dic1510Q8  C4⋊Dic30  Dic15.3Q8  D305Q8  D306Q8  Dic154Q8  D307Q8

45 conjugacy classes

 class 1 2A 2B 2C 3 4A 4B 4C 4D 4E 4F 5A 5B 6 10A 10B 12A 12B 12C 15A 15B 15C 15D 20A ··· 20F 30A 30B 30C 30D 60A ··· 60L order 1 2 2 2 3 4 4 4 4 4 4 5 5 6 10 10 12 12 12 15 15 15 15 20 ··· 20 30 30 30 30 60 ··· 60 size 1 1 15 15 2 2 2 2 30 30 30 2 2 2 2 2 4 4 4 2 2 2 2 4 ··· 4 2 2 2 2 4 ··· 4

45 irreducible representations

 dim 1 1 1 1 2 2 2 2 2 2 2 4 4 4 type + + + + + - + + + + + - - - image C1 C2 C2 C2 S3 Q8 D5 D6 D10 D15 D30 S3×Q8 Q8×D5 Q8×D15 kernel Q8×D15 Dic30 C4×D15 Q8×C15 C5×Q8 D15 C3×Q8 C20 C12 Q8 C4 C5 C3 C1 # reps 1 3 3 1 1 2 2 3 6 4 12 1 2 4

Matrix representation of Q8×D15 in GL6(𝔽61)

 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 60 59 0 0 0 0 1 1
,
 1 0 0 0 0 0 0 1 0 0 0 0 0 0 60 0 0 0 0 0 0 60 0 0 0 0 0 0 17 38 0 0 0 0 2 44
,
 43 17 0 0 0 0 43 0 0 0 0 0 0 0 0 1 0 0 0 0 60 60 0 0 0 0 0 0 1 0 0 0 0 0 0 1
,
 1 60 0 0 0 0 0 60 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 60 0 0 0 0 0 0 60

G:=sub<GL(6,GF(61))| [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,60,1,0,0,0,0,59,1],[1,0,0,0,0,0,0,1,0,0,0,0,0,0,60,0,0,0,0,0,0,60,0,0,0,0,0,0,17,2,0,0,0,0,38,44],[43,43,0,0,0,0,17,0,0,0,0,0,0,0,0,60,0,0,0,0,1,60,0,0,0,0,0,0,1,0,0,0,0,0,0,1],[1,0,0,0,0,0,60,60,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,60,0,0,0,0,0,0,60] >;

Q8×D15 in GAP, Magma, Sage, TeX

Q_8\times D_{15}
% in TeX

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

G:=SmallGroup(240,181);
// by ID

G=gap.SmallGroup(240,181);
# by ID

G:=PCGroup([6,-2,-2,-2,-2,-3,-5,55,116,50,964,6917]);
// Polycyclic

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

׿
×
𝔽