Copied to
clipboard

G = D4.C8  order 64 = 26

The non-split extension by D4 of C8 acting via C8/C4=C2

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

Aliases: D4.C8, Q8.C8, C8.25D4, M5(2)⋊4C2, M4(2).3C4, C22.1M4(2), (C2×C16)⋊2C2, C4.3(C2×C8), C8○D4.2C2, C4○D4.1C4, C2.8(C22⋊C8), (C2×C8).95C22, C4.30(C22⋊C4), (C2×C4).40(C2×C4), SmallGroup(64,31)

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

Derived series
C1 — C4 — D4.C8
Chief series
C1 — C2 — C4 — C8 — C2×C8 — C8○D4 — D4.C8
Lower central
C1 — C2 — C4 — D4.C8
Upper central
C1 — C8 — C2×C8 — D4.C8
Jennings
C1 — C2 — C2 — C2 — C2 — C4 — C4 — C2×C8 — D4.C8

Generators and relations for D4.C8
 G = < a,b,c | a4=b2=1, c8=a2, bab=a-1, ac=ca, cbc-1=ab >

C1
C2
2C2
4C2
C4
C22
C4
2C22
2C4
C2×C4
C8
D4
C8
Q8
2D4
2C2×C4
2C8
M4(2)
C2×C8
C4○D4
2C16
2C16
2C2×C8
2M4(2)
C2×C16
M5(2)
C8○D4
D4.C8

Character table of D4.C8

 class 12A2B2C4A4B4C4D8A8B8C8D8E8F8G8H16A16B16C16D16E16F16G16H16I16J16K16L
 size 1124112411112244222222224444
ρ11111111111111111111111111111    trivial
ρ2111-1111-1111111-1-1-1-1-1-1-1-1-1-11111    linear of order 2
ρ31111111111111111-1-1-1-1-1-1-1-1-1-1-1-1    linear of order 2
ρ4111-1111-1111111-1-111111111-1-1-1-1    linear of order 2
ρ511111111-1-1-1-1-1-1-1-1ii-i-ii-i-iiii-i-i    linear of order 4
ρ611111111-1-1-1-1-1-1-1-1-i-iii-iii-i-i-iii    linear of order 4
ρ7111-1111-1-1-1-1-1-1-111ii-i-ii-i-ii-i-iii    linear of order 4
ρ8111-1111-1-1-1-1-1-1-111-i-iii-iii-iii-i-i    linear of order 4
ρ911-1-1-1-111i-ii-i-ii-iiζ87ζ87ζ8ζ8ζ83ζ85ζ85ζ83ζ87ζ83ζ8ζ85    linear of order 8
ρ1011-11-1-11-1-ii-iii-i-iiζ85ζ85ζ83ζ83ζ8ζ87ζ87ζ8ζ8ζ85ζ87ζ83    linear of order 8
ρ1111-11-1-11-1-ii-iii-i-iiζ8ζ8ζ87ζ87ζ85ζ83ζ83ζ85ζ85ζ8ζ83ζ87    linear of order 8
ρ1211-1-1-1-111i-ii-i-ii-iiζ83ζ83ζ85ζ85ζ87ζ8ζ8ζ87ζ83ζ87ζ85ζ8    linear of order 8
ρ1311-11-1-11-1i-ii-i-iii-iζ83ζ83ζ85ζ85ζ87ζ8ζ8ζ87ζ87ζ83ζ8ζ85    linear of order 8
ρ1411-1-1-1-111-ii-iii-ii-iζ85ζ85ζ83ζ83ζ8ζ87ζ87ζ8ζ85ζ8ζ83ζ87    linear of order 8
ρ1511-11-1-11-1i-ii-i-iii-iζ87ζ87ζ8ζ8ζ83ζ85ζ85ζ83ζ83ζ87ζ85ζ8    linear of order 8
ρ1611-1-1-1-111-ii-iii-ii-iζ8ζ8ζ87ζ87ζ85ζ83ζ83ζ85ζ8ζ85ζ87ζ83    linear of order 8
ρ1722-2022-202222-2-200000000000000    orthogonal lifted from D4
ρ1822-2022-20-2-2-2-22200000000000000    orthogonal lifted from D4
ρ192220-2-2-20-2i2i-2i2i-2i2i00000000000000    complex lifted from M4(2)
ρ202220-2-2-202i-2i2i-2i2i-2i00000000000000    complex lifted from M4(2)
ρ212-200-2i2i002ζ16142ζ1622ζ1662ζ16100000ζ1615+ζ1611ζ167+ζ163ζ1613+ζ169ζ165+ζ16ζ1611+ζ167ζ169+ζ165ζ1613+ζ16ζ1615+ζ1630000    complex faithful
ρ222-2002i-2i002ζ1622ζ16142ζ16102ζ1660000ζ1613+ζ169ζ165+ζ16ζ1615+ζ1611ζ167+ζ163ζ1613+ζ16ζ1615+ζ163ζ1611+ζ167ζ169+ζ1650000    complex faithful
ρ232-200-2i2i002ζ16142ζ1622ζ1662ζ16100000ζ167+ζ163ζ1615+ζ1611ζ165+ζ16ζ1613+ζ169ζ1615+ζ163ζ1613+ζ16ζ169+ζ165ζ1611+ζ1670000    complex faithful
ρ242-2002i-2i002ζ16102ζ1662ζ1622ζ16140000ζ169+ζ165ζ1613+ζ16ζ1615+ζ163ζ1611+ζ167ζ1613+ζ169ζ167+ζ163ζ1615+ζ1611ζ165+ζ160000    complex faithful
ρ252-200-2i2i002ζ1662ζ16102ζ16142ζ1620000ζ1611+ζ167ζ1615+ζ163ζ1613+ζ16ζ169+ζ165ζ167+ζ163ζ1613+ζ169ζ165+ζ16ζ1615+ζ16110000    complex faithful
ρ262-2002i-2i002ζ16102ζ1662ζ1622ζ16140000ζ1613+ζ16ζ169+ζ165ζ1611+ζ167ζ1615+ζ163ζ165+ζ16ζ1615+ζ1611ζ167+ζ163ζ1613+ζ1690000    complex faithful
ρ272-2002i-2i002ζ1622ζ16142ζ16102ζ1660000ζ165+ζ16ζ1613+ζ169ζ167+ζ163ζ1615+ζ1611ζ169+ζ165ζ1611+ζ167ζ1615+ζ163ζ1613+ζ160000    complex faithful
ρ282-200-2i2i002ζ1662ζ16102ζ16142ζ1620000ζ1615+ζ163ζ1611+ζ167ζ169+ζ165ζ1613+ζ16ζ1615+ζ1611ζ165+ζ16ζ1613+ζ169ζ167+ζ1630000    complex faithful

