p-group, metabelian, nilpotent (class 2), monomial
Aliases: Q8⋊3Q8, C22.51C24, C42.52C22, C2.142- 1+4, Q8○3(C4⋊C4), C4⋊Q8.13C2, (C4×Q8).9C2, C4.18(C2×Q8), C4.46(C4○D4), C4⋊C4.38C22, (C2×C4).58C23, C42.C2.6C2, C2.11(C22×Q8), (C2×Q8).66C22, C2.30(C2×C4○D4), SmallGroup(64,238)
Series: Derived ►Chief ►Lower central ►Upper central ►Jennings
Generators and relations for Q8⋊3Q8
G = < a,b,c,d | a4=c4=1, b2=a2, d2=c2, bab-1=a-1, ac=ca, ad=da, bc=cb, dbd-1=a2b, dcd-1=c-1 >
Subgroups: 117 in 100 conjugacy classes, 83 normal (10 characteristic)
C1, C2, C4, C4, C22, C2×C4, C2×C4, Q8, Q8, C42, C4⋊C4, C4⋊C4, C2×Q8, C2×Q8, C4×Q8, C4×Q8, C42.C2, C4⋊Q8, Q8⋊3Q8
Quotients: C1, C2, C22, Q8, C23, C2×Q8, C4○D4, C24, C22×Q8, C2×C4○D4, 2- 1+4, Q8⋊3Q8
Character table of Q8⋊3Q8
| class | 1 | 2A | 2B | 2C | 4A | 4B | 4C | 4D | 4E | 4F | 4G | 4H | 4I | 4J | 4K | 4L | 4M | 4N | 4O | 4P | 4Q | 4R | 4S | 4T | 4U | |
| size | 1 | 1 | 1 | 1 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 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 | 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 | 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 |
| ρ10 | 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 |
| ρ11 | 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 |
| ρ12 | 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 |
| ρ13 | 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 |
| ρ14 | 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 |
| ρ15 | 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 |
| ρ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 | linear of order 2 |
| ρ17 | 2 | -2 | 2 | -2 | 0 | 0 | 0 | -2 | 0 | 2 | 2 | 0 | -2 | 2 | 0 | -2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | symplectic lifted from Q8, Schur index 2 |
| ρ18 | 2 | -2 | 2 | -2 | 0 | 0 | 0 | 2 | 0 | -2 | -2 | 0 | 2 | 2 | 0 | -2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | symplectic lifted from Q8, Schur index 2 |
| ρ19 | 2 | -2 | 2 | -2 | 0 | 0 | 0 | 2 | 0 | 2 | -2 | 0 | -2 | -2 | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | symplectic lifted from Q8, Schur index 2 |
| ρ20 | 2 | -2 | 2 | -2 | 0 | 0 | 0 | -2 | 0 | -2 | 2 | 0 | 2 | -2 | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | symplectic lifted from Q8, Schur index 2 |
| ρ21 | 2 | 2 | -2 | -2 | -2i | -2i | 2i | 0 | -2 | 0 | 0 | 2 | 0 | 0 | 2i | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | complex lifted from C4○D4 |
| ρ22 | 2 | 2 | -2 | -2 | 2i | -2i | -2i | 0 | 2 | 0 | 0 | -2 | 0 | 0 | 2i | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | complex lifted from C4○D4 |
| ρ23 | 2 | 2 | -2 | -2 | -2i | 2i | 2i | 0 | 2 | 0 | 0 | -2 | 0 | 0 | -2i | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | complex lifted from C4○D4 |
| ρ24 | 2 | 2 | -2 | -2 | 2i | 2i | -2i | 0 | -2 | 0 | 0 | 2 | 0 | 0 | -2i | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | complex lifted from C4○D4 |
| ρ25 | 4 | -4 | -4 | 4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | symplectic lifted from 2- 1+4, Schur index 2 |
►Regular action on 64 points
(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)(41 42 43 44)(45 46 47 48)(49 50 51 52)(53 54 55 56)(57 58 59 60)(61 62 63 64)
(1 24 3 22)(2 23 4 21)(5 48 7 46)(6 47 8 45)(9 27 11 25)(10 26 12 28)(13 35 15 33)(14 34 16 36)(17 31 19 29)(18 30 20 32)(37 59 39 57)(38 58 40 60)(41 55 43 53)(42 54 44 56)(49 61 51 63)(50 64 52 62)
(1 14 12 20)(2 15 9 17)(3 16 10 18)(4 13 11 19)(5 54 62 58)(6 55 63 59)(7 56 64 60)(8 53 61 57)(21 35 25 29)(22 36 26 30)(23 33 27 31)(24 34 28 32)(37 45 41 51)(38 46 42 52)(39 47 43 49)(40 48 44 50)
(1 38 12 42)(2 39 9 43)(3 40 10 44)(4 37 11 41)(5 36 62 30)(6 33 63 31)(7 34 64 32)(8 35 61 29)(13 51 19 45)(14 52 20 46)(15 49 17 47)(16 50 18 48)(21 57 25 53)(22 58 26 54)(23 59 27 55)(24 60 28 56)
G:=sub<Sym(64)| (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)(41,42,43,44)(45,46,47,48)(49,50,51,52)(53,54,55,56)(57,58,59,60)(61,62,63,64), (1,24,3,22)(2,23,4,21)(5,48,7,46)(6,47,8,45)(9,27,11,25)(10,26,12,28)(13,35,15,33)(14,34,16,36)(17,31,19,29)(18,30,20,32)(37,59,39,57)(38,58,40,60)(41,55,43,53)(42,54,44,56)(49,61,51,63)(50,64,52,62), (1,14,12,20)(2,15,9,17)(3,16,10,18)(4,13,11,19)(5,54,62,58)(6,55,63,59)(7,56,64,60)(8,53,61,57)(21,35,25,29)(22,36,26,30)(23,33,27,31)(24,34,28,32)(37,45,41,51)(38,46,42,52)(39,47,43,49)(40,48,44,50), (1,38,12,42)(2,39,9,43)(3,40,10,44)(4,37,11,41)(5,36,62,30)(6,33,63,31)(7,34,64,32)(8,35,61,29)(13,51,19,45)(14,52,20,46)(15,49,17,47)(16,50,18,48)(21,57,25,53)(22,58,26,54)(23,59,27,55)(24,60,28,56)>;
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)(25,26,27,28)(29,30,31,32)(33,34,35,36)(37,38,39,40)(41,42,43,44)(45,46,47,48)(49,50,51,52)(53,54,55,56)(57,58,59,60)(61,62,63,64), (1,24,3,22)(2,23,4,21)(5,48,7,46)(6,47,8,45)(9,27,11,25)(10,26,12,28)(13,35,15,33)(14,34,16,36)(17,31,19,29)(18,30,20,32)(37,59,39,57)(38,58,40,60)(41,55,43,53)(42,54,44,56)(49,61,51,63)(50,64,52,62), (1,14,12,20)(2,15,9,17)(3,16,10,18)(4,13,11,19)(5,54,62,58)(6,55,63,59)(7,56,64,60)(8,53,61,57)(21,35,25,29)(22,36,26,30)(23,33,27,31)(24,34,28,32)(37,45,41,51)(38,46,42,52)(39,47,43,49)(40,48,44,50), (1,38,12,42)(2,39,9,43)(3,40,10,44)(4,37,11,41)(5,36,62,30)(6,33,63,31)(7,34,64,32)(8,35,61,29)(13,51,19,45)(14,52,20,46)(15,49,17,47)(16,50,18,48)(21,57,25,53)(22,58,26,54)(23,59,27,55)(24,60,28,56) );
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),(25,26,27,28),(29,30,31,32),(33,34,35,36),(37,38,39,40),(41,42,43,44),(45,46,47,48),(49,50,51,52),(53,54,55,56),(57,58,59,60),(61,62,63,64)], [(1,24,3,22),(2,23,4,21),(5,48,7,46),(6,47,8,45),(9,27,11,25),(10,26,12,28),(13,35,15,33),(14,34,16,36),(17,31,19,29),(18,30,20,32),(37,59,39,57),(38,58,40,60),(41,55,43,53),(42,54,44,56),(49,61,51,63),(50,64,52,62)], [(1,14,12,20),(2,15,9,17),(3,16,10,18),(4,13,11,19),(5,54,62,58),(6,55,63,59),(7,56,64,60),(8,53,61,57),(21,35,25,29),(22,36,26,30),(23,33,27,31),(24,34,28,32),(37,45,41,51),(38,46,42,52),(39,47,43,49),(40,48,44,50)], [(1,38,12,42),(2,39,9,43),(3,40,10,44),(4,37,11,41),(5,36,62,30),(6,33,63,31),(7,34,64,32),(8,35,61,29),(13,51,19,45),(14,52,20,46),(15,49,17,47),(16,50,18,48),(21,57,25,53),(22,58,26,54),(23,59,27,55),(24,60,28,56)]])
Q8⋊3Q8 is a maximal subgroup of
Q8⋊6SD16 Q8.Q16 Q8⋊4Q16 Q8.SD16 Q8⋊9SD16 Q8⋊6Q16 C42.73C23 C42.75C23 Q8×C4○D4 C22.69C25 C22.93C25 C22.105C25 C22.106C25 C22.113C25 SL2(𝔽3)⋊3Q8
C2p.2- 1+4: Q8⋊7SD16 Q8⋊5Q16 C42.505C23 C42.506C23 C42.509C23 C42.512C23 C42.513C23 C42.515C23 ...
Q8⋊3Q8 is a maximal quotient of
Q8×C4⋊C4 C23.233C24 C23.237C24 C23.247C24 C23.252C24 C23.346C24 C23.351C24 C23.353C24 C23.362C24 C23.406C24 C23.408C24 C23.409C24 C23.411C24 C23.420C24 C42⋊6Q8 C42.35Q8 C23.485C24 C23.488C24 C23.490C24 C23.613C24 C23.626C24 C23.655C24 C23.674C24 C23.691C24 C23.699C24 C23.702C24 C23.705C24 C23.706C24 C23.709C24
C42.D2p: C42.169D4 C42.174D4 C42.177D4 C42.179D4 C42.180D4 C42.181D4 Dic6⋊10Q8 Q8⋊6Dic6 ...
Matrix representation of Q8⋊3Q8 ►in GL4(𝔽5) generated by
| 1 | 0 | 0 | 0 |
| 0 | 1 | 0 | 0 |
| 0 | 0 | 2 | 0 |
| 0 | 0 | 2 | 3 |
| 4 | 0 | 0 | 0 |
| 0 | 4 | 0 | 0 |
| 0 | 0 | 1 | 3 |
| 0 | 0 | 1 | 4 |
| 2 | 0 | 0 | 0 |
| 3 | 3 | 0 | 0 |
| 0 | 0 | 4 | 0 |
| 0 | 0 | 0 | 4 |
| 4 | 3 | 0 | 0 |
| 1 | 1 | 0 | 0 |
| 0 | 0 | 1 | 0 |
| 0 | 0 | 1 | 4 |
G:=sub<GL(4,GF(5))| [1,0,0,0,0,1,0,0,0,0,2,2,0,0,0,3],[4,0,0,0,0,4,0,0,0,0,1,1,0,0,3,4],[2,3,0,0,0,3,0,0,0,0,4,0,0,0,0,4],[4,1,0,0,3,1,0,0,0,0,1,1,0,0,0,4] >;
Q8⋊3Q8 in GAP, Magma, Sage, TeX
Q_8\rtimes_3Q_8
% in TeX
G:=Group("Q8:3Q8"); // GroupNames label
G:=SmallGroup(64,238);
// by ID
G=gap.SmallGroup(64,238);
# by ID
G:=PCGroup([6,-2,2,2,2,-2,2,192,217,103,650,158,297,69]);
// Polycyclic
G:=Group<a,b,c,d|a^4=c^4=1,b^2=a^2,d^2=c^2,b*a*b^-1=a^-1,a*c=c*a,a*d=d*a,b*c=c*b,d*b*d^-1=a^2*b,d*c*d^-1=c^-1>;
// generators/relations
Export