C4:ES+(2,2) - GroupNames

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

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

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

Aliases: C₄:₁2₊¹⁺⁴, C₂².₈₅C₂⁵, C₂³.₄₁C₂⁴, C₄².₅₇₃C₂³, C₂⁴.₁₃₄C₂³, D₄²:₁₃C₂, D₄:₁₅(C₂xD₄), (C₂xD₄):₃₉D₄, C₂³:₃(C₂xD₄), D₄ o₂(C₄:D₄), C₄:Q₈:₉₀C₂², D₄:₆D₄:₂₁C₂, D₄:₅D₄:₁₈C₂, (C₄xD₄):₄₃C₂², C₂³:₃D₄:₇C₂, (C₂xC₄).₇₆C₂⁴, C₂.₃₁(D₄xC₂³), C₂²wrC₂:₇C₂², C₄:D₄:₂₆C₂², C₄:C₄.₂₉₃C₂³, C₄:₁D₄:₅₀C₂², (C₂xC₄²):₅₈C₂², (C₂³xC₄):₄₂C₂², C₄.₁₂₀(C₂²xD₄), C₂²:Q₈:₃₁C₂², (C₂xD₄).₄₆₉C₂³, C₄.₄D₄:₈₁C₂², (C₂²xD₄):₃₆C₂², C₂²:C₄.₂₀C₂³, (C₂xQ₈).₄₄₅C₂³, C₂².₁₃(C₂²xD₄), (C₂²xC₄).₃₅₈C₂³, (C₂x2₊¹⁺⁴):₁₀C₂, C₂².D₄:₆C₂², C₂.₃₁(C₂x2₊¹⁺⁴), C₂.₂₂(C₂.C₂⁵), C₂².₂₆C₂⁴:₃₄C₂, C₂².₃₁C₂⁴:₁₅C₂, (C₂xC₄xD₄):₉₀C₂, (C₂xC₄):₄(C₂xD₄), (C₂xC₄:D₄):₆₇C₂, (C₂xC₄:C₄):₇₃C₂², (C₂xC₄oD₄):₂₉C₂², (C₂xC₂²: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₂³xC₄ — C₂xC₄xD₄ — 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₂xC₄, C₂xC₄, C₂xC₄, D₄, D₄, Q₈, C₂³, C₂³, C₂³, C₄², C₂²:C₄, C₄:C₄, C₂²xC₄, C₂²xC₄, C₂²xC₄, C₂xD₄, C₂xD₄, C₂xQ₈, C₄oD₄, C₂⁴, C₂xC₄², C₂xC₂²:C₄, C₂xC₄:C₄, C₂xC₄:C₄, C₄xD₄, C₂²wrC₂, C₄:D₄, C₂²:Q₈, C₂².D₄, C₄.₄D₄, C₄:₁D₄, C₄:Q₈, C₂³xC₄, C₂²xD₄, C₂²xD₄, C₂xC₄oD₄, 2₊¹⁺⁴, C₂xC₄xD₄, C₂xC₄:D₄, C₂².₂₆C₂⁴, C₂³:₃D₄, C₂².₃₁C₂⁴, D₄², D₄:₅D₄, D₄:₆D₄, C₂x2₊¹⁺⁴, C₄:2₊¹⁺⁴
Quotients: C₁, C₂, C₂², D₄, C₂³, C₂xD₄, C₂⁴, C₂²xD₄, 2₊¹⁺⁴, C₂⁵, D₄xC₂³, C₂x2₊¹⁺⁴, 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₂xC₄xD₄

C₂xC₄:D₄

C₂².₂₆C₂⁴

C₂³:₃D₄

C₂².₃₁C₂⁴

D₄²

D₄:₅D₄

D₄:₆D₄

C₂x2₊¹⁺⁴

C₂xD₄

C₄

C₂

# reps

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

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/C2xD4=C2

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

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