Smallest permutation representation of D4.C8
►On 32 points
Generators in S32
(1 31 9 23)(2 32 10 24)(3 17 11 25)(4 18 12 26)(5 19 13 27)(6 20 14 28)(7 21 15 29)(8 22 16 30)

(1 23)(2 10)(3 17)(5 27)(6 14)(7 21)(9 31)(11 25)(13 19)(15 29)(18 26)(22 30)

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

D4.C8 is a maximal subgroup of
 Q16.10D4  Q16.D4  D8.3D4  D8.12D4  C8.7S4
 D4p.C8: C16○D8  D8.C8  D12.C8  Dic6.C8  D20.3C8  D20.4C8  D20.C8  D28.C8 ...
 (Cp×D4).C8: M5(2)⋊12C22  C24.99D4  C40.92D4  D4.(C5⋊C8)  C56.92D4 ...
D4.C8 is a maximal quotient of
 C23.7M4(2)  Q8⋊C16  C8.17Q16  M5(2)⋊7C4  D20.C8
 C8.D4p: D4⋊C16  C8.31D8  D12.C8  Dic6.C8  D20.3C8  D20.4C8  D28.C8  Dic14.C8 ...
 (Cp×D4).C8: C23.M4(2)  C24.99D4  C40.92D4  D4.(C5⋊C8)  C56.92D4 ...

Matrix representation of D4.C8 ►in GL2(𝔽17) generated by

09
150
,
09
20
,
168
216
G:=sub<GL(2,GF(17))| [0,15,9,0],[0,2,9,0],[16,2,8,16] >;
 

D4.C8 in GAP, Magma, Sage, TeX 

D_4.C_8
 
% in TeX
 
G:=Group("D4.C8");
 
// GroupNames label
 
G:=SmallGroup(64,31);
 
// by ID
 
G=gap.SmallGroup(64,31);
 
# by ID
 
G:=PCGroup([6,-2,2,-2,2,-2,-2,48,73,332,158,489,69,88]);
 
// Polycyclic
 
G:=Group<a,b,c|a^4=b^2=1,c^8=a^2,b*a*b=a^-1,a*c=c*a,c*b*c^-1=a*b>;
 
// generators/relations
 

Export

Subgroup lattice of D4.C8 in TeX
Character table of D4.C8 in TeX

׿
×
⋊
ℤ
𝔽
○
≀
ℚ
◁