(C2xQ8):16D4 - GroupNames

G = (C₂×Q₈)⋊₁₆D₄ order 128 = 2⁷

12^nd semidirect product of C₂×Q₈ and D₄ acting via D₄/C₂=C₂²

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

Aliases: C₄○D₄⋊₂D₄, (C₂×Q₈)⋊₁₆D₄, Q₈⋊D₄⋊₃C₂, D₄.₄₅(C₂×D₄), Q₈.₄₅(C₂×D₄), D₄⋊D₄⋊₁₆C₂, C₄.₄₁C₂²≀C₂, (C₂×D₄).₂₉₄D₄, C₄⋊C₄.₁₂C₂³, C₂²⋊C₈⋊₉C₂², C₄.₄₇(C₂²×D₄), (C₂×C₄).₂₂₉C₂⁴, (C₂×C₈).₃₀₁C₂³, C₂.₉(D₄○SD₁₆), (C₂×D₄).₃₀C₂³, (C₂×D₈).₅₂C₂², C₂³.₂₃₃(C₂×D₄), D₄⋊C₄⋊₇₂C₂², C₂².₂₉C₂⁴⋊₄C₂, Q₈⋊C₄⋊₁₅C₂², C₂².₂₁C₂²≀C₂, (C₂²×SD₁₆)⋊₂₀C₂, C₂³.₃₈D₄⋊₄C₂, C₄⋊D₄.₁₇C₂², (C₂×2_-¹⁺⁴)⋊₁C₂, (C₂×Q₈).₃₅₅C₂³, (C₂²×Q₈)⋊₁₅C₂², C₂³.₂₄D₄⋊₂₂C₂, (C₂²×C₄).₂₇₇C₂³, (C₂²×C₈).₃₃₆C₂², C₂².₄₈₉(C₂²×D₄), C₄²⋊C₂.₉₇C₂², (C₂×SD₁₆).₁₂₉C₂², (C₂²×D₄).₃₂₇C₂², (C₂×M₄(2)).₄₁C₂², (C₂×C₈⋊C₂²)⋊₉C₂, (C₂×C₄).₄₅₆(C₂×D₄), (C₂×C₄○D₄)⋊₄C₂², (C₂²×C₈)⋊C₂⋊₅C₂, C₂.₄₇(C₂×C₂²≀C₂), SmallGroup(128,1742)

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

Derived series

C₁ — C₂×C₄ — (C₂×Q₈)⋊₁₆D₄

Chief series

C₁ — C₂ — C₂² — C₂×C₄ — C₂²×C₄ — C₂×C₄○D₄ — C₂×2_-¹⁺⁴ — (C₂×Q₈)⋊₁₆D₄

Lower central

C₁ — C₂ — C₂×C₄ — (C₂×Q₈)⋊₁₆D₄

Upper central

C₁ — C₂² — C₂×C₄○D₄ — (C₂×Q₈)⋊₁₆D₄

Jennings

C₁ — C₂ — C₂ — C₂×C₄ — (C₂×Q₈)⋊₁₆D₄

Generators and relations for (C₂×Q₈)⋊₁₆D₄
G = < a,b,c,d,e | a²=b⁴=d⁴=e²=1, c²=b², ab=ba, ac=ca, dad^-1=ab², ae=ea, cbc^-1=b^-1, dbd^-1=abc, ebe=ab^-1c, cd=dc, ece=b²c, ede=d^-1 >

