Copied to
clipboard

G = C23.417C24order 128 = 27

134th central stem extension by C23 of C24

p-group, metabelian, nilpotent (class 2), monomial

Aliases: C23.417C24, C24.310C23, C22.1602- 1+4, C22.2112+ 1+4, C428C436C2, C23.44(C4○D4), (C22×C4).85C23, C23.4Q8.5C2, (C23×C4).106C22, (C2×C42).532C22, C23.8Q8.24C2, C23.11D4.12C2, C23.63C2371C2, C2.34(C22.45C24), C2.C42.165C22, C2.22(C22.33C24), C2.49(C22.46C24), C2.15(C22.53C24), C2.60(C23.36C23), (C4×C22⋊C4).56C2, (C2×C4).138(C4○D4), (C2×C4⋊C4).280C22, C22.294(C2×C4○D4), (C2×C22⋊C4).466C22, SmallGroup(128,1249)

Series: Derived Chief Lower central Upper central Jennings

C1C23 — C23.417C24
C1C2C22C23C22×C4C2×C42C4×C22⋊C4 — C23.417C24
C1C23 — C23.417C24
C1C23 — C23.417C24
C1C23 — C23.417C24

Generators and relations for C23.417C24
 G = < a,b,c,d,e,f,g | a2=b2=c2=d2=1, e2=d, f2=b, g2=c, eae-1=ab=ba, ac=ca, faf-1=ad=da, ag=ga, bc=cb, bd=db, geg-1=be=eb, bf=fb, bg=gb, cd=dc, fef-1=ce=ec, cf=fc, cg=gc, de=ed, df=fd, dg=gd, fg=gf >

Subgroups: 372 in 206 conjugacy classes, 92 normal (22 characteristic)
C1, C2 [×3], C2 [×4], C2 [×2], C4 [×18], C22 [×3], C22 [×4], C22 [×10], C2×C4 [×8], C2×C4 [×42], C23, C23 [×2], C23 [×6], C42 [×6], C22⋊C4 [×11], C4⋊C4 [×14], C22×C4 [×2], C22×C4 [×12], C22×C4 [×5], C24, C2.C42 [×2], C2.C42 [×14], C2×C42 [×4], C2×C22⋊C4 [×2], C2×C22⋊C4 [×4], C2×C4⋊C4 [×2], C2×C4⋊C4 [×6], C23×C4, C4×C22⋊C4 [×2], C428C4 [×2], C23.8Q8, C23.63C23 [×6], C23.11D4, C23.11D4 [×2], C23.4Q8, C23.417C24
Quotients: C1, C2 [×15], C22 [×35], C23 [×15], C4○D4 [×10], C24, C2×C4○D4 [×5], 2+ 1+4, 2- 1+4, C23.36C23 [×2], C22.33C24, C22.45C24, C22.46C24 [×2], C22.53C24, C23.417C24

Smallest permutation representation of C23.417C24
On 64 points
Generators in S64
(2 10)(4 12)(5 40)(6 8)(7 38)(14 42)(16 44)(17 19)(18 48)(20 46)(22 50)(24 52)(26 54)(28 56)(29 31)(30 60)(32 58)(33 35)(34 62)(36 64)(37 39)(45 47)(57 59)(61 63)
(1 9)(2 10)(3 11)(4 12)(5 38)(6 39)(7 40)(8 37)(13 41)(14 42)(15 43)(16 44)(17 45)(18 46)(19 47)(20 48)(21 49)(22 50)(23 51)(24 52)(25 53)(26 54)(27 55)(28 56)(29 57)(30 58)(31 59)(32 60)(33 63)(34 64)(35 61)(36 62)
(1 51)(2 52)(3 49)(4 50)(5 62)(6 63)(7 64)(8 61)(9 23)(10 24)(11 21)(12 22)(13 27)(14 28)(15 25)(16 26)(17 31)(18 32)(19 29)(20 30)(33 39)(34 40)(35 37)(36 38)(41 55)(42 56)(43 53)(44 54)(45 59)(46 60)(47 57)(48 58)
(1 3)(2 4)(5 7)(6 8)(9 11)(10 12)(13 15)(14 16)(17 19)(18 20)(21 23)(22 24)(25 27)(26 28)(29 31)(30 32)(33 35)(34 36)(37 39)(38 40)(41 43)(42 44)(45 47)(46 48)(49 51)(50 52)(53 55)(54 56)(57 59)(58 60)(61 63)(62 64)
(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)
(1 17 9 45)(2 32 10 60)(3 19 11 47)(4 30 12 58)(5 54 38 26)(6 41 39 13)(7 56 40 28)(8 43 37 15)(14 64 42 34)(16 62 44 36)(18 24 46 52)(20 22 48 50)(21 57 49 29)(23 59 51 31)(25 61 53 35)(27 63 55 33)
(1 55 51 41)(2 28 52 14)(3 53 49 43)(4 26 50 16)(5 20 62 30)(6 45 63 59)(7 18 64 32)(8 47 61 57)(9 27 23 13)(10 56 24 42)(11 25 21 15)(12 54 22 44)(17 33 31 39)(19 35 29 37)(34 60 40 46)(36 58 38 48)

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

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

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

38 conjugacy classes

class 1 2A···2G2H2I4A···4H4I···4X4Y4Z4AA4AB
order12···2224···44···44444
size11···1442···24···48888

38 irreducible representations

dim11111112244
type++++++++-
imageC1C2C2C2C2C2C2C4○D4C4○D42+ 1+42- 1+4
kernelC23.417C24C4×C22⋊C4C428C4C23.8Q8C23.63C23C23.11D4C23.4Q8C2×C4C23C22C22
# reps122163116411

Matrix representation of C23.417C24 in GL6(𝔽5)

100000
010000
001000
004400
000010
000004
,
100000
010000
001000
000100
000040
000004
,
400000
040000
001000
000100
000040
000004
,
100000
010000
004000
000400
000010
000001
,
010000
100000
003000
000300
000001
000010
,
400000
010000
004300
000100
000030
000002
,
300000
030000
004000
000400
000030
000002

G:=sub<GL(6,GF(5))| [1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,4,0,0,0,0,0,4,0,0,0,0,0,0,1,0,0,0,0,0,0,4],[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,4,0,0,0,0,0,0,4],[4,0,0,0,0,0,0,4,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,4,0,0,0,0,0,0,4],[1,0,0,0,0,0,0,1,0,0,0,0,0,0,4,0,0,0,0,0,0,4,0,0,0,0,0,0,1,0,0,0,0,0,0,1],[0,1,0,0,0,0,1,0,0,0,0,0,0,0,3,0,0,0,0,0,0,3,0,0,0,0,0,0,0,1,0,0,0,0,1,0],[4,0,0,0,0,0,0,1,0,0,0,0,0,0,4,0,0,0,0,0,3,1,0,0,0,0,0,0,3,0,0,0,0,0,0,2],[3,0,0,0,0,0,0,3,0,0,0,0,0,0,4,0,0,0,0,0,0,4,0,0,0,0,0,0,3,0,0,0,0,0,0,2] >;

C23.417C24 in GAP, Magma, Sage, TeX

C_2^3._{417}C_2^4
% in TeX

G:=Group("C2^3.417C2^4");
// GroupNames label

G:=SmallGroup(128,1249);
// by ID

G=gap.SmallGroup(128,1249);
# by ID

G:=PCGroup([7,-2,2,2,2,-2,2,2,448,253,758,723,100,675,136]);
// Polycyclic

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

׿
×
𝔽