Copied to
clipboard

G = D5xD8  order 160 = 25·5

Direct product of D5 and D8

direct product, metabelian, supersoluble, monomial, 2-hyperelementary

Aliases: D5xD8, C8:4D10, D40:4C2, D4:1D10, C40:2C22, D10.23D4, D20:1C22, C20.1C23, Dic5.7D4, C5:2(C2xD8), D4:D5:1C2, (C5xD8):2C2, (D4xD5):1C2, (C8xD5):1C2, C2.15(D4xD5), C5:2C8:5C22, C10.27(C2xD4), (C5xD4):1C22, C4.1(C22xD5), (C4xD5).15C22, SmallGroup(160,131)

Series: Derived ►Chief ►Lower central ►Upper central

Derived series
C1 — C20 — D5xD8
Chief series
C1 — C5 — C10 — C20 — C4xD5 — D4xD5 — D5xD8
Lower central
C5 — C10 — C20 — D5xD8
Upper central
C1 — C2 — C4 — D8

Generators and relations for D5xD8
 G = < a,b,c,d | a5=b2=c8=d2=1, bab=a-1, ac=ca, ad=da, bc=cb, bd=db, dcd=c-1 >

Subgroups: 344 in 76 conjugacy classes, 29 normal (17 characteristic)
C1, C2, C2, C4, C4, C22, C5, C8, C8, C2xC4, D4, D4, C23, D5, D5, C10, C10, C2xC8, D8, D8, C2xD4, Dic5, C20, D10, D10, C2xC10, C2xD8, C5:2C8, C40, C4xD5, D20, C5:D4, C5xD4, C22xD5, C8xD5, D40, D4:D5, C5xD8, D4xD5, D5xD8
Quotients: C1, C2, C22, D4, C23, D5, D8, C2xD4, D10, C2xD8, C22xD5, D4xD5, D5xD8

Character table of D5xD8

 class 12A2B2C2D2E2F2G4A4B5A5B8A8B8C8D10A10B10C10D10E10F20A20B40A40B40C40D
 size 114455202021022221010228888444444
ρ11111111111111111111111111111    trivial
ρ211-1-1-1-1111-11111-1-111-1-1-1-1111111    linear of order 2
ρ311-1111-111111-1-1-1-111-111-111-1-1-1-1    linear of order 2
ρ4111-1-1-1-111-111-1-111111-1-1111-1-1-1-1    linear of order 2
ρ511-11-1-11-11-111-1-11111-111-111-1-1-1-1    linear of order 2
ρ6111-1111-11111-1-1-1-1111-1-1111-1-1-1-1    linear of order 2
ρ711-1-111-1-11111111111-1-1-1-1111111    linear of order 2
ρ81111-1-1-1-11-11111-1-1111111111111    linear of order 2
ρ92200-2-200-22220000220000-2-20000    orthogonal lifted from D4
ρ1022002200-2-2220000220000-2-20000    orthogonal lifted from D4
ρ1122-22000020-1+√5/2-1-√5/2-2-200-1-√5/2-1+√5/21-√5/2-1+√5/2-1-√5/21+√5/2-1-√5/2-1+√5/21-√5/21+√5/21-√5/21+√5/2    orthogonal lifted from D10
ρ1222-22000020-1-√5/2-1+√5/2-2-200-1+√5/2-1-√5/21+√5/2-1-√5/2-1+√5/21-√5/2-1+√5/2-1-√5/21+√5/21-√5/21+√5/21-√5/2    orthogonal lifted from D10
ρ1322-2-2000020-1+√5/2-1-√5/22200-1-√5/2-1+√5/21-√5/21-√5/21+√5/21+√5/2-1-√5/2-1+√5/2-1+√5/2-1-√5/2-1+√5/2-1-√5/2    orthogonal lifted from D10
ρ142222000020-1-√5/2-1+√5/22200-1+√5/2-1-√5/2-1-√5/2-1-√5/2-1+√5/2-1+√5/2-1+√5/2-1-√5/2-1-√5/2-1+√5/2-1-√5/2-1+√5/2    orthogonal lifted from D5
ρ152222000020-1+√5/2-1-√5/22200-1-√5/2-1+√5/2-1+√5/2-1+√5/2-1-√5/2-1-√5/2-1-√5/2-1+√5/2-1+√5/2-1-√5/2-1+√5/2-1-√5/2    orthogonal lifted from D5
ρ1622-2-2000020-1-√5/2-1+√5/22200-1+√5/2-1-√5/21+√5/21+√5/21-√5/21-√5/2-1+√5/2-1-√5/2-1-√5/2-1+√5/2-1-√5/2-1+√5/2    orthogonal lifted from D10
ρ17222-2000020-1+√5/2-1-√5/2-2-200-1-√5/2-1+√5/2-1+√5/21-√5/21+√5/2-1-√5/2-1-√5/2-1+√5/21-√5/21+√5/21-√5/21+√5/2    orthogonal lifted from D10
ρ18222-2000020-1-√5/2-1+√5/2-2-200-1+√5/2-1-√5/2-1-√5/21+√5/21-√5/2-1+√5/2-1+√5/2-1-√5/21+√5/21-√5/21+√5/21-√5/2    orthogonal lifted from D10
ρ192-200-22000022-√2√2√2-√2-2-2000000√2-√2-√2√2    orthogonal lifted from D8
ρ202-200-22000022√2-√2-√2√2-2-2000000-√2√2√2-√2    orthogonal lifted from D8
ρ212-2002-2000022√2-√2√2-√2-2-2000000-√2√2√2-√2    orthogonal lifted from D8
ρ222-2002-2000022-√2√2-√2√2-2-2000000√2-√2-√2√2    orthogonal lifted from D8
ρ2344000000-40-1+√5-1-√50000-1-√5-1+√500001+√51-√50000    orthogonal lifted from D4xD5
ρ2444000000-40-1-√5-1+√50000-1+√5-1-√500001-√51+√50000    orthogonal lifted from D4xD5
ρ254-400000000-1+√5-1-√5-2√22√2001+√51-√5000000ζ87ζ54+ζ87ζ5-ζ85ζ54-ζ85ζ5ζ83ζ53+ζ83ζ52-ζ8ζ53-ζ8ζ52ζ83ζ54+ζ83ζ5-ζ8ζ54-ζ8ζ5-ζ83ζ53-ζ83ζ52+ζ8ζ53+ζ8ζ52    orthogonal faithful
ρ264-400000000-1-√5-1+√52√2-2√2001-√51+√5000000ζ83ζ53+ζ83ζ52-ζ8ζ53-ζ8ζ52ζ87ζ54+ζ87ζ5-ζ85ζ54-ζ85ζ5-ζ83ζ53-ζ83ζ52+ζ8ζ53+ζ8ζ52ζ83ζ54+ζ83ζ5-ζ8ζ54-ζ8ζ5    orthogonal faithful
ρ274-400000000-1-√5-1+√5-2√22√2001-√51+√5000000-ζ83ζ53-ζ83ζ52+ζ8ζ53+ζ8ζ52ζ83ζ54+ζ83ζ5-ζ8ζ54-ζ8ζ5ζ83ζ53+ζ83ζ52-ζ8ζ53-ζ8ζ52ζ87ζ54+ζ87ζ5-ζ85ζ54-ζ85ζ5    orthogonal faithful
ρ284-400000000-1+√5-1-√52√2-2√2001+√51-√5000000ζ83ζ54+ζ83ζ5-ζ8ζ54-ζ8ζ5-ζ83ζ53-ζ83ζ52+ζ8ζ53+ζ8ζ52ζ87ζ54+ζ87ζ5-ζ85ζ54-ζ85ζ5ζ83ζ53+ζ83ζ52-ζ8ζ53-ζ8ζ52    orthogonal faithful

