metabelian, supersoluble, monomial, 2-hyperelementary
Aliases: D12⋊1D4, Dic6⋊1D4, M4(2)⋊2D6, C23.7D12, C8⋊D6⋊5C2, C4.79(S3×D4), D4⋊6D6⋊2C2, C12⋊3D4⋊1C2, C3⋊1(D4⋊4D4), (C2×D4).14D6, C4.D4⋊2S3, C12.92(C2×D4), D12⋊C4⋊2C2, C6.16C22≀C2, (C2×C12).4C23, (C22×C6).20D4, (C2×D12)⋊11C22, C4○D12.2C22, (C4×Dic3)⋊2C22, (C6×D4).14C22, C22.11(C2×D12), C2.19(D6⋊D4), (C3×M4(2))⋊9C22, (C2×C6).21(C2×D4), (C3×C4.D4)⋊4C2, (C2×C4).4(C22×S3), SmallGroup(192,306)
Series: Derived ►Chief ►Lower central ►Upper central
Generators and relations for D12⋊1D4
G = < a,b,c,d | a12=b2=c4=d2=1, bab=dad=a-1, cac-1=a5, cbc-1=ab, dbd=a7b, dcd=c-1 >
Subgroups: 656 in 168 conjugacy classes, 39 normal (17 characteristic)
C1, C2, C2, C3, C4, C4, C22, C22, S3, C6, C6, C8, C2×C4, C2×C4, D4, Q8, C23, C23, Dic3, C12, D6, C2×C6, C2×C6, C42, M4(2), D8, SD16, C2×D4, C2×D4, C4○D4, C24, Dic6, C4×S3, D12, D12, C2×Dic3, C3⋊D4, C2×C12, C3×D4, C22×S3, C22×C6, C4.D4, C4≀C2, C4⋊1D4, C8⋊C22, 2+ 1+4, C24⋊C2, D24, C4×Dic3, C3×M4(2), C2×D12, C4○D12, S3×D4, D4⋊2S3, C2×C3⋊D4, C6×D4, D4⋊4D4, D12⋊C4, C3×C4.D4, C8⋊D6, C12⋊3D4, D4⋊6D6, D12⋊1D4
Quotients: C1, C2, C22, S3, D4, C23, D6, C2×D4, D12, C22×S3, C22≀C2, C2×D12, S3×D4, D4⋊4D4, D6⋊D4, D12⋊1D4
Character table of D12⋊1D4
class | 1 | 2A | 2B | 2C | 2D | 2E | 2F | 2G | 3 | 4A | 4B | 4C | 4D | 4E | 4F | 6A | 6B | 6C | 6D | 8A | 8B | 12A | 12B | 24A | 24B | 24C | 24D | |
size | 1 | 1 | 2 | 4 | 4 | 12 | 12 | 24 | 2 | 2 | 2 | 12 | 12 | 12 | 12 | 2 | 4 | 8 | 8 | 8 | 8 | 4 | 4 | 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 | 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 | -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 | -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 | 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 | -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 | 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 | 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 | -1 | 1 | linear of order 2 |
ρ9 | 2 | 2 | -2 | 0 | 0 | 2 | 0 | 0 | 2 | -2 | 2 | 0 | 0 | -2 | 0 | 2 | -2 | 0 | 0 | 0 | 0 | 2 | -2 | 0 | 0 | 0 | 0 | orthogonal lifted from D4 |
ρ10 | 2 | 2 | 2 | -2 | -2 | 0 | 0 | 0 | -1 | 2 | 2 | 0 | 0 | 0 | 0 | -1 | -1 | 1 | 1 | 2 | -2 | -1 | -1 | 1 | -1 | 1 | -1 | orthogonal lifted from D6 |
ρ11 | 2 | 2 | 2 | 2 | 2 | 0 | 0 | 0 | -1 | 2 | 2 | 0 | 0 | 0 | 0 | -1 | -1 | -1 | -1 | 2 | 2 | -1 | -1 | -1 | -1 | -1 | -1 | orthogonal lifted from S3 |
ρ12 | 2 | 2 | 2 | -2 | -2 | 0 | 0 | 0 | -1 | 2 | 2 | 0 | 0 | 0 | 0 | -1 | -1 | 1 | 1 | -2 | 2 | -1 | -1 | -1 | 1 | -1 | 1 | orthogonal lifted from D6 |
ρ13 | 2 | 2 | 2 | -2 | 2 | 0 | 0 | 0 | 2 | -2 | -2 | 0 | 0 | 0 | 0 | 2 | 2 | 2 | -2 | 0 | 0 | -2 | -2 | 0 | 0 | 0 | 0 | orthogonal lifted from D4 |
ρ14 | 2 | 2 | 2 | 2 | 2 | 0 | 0 | 0 | -1 | 2 | 2 | 0 | 0 | 0 | 0 | -1 | -1 | -1 | -1 | -2 | -2 | -1 | -1 | 1 | 1 | 1 | 1 | orthogonal lifted from D6 |
ρ15 | 2 | 2 | 2 | 2 | -2 | 0 | 0 | 0 | 2 | -2 | -2 | 0 | 0 | 0 | 0 | 2 | 2 | -2 | 2 | 0 | 0 | -2 | -2 | 0 | 0 | 0 | 0 | orthogonal lifted from D4 |
ρ16 | 2 | 2 | -2 | 0 | 0 | -2 | 0 | 0 | 2 | -2 | 2 | 0 | 0 | 2 | 0 | 2 | -2 | 0 | 0 | 0 | 0 | 2 | -2 | 0 | 0 | 0 | 0 | orthogonal lifted from D4 |
ρ17 | 2 | 2 | -2 | 0 | 0 | 0 | 2 | 0 | 2 | 2 | -2 | 0 | -2 | 0 | 0 | 2 | -2 | 0 | 0 | 0 | 0 | -2 | 2 | 0 | 0 | 0 | 0 | orthogonal lifted from D4 |
ρ18 | 2 | 2 | -2 | 0 | 0 | 0 | -2 | 0 | 2 | 2 | -2 | 0 | 2 | 0 | 0 | 2 | -2 | 0 | 0 | 0 | 0 | -2 | 2 | 0 | 0 | 0 | 0 | orthogonal lifted from D4 |
ρ19 | 2 | 2 | 2 | 2 | -2 | 0 | 0 | 0 | -1 | -2 | -2 | 0 | 0 | 0 | 0 | -1 | -1 | 1 | -1 | 0 | 0 | 1 | 1 | √3 | -√3 | -√3 | √3 | orthogonal lifted from D12 |
ρ20 | 2 | 2 | 2 | -2 | 2 | 0 | 0 | 0 | -1 | -2 | -2 | 0 | 0 | 0 | 0 | -1 | -1 | -1 | 1 | 0 | 0 | 1 | 1 | √3 | √3 | -√3 | -√3 | orthogonal lifted from D12 |
ρ21 | 2 | 2 | 2 | -2 | 2 | 0 | 0 | 0 | -1 | -2 | -2 | 0 | 0 | 0 | 0 | -1 | -1 | -1 | 1 | 0 | 0 | 1 | 1 | -√3 | -√3 | √3 | √3 | orthogonal lifted from D12 |
ρ22 | 2 | 2 | 2 | 2 | -2 | 0 | 0 | 0 | -1 | -2 | -2 | 0 | 0 | 0 | 0 | -1 | -1 | 1 | -1 | 0 | 0 | 1 | 1 | -√3 | √3 | √3 | -√3 | orthogonal lifted from D12 |
ρ23 | 4 | -4 | 0 | 0 | 0 | 0 | 0 | 0 | 4 | 0 | 0 | -2 | 0 | 0 | 2 | -4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | orthogonal lifted from D4⋊4D4 |
ρ24 | 4 | 4 | -4 | 0 | 0 | 0 | 0 | 0 | -2 | 4 | -4 | 0 | 0 | 0 | 0 | -2 | 2 | 0 | 0 | 0 | 0 | 2 | -2 | 0 | 0 | 0 | 0 | orthogonal lifted from S3×D4 |
ρ25 | 4 | 4 | -4 | 0 | 0 | 0 | 0 | 0 | -2 | -4 | 4 | 0 | 0 | 0 | 0 | -2 | 2 | 0 | 0 | 0 | 0 | -2 | 2 | 0 | 0 | 0 | 0 | orthogonal lifted from S3×D4 |
ρ26 | 4 | -4 | 0 | 0 | 0 | 0 | 0 | 0 | 4 | 0 | 0 | 2 | 0 | 0 | -2 | -4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | orthogonal lifted from D4⋊4D4 |
ρ27 | 8 | -8 | 0 | 0 | 0 | 0 | 0 | 0 | -4 | 0 | 0 | 0 | 0 | 0 | 0 | 4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | orthogonal faithful |
(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 15)(2 14)(3 13)(4 24)(5 23)(6 22)(7 21)(8 20)(9 19)(10 18)(11 17)(12 16)
(2 6)(3 11)(5 9)(8 12)(13 22 19 16)(14 15 20 21)(17 18 23 24)
(2 12)(3 11)(4 10)(5 9)(6 8)(13 22)(14 21)(15 20)(16 19)(17 18)(23 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,15)(2,14)(3,13)(4,24)(5,23)(6,22)(7,21)(8,20)(9,19)(10,18)(11,17)(12,16), (2,6)(3,11)(5,9)(8,12)(13,22,19,16)(14,15,20,21)(17,18,23,24), (2,12)(3,11)(4,10)(5,9)(6,8)(13,22)(14,21)(15,20)(16,19)(17,18)(23,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,15)(2,14)(3,13)(4,24)(5,23)(6,22)(7,21)(8,20)(9,19)(10,18)(11,17)(12,16), (2,6)(3,11)(5,9)(8,12)(13,22,19,16)(14,15,20,21)(17,18,23,24), (2,12)(3,11)(4,10)(5,9)(6,8)(13,22)(14,21)(15,20)(16,19)(17,18)(23,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,15),(2,14),(3,13),(4,24),(5,23),(6,22),(7,21),(8,20),(9,19),(10,18),(11,17),(12,16)], [(2,6),(3,11),(5,9),(8,12),(13,22,19,16),(14,15,20,21),(17,18,23,24)], [(2,12),(3,11),(4,10),(5,9),(6,8),(13,22),(14,21),(15,20),(16,19),(17,18),(23,24)]])
G:=TransitiveGroup(24,343);
Matrix representation of D12⋊1D4 ►in GL6(𝔽73)
1 | 1 | 0 | 0 | 0 | 0 |
72 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 72 | 25 | 0 | 0 |
0 | 0 | 70 | 1 | 0 | 0 |
0 | 0 | 11 | 17 | 0 | 1 |
0 | 0 | 62 | 0 | 72 | 0 |
66 | 7 | 0 | 0 | 0 | 0 |
14 | 7 | 0 | 0 | 0 | 0 |
0 | 0 | 72 | 42 | 71 | 0 |
0 | 0 | 0 | 52 | 70 | 3 |
0 | 0 | 0 | 49 | 11 | 63 |
0 | 0 | 0 | 24 | 63 | 11 |
72 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 48 | 0 | 0 |
0 | 0 | 3 | 72 | 0 | 0 |
0 | 0 | 62 | 49 | 72 | 0 |
0 | 0 | 10 | 49 | 0 | 72 |
72 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 72 | 0 | 0 | 0 |
0 | 0 | 70 | 1 | 0 | 0 |
0 | 0 | 11 | 66 | 0 | 1 |
0 | 0 | 63 | 7 | 1 | 0 |
G:=sub<GL(6,GF(73))| [1,72,0,0,0,0,1,0,0,0,0,0,0,0,72,70,11,62,0,0,25,1,17,0,0,0,0,0,0,72,0,0,0,0,1,0],[66,14,0,0,0,0,7,7,0,0,0,0,0,0,72,0,0,0,0,0,42,52,49,24,0,0,71,70,11,63,0,0,0,3,63,11],[72,1,0,0,0,0,0,1,0,0,0,0,0,0,1,3,62,10,0,0,48,72,49,49,0,0,0,0,72,0,0,0,0,0,0,72],[72,1,0,0,0,0,0,1,0,0,0,0,0,0,72,70,11,63,0,0,0,1,66,7,0,0,0,0,0,1,0,0,0,0,1,0] >;
D12⋊1D4 in GAP, Magma, Sage, TeX
D_{12}\rtimes_1D_4
% in TeX
G:=Group("D12:1D4");
// GroupNames label
G:=SmallGroup(192,306);
// by ID
G=gap.SmallGroup(192,306);
# by ID
G:=PCGroup([7,-2,-2,-2,-2,-2,-2,-3,254,219,226,1123,570,136,1684,438,6278]);
// Polycyclic
G:=Group<a,b,c,d|a^12=b^2=c^4=d^2=1,b*a*b=d*a*d=a^-1,c*a*c^-1=a^5,c*b*c^-1=a*b,d*b*d=a^7*b,d*c*d=c^-1>;
// generators/relations
Export