Copied to
clipboard

## G = (C2×D4)⋊C8order 128 = 27

### 2nd semidirect product of C2×D4 and C8 acting via C8/C2=C4

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

Series: Derived Chief Lower central Upper central Jennings

 Derived series C1 — C2×C4 — (C2×D4)⋊C8
 Chief series C1 — C2 — C22 — C23 — C22×C4 — C2×C4⋊C4 — C24.3C22 — (C2×D4)⋊C8
 Lower central C1 — C2 — C22 — C2×C4 — (C2×D4)⋊C8
 Upper central C1 — C22 — C23 — C2×C4⋊C4 — (C2×D4)⋊C8
 Jennings C1 — C22 — C23 — C2×C4⋊C4 — (C2×D4)⋊C8

Generators and relations for (C2×D4)⋊C8
G = < a,b,c,d | a2=b4=c2=d8=1, ab=ba, ac=ca, dad-1=ab2, cbc=b-1, dbd-1=ab-1, dcd-1=b-1c >

Subgroups: 264 in 85 conjugacy classes, 22 normal (16 characteristic)
C1, C2, C2, C4, C22, C22, C8, C2×C4, C2×C4, D4, C23, C23, C42, C22⋊C4, C4⋊C4, C2×C8, C22×C4, C22×C4, C22×C4, C2×D4, C2×D4, C24, C22⋊C8, C2×C42, C2×C22⋊C4, C2×C4⋊C4, C22×D4, C22.M4(2), C24.3C22, (C2×D4)⋊C8
Quotients: C1, C2, C4, C22, C8, C2×C4, D4, C22⋊C4, C2×C8, M4(2), C22⋊C8, C23⋊C4, C4.D4, C23⋊C8, C42⋊C4, C42.C4, (C2×D4)⋊C8

Character table of (C2×D4)⋊C8

 class 1 2A 2B 2C 2D 2E 2F 2G 4A 4B 4C 4D 4E 4F 4G 4H 4I 4J 8A 8B 8C 8D 8E 8F 8G 8H size 1 1 1 1 2 2 8 8 4 4 4 4 4 4 4 4 4 4 8 8 8 8 8 8 8 8 ρ1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 trivial ρ2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 linear of order 2 ρ3 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 linear of order 2 ρ4 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 linear of order 2 ρ5 1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -i -i i i -i -i i i linear of order 4 ρ6 1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 i i -i -i i i -i -i linear of order 4 ρ7 1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 i i -i i -i -i i -i linear of order 4 ρ8 1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -i -i i -i i i -i i linear of order 4 ρ9 1 -1 -1 1 1 -1 -1 1 -i i 1 -i -1 -i -i i i i ζ85 ζ8 ζ83 ζ83 ζ8 ζ85 ζ87 ζ87 linear of order 8 ρ10 1 -1 -1 1 1 -1 1 -1 -i -i 1 i -1 i -i -i i i ζ87 ζ83 ζ8 ζ85 ζ87 ζ83 ζ8 ζ85 linear of order 8 ρ11 1 -1 -1 1 1 -1 1 -1 -i -i 1 i -1 i -i -i i i ζ83 ζ87 ζ85 ζ8 ζ83 ζ87 ζ85 ζ8 linear of order 8 ρ12 1 -1 -1 1 1 -1 -1 1 -i i 1 -i -1 -i -i i i i ζ8 ζ85 ζ87 ζ87 ζ85 ζ8 ζ83 ζ83 linear of order 8 ρ13 1 -1 -1 1 1 -1 -1 1 i -i 1 i -1 i i -i -i -i ζ83 ζ87 ζ85 ζ85 ζ87 ζ83 ζ8 ζ8 linear of order 8 ρ14 1 -1 -1 1 1 -1 1 -1 i i 1 -i -1 -i i i -i -i ζ8 ζ85 ζ87 ζ83 ζ8 ζ85 ζ87 ζ83 linear of order 8 ρ15 1 -1 -1 1 1 -1 -1 1 i -i 1 i -1 i i -i -i -i ζ87 ζ83 ζ8 ζ8 ζ83 ζ87 ζ85 ζ85 linear of order 8 ρ16 1 -1 -1 1 1 -1 1 -1 i i 1 -i -1 -i i i -i -i ζ85 ζ8 ζ83 ζ87 ζ85 ζ8 ζ83 ζ87 linear of order 8 ρ17 2 2 2 2 2 2 0 0 0 -2 -2 -2 -2 2 0 2 0 0 0 0 0 0 0 0 0 0 orthogonal lifted from D4 ρ18 2 2 2 2 2 2 0 0 0 2 -2 2 -2 -2 0 -2 0 0 0 0 0 0 0 0 0 0 orthogonal lifted from D4 ρ19 2 -2 -2 2 2 -2 0 0 0 -2i -2 2i 2 -2i 0 2i 0 0 0 0 0 0 0 0 0 0 complex lifted from M4(2) ρ20 2 -2 -2 2 2 -2 0 0 0 2i -2 -2i 2 2i 0 -2i 0 0 0 0 0 0 0 0 0 0 complex lifted from M4(2) ρ21 4 -4 4 -4 0 0 0 0 -2 0 0 0 0 0 2 0 -2 2 0 0 0 0 0 0 0 0 orthogonal lifted from C42⋊C4 ρ22 4 -4 4 -4 0 0 0 0 2 0 0 0 0 0 -2 0 2 -2 0 0 0 0 0 0 0 0 orthogonal lifted from C42⋊C4 ρ23 4 4 4 4 -4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 orthogonal lifted from C23⋊C4 ρ24 4 -4 -4 4 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 orthogonal lifted from C4.D4 ρ25 4 4 -4 -4 0 0 0 0 -2i 0 0 0 0 0 2i 0 2i -2i 0 0 0 0 0 0 0 0 complex lifted from C42.C4 ρ26 4 4 -4 -4 0 0 0 0 2i 0 0 0 0 0 -2i 0 -2i 2i 0 0 0 0 0 0 0 0 complex lifted from C42.C4

