Copied to
clipboard

G = C20.12F5order 400 = 24·52

1st non-split extension by C20 of F5 acting via F5/D5=C2

metabelian, supersoluble, monomial

Aliases: C20.12F5, C20.1Dic5, C526M4(2), D10.3Dic5, Dic5.13D10, (C5×C20).1C4, (C4×D5).3D5, C4.(D5.D5), C55(C4.F5), C523C85C2, (D5×C20).2C2, C10.36(C2×F5), (D5×C10).11C4, C51(C4.Dic5), C10.2(C2×Dic5), (C5×Dic5).17C22, C2.4(C2×D5.D5), (C5×C10).21(C2×C4), SmallGroup(400,143)

Series: Derived Chief Lower central Upper central

C1C5×C10 — C20.12F5
C1C5C52C5×C10C5×Dic5C523C8 — C20.12F5
C52C5×C10 — C20.12F5
C1C2C4

Generators and relations for C20.12F5
 G = < a,b,c | a20=b5=1, c4=a10, ab=ba, cac-1=a-1, cbc-1=b3 >

10C2
4C5
5C4
5C22
2D5
4C10
10C10
5C2×C4
25C8
25C8
4C20
5C20
5C2×C10
2C5×D5
25M4(2)
5C2×C20
5C5⋊C8
5C52C8
5C5⋊C8
5C52C8
5C4.F5
5C4.Dic5

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

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

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

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

46 conjugacy classes

class 1 2A2B4A4B4C5A5B5C···5G8A8B8C8D10A10B10C···10G10H10I10J10K20A20B20C20D20E···20N20O20P20Q20R
order122444555···58888101010···10101010102020202020···2020202020
size1110255224···450505050224···41010101022224···410101010

46 irreducible representations

dim11111222222444444
type+++++--++
imageC1C2C2C4C4D5M4(2)D10Dic5Dic5C4.Dic5F5C2×F5C4.F5D5.D5C2×D5.D5C20.12F5
kernelC20.12F5C523C8D5×C20C5×C20D5×C10C4×D5C52Dic5C20D10C5C20C10C5C4C2C1
# reps12122222228112448

Matrix representation of C20.12F5 in GL4(𝔽41) generated by

20000
02000
00390
00039
,
18000
01600
00100
00037
,
0001
00400
40000
04000
G:=sub<GL(4,GF(41))| [20,0,0,0,0,20,0,0,0,0,39,0,0,0,0,39],[18,0,0,0,0,16,0,0,0,0,10,0,0,0,0,37],[0,0,40,0,0,0,0,40,0,40,0,0,1,0,0,0] >;

C20.12F5 in GAP, Magma, Sage, TeX

C_{20}._{12}F_5
% in TeX

G:=Group("C20.12F5");
// GroupNames label

G:=SmallGroup(400,143);
// by ID

G=gap.SmallGroup(400,143);
# by ID

G:=PCGroup([6,-2,-2,-2,-2,-5,-5,24,121,55,50,1924,8645,2897]);
// Polycyclic

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

Export

Subgroup lattice of C20.12F5 in TeX

׿
×
𝔽