Copied to
clipboard

G = C42.4C23order 128 = 27

4th non-split extension by C42 of C23 acting faithfully

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

Aliases: C42.4C23, C4⋊C4.40D4, C8⋊C4.93C22, C41D4.23C22, C2.22(D4.8D4), C22.185C22≀C2, C42.C2.3C22, C42.2C2213C2, C22.58C241C2, C42.29C22.4C2, (C2×C4).217(C2×D4), 2-Sylow(2A(2,4).C2), SmallGroup(128,390)

Series: Derived Chief Lower central Upper central Jennings

C1C42 — C42.4C23
C1C2C22C2×C4C42C42.C2C22.58C24 — C42.4C23
C1C22C42 — C42.4C23
C1C22C42 — C42.4C23
C1C22C22C42 — C42.4C23

Generators and relations for C42.4C23
 G = < a,b,c,d,e | a4=b4=c2=1, d2=a2b2, e2=a2, ab=ba, cac=dad-1=a-1, eae-1=a-1b2, cbc=ebe-1=b-1, dbd-1=a2b-1, dcd-1=ac, ece-1=bc, de=ed >

Subgroups: 216 in 91 conjugacy classes, 30 normal (6 characteristic)
C1, C2 [×3], C2, C4 [×9], C22, C22 [×3], C8 [×3], C2×C4 [×3], C2×C4 [×6], D4 [×6], C23, C42, C42 [×2], C4⋊C4 [×6], C4⋊C4 [×12], C2×C8 [×3], C2×D4 [×3], C8⋊C4 [×3], D4⋊C4 [×6], C42.C2 [×3], C42.C2 [×6], C41D4, C42.2C22 [×3], C42.29C22 [×3], C22.58C24, C42.4C23
Quotients: C1, C2 [×7], C22 [×7], D4 [×6], C23, C2×D4 [×3], C22≀C2, D4.8D4 [×3], C42.4C23

Character table of C42.4C23

 class 12A2B2C2D4A4B4C4D4E4F4G4H4I8A8B8C8D8E8F
 size 111116444888888888888
ρ111111111111111111111    trivial
ρ21111-1111111111-1-1-1-1-1-1    linear of order 2
ρ31111-11111-1-1-11-11-111-11    linear of order 2
ρ4111111111-1-1-11-1-11-1-11-1    linear of order 2
ρ51111-1111-11-1-1-11-11-1111    linear of order 2
ρ611111111-11-1-1-111-11-1-1-1    linear of order 2
ρ711111111-1-111-1-1-1-1-11-11    linear of order 2
ρ81111-1111-1-111-1-1111-11-1    linear of order 2
ρ922220-2-22-200020000000    orthogonal lifted from D4
ρ1022220-22-200-2200000000    orthogonal lifted from D4
ρ1122220-22-2002-200000000    orthogonal lifted from D4
ρ1222220-2-222000-20000000    orthogonal lifted from D4
ρ13222202-2-20-20002000000    orthogonal lifted from D4
ρ14222202-2-202000-2000000    orthogonal lifted from D4
ρ154-44-400000000002i0-2i000    complex lifted from D4.8D4
ρ164-4-44000000000002i00-2i0    complex lifted from D4.8D4
ρ174-44-40000000000-2i02i000    complex lifted from D4.8D4
ρ1844-4-400000000000002i0-2i    complex lifted from D4.8D4
ρ194-4-4400000000000-2i002i0    complex lifted from D4.8D4
ρ2044-4-40000000000000-2i02i    complex lifted from D4.8D4

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

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

Matrix representation of C42.4C23 in GL8(𝔽17)

00100000
00010000
160000000
016000000
00000010
00000001
00001000
00000100
,
01000000
160000000
00010000
001600000
00000100
000016000
00000001
000000160
,
10000000
016000000
001600000
00010000
00001000
000001600
00000010
000000016
,
545130000
135450000
51312130000
454120000
00001515152
000015222
00001521515
000022152
,
331610000
314110000
116330000
16163140000
00001133
0000116314
000014141616
0000143161

G:=sub<GL(8,GF(17))| [0,0,16,0,0,0,0,0,0,0,0,16,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0],[0,16,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,16,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,16,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,16,0,0,0,0,0,0,1,0],[1,0,0,0,0,0,0,0,0,16,0,0,0,0,0,0,0,0,16,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,16,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,16],[5,13,5,4,0,0,0,0,4,5,13,5,0,0,0,0,5,4,12,4,0,0,0,0,13,5,13,12,0,0,0,0,0,0,0,0,15,15,15,2,0,0,0,0,15,2,2,2,0,0,0,0,15,2,15,15,0,0,0,0,2,2,15,2],[3,3,1,16,0,0,0,0,3,14,16,16,0,0,0,0,16,1,3,3,0,0,0,0,1,1,3,14,0,0,0,0,0,0,0,0,1,1,14,14,0,0,0,0,1,16,14,3,0,0,0,0,3,3,16,16,0,0,0,0,3,14,16,1] >;

C42.4C23 in GAP, Magma, Sage, TeX

C_4^2._4C_2^3
% in TeX

G:=Group("C4^2.4C2^3");
// GroupNames label

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

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

G:=PCGroup([7,-2,2,2,-2,2,-2,2,141,456,422,184,1123,570,521,136,3924,1411,998,242]);
// Polycyclic

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

Export

Character table of C42.4C23 in TeX

׿
×
𝔽