Copied to
clipboard

G = (C2×C4)≀C2order 128 = 27

Wreath product of C2×C4 by C2

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

Aliases: (C2×C4)C2, C4244D4, C24.162D4, C221C4≀C2, C4⋊D414C4, C4.116(C4×D4), C22⋊Q814C4, C426C425C2, (C22×C42)⋊11C2, C23.566(C2×D4), (C22×C4).552D4, C4.188(C4⋊D4), C24.4C427C2, C22.27C22≀C2, (C23×C4).675C22, C22.19C24.7C2, C23.123(C22⋊C4), (C22×C4).1372C23, C42⋊C2.25C22, (C2×C42).1063C22, C2.35(C23.23D4), (C2×M4(2)).185C22, C22.25(C22.D4), C4⋊C48(C2×C4), (C2×D4)⋊9(C2×C4), (C2×C4≀C2)⋊15C2, (C2×Q8)⋊9(C2×C4), C2.42(C2×C4≀C2), (C2×C4).1531(C2×D4), (C2×C4).569(C4○D4), (C22×C4).406(C2×C4), (C2×C4).390(C22×C4), (C2×C4○D4).21C22, (C2×C4).195(C22⋊C4), C22.271(C2×C22⋊C4), SmallGroup(128,628)

Series: Derived Chief Lower central Upper central Jennings

C1C2×C4 — (C2×C4)≀C2
C1C2C4C2×C4C22×C4C23×C4C22×C42 — (C2×C4)≀C2
C1C2C2×C4 — (C2×C4)≀C2
C1C2×C4C23×C4 — (C2×C4)≀C2
C1C2C2C22×C4 — (C2×C4)≀C2

Generators and relations for (C2×C4)≀C2
 G = < a,b,c,d | a4=b4=c4=d2=1, ab=ba, cac-1=dad=a-1b-1, bc=cb, bd=db, dcd=c-1 >

Subgroups: 420 in 221 conjugacy classes, 60 normal (20 characteristic)
C1, C2, C2 [×2], C2 [×7], C4 [×4], C4 [×13], C22 [×3], C22 [×4], C22 [×17], C8 [×2], C2×C4 [×2], C2×C4 [×6], C2×C4 [×43], D4 [×8], Q8 [×2], C23, C23 [×2], C23 [×7], C42 [×4], C42 [×7], C22⋊C4 [×5], C4⋊C4 [×2], C4⋊C4 [×2], C2×C8 [×2], M4(2) [×4], C22×C4 [×2], C22×C4 [×4], C22×C4 [×19], C2×D4, C2×D4 [×3], C2×Q8, C4○D4 [×4], C24, C22⋊C8 [×2], C4≀C2 [×4], C2×C42 [×2], C2×C42 [×5], C42⋊C2, C4×D4 [×2], C22≀C2, C4⋊D4 [×2], C22⋊Q8 [×2], C22.D4, C2×M4(2) [×2], C23×C4, C23×C4, C2×C4○D4, C426C4 [×2], C24.4C4, C2×C4≀C2 [×2], C22×C42, C22.19C24, (C2×C4)≀C2
Quotients: C1, C2 [×7], C4 [×4], C22 [×7], C2×C4 [×6], D4 [×8], C23, C22⋊C4 [×4], C22×C4, C2×D4 [×4], C4○D4 [×2], C4≀C2 [×4], C2×C22⋊C4, C4×D4 [×2], C22≀C2, C4⋊D4 [×2], C22.D4, C23.23D4, C2×C4≀C2 [×2], (C2×C4)≀C2

Permutation representations of (C2×C4)≀C2
On 16 points - transitive group 16T211
Generators in S16
(1 2)(3 4)(5 6)(7 8)(9 10 11 12)(13 14 15 16)
(1 5 4 7)(2 6 3 8)(9 13 11 15)(10 14 12 16)
(1 12 3 15)(2 13 4 10)(5 16 8 9)(6 11 7 14)
(1 10)(2 15)(3 13)(4 12)(5 14)(6 9)(7 16)(8 11)

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

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

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

G:=TransitiveGroup(16,211);

44 conjugacy classes

class 1 2A2B2C2D···2I2J4A4B4C4D4E···4Z4AA4AB4AC8A8B8C8D
order12222···2244444···44448888
size11112···2811112···28888888

44 irreducible representations

dim1111111122222
type+++++++++
imageC1C2C2C2C2C2C4C4D4D4D4C4○D4C4≀C2
kernel(C2×C4)≀C2C426C4C24.4C4C2×C4≀C2C22×C42C22.19C24C4⋊D4C22⋊Q8C42C22×C4C24C2×C4C22
# reps12121144431416

Matrix representation of (C2×C4)≀C2 in GL4(𝔽17) generated by

16000
01600
00130
0001
,
1000
0100
0040
0004
,
01600
1000
0004
00130
,
01600
16000
00013
0040
G:=sub<GL(4,GF(17))| [16,0,0,0,0,16,0,0,0,0,13,0,0,0,0,1],[1,0,0,0,0,1,0,0,0,0,4,0,0,0,0,4],[0,1,0,0,16,0,0,0,0,0,0,13,0,0,4,0],[0,16,0,0,16,0,0,0,0,0,0,4,0,0,13,0] >;

(C2×C4)≀C2 in GAP, Magma, Sage, TeX

(C_2\times C_4)\wr C_2
% in TeX

G:=Group("(C2xC4)wrC2");
// GroupNames label

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

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

G:=PCGroup([7,-2,2,2,-2,2,2,-2,224,141,288,422,2019,248,124]);
// Polycyclic

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

׿
×
𝔽