Copied to
clipboard

G = Q8⋊D4order 64 = 26

1st semidirect product of Q8 and D4 acting via D4/C22=C2

p-group, metabelian, nilpotent (class 3), monomial

Aliases: Q82D4, C223SD16, C23.42D4, C22⋊C88C2, C4.20(C2×D4), (C2×C4).23D4, Q8⋊C49C2, C2.9C22≀C2, (C2×SD16)⋊7C2, C4⋊D4.2C2, C4⋊C4.1C22, (C22×Q8)⋊2C2, C2.5(C2×SD16), (C2×C4).82C23, (C2×C8).27C22, (C2×D4).5C22, C22.78(C2×D4), C2.6(C8.C22), (C2×Q8).48C22, (C22×C4).43C22, SmallGroup(64,129)

Series: Derived Chief Lower central Upper central Jennings

C1C2×C4 — Q8⋊D4
C1C2C22C2×C4C22×C4C22×Q8 — Q8⋊D4
C1C2C2×C4 — Q8⋊D4
C1C22C22×C4 — Q8⋊D4
C1C2C2C2×C4 — Q8⋊D4

Generators and relations for Q8⋊D4
 G = < a,b,c,d | a4=c4=d2=1, b2=a2, bab-1=cac-1=dad=a-1, cbc-1=dbd=a-1b, dcd=c-1 >

Subgroups: 145 in 79 conjugacy classes, 31 normal (15 characteristic)
C1, C2 [×3], C2 [×3], C4 [×2], C4 [×6], C22, C22 [×2], C22 [×5], C8 [×2], C2×C4 [×2], C2×C4 [×9], D4 [×4], Q8 [×4], Q8 [×6], C23, C23, C22⋊C4, C4⋊C4, C2×C8 [×2], SD16 [×4], C22×C4, C22×C4, C2×D4, C2×D4, C2×Q8 [×2], C2×Q8 [×5], C22⋊C8, Q8⋊C4 [×2], C4⋊D4, C2×SD16 [×2], C22×Q8, Q8⋊D4
Quotients: C1, C2 [×7], C22 [×7], D4 [×6], C23, SD16 [×2], C2×D4 [×3], C22≀C2, C2×SD16, C8.C22, Q8⋊D4

Character table of Q8⋊D4

 class 12A2B2C2D2E2F4A4B4C4D4E4F4G4H8A8B8C8D
 size 1111228224444484444
ρ11111111111111111111    trivial
ρ2111111-11111111-1-1-1-1-1    linear of order 2
ρ3111111-111-1-1-11-1-11111    linear of order 2
ρ4111111111-1-1-11-11-1-1-1-1    linear of order 2
ρ51111-1-111111-1-1-1-1-1-111    linear of order 2
ρ61111-1-1-11111-1-1-1111-1-1    linear of order 2
ρ71111-1-1-111-1-11-111-1-111    linear of order 2
ρ81111-1-1111-1-11-11-111-1-1    linear of order 2
ρ92-22-2000-2200-20200000    orthogonal lifted from D4
ρ102-22-2000-220020-200000    orthogonal lifted from D4
ρ112222-2-20-2-20002000000    orthogonal lifted from D4
ρ122222220-2-2000-2000000    orthogonal lifted from D4
ρ132-22-20002-22-200000000    orthogonal lifted from D4
ρ142-22-20002-2-2200000000    orthogonal lifted from D4
ρ152-2-22-22000000000-2--2-2--2    complex lifted from SD16
ρ162-2-222-2000000000--2-2-2--2    complex lifted from SD16
ρ172-2-222-2000000000-2--2--2-2    complex lifted from SD16
ρ182-2-22-22000000000--2-2--2-2    complex lifted from SD16
ρ1944-4-4000000000000000    symplectic lifted from C8.C22, Schur index 2

