C4:ES+(2,2) - GroupNames

G = C₄⋊2₊¹⁺⁴ order 128 = 2⁷

The semidirect product of C₄ and 2₊¹⁺⁴ acting via 2₊¹⁺⁴/C₂×D₄=C₂

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

Aliases: C₄⋊₁2₊¹⁺⁴, C₂².₈₅C₂⁵, C₂³.₄₁C₂⁴, C₄².₅₇₃C₂³, C₂⁴.₁₃₄C₂³, D₄²⋊₁₃C₂, D₄⋊₁₅(C₂×D₄), (C₂×D₄)⋊₃₉D₄, C₂³⋊₃(C₂×D₄), D₄ ○₂(C₄⋊D₄), C₄⋊Q₈⋊₉₀C₂², D₄⋊₆D₄⋊₂₁C₂, D₄⋊₅D₄⋊₁₈C₂, (C₄×D₄)⋊₄₃C₂², C₂³⋊₃D₄⋊₇C₂, (C₂×C₄).₇₆C₂⁴, C₂.₃₁(D₄×C₂³), C₂²≀C₂⋊₇C₂², C₄⋊D₄⋊₂₆C₂², C₄⋊C₄.₂₉₃C₂³, C₄⋊₁D₄⋊₅₀C₂², (C₂×C₄²)⋊₅₈C₂², (C₂³×C₄)⋊₄₂C₂², C₄.₁₂₀(C₂²×D₄), C₂²⋊Q₈⋊₃₁C₂², (C₂×D₄).₄₆₉C₂³, C₄.₄D₄⋊₈₁C₂², (C₂²×D₄)⋊₃₆C₂², C₂²⋊C₄.₂₀C₂³, (C₂×Q₈).₄₄₅C₂³, C₂².₁₃(C₂²×D₄), (C₂²×C₄).₃₅₈C₂³, (C₂×2₊¹⁺⁴)⋊₁₀C₂, C₂².D₄⋊₆C₂², C₂.₃₁(C₂×2₊¹⁺⁴), C₂.₂₂(C₂.C₂⁵), C₂².₂₆C₂⁴⋊₃₄C₂, C₂².₃₁C₂⁴⋊₁₅C₂, (C₂×C₄×D₄)⋊₉₀C₂, (C₂×C₄)⋊₄(C₂×D₄), (C₂×C₄⋊D₄)⋊₆₇C₂, (C₂×C₄⋊C₄)⋊₇₃C₂², (C₂×C₄○D₄)⋊₂₉C₂², (C₂×C₂²⋊C₄)⋊₄₈C₂², SmallGroup(128,2228)

Series: Derived ►Chief ►Lower central ►Upper central ►Jennings

Derived series

C₁ — C₂² — C₄⋊2₊¹⁺⁴

Chief series

C₁ — C₂ — C₂² — C₂³ — C₂⁴ — C₂³×C₄ — C₂×C₄×D₄ — C₄⋊2₊¹⁺⁴

Lower central

C₁ — C₂² — C₄⋊2₊¹⁺⁴

Upper central

C₁ — C₂² — C₄⋊2₊¹⁺⁴

Jennings

C₁ — C₂² — C₄⋊2₊¹⁺⁴

Generators and relations for C₄⋊2₊¹⁺⁴
G = < a,b,c,d,e | a⁴=b⁴=c²=e²=1, d²=b², bab^-1=a^-1, ac=ca, ad=da, ae=ea, cbc=b^-1, bd=db, be=eb, cd=dc, ce=ec, ede=b²d >

Subgroups: 1460 in 830 conjugacy classes, 430 normal (16 characteristic)
C₁, C₂, C₂, C₄, C₄, C₂², C₂², C₂², C₂×C₄, C₂×C₄, C₂×C₄, D₄, D₄, Q₈, C₂³, C₂³, C₂³, C₄², C₂²⋊C₄, C₄⋊C₄, C₂²×C₄, C₂²×C₄, C₂²×C₄, C₂×D₄, C₂×D₄, C₂×Q₈, C₄○D₄, C₂⁴, C₂×C₄², C₂×C₂²⋊C₄, C₂×C₄⋊C₄, C₂×C₄⋊C₄, C₄×D₄, C₂²≀C₂, C₄⋊D₄, C₂²⋊Q₈, C₂².D₄, C₄.₄D₄, C₄⋊₁D₄, C₄⋊Q₈, C₂³×C₄, C₂²×D₄, C₂²×D₄, C₂×C₄○D₄, 2₊¹⁺⁴, C₂×C₄×D₄, C₂×C₄⋊D₄, C₂².₂₆C₂⁴, C₂³⋊₃D₄, C₂².₃₁C₂⁴, D₄², D₄⋊₅D₄, D₄⋊₆D₄, C₂×2₊¹⁺⁴, C₄⋊2₊¹⁺⁴
Quotients: C₁, C₂, C₂², D₄, C₂³, C₂×D₄, C₂⁴, C₂²×D₄, 2₊¹⁺⁴, C₂⁵, D₄×C₂³, C₂×2₊¹⁺⁴, C₂.C₂⁵, C₄⋊2₊¹⁺⁴

Smallest permutation representation of C₄⋊2₊¹⁺⁴
►On 32 points

Generators in S₃₂

(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)

(1 18 15 5)(2 17 16 8)(3 20 13 7)(4 19 14 6)(9 30 22 28)(10 29 23 27)(11 32 24 26)(12 31 21 25)

