metabelian, supersoluble, monomial, 2-hyperelementary
Aliases: C23.9D20, C20.50C42, (C2×C40)⋊12C4, (C2×C8)⋊2Dic5, (C4×Dic5)⋊4C4, C20.43(C4⋊C4), (C2×C20).12Q8, C5⋊4(C4.9C42), (C2×C20).110D4, C4.25(C4×Dic5), (C2×C4).6Dic10, (C22×C10).47D4, (C22×C4).63D10, (C2×M4(2)).8D5, C4.18(C23.D5), C20.134(C22⋊C4), C4.12(C10.D4), (C10×M4(2)).12C2, C22.10(C4⋊Dic5), (C22×C20).126C22, C22.20(D10⋊C4), C10.35(C2.C42), C23.21D10.10C2, C2.16(C10.10C42), (C2×C4).140(C4×D5), (C2×C10).68(C4⋊C4), (C2×C20).236(C2×C4), (C2×C4).22(C5⋊D4), (C2×C4).77(C2×Dic5), (C2×C10).75(C22⋊C4), SmallGroup(320,115)
Series: Derived ►Chief ►Lower central ►Upper central
Generators and relations for C23.9D20
G = < a,b,c,d,e | a2=b2=c2=1, d20=c, e2=abc, ab=ba, dad-1=eae-1=ac=ca, ebe-1=bc=cb, bd=db, cd=dc, ce=ec, ede-1=bd19 >
Subgroups: 310 in 94 conjugacy classes, 47 normal (21 characteristic)
C1, C2, C2 [×3], C4 [×2], C4 [×2], C4 [×4], C22, C22 [×2], C22, C5, C8 [×2], C2×C4 [×2], C2×C4 [×4], C2×C4 [×4], C23, C10, C10 [×3], C42 [×4], C22⋊C4 [×2], C4⋊C4 [×2], C2×C8 [×2], M4(2) [×2], C22×C4, Dic5 [×4], C20 [×2], C20 [×2], C2×C10, C2×C10 [×2], C2×C10, C42⋊C2 [×2], C2×M4(2), C40 [×2], C2×Dic5 [×4], C2×C20 [×2], C2×C20 [×4], C22×C10, C4.9C42, C4×Dic5 [×4], C4⋊Dic5 [×2], C23.D5 [×2], C2×C40 [×2], C5×M4(2) [×2], C22×C20, C23.21D10 [×2], C10×M4(2), C23.9D20
Quotients: C1, C2 [×3], C4 [×6], C22, C2×C4 [×3], D4 [×3], Q8, D5, C42, C22⋊C4 [×3], C4⋊C4 [×3], Dic5 [×2], D10, C2.C42, Dic10, C4×D5 [×2], D20, C2×Dic5, C5⋊D4 [×2], C4.9C42, C4×Dic5, C10.D4 [×2], C4⋊Dic5, D10⋊C4 [×2], C23.D5, C10.10C42, C23.9D20
►On 80 points
(1 65)(2 46)(3 67)(4 48)(5 69)(6 50)(7 71)(8 52)(9 73)(10 54)(11 75)(12 56)(13 77)(14 58)(15 79)(16 60)(17 41)(18 62)(19 43)(20 64)(21 45)(22 66)(23 47)(24 68)(25 49)(26 70)(27 51)(28 72)(29 53)(30 74)(31 55)(32 76)(33 57)(34 78)(35 59)(36 80)(37 61)(38 42)(39 63)(40 44)
(1 65)(2 66)(3 67)(4 68)(5 69)(6 70)(7 71)(8 72)(9 73)(10 74)(11 75)(12 76)(13 77)(14 78)(15 79)(16 80)(17 41)(18 42)(19 43)(20 44)(21 45)(22 46)(23 47)(24 48)(25 49)(26 50)(27 51)(28 52)(29 53)(30 54)(31 55)(32 56)(33 57)(34 58)(35 59)(36 60)(37 61)(38 62)(39 63)(40 64)
(1 21)(2 22)(3 23)(4 24)(5 25)(6 26)(7 27)(8 28)(9 29)(10 30)(11 31)(12 32)(13 33)(14 34)(15 35)(16 36)(17 37)(18 38)(19 39)(20 40)(41 61)(42 62)(43 63)(44 64)(45 65)(46 66)(47 67)(48 68)(49 69)(50 70)(51 71)(52 72)(53 73)(54 74)(55 75)(56 76)(57 77)(58 78)(59 79)(60 80)
(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 69 21 49)(2 4)(3 67 23 47)(5 65 25 45)(6 40)(7 63 27 43)(8 38)(9 61 29 41)(10 36)(11 59 31 79)(12 34)(13 57 33 77)(14 32)(15 55 35 75)(16 30)(17 53 37 73)(18 28)(19 51 39 71)(20 26)(22 24)(42 72)(44 70)(46 68)(48 66)(50 64)(52 62)(54 60)(56 58)(74 80)(76 78)
G:=sub<Sym(80)| (1,65)(2,46)(3,67)(4,48)(5,69)(6,50)(7,71)(8,52)(9,73)(10,54)(11,75)(12,56)(13,77)(14,58)(15,79)(16,60)(17,41)(18,62)(19,43)(20,64)(21,45)(22,66)(23,47)(24,68)(25,49)(26,70)(27,51)(28,72)(29,53)(30,74)(31,55)(32,76)(33,57)(34,78)(35,59)(36,80)(37,61)(38,42)(39,63)(40,44), (1,65)(2,66)(3,67)(4,68)(5,69)(6,70)(7,71)(8,72)(9,73)(10,74)(11,75)(12,76)(13,77)(14,78)(15,79)(16,80)(17,41)(18,42)(19,43)(20,44)(21,45)(22,46)(23,47)(24,48)(25,49)(26,50)(27,51)(28,52)(29,53)(30,54)(31,55)(32,56)(33,57)(34,58)(35,59)(36,60)(37,61)(38,62)(39,63)(40,64), (1,21)(2,22)(3,23)(4,24)(5,25)(6,26)(7,27)(8,28)(9,29)(10,30)(11,31)(12,32)(13,33)(14,34)(15,35)(16,36)(17,37)(18,38)(19,39)(20,40)(41,61)(42,62)(43,63)(44,64)(45,65)(46,66)(47,67)(48,68)(49,69)(50,70)(51,71)(52,72)(53,73)(54,74)(55,75)(56,76)(57,77)(58,78)(59,79)(60,80), (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,69,21,49)(2,4)(3,67,23,47)(5,65,25,45)(6,40)(7,63,27,43)(8,38)(9,61,29,41)(10,36)(11,59,31,79)(12,34)(13,57,33,77)(14,32)(15,55,35,75)(16,30)(17,53,37,73)(18,28)(19,51,39,71)(20,26)(22,24)(42,72)(44,70)(46,68)(48,66)(50,64)(52,62)(54,60)(56,58)(74,80)(76,78)>;
G:=Group( (1,65)(2,46)(3,67)(4,48)(5,69)(6,50)(7,71)(8,52)(9,73)(10,54)(11,75)(12,56)(13,77)(14,58)(15,79)(16,60)(17,41)(18,62)(19,43)(20,64)(21,45)(22,66)(23,47)(24,68)(25,49)(26,70)(27,51)(28,72)(29,53)(30,74)(31,55)(32,76)(33,57)(34,78)(35,59)(36,80)(37,61)(38,42)(39,63)(40,44), (1,65)(2,66)(3,67)(4,68)(5,69)(6,70)(7,71)(8,72)(9,73)(10,74)(11,75)(12,76)(13,77)(14,78)(15,79)(16,80)(17,41)(18,42)(19,43)(20,44)(21,45)(22,46)(23,47)(24,48)(25,49)(26,50)(27,51)(28,52)(29,53)(30,54)(31,55)(32,56)(33,57)(34,58)(35,59)(36,60)(37,61)(38,62)(39,63)(40,64), (1,21)(2,22)(3,23)(4,24)(5,25)(6,26)(7,27)(8,28)(9,29)(10,30)(11,31)(12,32)(13,33)(14,34)(15,35)(16,36)(17,37)(18,38)(19,39)(20,40)(41,61)(42,62)(43,63)(44,64)(45,65)(46,66)(47,67)(48,68)(49,69)(50,70)(51,71)(52,72)(53,73)(54,74)(55,75)(56,76)(57,77)(58,78)(59,79)(60,80), (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,69,21,49)(2,4)(3,67,23,47)(5,65,25,45)(6,40)(7,63,27,43)(8,38)(9,61,29,41)(10,36)(11,59,31,79)(12,34)(13,57,33,77)(14,32)(15,55,35,75)(16,30)(17,53,37,73)(18,28)(19,51,39,71)(20,26)(22,24)(42,72)(44,70)(46,68)(48,66)(50,64)(52,62)(54,60)(56,58)(74,80)(76,78) );
G=PermutationGroup([(1,65),(2,46),(3,67),(4,48),(5,69),(6,50),(7,71),(8,52),(9,73),(10,54),(11,75),(12,56),(13,77),(14,58),(15,79),(16,60),(17,41),(18,62),(19,43),(20,64),(21,45),(22,66),(23,47),(24,68),(25,49),(26,70),(27,51),(28,72),(29,53),(30,74),(31,55),(32,76),(33,57),(34,78),(35,59),(36,80),(37,61),(38,42),(39,63),(40,44)], [(1,65),(2,66),(3,67),(4,68),(5,69),(6,70),(7,71),(8,72),(9,73),(10,74),(11,75),(12,76),(13,77),(14,78),(15,79),(16,80),(17,41),(18,42),(19,43),(20,44),(21,45),(22,46),(23,47),(24,48),(25,49),(26,50),(27,51),(28,52),(29,53),(30,54),(31,55),(32,56),(33,57),(34,58),(35,59),(36,60),(37,61),(38,62),(39,63),(40,64)], [(1,21),(2,22),(3,23),(4,24),(5,25),(6,26),(7,27),(8,28),(9,29),(10,30),(11,31),(12,32),(13,33),(14,34),(15,35),(16,36),(17,37),(18,38),(19,39),(20,40),(41,61),(42,62),(43,63),(44,64),(45,65),(46,66),(47,67),(48,68),(49,69),(50,70),(51,71),(52,72),(53,73),(54,74),(55,75),(56,76),(57,77),(58,78),(59,79),(60,80)], [(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,69,21,49),(2,4),(3,67,23,47),(5,65,25,45),(6,40),(7,63,27,43),(8,38),(9,61,29,41),(10,36),(11,59,31,79),(12,34),(13,57,33,77),(14,32),(15,55,35,75),(16,30),(17,53,37,73),(18,28),(19,51,39,71),(20,26),(22,24),(42,72),(44,70),(46,68),(48,66),(50,64),(52,62),(54,60),(56,58),(74,80),(76,78)])
62 conjugacy classes
| class | 1 | 2A | 2B | 2C | 2D | 4A | 4B | 4C | 4D | 4E | 4F | ··· | 4M | 5A | 5B | 8A | 8B | 8C | 8D | 10A | ··· | 10F | 10G | 10H | 10I | 10J | 20A | ··· | 20H | 20I | 20J | 20K | 20L | 40A | ··· | 40P |
| order | 1 | 2 | 2 | 2 | 2 | 4 | 4 | 4 | 4 | 4 | 4 | ··· | 4 | 5 | 5 | 8 | 8 | 8 | 8 | 10 | ··· | 10 | 10 | 10 | 10 | 10 | 20 | ··· | 20 | 20 | 20 | 20 | 20 | 40 | ··· | 40 |
| size | 1 | 1 | 2 | 2 | 2 | 1 | 1 | 2 | 2 | 2 | 20 | ··· | 20 | 2 | 2 | 4 | 4 | 4 | 4 | 2 | ··· | 2 | 4 | 4 | 4 | 4 | 2 | ··· | 2 | 4 | 4 | 4 | 4 | 4 | ··· | 4 |
62 irreducible representations
| dim | 1 | 1 | 1 | 1 | 1 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 4 | 4 |
| type | + | + | + | + | - | + | + | - | + | - | + | ||||||
| image | C1 | C2 | C2 | C4 | C4 | D4 | Q8 | D4 | D5 | Dic5 | D10 | Dic10 | C4×D5 | C5⋊D4 | D20 | C4.9C42 | C23.9D20 |
| kernel | C23.9D20 | C23.21D10 | C10×M4(2) | C4×Dic5 | C2×C40 | C2×C20 | C2×C20 | C22×C10 | C2×M4(2) | C2×C8 | C22×C4 | C2×C4 | C2×C4 | C2×C4 | C23 | C5 | C1 |
| # reps | 1 | 2 | 1 | 8 | 4 | 2 | 1 | 1 | 2 | 4 | 2 | 4 | 8 | 8 | 4 | 2 | 8 |
Matrix representation of C23.9D20 ►in GL4(𝔽41) generated by
| 24 | 40 | 26 | 1 |
| 1 | 17 | 40 | 33 |
| 0 | 0 | 17 | 1 |
| 0 | 0 | 40 | 24 |
| 24 | 40 | 0 | 0 |
| 1 | 17 | 0 | 0 |
| 0 | 0 | 24 | 40 |
| 0 | 0 | 1 | 17 |
| 40 | 0 | 0 | 0 |
| 0 | 40 | 0 | 0 |
| 0 | 0 | 40 | 0 |
| 0 | 0 | 0 | 40 |
| 34 | 29 | 17 | 21 |
| 12 | 32 | 20 | 0 |
| 13 | 19 | 7 | 12 |
| 22 | 23 | 29 | 9 |
| 1 | 17 | 4 | 31 |
| 24 | 40 | 18 | 37 |
| 0 | 0 | 9 | 30 |
| 0 | 0 | 11 | 32 |
G:=sub<GL(4,GF(41))| [24,1,0,0,40,17,0,0,26,40,17,40,1,33,1,24],[24,1,0,0,40,17,0,0,0,0,24,1,0,0,40,17],[40,0,0,0,0,40,0,0,0,0,40,0,0,0,0,40],[34,12,13,22,29,32,19,23,17,20,7,29,21,0,12,9],[1,24,0,0,17,40,0,0,4,18,9,11,31,37,30,32] >;
C23.9D20 in GAP, Magma, Sage, TeX
C_2^3._9D_{20} % in TeX
G:=Group("C2^3.9D20"); // GroupNames label
G:=SmallGroup(320,115);
// by ID
G=gap.SmallGroup(320,115);
# by ID
G:=PCGroup([7,-2,-2,-2,-2,-2,-2,-5,28,253,64,387,1123,136,102,12550]);
// Polycyclic
G:=Group<a,b,c,d,e|a^2=b^2=c^2=1,d^20=c,e^2=a*b*c,a*b=b*a,d*a*d^-1=e*a*e^-1=a*c=c*a,e*b*e^-1=b*c=c*b,b*d=d*b,c*d=d*c,c*e=e*c,e*d*e^-1=b*d^19>;
// generators/relations