Subgroups: 732 in 366 conjugacy classes, 108 normal (28 characteristic)
C₁, C₂, C₂, C₂, C₄, C₄, C₄, C₂², C₂², C₂², C₈, C₂×C₄, C₂×C₄, C₂×C₄, D₄, D₄, Q₈, Q₈, C₂³, C₂³, C₂³, C₄², C₂²⋊C₄, C₄⋊C₄, C₂×C₈, C₂×C₈, M₄(2), D₈, SD₁₆, C₂²×C₄, C₂²×C₄, C₂²×C₄, C₂×D₄, C₂×D₄, C₂×D₄, C₂×Q₈, C₂×Q₈, C₂×Q₈, C₄○D₄, C₄○D₄, C₂⁴, C₂²⋊C₈, D₄⋊C₄, Q₈⋊C₄, C₄²⋊C₂, C₂²≀C₂, C₄⋊D₄, C₄.₄D₄, C₄⋊₁D₄, C₂²×C₈, C₂×M₄(2), C₂×D₈, C₂×SD₁₆, C₂×SD₁₆, C₈⋊C₂², C₂²×D₄, C₂²×Q₈, C₂²×Q₈, C₂²×Q₈, C₂×C₄○D₄, C₂×C₄○D₄, C₂×C₄○D₄, 2_-¹⁺⁴, (C₂²×C₈)⋊C₂, C₂³.₂₄D₄, C₂³.₃₈D₄, Q₈⋊D₄, D₄⋊D₄, C₂².₂₉C₂⁴, C₂²×SD₁₆, C₂×C₈⋊C₂², C₂×2_-¹⁺⁴, (C₂×Q₈)⋊₁₆D₄
Quotients: C₁, C₂, C₂², D₄, C₂³, C₂×D₄, C₂⁴, C₂²≀C₂, C₂²×D₄, C₂×C₂²≀C₂, D₄○SD₁₆, (C₂×Q₈)⋊₁₆D₄

Smallest permutation representation of (C₂×Q₈)⋊₁₆D₄
►On 32 points

Generators in S₃₂

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

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

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

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

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

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

32 conjugacy classes

class	1	2A	2B	2C	2D	2E	2F	2G	2H	2I	2J	2K	4A	4B	4C	4D	4E	···	4L	4M	4N	8A	8B	8C	8D	8E	8F
order	1	2	2	2	2	2	2	2	2	2	2	2	4	4	4	4	4	···	4	4	4	8	8	8	8	8	8
size	1	1	1	1	2	2	4	4	4	4	8	8	2	2	2	2	4	···	4	8	8	4	4	4	4	8	8

32 irreducible representations

dim

type

image

C₁

C₂

D₄

D₄○SD₁₆

kernel

(C₂×Q₈)⋊₁₆D₄

(C₂²×C₈)⋊C₂

C₂³.₂₄D₄

C₂³.₃₈D₄

Q₈⋊D₄

D₄⋊D₄

C₂².₂₉C₂⁴

C₂²×SD₁₆

C₂×C₈⋊C₂²

C₂×2_-¹⁺⁴

C₂×D₄

C₂×Q₈

C₄○D₄

C₂

# reps

Matrix representation of (C₂×Q₈)⋊₁₆D₄ ►in GL₆(𝔽₁₇)

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

16	0	0	0	0	0
0	16	0	0	0	0
0	0	12	12	0	0
0	0	12	5	0	0
0	0	0	0	5	5
0	0	0	0	5	12

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

0	1	0	0	0	0
16	0	0	0	0	0
0	0	0	0	16	0
0	0	0	0	0	1
0	0	1	0	0	0
0	0	0	16	0	0

16	0	0	0	0	0
0	1	0	0	0	0
0	0	1	0	0	0
0	0	0	16	0	0
0	0	0	0	16	0
0	0	0	0	0	1

G:=sub<GL(6,GF(17))| [1,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,16,0,0,0,0,0,0,16],[16,0,0,0,0,0,0,16,0,0,0,0,0,0,12,12,0,0,0,0,12,5,0,0,0,0,0,0,5,5,0,0,0,0,5,12],[1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,16,0,0,0,0,0,0,0,0,16,0,0,0,0,1,0],[0,16,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,16,0,0,16,0,0,0,0,0,0,1,0,0],[16,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,16,0,0,0,0,0,0,16,0,0,0,0,0,0,1] >;

(C₂×Q₈)⋊₁₆D₄ in GAP, Magma, Sage, TeX

(C_2\times Q_8)\rtimes_{16}D_4

% in TeX

G:=Group("(C2xQ8):16D4");

// GroupNames label

G:=SmallGroup(128,1742);

// by ID

G=gap.SmallGroup(128,1742);

# by ID

G:=PCGroup([7,-2,2,2,2,-2,2,-2,253,456,758,521,2804,1411,172]);

// Polycyclic

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

// generators/relations

G = (C2×Q8)⋊16D4 order 128 = 27

12nd semidirect product of C2×Q8 and D4 acting via D4/C2=C22

G = (C₂×Q₈)⋊₁₆D₄ order 128 = 2⁷

12^nd semidirect product of C₂×Q₈ and D₄ acting via D₄/C₂=C₂²