(1 6)(2 7)(3 8)(4 5)(9 31)(10 32)(11 29)(12 30)(13 17)(14 18)(15 19)(16 20)(21 28)(22 25)(23 26)(24 27)

(1 31 15 25)(2 32 16 26)(3 29 13 27)(4 30 14 28)(5 12 18 21)(6 9 19 22)(7 10 20 23)(8 11 17 24)

(1 25)(2 26)(3 27)(4 28)(5 21)(6 22)(7 23)(8 24)(9 19)(10 20)(11 17)(12 18)(13 29)(14 30)(15 31)(16 32)

G:=sub<Sym(32)| (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), (1,18,15,5)(2,17,16,8)(3,20,13,7)(4,19,14,6)(9,30,22,28)(10,29,23,27)(11,32,24,26)(12,31,21,25), (1,6)(2,7)(3,8)(4,5)(9,31)(10,32)(11,29)(12,30)(13,17)(14,18)(15,19)(16,20)(21,28)(22,25)(23,26)(24,27), (1,31,15,25)(2,32,16,26)(3,29,13,27)(4,30,14,28)(5,12,18,21)(6,9,19,22)(7,10,20,23)(8,11,17,24), (1,25)(2,26)(3,27)(4,28)(5,21)(6,22)(7,23)(8,24)(9,19)(10,20)(11,17)(12,18)(13,29)(14,30)(15,31)(16,32)>;

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), (1,18,15,5)(2,17,16,8)(3,20,13,7)(4,19,14,6)(9,30,22,28)(10,29,23,27)(11,32,24,26)(12,31,21,25), (1,6)(2,7)(3,8)(4,5)(9,31)(10,32)(11,29)(12,30)(13,17)(14,18)(15,19)(16,20)(21,28)(22,25)(23,26)(24,27), (1,31,15,25)(2,32,16,26)(3,29,13,27)(4,30,14,28)(5,12,18,21)(6,9,19,22)(7,10,20,23)(8,11,17,24), (1,25)(2,26)(3,27)(4,28)(5,21)(6,22)(7,23)(8,24)(9,19)(10,20)(11,17)(12,18)(13,29)(14,30)(15,31)(16,32) );

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)], [(1,18,15,5),(2,17,16,8),(3,20,13,7),(4,19,14,6),(9,30,22,28),(10,29,23,27),(11,32,24,26),(12,31,21,25)], [(1,6),(2,7),(3,8),(4,5),(9,31),(10,32),(11,29),(12,30),(13,17),(14,18),(15,19),(16,20),(21,28),(22,25),(23,26),(24,27)], [(1,31,15,25),(2,32,16,26),(3,29,13,27),(4,30,14,28),(5,12,18,21),(6,9,19,22),(7,10,20,23),(8,11,17,24)], [(1,25),(2,26),(3,27),(4,28),(5,21),(6,22),(7,23),(8,24),(9,19),(10,20),(11,17),(12,18),(13,29),(14,30),(15,31),(16,32)]])

44 conjugacy classes

class	1	2A	2B	2C	2D	···	2M	2N	···	2U	4A	···	4H	4I	···	4V
order	1	2	2	2	2	···	2	2	···	2	4	···	4	4	···	4
size	1	1	1	1	2	···	2	4	···	4	2	···	2	4	···	4

44 irreducible representations

dim

type

image

C₁

C₂

D₄

2₊¹⁺⁴

C₂.C₂⁵

kernel

C₄⋊2₊¹⁺⁴

C₂×C₄×D₄

C₂×C₄⋊D₄

C₂².₂₆C₂⁴

C₂³⋊₃D₄

C₂².₃₁C₂⁴

D₄²

D₄⋊₅D₄

D₄⋊₆D₄

C₂×2₊¹⁺⁴

C₂×D₄

C₄

C₂

# reps

Matrix representation of C₄⋊2₊¹⁺⁴ ►in GL₆(ℤ)

0	1	0	0	0	0
-1	0	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	1

0	1	0	0	0	0
1	0	0	0	0	0
0	0	-1	2	0	0
0	0	-1	1	0	0
0	0	0	1	0	1
0	0	1	-1	-1	0

-1	0	0	0	0	0
0	-1	0	0	0	0
0	0	-1	2	0	0
0	0	0	1	0	0
0	0	0	1	0	1
0	0	0	-1	1	0

1	0	0	0	0	0
0	1	0	0	0	0
0	0	-1	0	2	0
0	0	0	0	1	1
0	0	-1	0	1	0
0	0	1	-1	-1	0

-1	0	0	0	0	0
0	-1	0	0	0	0
0	0	-1	0	2	0
0	0	0	0	1	1
0	0	0	0	1	0
0	0	0	1	-1	0

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

C₄⋊2₊¹⁺⁴ in GAP, Magma, Sage, TeX

C_4\rtimes 2_+^{1+4}

% in TeX

G:=Group("C4:ES+(2,2)");

// GroupNames label

G:=SmallGroup(128,2228);

// by ID

G=gap.SmallGroup(128,2228);

# by ID

G:=PCGroup([7,-2,2,2,2,2,-2,2,477,1430,352,570,1684]);

// Polycyclic

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

// generators/relations

G = C4⋊2+ 1+4 order 128 = 27

The semidirect product of C4 and 2+ 1+4 acting via 2+ 1+4/C2×D4=C2

G = C₄⋊2₊¹⁺⁴ order 128 = 2⁷

The semidirect product of C₄ and 2₊¹⁺⁴ acting via 2₊¹⁺⁴/C₂×D₄=C₂