Smallest permutation representation of D5xD8
►On 40 points
Generators in S40
(1 18 10 39 27)(2 19 11 40 28)(3 20 12 33 29)(4 21 13 34 30)(5 22 14 35 31)(6 23 15 36 32)(7 24 16 37 25)(8 17 9 38 26)

(1 27)(2 28)(3 29)(4 30)(5 31)(6 32)(7 25)(8 26)(17 38)(18 39)(19 40)(20 33)(21 34)(22 35)(23 36)(24 37)

(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)(33 34 35 36 37 38 39 40)

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

D5xD8 is a maximal subgroup of
 D5.D16  D40.C4  D16:D5  C16:D10  D40:C4  D8:13D10  D8:15D10  D8:5D10  C40:5D6  D15:D8
D5xD8 is a maximal quotient of
 Dic5:4D8  Dic5.14D8  Dic5.5D8  D4:D20  D10.12D8  D10:D8  D20:3D4  D40:12C4  C40:2Q8  D10.13D8  C8:7D20  D20:2Q8  D16:D5  D16:3D5  C16:D10  SD32:D5  SD32:3D5  Q32:D5  D80:5C2  Dic5:D8  C40:5D4  D20:D4  C40:6D4  C40:5D6  D15:D8

Matrix representation of D5xD8 ►in GL4(F41) generated by

40100
53500
0010
0001
,
40000
5100
0010
0001
,
1000
0100
001229
001212
,
1000
0100
0010
00040
G:=sub<GL(4,GF(41))| [40,5,0,0,1,35,0,0,0,0,1,0,0,0,0,1],[40,5,0,0,0,1,0,0,0,0,1,0,0,0,0,1],[1,0,0,0,0,1,0,0,0,0,12,12,0,0,29,12],[1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,40] >;
 

D5xD8 in GAP, Magma, Sage, TeX 

D_5\times D_8
 
% in TeX
 
G:=Group("D5xD8");
 
// GroupNames label
 
G:=SmallGroup(160,131);
 
// by ID
 
G=gap.SmallGroup(160,131);
 
# by ID
 
G:=PCGroup([6,-2,-2,-2,-2,-2,-5,116,297,159,69,4613]);
 
// Polycyclic
 
G:=Group<a,b,c,d|a^5=b^2=c^8=d^2=1,b*a*b=a^-1,a*c=c*a,a*d=d*a,b*c=c*b,b*d=d*b,d*c*d=c^-1>;
 
// generators/relations
 

Export

Character table of D5xD8 in TeX

׿
x
:
Z
F
o
wr
Q
<