Copied to
clipboard

G = (C5xD4).31D4order 320 = 26·5

1st non-split extension by C5xD4 of D4 acting via D4/C22=C2

metabelian, supersoluble, monomial, 2-hyperelementary

Aliases: (C5xD4).31D4, (C2xC10):11SD16, C20.206(C2xD4), (C2xC20).301D4, C5:5(C22:SD16), (C22xD4).4D5, C10.72C22wrC2, (C2xD4).199D10, D4:Dic5:39C2, D4.13(C5:D4), C4:Dic5:22C22, C22:3(D4.D5), C10.64(C2xSD16), C20.55D4:16C2, C20.48D4:26C2, (C2xC20).473C23, (C22xC4).150D10, (C22xC10).197D4, C2.5(C24:2D5), C23.86(C5:D4), C10.103(C8:C22), (C2xDic10):15C22, (D4xC10).241C22, C2.23(D4.D10), (C22xC20).198C22, (D4xC2xC10).4C2, C4.59(C2xC5:D4), (C2xD4.D5):23C2, C2.17(C2xD4.D5), (C2xC5:2C8):11C22, (C2xC10).554(C2xD4), (C2xC4).84(C5:D4), (C2xC4).559(C22xD5), C22.217(C2xC5:D4), SmallGroup(320,845)

Series: Derived Chief Lower central Upper central

C1C2xC20 — (C5xD4).31D4
C1C5C10C2xC10C2xC20C2xDic10C2xD4.D5 — (C5xD4).31D4
C5C10C2xC20 — (C5xD4).31D4
C1C22C22xC4C22xD4

Generators and relations for (C5xD4).31D4
 G = < a,b,c,d,e | a5=b4=c2=1, d4=e2=b2, ab=ba, ac=ca, dad-1=eae-1=a-1, cbc=ebe-1=b-1, bd=db, dcd-1=bc, ece-1=b-1c, ede-1=d3 >

Subgroups: 574 in 188 conjugacy classes, 51 normal (25 characteristic)
C1, C2, C2, C4, C4, C22, C22, C22, C5, C8, C2xC4, C2xC4, D4, D4, Q8, C23, C23, C10, C10, C22:C4, C4:C4, C2xC8, SD16, C22xC4, C2xD4, C2xD4, C2xQ8, C24, Dic5, C20, C20, C2xC10, C2xC10, C2xC10, C22:C8, D4:C4, C22:Q8, C2xSD16, C22xD4, C5:2C8, Dic10, C2xDic5, C2xC20, C2xC20, C5xD4, C5xD4, C22xC10, C22xC10, C22:SD16, C2xC5:2C8, C10.D4, C4:Dic5, D4.D5, C23.D5, C2xDic10, C22xC20, D4xC10, D4xC10, C23xC10, C20.55D4, D4:Dic5, C20.48D4, C2xD4.D5, D4xC2xC10, (C5xD4).31D4
Quotients: C1, C2, C22, D4, C23, D5, SD16, C2xD4, D10, C22wrC2, C2xSD16, C8:C22, C5:D4, C22xD5, C22:SD16, D4.D5, C2xC5:D4, D4.D10, C2xD4.D5, C24:2D5, (C5xD4).31D4

Smallest permutation representation of (C5xD4).31D4
On 80 points
Generators in S80
(1 36 32 20 57)(2 58 21 25 37)(3 38 26 22 59)(4 60 23 27 39)(5 40 28 24 61)(6 62 17 29 33)(7 34 30 18 63)(8 64 19 31 35)(9 70 48 55 78)(10 79 56 41 71)(11 72 42 49 80)(12 73 50 43 65)(13 66 44 51 74)(14 75 52 45 67)(15 68 46 53 76)(16 77 54 47 69)
(1 67 5 71)(2 68 6 72)(3 69 7 65)(4 70 8 66)(9 35 13 39)(10 36 14 40)(11 37 15 33)(12 38 16 34)(17 49 21 53)(18 50 22 54)(19 51 23 55)(20 52 24 56)(25 76 29 80)(26 77 30 73)(27 78 31 74)(28 79 32 75)(41 57 45 61)(42 58 46 62)(43 59 47 63)(44 60 48 64)
(1 65)(2 8)(3 71)(4 6)(5 69)(7 67)(9 15)(10 38)(11 13)(12 36)(14 34)(16 40)(17 23)(18 52)(19 21)(20 50)(22 56)(24 54)(25 31)(26 79)(27 29)(28 77)(30 75)(32 73)(33 39)(35 37)(41 59)(42 44)(43 57)(45 63)(46 48)(47 61)(49 51)(53 55)(58 64)(60 62)(66 72)(68 70)(74 80)(76 78)
(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)
(1 2 5 6)(3 8 7 4)(9 12 13 16)(10 15 14 11)(17 20 21 24)(18 23 22 19)(25 28 29 32)(26 31 30 27)(33 36 37 40)(34 39 38 35)(41 46 45 42)(43 44 47 48)(49 56 53 52)(50 51 54 55)(57 58 61 62)(59 64 63 60)(65 66 69 70)(67 72 71 68)(73 74 77 78)(75 80 79 76)

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

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

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

59 conjugacy classes

class 1 2A2B2C2D2E2F2G2H2I4A4B4C4D4E5A5B8A8B8C8D10A···10N10O···10AD20A···20H
order12222222224444455888810···1010···1020···20
size1111224444224404022202020202···24···44···4

59 irreducible representations

dim1111112222222222444
type+++++++++++++-
imageC1C2C2C2C2C2D4D4D4D5SD16D10D10C5:D4C5:D4C5:D4C8:C22D4.D5D4.D10
kernel(C5xD4).31D4C20.55D4D4:Dic5C20.48D4C2xD4.D5D4xC2xC10C2xC20C5xD4C22xC10C22xD4C2xC10C22xC4C2xD4C2xC4D4C23C10C22C2
# reps11212114124244164144

Matrix representation of (C5xD4).31D4 in GL4(F41) generated by

10000
243700
0010
0001
,
40000
04000
00259
001716
,
40000
20100
00400
0011
,
314000
171000
002029
003232
,
314000
171000
003212
0009
G:=sub<GL(4,GF(41))| [10,24,0,0,0,37,0,0,0,0,1,0,0,0,0,1],[40,0,0,0,0,40,0,0,0,0,25,17,0,0,9,16],[40,20,0,0,0,1,0,0,0,0,40,1,0,0,0,1],[31,17,0,0,40,10,0,0,0,0,20,32,0,0,29,32],[31,17,0,0,40,10,0,0,0,0,32,0,0,0,12,9] >;

(C5xD4).31D4 in GAP, Magma, Sage, TeX

(C_5\times D_4)._{31}D_4
% in TeX

G:=Group("(C5xD4).31D4");
// GroupNames label

G:=SmallGroup(320,845);
// by ID

G=gap.SmallGroup(320,845);
# by ID

G:=PCGroup([7,-2,-2,-2,-2,-2,-2,-5,224,253,254,1684,851,102,12550]);
// Polycyclic

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

׿
x
:
Z
F
o
wr
Q
<