Copied to
clipboard

G = C42⋊C23order 128 = 27

4th semidirect product of C42 and C23 acting faithfully

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

Aliases: C244C23, C258C22, C424C23, C23.62C24, C22.121C25, C22.102+ 1+4, D4218C2, C4⋊C410C23, D45D427C2, (C2×D4)⋊10C23, (C4×D4)⋊56C22, C233D49C2, (C22×C4)⋊5C23, (C2×Q8)⋊10C23, C41D420C22, C4⋊D432C22, C22⋊C412C23, (C2×C4).111C24, C22⋊Q840C22, C22≀C239C22, C24⋊C224C2, C422C28C22, C4.4D432C22, (C22×D4)⋊41C22, C42⋊C249C22, C22.54C242C2, C22.29C2426C2, C22.32C2410C2, C22.45C2412C2, C2.50(C2×2+ 1+4), C22.D412C22, (C2×C22≀C2)⋊29C2, (C2×C4○D4)⋊40C22, (C2×C22⋊C4)⋊56C22, SmallGroup(128,2264)

Series: Derived Chief Lower central Upper central Jennings

C1C22 — C42⋊C23
C1C2C22C23C24C25C2×C22≀C2 — C42⋊C23
C1C22 — C42⋊C23
C1C22 — C42⋊C23
C1C22 — C42⋊C23

Generators and relations for C42⋊C23
 G = < a,b,c,d,e | a4=b4=c2=d2=e2=1, ab=ba, cac=dad=ab2, eae=a-1b2, cbc=b-1, dbd=a2b-1, be=eb, cd=dc, ce=ec, de=ed >

Subgroups: 1324 in 668 conjugacy classes, 384 normal (11 characteristic)
C1, C2 [×3], C2 [×16], C4 [×18], C22, C22 [×6], C22 [×72], C2×C4 [×18], C2×C4 [×21], D4 [×57], Q8 [×3], C23, C23 [×12], C23 [×61], C42, C42 [×5], C22⋊C4 [×54], C4⋊C4 [×18], C22×C4 [×18], C2×D4 [×45], C2×D4 [×24], C2×Q8 [×3], C4○D4 [×6], C24 [×2], C24 [×9], C24 [×6], C2×C22⋊C4 [×12], C42⋊C2 [×3], C4×D4 [×12], C22≀C2, C22≀C2 [×33], C4⋊D4 [×30], C22⋊Q8 [×6], C22.D4 [×18], C4.4D4 [×12], C422C2 [×8], C41D4, C41D4 [×3], C22×D4 [×12], C2×C4○D4 [×3], C25, C2×C22≀C2 [×3], C233D4 [×3], C22.29C24 [×3], C22.32C24 [×6], D42 [×3], D45D4 [×6], C22.45C24 [×3], C22.54C24 [×3], C24⋊C22, C42⋊C23
Quotients: C1, C2 [×31], C22 [×155], C23 [×155], C24 [×31], 2+ 1+4 [×6], C25, C2×2+ 1+4 [×3], C42⋊C23

Permutation representations of C42⋊C23
On 16 points - transitive group 16T206
Generators in S16
(1 2 3 4)(5 6 7 8)(9 10 11 12)(13 14 15 16)
(1 9 13 8)(2 10 14 5)(3 11 15 6)(4 12 16 7)
(1 3)(2 16)(4 14)(5 7)(6 9)(8 11)(10 12)(13 15)
(1 13)(3 15)(5 12)(6 8)(7 10)(9 11)
(1 13)(2 4)(3 15)(5 7)(6 11)(8 9)(10 12)(14 16)

G:=sub<Sym(16)| (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16), (1,9,13,8)(2,10,14,5)(3,11,15,6)(4,12,16,7), (1,3)(2,16)(4,14)(5,7)(6,9)(8,11)(10,12)(13,15), (1,13)(3,15)(5,12)(6,8)(7,10)(9,11), (1,13)(2,4)(3,15)(5,7)(6,11)(8,9)(10,12)(14,16)>;

G:=Group( (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16), (1,9,13,8)(2,10,14,5)(3,11,15,6)(4,12,16,7), (1,3)(2,16)(4,14)(5,7)(6,9)(8,11)(10,12)(13,15), (1,13)(3,15)(5,12)(6,8)(7,10)(9,11), (1,13)(2,4)(3,15)(5,7)(6,11)(8,9)(10,12)(14,16) );

G=PermutationGroup([(1,2,3,4),(5,6,7,8),(9,10,11,12),(13,14,15,16)], [(1,9,13,8),(2,10,14,5),(3,11,15,6),(4,12,16,7)], [(1,3),(2,16),(4,14),(5,7),(6,9),(8,11),(10,12),(13,15)], [(1,13),(3,15),(5,12),(6,8),(7,10),(9,11)], [(1,13),(2,4),(3,15),(5,7),(6,11),(8,9),(10,12),(14,16)])

G:=TransitiveGroup(16,206);

38 conjugacy classes

class 1 2A2B2C2D···2I2J···2S4A···4R
order12222···22···24···4
size11112···24···44···4

38 irreducible representations

dim11111111114
type+++++++++++
imageC1C2C2C2C2C2C2C2C2C22+ 1+4
kernelC42⋊C23C2×C22≀C2C233D4C22.29C24C22.32C24D42D45D4C22.45C24C22.54C24C24⋊C22C22
# reps13336363316

Matrix representation of C42⋊C23 in GL8(ℤ)

01-200000
-10020000
-10010000
01-100000
00000010
0000000-1
0000-1000
00000100
,
01000000
-10000000
000-10000
00100000
00000100
0000-1000
0000000-1
00000010
,
-10000000
01000000
00100000
000-10000
0000-1000
00000100
00000010
0000000-1
,
-10000000
01000000
00100000
000-10000
0000-1000
00000-100
00000010
00000001
,
-10000000
0-1000000
0-1100000
-10010000
0000-1000
00000-100
000000-10
0000000-1

G:=sub<GL(8,Integers())| [0,-1,-1,0,0,0,0,0,1,0,0,1,0,0,0,0,-2,0,0,-1,0,0,0,0,0,2,1,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,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,-1,0],[-1,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,-1,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,1,0,0,0,0,0,0,0,0,-1],[-1,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,-1,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,1,0,0,0,0,0,0,0,0,1],[-1,0,0,-1,0,0,0,0,0,-1,-1,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,-1,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,-1] >;

C42⋊C23 in GAP, Magma, Sage, TeX

C_4^2\rtimes C_2^3
% in TeX

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

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

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

G:=PCGroup([7,-2,2,2,2,2,-2,2,477,1430,723,2019,570,1684]);
// Polycyclic

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

׿
×
𝔽