p-group, metabelian, nilpotent (class 4), monomial
Aliases: D8⋊3Q8, Q16⋊3Q8, C8.10SD16, C42.151D4, M5(2).6C22, C8.Q8⋊3C2, C8.1(C2×Q8), C8⋊3Q8⋊3C2, C8○D8.5C2, C8.C8⋊4C2, (C2×C8).133D4, D8⋊2C4.1C2, C8.80(C4○D4), C4.67(C2×SD16), (C2×C8).241C23, C4.Q8.3C22, (C4×C8).165C22, C4○D8.21C22, C4.51(C22⋊Q8), C2.12(D4⋊2Q8), C22.27(C8⋊C22), C8.C4.21C22, (C2×C4).283(C2×D4), SmallGroup(128,962)
Series: Derived ►Chief ►Lower central ►Upper central ►Jennings
Generators and relations for D8⋊3Q8
G = < a,b,c,d | a8=b2=c4=1, d2=c2, bab=a-1, ac=ca, dad-1=a3, cbc-1=a2b, dbd-1=a5b, dcd-1=c-1 >
Subgroups: 148 in 63 conjugacy classes, 30 normal (22 characteristic)
C1, C2, C2, C4, C4, C22, C22, C8, C8, C2×C4, C2×C4, D4, Q8, C16, C42, C4⋊C4, C2×C8, C2×C8, M4(2), D8, SD16, Q16, C2×Q8, C4○D4, C4×C8, C4≀C2, C4.Q8, C4.Q8, C8.C4, M5(2), C4⋊Q8, C8○D4, C4○D8, D8⋊2C4, C8.C8, C8.Q8, C8○D8, C8⋊3Q8, D8⋊3Q8
Quotients: C1, C2, C22, D4, Q8, C23, SD16, C2×D4, C2×Q8, C4○D4, C22⋊Q8, C2×SD16, C8⋊C22, D4⋊2Q8, D8⋊3Q8
Character table of D8⋊3Q8
class | 1 | 2A | 2B | 2C | 4A | 4B | 4C | 4D | 4E | 4F | 4G | 8A | 8B | 8C | 8D | 8E | 8F | 8G | 8H | 16A | 16B | 16C | 16D | |
size | 1 | 1 | 2 | 8 | 2 | 2 | 4 | 4 | 8 | 16 | 16 | 2 | 2 | 2 | 2 | 4 | 4 | 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 | 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 | 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 | 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 | linear of order 2 |
ρ5 | 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 |
ρ6 | 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 |
ρ7 | 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 |
ρ8 | 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 |
ρ9 | 2 | 2 | 2 | 0 | 2 | 2 | -2 | -2 | 0 | 0 | 0 | -2 | -2 | 2 | 2 | -2 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | orthogonal lifted from D4 |
ρ10 | 2 | 2 | 2 | 0 | 2 | 2 | 2 | 2 | 0 | 0 | 0 | -2 | -2 | -2 | -2 | -2 | -2 | 0 | 0 | 0 | 0 | 0 | 0 | orthogonal lifted from D4 |
ρ11 | 2 | 2 | -2 | 2 | -2 | 2 | 0 | 0 | -2 | 0 | 0 | -2 | -2 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | symplectic lifted from Q8, Schur index 2 |
ρ12 | 2 | 2 | -2 | -2 | -2 | 2 | 0 | 0 | 2 | 0 | 0 | -2 | -2 | 0 | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | symplectic lifted from Q8, Schur index 2 |
ρ13 | 2 | 2 | -2 | 0 | -2 | 2 | 0 | 0 | 0 | 0 | 0 | 2 | 2 | 0 | 0 | -2 | 0 | 2i | -2i | 0 | 0 | 0 | 0 | complex lifted from C4○D4 |
ρ14 | 2 | 2 | -2 | 0 | -2 | 2 | 0 | 0 | 0 | 0 | 0 | 2 | 2 | 0 | 0 | -2 | 0 | -2i | 2i | 0 | 0 | 0 | 0 | complex lifted from C4○D4 |
ρ15 | 2 | 2 | -2 | 0 | 2 | -2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -2 | -2 | 0 | 2 | 0 | 0 | -√-2 | -√-2 | √-2 | √-2 | complex lifted from SD16 |
ρ16 | 2 | 2 | -2 | 0 | 2 | -2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 2 | 0 | -2 | 0 | 0 | √-2 | -√-2 | √-2 | -√-2 | complex lifted from SD16 |
ρ17 | 2 | 2 | -2 | 0 | 2 | -2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 2 | 0 | -2 | 0 | 0 | -√-2 | √-2 | -√-2 | √-2 | complex lifted from SD16 |
ρ18 | 2 | 2 | -2 | 0 | 2 | -2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -2 | -2 | 0 | 2 | 0 | 0 | √-2 | √-2 | -√-2 | -√-2 | complex lifted from SD16 |
ρ19 | 4 | 4 | 4 | 0 | -4 | -4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | orthogonal lifted from C8⋊C22 |
ρ20 | 4 | -4 | 0 | 0 | 0 | 0 | -2 | 2 | 0 | 0 | 0 | -2√-2 | 2√-2 | 2√-2 | -2√-2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | complex faithful |
ρ21 | 4 | -4 | 0 | 0 | 0 | 0 | -2 | 2 | 0 | 0 | 0 | 2√-2 | -2√-2 | -2√-2 | 2√-2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | complex faithful |
ρ22 | 4 | -4 | 0 | 0 | 0 | 0 | 2 | -2 | 0 | 0 | 0 | 2√-2 | -2√-2 | 2√-2 | -2√-2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | complex faithful |
ρ23 | 4 | -4 | 0 | 0 | 0 | 0 | 2 | -2 | 0 | 0 | 0 | -2√-2 | 2√-2 | -2√-2 | 2√-2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | complex faithful |
(1 2 3 4 5 6 7 8)(9 10 11 12 13 14 15 16)
(1 16)(2 15)(3 14)(4 13)(5 12)(6 11)(7 10)(8 9)
(1 5)(2 6)(3 7)(4 8)(9 15 13 11)(10 16 14 12)
(2 4)(3 7)(6 8)(9 10 13 14)(11 16 15 12)
G:=sub<Sym(16)| (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16), (1,16)(2,15)(3,14)(4,13)(5,12)(6,11)(7,10)(8,9), (1,5)(2,6)(3,7)(4,8)(9,15,13,11)(10,16,14,12), (2,4)(3,7)(6,8)(9,10,13,14)(11,16,15,12)>;
G:=Group( (1,2,3,4,5,6,7,8)(9,10,11,12,13,14,15,16), (1,16)(2,15)(3,14)(4,13)(5,12)(6,11)(7,10)(8,9), (1,5)(2,6)(3,7)(4,8)(9,15,13,11)(10,16,14,12), (2,4)(3,7)(6,8)(9,10,13,14)(11,16,15,12) );
G=PermutationGroup([[(1,2,3,4,5,6,7,8),(9,10,11,12,13,14,15,16)], [(1,16),(2,15),(3,14),(4,13),(5,12),(6,11),(7,10),(8,9)], [(1,5),(2,6),(3,7),(4,8),(9,15,13,11),(10,16,14,12)], [(2,4),(3,7),(6,8),(9,10,13,14),(11,16,15,12)]])
G:=TransitiveGroup(16,351);
Matrix representation of D8⋊3Q8 ►in GL4(𝔽3) generated by
1 | 0 | 0 | 2 |
0 | 2 | 1 | 0 |
0 | 2 | 2 | 0 |
1 | 0 | 0 | 1 |
0 | 1 | 2 | 0 |
2 | 0 | 0 | 1 |
1 | 0 | 0 | 1 |
0 | 2 | 2 | 0 |
0 | 0 | 0 | 1 |
0 | 1 | 0 | 0 |
0 | 0 | 1 | 0 |
2 | 0 | 0 | 0 |
1 | 0 | 0 | 1 |
0 | 1 | 0 | 0 |
0 | 0 | 2 | 0 |
1 | 0 | 0 | 2 |
G:=sub<GL(4,GF(3))| [1,0,0,1,0,2,2,0,0,1,2,0,2,0,0,1],[0,2,1,0,1,0,0,2,2,0,0,2,0,1,1,0],[0,0,0,2,0,1,0,0,0,0,1,0,1,0,0,0],[1,0,0,1,0,1,0,0,0,0,2,0,1,0,0,2] >;
D8⋊3Q8 in GAP, Magma, Sage, TeX
D_8\rtimes_3Q_8
% in TeX
G:=Group("D8:3Q8");
// GroupNames label
G:=SmallGroup(128,962);
// by ID
G=gap.SmallGroup(128,962);
# by ID
G:=PCGroup([7,-2,2,2,-2,2,-2,-2,280,141,64,422,2019,248,1684,998,102,4037,1027,124]);
// Polycyclic
G:=Group<a,b,c,d|a^8=b^2=c^4=1,d^2=c^2,b*a*b=a^-1,a*c=c*a,d*a*d^-1=a^3,c*b*c^-1=a^2*b,d*b*d^-1=a^5*b,d*c*d^-1=c^-1>;
// generators/relations
Export