Copied to
clipboard

G = C22×C20order 80 = 24·5

Abelian group of type [2,2,20]

direct product, abelian, monomial, 2-elementary

Aliases: C22×C20, SmallGroup(80,45)

Series: Derived Chief Lower central Upper central

C1 — C22×C20
C1C2C10C20C2×C20 — C22×C20
C1 — C22×C20
C1 — C22×C20

Generators and relations for C22×C20
 G = < a,b,c | a2=b2=c20=1, ab=ba, ac=ca, bc=cb >

Subgroups: 54, all normal (8 characteristic)
C1, C2, C2 [×6], C4 [×4], C22 [×7], C5, C2×C4 [×6], C23, C10, C10 [×6], C22×C4, C20 [×4], C2×C10 [×7], C2×C20 [×6], C22×C10, C22×C20
Quotients: C1, C2 [×7], C4 [×4], C22 [×7], C5, C2×C4 [×6], C23, C10 [×7], C22×C4, C20 [×4], C2×C10 [×7], C2×C20 [×6], C22×C10, C22×C20

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

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

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

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

C22×C20 is a maximal subgroup of   C20.55D4  C10.10C42  C20.48D4  C23.21D10  C23.23D10  C207D4

80 conjugacy classes

class 1 2A···2G4A···4H5A5B5C5D10A···10AB20A···20AF
order12···24···4555510···1020···20
size11···11···111111···11···1

80 irreducible representations

dim11111111
type+++
imageC1C2C2C4C5C10C10C20
kernelC22×C20C2×C20C22×C10C2×C10C22×C4C2×C4C23C22
# reps1618424432

Matrix representation of C22×C20 in GL3(𝔽41) generated by

100
0400
0040
,
4000
010
0040
,
1600
0250
005
G:=sub<GL(3,GF(41))| [1,0,0,0,40,0,0,0,40],[40,0,0,0,1,0,0,0,40],[16,0,0,0,25,0,0,0,5] >;

C22×C20 in GAP, Magma, Sage, TeX

C_2^2\times C_{20}
% in TeX

G:=Group("C2^2xC20");
// GroupNames label

G:=SmallGroup(80,45);
// by ID

G=gap.SmallGroup(80,45);
# by ID

G:=PCGroup([5,-2,-2,-2,-5,-2,200]);
// Polycyclic

G:=Group<a,b,c|a^2=b^2=c^20=1,a*b=b*a,a*c=c*a,b*c=c*b>;
// generators/relations

׿
×
𝔽