Smallest permutation representation of Q8⋊D4
On 32 points
Generators in S32
(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)
(1 32 3 30)(2 31 4 29)(5 9 7 11)(6 12 8 10)(13 25 15 27)(14 28 16 26)(17 23 19 21)(18 22 20 24)
(1 20 9 14)(2 19 10 13)(3 18 11 16)(4 17 12 15)(5 27 30 23)(6 26 31 22)(7 25 32 21)(8 28 29 24)
(2 4)(5 6)(7 8)(10 12)(13 17)(14 20)(15 19)(16 18)(21 28)(22 27)(23 26)(24 25)(29 32)(30 31)

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

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), (1,32,3,30)(2,31,4,29)(5,9,7,11)(6,12,8,10)(13,25,15,27)(14,28,16,26)(17,23,19,21)(18,22,20,24), (1,20,9,14)(2,19,10,13)(3,18,11,16)(4,17,12,15)(5,27,30,23)(6,26,31,22)(7,25,32,21)(8,28,29,24), (2,4)(5,6)(7,8)(10,12)(13,17)(14,20)(15,19)(16,18)(21,28)(22,27)(23,26)(24,25)(29,32)(30,31) );

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)], [(1,32,3,30),(2,31,4,29),(5,9,7,11),(6,12,8,10),(13,25,15,27),(14,28,16,26),(17,23,19,21),(18,22,20,24)], [(1,20,9,14),(2,19,10,13),(3,18,11,16),(4,17,12,15),(5,27,30,23),(6,26,31,22),(7,25,32,21),(8,28,29,24)], [(2,4),(5,6),(7,8),(10,12),(13,17),(14,20),(15,19),(16,18),(21,28),(22,27),(23,26),(24,25),(29,32),(30,31)])

Q8⋊D4 is a maximal subgroup of
C24.103D4  C24.105D4  C42.226D4  C42.230D4  C42.235D4  C234SD16  C24.123D4  C24.126D4  C24.129D4  C4.152+ 1+4  C4.162+ 1+4  C42.269D4  C42.271D4  C42.276D4  Q83S4  C23.16S4  Q8⋊S4
 (Cp×Q8)⋊D4: C24.178D4  (C2×Q8)⋊16D4  (C2×Q8)⋊17D4  Q83D12  D68SD16  (C3×Q8)⋊13D4  Q82D20  D108SD16 ...
 C4⋊C4.D2p: C232SD16  C4⋊C4.6D4  Q8⋊D4⋊C2  C24.12D4  C42.355C23  C42.360C23  C42.407C23  C42.411C23 ...
 (C2×C2p)⋊SD16: C42.223D4  C42.264D4  Dic614D4  Dic1014D4  Dic1414D4 ...
Q8⋊D4 is a maximal quotient of
C24.155D4  (C2×C4)⋊3SD16
 Q8⋊D4p: Q83D8  Q83D12  Q82D20  Q82D28 ...
 D2p⋊SD16: D4⋊SD16  D68SD16  D108SD16  Dic147D4 ...
 (Cp×Q8)⋊D4: C23⋊SD16  C233SD16  (C3×Q8)⋊13D4  (C5×Q8)⋊13D4  (C7×Q8)⋊13D4 ...
 C4⋊C4.D2p: (C2×C4)⋊SD16  C24.14D4  (C2×C4).SD16  Q8⋊SD16  Q86SD16  D4.5SD16  Q83Q16  Q84SD16 ...
 C23.D4p: C23.38D8  Dic614D4  Dic1014D4  Dic1414D4 ...

Matrix representation of Q8⋊D4 in GL4(𝔽17) generated by

0100
16000
00160
00016
,
5500
51200
0012
00016
,
16000
0100
0012
001616
,
1000
01600
0010
001616
G:=sub<GL(4,GF(17))| [0,16,0,0,1,0,0,0,0,0,16,0,0,0,0,16],[5,5,0,0,5,12,0,0,0,0,1,0,0,0,2,16],[16,0,0,0,0,1,0,0,0,0,1,16,0,0,2,16],[1,0,0,0,0,16,0,0,0,0,1,16,0,0,0,16] >;

Q8⋊D4 in GAP, Magma, Sage, TeX

Q_8\rtimes D_4
% in TeX

G:=Group("Q8:D4");
// GroupNames label

G:=SmallGroup(64,129);
// by ID

G=gap.SmallGroup(64,129);
# by ID

G:=PCGroup([6,-2,2,2,-2,2,-2,121,199,362,963,489,117]);
// Polycyclic

G:=Group<a,b,c,d|a^4=c^4=d^2=1,b^2=a^2,b*a*b^-1=c*a*c^-1=d*a*d=a^-1,c*b*c^-1=d*b*d=a^-1*b,d*c*d=c^-1>;
// generators/relations

Export

Character table of Q8⋊D4 in TeX

׿
×
𝔽