direct product, non-abelian, soluble, monomial, rational
Aliases: Q8xS4, C22:(S3xQ8), A4:Q8:4C2, A4:2(C2xQ8), (Q8xA4):2C2, (C4xS4).1C2, C4.10(C2xS4), (C22xQ8):5S3, (C22xC4).6D6, A4:C4.4C22, (C4xA4).6C22, (C2xA4).7C23, (C2xS4).5C22, C2.11(C22xS4), C23.7(C22xS3), SmallGroup(192,1477)
Series: Derived ►Chief ►Lower central ►Upper central
Generators and relations for Q8xS4
G = < a,b,c,d,e,f | a4=c2=d2=e3=f2=1, b2=a2, bab-1=a-1, ac=ca, ad=da, ae=ea, af=fa, bc=cb, bd=db, be=eb, bf=fb, ece-1=fcf=cd=dc, ede-1=c, df=fd, fef=e-1 >
Subgroups: 506 in 156 conjugacy classes, 31 normal (11 characteristic)
C1, C2, C2, C3, C4, C4, C22, C22, S3, C6, C2xC4, D4, Q8, Q8, C23, C23, Dic3, C12, A4, D6, C42, C22:C4, C4:C4, C22xC4, C22xC4, C2xD4, C2xQ8, Dic6, C4xS3, C3xQ8, S4, C2xA4, C4xD4, C4xQ8, C22:Q8, C4:Q8, C22xQ8, C22xQ8, A4:C4, C4xA4, S3xQ8, C2xS4, D4xQ8, A4:Q8, C4xS4, Q8xA4, Q8xS4
Quotients: C1, C2, C22, S3, Q8, C23, D6, C2xQ8, S4, C22xS3, S3xQ8, C2xS4, C22xS4, Q8xS4
Character table of Q8xS4
class | 1 | 2A | 2B | 2C | 2D | 2E | 3 | 4A | 4B | 4C | 4D | 4E | 4F | 4G | 4H | 4I | 4J | 4K | 4L | 4M | 4N | 6 | 12A | 12B | 12C | |
size | 1 | 1 | 3 | 3 | 6 | 6 | 8 | 2 | 2 | 2 | 6 | 6 | 6 | 6 | 6 | 12 | 12 | 12 | 12 | 12 | 12 | 8 | 16 | 16 | 16 | |
ρ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 | 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 | 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 | 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 | -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 | -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 | -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 | -1 | -1 | linear of order 2 |
ρ9 | 2 | 2 | 2 | 2 | 0 | 0 | -1 | 2 | -2 | -2 | -2 | -2 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 | -1 | 1 | 1 | orthogonal lifted from D6 |
ρ10 | 2 | 2 | 2 | 2 | 0 | 0 | -1 | -2 | -2 | 2 | -2 | 2 | -2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 | 1 | -1 | 1 | orthogonal lifted from D6 |
ρ11 | 2 | 2 | 2 | 2 | 0 | 0 | -1 | 2 | 2 | 2 | 2 | 2 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 | -1 | -1 | -1 | orthogonal lifted from S3 |
ρ12 | 2 | 2 | 2 | 2 | 0 | 0 | -1 | -2 | 2 | -2 | 2 | -2 | -2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 | 1 | 1 | -1 | orthogonal lifted from D6 |
ρ13 | 2 | -2 | 2 | -2 | 2 | -2 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | -2 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | -2 | 0 | 0 | 0 | symplectic lifted from Q8, Schur index 2 |
ρ14 | 2 | -2 | 2 | -2 | -2 | 2 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | -2 | 0 | 0 | 0 | 0 | 0 | 0 | -2 | 0 | 0 | 0 | symplectic lifted from Q8, Schur index 2 |
ρ15 | 3 | 3 | -1 | -1 | 1 | 1 | 0 | 3 | 3 | 3 | -1 | -1 | -1 | -1 | -1 | -1 | -1 | 1 | -1 | 1 | 1 | 0 | 0 | 0 | 0 | orthogonal lifted from S4 |
ρ16 | 3 | 3 | -1 | -1 | -1 | -1 | 0 | -3 | 3 | -3 | -1 | 1 | 1 | 1 | 1 | -1 | -1 | -1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | orthogonal lifted from C2xS4 |
ρ17 | 3 | 3 | -1 | -1 | 1 | 1 | 0 | 3 | -3 | -3 | 1 | 1 | -1 | -1 | -1 | -1 | 1 | -1 | 1 | 1 | -1 | 0 | 0 | 0 | 0 | orthogonal lifted from C2xS4 |
ρ18 | 3 | 3 | -1 | -1 | -1 | -1 | 0 | -3 | -3 | 3 | 1 | -1 | 1 | 1 | 1 | -1 | 1 | 1 | -1 | 1 | -1 | 0 | 0 | 0 | 0 | orthogonal lifted from C2xS4 |
ρ19 | 3 | 3 | -1 | -1 | -1 | -1 | 0 | 3 | 3 | 3 | -1 | -1 | -1 | 1 | 1 | 1 | 1 | -1 | 1 | -1 | -1 | 0 | 0 | 0 | 0 | orthogonal lifted from S4 |
ρ20 | 3 | 3 | -1 | -1 | 1 | 1 | 0 | -3 | 3 | -3 | -1 | 1 | 1 | -1 | -1 | 1 | 1 | 1 | -1 | -1 | -1 | 0 | 0 | 0 | 0 | orthogonal lifted from C2xS4 |
ρ21 | 3 | 3 | -1 | -1 | -1 | -1 | 0 | 3 | -3 | -3 | 1 | 1 | -1 | 1 | 1 | 1 | -1 | 1 | -1 | -1 | 1 | 0 | 0 | 0 | 0 | orthogonal lifted from C2xS4 |
ρ22 | 3 | 3 | -1 | -1 | 1 | 1 | 0 | -3 | -3 | 3 | 1 | -1 | 1 | -1 | -1 | 1 | -1 | -1 | 1 | -1 | 1 | 0 | 0 | 0 | 0 | orthogonal lifted from C2xS4 |
ρ23 | 4 | -4 | 4 | -4 | 0 | 0 | -2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | symplectic lifted from S3xQ8, Schur index 2 |
ρ24 | 6 | -6 | -2 | 2 | 2 | -2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | -2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | symplectic faithful, Schur index 2 |
ρ25 | 6 | -6 | -2 | 2 | -2 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -2 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | symplectic faithful, Schur index 2 |
(1 2 3 4)(5 6 7 8)(9 10 11 12)(13 14 15 16)(17 18 19 20)(21 22 23 24)
(1 23 3 21)(2 22 4 24)(5 16 7 14)(6 15 8 13)(9 17 11 19)(10 20 12 18)
(1 3)(2 4)(9 11)(10 12)(17 19)(18 20)(21 23)(22 24)
(5 7)(6 8)(9 11)(10 12)(13 15)(14 16)(17 19)(18 20)
(1 9 16)(2 10 13)(3 11 14)(4 12 15)(5 21 19)(6 22 20)(7 23 17)(8 24 18)
(1 3)(2 4)(5 17)(6 18)(7 19)(8 20)(9 14)(10 15)(11 16)(12 13)(21 23)(22 24)
G:=sub<Sym(24)| (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24), (1,23,3,21)(2,22,4,24)(5,16,7,14)(6,15,8,13)(9,17,11,19)(10,20,12,18), (1,3)(2,4)(9,11)(10,12)(17,19)(18,20)(21,23)(22,24), (5,7)(6,8)(9,11)(10,12)(13,15)(14,16)(17,19)(18,20), (1,9,16)(2,10,13)(3,11,14)(4,12,15)(5,21,19)(6,22,20)(7,23,17)(8,24,18), (1,3)(2,4)(5,17)(6,18)(7,19)(8,20)(9,14)(10,15)(11,16)(12,13)(21,23)(22,24)>;
G:=Group( (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24), (1,23,3,21)(2,22,4,24)(5,16,7,14)(6,15,8,13)(9,17,11,19)(10,20,12,18), (1,3)(2,4)(9,11)(10,12)(17,19)(18,20)(21,23)(22,24), (5,7)(6,8)(9,11)(10,12)(13,15)(14,16)(17,19)(18,20), (1,9,16)(2,10,13)(3,11,14)(4,12,15)(5,21,19)(6,22,20)(7,23,17)(8,24,18), (1,3)(2,4)(5,17)(6,18)(7,19)(8,20)(9,14)(10,15)(11,16)(12,13)(21,23)(22,24) );
G=PermutationGroup([[(1,2,3,4),(5,6,7,8),(9,10,11,12),(13,14,15,16),(17,18,19,20),(21,22,23,24)], [(1,23,3,21),(2,22,4,24),(5,16,7,14),(6,15,8,13),(9,17,11,19),(10,20,12,18)], [(1,3),(2,4),(9,11),(10,12),(17,19),(18,20),(21,23),(22,24)], [(5,7),(6,8),(9,11),(10,12),(13,15),(14,16),(17,19),(18,20)], [(1,9,16),(2,10,13),(3,11,14),(4,12,15),(5,21,19),(6,22,20),(7,23,17),(8,24,18)], [(1,3),(2,4),(5,17),(6,18),(7,19),(8,20),(9,14),(10,15),(11,16),(12,13),(21,23),(22,24)]])
G:=TransitiveGroup(24,321);
Matrix representation of Q8xS4 ►in GL5(F13)
0 | 5 | 0 | 0 | 0 |
5 | 0 | 0 | 0 | 0 |
0 | 0 | 12 | 0 | 0 |
0 | 0 | 0 | 12 | 0 |
0 | 0 | 0 | 0 | 12 |
0 | 12 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 |
0 | 0 | 0 | 1 | 0 |
0 | 0 | 0 | 0 | 1 |
1 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 |
0 | 0 | 0 | 12 | 1 |
0 | 0 | 0 | 12 | 0 |
0 | 0 | 1 | 12 | 0 |
1 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 12 |
0 | 0 | 1 | 0 | 12 |
0 | 0 | 0 | 0 | 12 |
1 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 |
0 | 0 | 12 | 1 | 0 |
0 | 0 | 12 | 0 | 0 |
0 | 0 | 12 | 0 | 1 |
12 | 0 | 0 | 0 | 0 |
0 | 12 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 |
0 | 0 | 1 | 0 | 0 |
0 | 0 | 0 | 0 | 1 |
G:=sub<GL(5,GF(13))| [0,5,0,0,0,5,0,0,0,0,0,0,12,0,0,0,0,0,12,0,0,0,0,0,12],[0,1,0,0,0,12,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,1],[1,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,12,12,12,0,0,1,0,0],[1,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,12,12,12],[1,0,0,0,0,0,1,0,0,0,0,0,12,12,12,0,0,1,0,0,0,0,0,0,1],[12,0,0,0,0,0,12,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,0,1] >;
Q8xS4 in GAP, Magma, Sage, TeX
Q_8\times S_4
% in TeX
G:=Group("Q8xS4");
// GroupNames label
G:=SmallGroup(192,1477);
// by ID
G=gap.SmallGroup(192,1477);
# by ID
G:=PCGroup([7,-2,-2,-2,-2,-3,-2,2,64,135,58,1124,4037,285,2358,475]);
// Polycyclic
G:=Group<a,b,c,d,e,f|a^4=c^2=d^2=e^3=f^2=1,b^2=a^2,b*a*b^-1=a^-1,a*c=c*a,a*d=d*a,a*e=e*a,a*f=f*a,b*c=c*b,b*d=d*b,b*e=e*b,b*f=f*b,e*c*e^-1=f*c*f=c*d=d*c,e*d*e^-1=c,d*f=f*d,f*e*f=e^-1>;
// generators/relations
Export