Smallest permutation representation of (C2×D4)⋊C8
On 32 points
Generators in S32
(1 27)(2 6)(3 29)(4 8)(5 31)(7 25)(9 20)(10 14)(11 22)(12 16)(13 24)(15 18)(17 21)(19 23)(26 30)(28 32)
(1 11 31 18)(2 16 32 23)(3 20 25 13)(4 17 26 10)(5 15 27 22)(6 12 28 19)(7 24 29 9)(8 21 30 14)
(1 5)(2 16)(3 25)(4 14)(6 12)(7 29)(8 10)(11 22)(15 18)(17 30)(19 28)(21 26)(23 32)(27 31)
(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)

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

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

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

Matrix representation of (C2×D4)⋊C8 in GL8(𝔽17)

 16 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1
,
 0 0 16 0 0 0 0 0 0 0 0 16 0 0 0 0 16 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 16 0
,
 16 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 16 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 16 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0
,
 3 10 14 10 0 0 0 0 7 3 7 14 0 0 0 0 3 7 14 7 0 0 0 0 10 3 10 14 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0

G:=sub<GL(8,GF(17))| [16,0,0,0,0,0,0,0,0,16,0,0,0,0,0,0,0,0,16,0,0,0,0,0,0,0,0,16,0,0,0,0,0,0,0,0,16,0,0,0,0,0,0,0,0,16,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1],[0,0,16,0,0,0,0,0,0,0,0,16,0,0,0,0,16,0,0,0,0,0,0,0,0,16,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,16,0,0,0,0,0,0,0,0,0,0,16,0,0,0,0,0,0,1,0],[16,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,16,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,16,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0],[3,7,3,10,0,0,0,0,10,3,7,3,0,0,0,0,14,7,14,10,0,0,0,0,10,14,7,14,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0] >;

(C2×D4)⋊C8 in GAP, Magma, Sage, TeX

(C_2\times D_4)\rtimes C_8
% in TeX

G:=Group("(C2xD4):C8");
// GroupNames label

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

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

G:=PCGroup([7,-2,2,-2,2,-2,2,-2,56,85,422,723,352,1242,521,136,2804]);
// Polycyclic

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

Export

׿
×
𝔽