metabelian, supersoluble, monomial, 2-hyperelementary
Aliases: Q8⋊D7, C7⋊3SD16, C14.9D4, C4.3D14, D28.2C2, C28.3C22, C7⋊C8⋊3C2, (C7×Q8)⋊1C2, C2.6(C7⋊D4), SmallGroup(112,16)
Series: Derived ►Chief ►Lower central ►Upper central
Generators and relations for Q8⋊D7
G = < a,b,c,d | a4=c7=d2=1, b2=a2, bab-1=dad=a-1, ac=ca, bc=cb, dbd=a-1b, dcd=c-1 >
Character table of Q8⋊D7
| class | 1 | 2A | 2B | 4A | 4B | 7A | 7B | 7C | 8A | 8B | 14A | 14B | 14C | 28A | 28B | 28C | 28D | 28E | 28F | 28G | 28H | 28I | |
| size | 1 | 1 | 28 | 2 | 4 | 2 | 2 | 2 | 14 | 14 | 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 | trivial |
| ρ2 | 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 | 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 | linear of order 2 |
| ρ5 | 2 | 2 | 0 | -2 | 0 | 2 | 2 | 2 | 0 | 0 | 2 | 2 | 2 | -2 | 0 | 0 | 0 | 0 | 0 | -2 | 0 | -2 | orthogonal lifted from D4 |
| ρ6 | 2 | 2 | 0 | 2 | -2 | ζ76+ζ7 | ζ74+ζ73 | ζ75+ζ72 | 0 | 0 | ζ74+ζ73 | ζ76+ζ7 | ζ75+ζ72 | ζ76+ζ7 | -ζ76-ζ7 | -ζ75-ζ72 | -ζ75-ζ72 | -ζ76-ζ7 | -ζ74-ζ73 | ζ75+ζ72 | -ζ74-ζ73 | ζ74+ζ73 | orthogonal lifted from D14 |
| ρ7 | 2 | 2 | 0 | 2 | -2 | ζ75+ζ72 | ζ76+ζ7 | ζ74+ζ73 | 0 | 0 | ζ76+ζ7 | ζ75+ζ72 | ζ74+ζ73 | ζ75+ζ72 | -ζ75-ζ72 | -ζ74-ζ73 | -ζ74-ζ73 | -ζ75-ζ72 | -ζ76-ζ7 | ζ74+ζ73 | -ζ76-ζ7 | ζ76+ζ7 | orthogonal lifted from D14 |
| ρ8 | 2 | 2 | 0 | 2 | 2 | ζ76+ζ7 | ζ74+ζ73 | ζ75+ζ72 | 0 | 0 | ζ74+ζ73 | ζ76+ζ7 | ζ75+ζ72 | ζ76+ζ7 | ζ76+ζ7 | ζ75+ζ72 | ζ75+ζ72 | ζ76+ζ7 | ζ74+ζ73 | ζ75+ζ72 | ζ74+ζ73 | ζ74+ζ73 | orthogonal lifted from D7 |
| ρ9 | 2 | 2 | 0 | 2 | 2 | ζ75+ζ72 | ζ76+ζ7 | ζ74+ζ73 | 0 | 0 | ζ76+ζ7 | ζ75+ζ72 | ζ74+ζ73 | ζ75+ζ72 | ζ75+ζ72 | ζ74+ζ73 | ζ74+ζ73 | ζ75+ζ72 | ζ76+ζ7 | ζ74+ζ73 | ζ76+ζ7 | ζ76+ζ7 | orthogonal lifted from D7 |
| ρ10 | 2 | 2 | 0 | 2 | -2 | ζ74+ζ73 | ζ75+ζ72 | ζ76+ζ7 | 0 | 0 | ζ75+ζ72 | ζ74+ζ73 | ζ76+ζ7 | ζ74+ζ73 | -ζ74-ζ73 | -ζ76-ζ7 | -ζ76-ζ7 | -ζ74-ζ73 | -ζ75-ζ72 | ζ76+ζ7 | -ζ75-ζ72 | ζ75+ζ72 | orthogonal lifted from D14 |
| ρ11 | 2 | 2 | 0 | 2 | 2 | ζ74+ζ73 | ζ75+ζ72 | ζ76+ζ7 | 0 | 0 | ζ75+ζ72 | ζ74+ζ73 | ζ76+ζ7 | ζ74+ζ73 | ζ74+ζ73 | ζ76+ζ7 | ζ76+ζ7 | ζ74+ζ73 | ζ75+ζ72 | ζ76+ζ7 | ζ75+ζ72 | ζ75+ζ72 | orthogonal lifted from D7 |
| ρ12 | 2 | 2 | 0 | -2 | 0 | ζ75+ζ72 | ζ76+ζ7 | ζ74+ζ73 | 0 | 0 | ζ76+ζ7 | ζ75+ζ72 | ζ74+ζ73 | -ζ75-ζ72 | -ζ75+ζ72 | -ζ74+ζ73 | ζ74-ζ73 | ζ75-ζ72 | ζ76-ζ7 | -ζ74-ζ73 | -ζ76+ζ7 | -ζ76-ζ7 | complex lifted from C7⋊D4 |
| ρ13 | 2 | 2 | 0 | -2 | 0 | ζ74+ζ73 | ζ75+ζ72 | ζ76+ζ7 | 0 | 0 | ζ75+ζ72 | ζ74+ζ73 | ζ76+ζ7 | -ζ74-ζ73 | ζ74-ζ73 | ζ76-ζ7 | -ζ76+ζ7 | -ζ74+ζ73 | ζ75-ζ72 | -ζ76-ζ7 | -ζ75+ζ72 | -ζ75-ζ72 | complex lifted from C7⋊D4 |
| ρ14 | 2 | 2 | 0 | -2 | 0 | ζ76+ζ7 | ζ74+ζ73 | ζ75+ζ72 | 0 | 0 | ζ74+ζ73 | ζ76+ζ7 | ζ75+ζ72 | -ζ76-ζ7 | ζ76-ζ7 | -ζ75+ζ72 | ζ75-ζ72 | -ζ76+ζ7 | ζ74-ζ73 | -ζ75-ζ72 | -ζ74+ζ73 | -ζ74-ζ73 | complex lifted from C7⋊D4 |
| ρ15 | 2 | 2 | 0 | -2 | 0 | ζ76+ζ7 | ζ74+ζ73 | ζ75+ζ72 | 0 | 0 | ζ74+ζ73 | ζ76+ζ7 | ζ75+ζ72 | -ζ76-ζ7 | -ζ76+ζ7 | ζ75-ζ72 | -ζ75+ζ72 | ζ76-ζ7 | -ζ74+ζ73 | -ζ75-ζ72 | ζ74-ζ73 | -ζ74-ζ73 | complex lifted from C7⋊D4 |
| ρ16 | 2 | 2 | 0 | -2 | 0 | ζ75+ζ72 | ζ76+ζ7 | ζ74+ζ73 | 0 | 0 | ζ76+ζ7 | ζ75+ζ72 | ζ74+ζ73 | -ζ75-ζ72 | ζ75-ζ72 | ζ74-ζ73 | -ζ74+ζ73 | -ζ75+ζ72 | -ζ76+ζ7 | -ζ74-ζ73 | ζ76-ζ7 | -ζ76-ζ7 | complex lifted from C7⋊D4 |
| ρ17 | 2 | 2 | 0 | -2 | 0 | ζ74+ζ73 | ζ75+ζ72 | ζ76+ζ7 | 0 | 0 | ζ75+ζ72 | ζ74+ζ73 | ζ76+ζ7 | -ζ74-ζ73 | -ζ74+ζ73 | -ζ76+ζ7 | ζ76-ζ7 | ζ74-ζ73 | -ζ75+ζ72 | -ζ76-ζ7 | ζ75-ζ72 | -ζ75-ζ72 | complex lifted from C7⋊D4 |
| ρ18 | 2 | -2 | 0 | 0 | 0 | 2 | 2 | 2 | √-2 | -√-2 | -2 | -2 | -2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | complex lifted from SD16 |
| ρ19 | 2 | -2 | 0 | 0 | 0 | 2 | 2 | 2 | -√-2 | √-2 | -2 | -2 | -2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | complex lifted from SD16 |
| ρ20 | 4 | -4 | 0 | 0 | 0 | 2ζ75+2ζ72 | 2ζ76+2ζ7 | 2ζ74+2ζ73 | 0 | 0 | -2ζ76-2ζ7 | -2ζ75-2ζ72 | -2ζ74-2ζ73 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | orthogonal faithful, Schur index 2 |
| ρ21 | 4 | -4 | 0 | 0 | 0 | 2ζ76+2ζ7 | 2ζ74+2ζ73 | 2ζ75+2ζ72 | 0 | 0 | -2ζ74-2ζ73 | -2ζ76-2ζ7 | -2ζ75-2ζ72 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | orthogonal faithful, Schur index 2 |
| ρ22 | 4 | -4 | 0 | 0 | 0 | 2ζ74+2ζ73 | 2ζ75+2ζ72 | 2ζ76+2ζ7 | 0 | 0 | -2ζ75-2ζ72 | -2ζ74-2ζ73 | -2ζ76-2ζ7 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | orthogonal faithful, Schur index 2 |
►On 56 points
Generators in S56
(1 27 13 20)(2 28 14 21)(3 22 8 15)(4 23 9 16)(5 24 10 17)(6 25 11 18)(7 26 12 19)(29 43 36 50)(30 44 37 51)(31 45 38 52)(32 46 39 53)(33 47 40 54)(34 48 41 55)(35 49 42 56)
(1 41 13 34)(2 42 14 35)(3 36 8 29)(4 37 9 30)(5 38 10 31)(6 39 11 32)(7 40 12 33)(15 50 22 43)(16 51 23 44)(17 52 24 45)(18 53 25 46)(19 54 26 47)(20 55 27 48)(21 56 28 49)
(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)
(1 7)(2 6)(3 5)(8 10)(11 14)(12 13)(15 24)(16 23)(17 22)(18 28)(19 27)(20 26)(21 25)(29 45)(30 44)(31 43)(32 49)(33 48)(34 47)(35 46)(36 52)(37 51)(38 50)(39 56)(40 55)(41 54)(42 53)
G:=sub<Sym(56)| (1,27,13,20)(2,28,14,21)(3,22,8,15)(4,23,9,16)(5,24,10,17)(6,25,11,18)(7,26,12,19)(29,43,36,50)(30,44,37,51)(31,45,38,52)(32,46,39,53)(33,47,40,54)(34,48,41,55)(35,49,42,56), (1,41,13,34)(2,42,14,35)(3,36,8,29)(4,37,9,30)(5,38,10,31)(6,39,11,32)(7,40,12,33)(15,50,22,43)(16,51,23,44)(17,52,24,45)(18,53,25,46)(19,54,26,47)(20,55,27,48)(21,56,28,49), (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), (1,7)(2,6)(3,5)(8,10)(11,14)(12,13)(15,24)(16,23)(17,22)(18,28)(19,27)(20,26)(21,25)(29,45)(30,44)(31,43)(32,49)(33,48)(34,47)(35,46)(36,52)(37,51)(38,50)(39,56)(40,55)(41,54)(42,53)>;
G:=Group( (1,27,13,20)(2,28,14,21)(3,22,8,15)(4,23,9,16)(5,24,10,17)(6,25,11,18)(7,26,12,19)(29,43,36,50)(30,44,37,51)(31,45,38,52)(32,46,39,53)(33,47,40,54)(34,48,41,55)(35,49,42,56), (1,41,13,34)(2,42,14,35)(3,36,8,29)(4,37,9,30)(5,38,10,31)(6,39,11,32)(7,40,12,33)(15,50,22,43)(16,51,23,44)(17,52,24,45)(18,53,25,46)(19,54,26,47)(20,55,27,48)(21,56,28,49), (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), (1,7)(2,6)(3,5)(8,10)(11,14)(12,13)(15,24)(16,23)(17,22)(18,28)(19,27)(20,26)(21,25)(29,45)(30,44)(31,43)(32,49)(33,48)(34,47)(35,46)(36,52)(37,51)(38,50)(39,56)(40,55)(41,54)(42,53) );
G=PermutationGroup([[(1,27,13,20),(2,28,14,21),(3,22,8,15),(4,23,9,16),(5,24,10,17),(6,25,11,18),(7,26,12,19),(29,43,36,50),(30,44,37,51),(31,45,38,52),(32,46,39,53),(33,47,40,54),(34,48,41,55),(35,49,42,56)], [(1,41,13,34),(2,42,14,35),(3,36,8,29),(4,37,9,30),(5,38,10,31),(6,39,11,32),(7,40,12,33),(15,50,22,43),(16,51,23,44),(17,52,24,45),(18,53,25,46),(19,54,26,47),(20,55,27,48),(21,56,28,49)], [(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)], [(1,7),(2,6),(3,5),(8,10),(11,14),(12,13),(15,24),(16,23),(17,22),(18,28),(19,27),(20,26),(21,25),(29,45),(30,44),(31,43),(32,49),(33,48),(34,47),(35,46),(36,52),(37,51),(38,50),(39,56),(40,55),(41,54),(42,53)]])
Q8⋊D7 is a maximal subgroup of
D7×SD16 D56⋊C2 Q16⋊D7 Q8.D14 C28.C23 D4⋊D14 D4.8D14 Q8⋊2F7 C28.D6 Dic6⋊D7 Q8⋊2D21 Q8⋊D21
Q8⋊D7 is a maximal quotient of
C4.Dic14 C14.D8 Q8⋊Dic7 C28.D6 Dic6⋊D7 Q8⋊2D21
Matrix representation of Q8⋊D7 ►in GL4(𝔽113) generated by
| 1 | 0 | 0 | 0 |
| 0 | 1 | 0 | 0 |
| 0 | 0 | 0 | 1 |
| 0 | 0 | 112 | 0 |
| 1 | 0 | 0 | 0 |
| 0 | 1 | 0 | 0 |
| 0 | 0 | 100 | 100 |
| 0 | 0 | 100 | 13 |
| 0 | 1 | 0 | 0 |
| 112 | 9 | 0 | 0 |
| 0 | 0 | 1 | 0 |
| 0 | 0 | 0 | 1 |
| 0 | 1 | 0 | 0 |
| 1 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 |
| 0 | 0 | 0 | 112 |
G:=sub<GL(4,GF(113))| [1,0,0,0,0,1,0,0,0,0,0,112,0,0,1,0],[1,0,0,0,0,1,0,0,0,0,100,100,0,0,100,13],[0,112,0,0,1,9,0,0,0,0,1,0,0,0,0,1],[0,1,0,0,1,0,0,0,0,0,1,0,0,0,0,112] >;
Q8⋊D7 in GAP, Magma, Sage, TeX
Q_8\rtimes D_7
% in TeX
G:=Group("Q8:D7"); // GroupNames label
G:=SmallGroup(112,16);
// by ID
G=gap.SmallGroup(112,16);
# by ID
G:=PCGroup([5,-2,-2,-2,-2,-7,61,46,182,97,42,2404]);
// Polycyclic
G:=Group<a,b,c,d|a^4=c^7=d^2=1,b^2=a^2,b*a*b^-1=d*a*d=a^-1,a*c=c*a,b*c=c*b,d*b*d=a^-1*b,d*c*d=c^-1>;
// generators/relations
Export
Subgroup lattice of Q8⋊D7 in TeX
Character table of Q8⋊D7 in TeX