Copied to
clipboard

G = D16.S3order 192 = 26·3

The non-split extension by D16 of S3 acting via S3/C3=C2

metabelian, supersoluble, monomial, 2-hyperelementary

Aliases: D16.S3, C32SD64, C6.9D16, C16.5D6, C12.6D8, C24.10D4, Dic243C2, C48.3C22, C3⋊C322C2, C4.2(D4⋊S3), (C3×D16).1C2, C8.10(C3⋊D4), C2.5(C3⋊D16), SmallGroup(192,79)

Series: Derived Chief Lower central Upper central

C1C48 — D16.S3
C1C3C6C12C24C48Dic24 — D16.S3
C3C6C12C24C48 — D16.S3
C1C2C4C8C16D16

Generators and relations for D16.S3
 G = < a,b,c,d | a16=b2=c3=1, d2=a8, bab=dad-1=a-1, ac=ca, bc=cb, dbd-1=a13b, dcd-1=c-1 >

16C2
8C22
24C4
16C6
4D4
12Q8
8Dic3
8C2×C6
2D8
6Q16
4Dic6
4C3×D4
3C32
3Q32
2Dic12
2C3×D8
3SD64

Character table of D16.S3

 class 12A2B34A4B6A6B6C8A8B1216A16B16C16D24A24B32A32B32C32D32E32F32G32H48A48B48C48D
 size 1116224821616224222244666666664444
ρ1111111111111111111111111111111    trivial
ρ211111-1111111111111-1-1-1-1-1-1-1-11111    linear of order 2
ρ311-11111-1-1111111111-1-1-1-1-1-1-1-11111    linear of order 2
ρ411-111-11-1-1111111111111111111111    linear of order 2
ρ522-2-120-11122-12222-1-100000000-1-1-1-1    orthogonal lifted from D6
ρ6220220200222-2-2-2-22200000000-2-2-2-2    orthogonal lifted from D4
ρ7222-120-1-1-122-12222-1-100000000-1-1-1-1    orthogonal lifted from S3
ρ82202-2020000-2-2-222001651631615169ζ1615169ζ1615169ζ165163ζ16516316516316151692-22-2    orthogonal lifted from D16
ρ92202-2020000-222-2-2001615169ζ165163165163165163ζ1615169ζ16151691615169ζ165163-22-22    orthogonal lifted from D16
ρ10220220200-2-220000-2-2-2222-2-2-220000    orthogonal lifted from D8
ρ11220220200-2-220000-2-22-2-2-2222-20000    orthogonal lifted from D8
ρ122202-2020000-2-2-22200ζ165163ζ161516916151691615169165163165163ζ165163ζ16151692-22-2    orthogonal lifted from D16
ρ132202-2020000-222-2-200ζ1615169165163ζ165163ζ16516316151691615169ζ1615169165163-22-22    orthogonal lifted from D16
ρ14220-120-1--3-322-1-2-2-2-2-1-1000000001111    complex lifted from C3⋊D4
ρ15220-120-1-3--322-1-2-2-2-2-1-1000000001111    complex lifted from C3⋊D4
ρ162-20200-2002-20ζ32143223214322ζ32103263210326-22ζ32313217ζ32293219ζ32273221ζ3211325ζ32253223ζ329327ζ321532ζ3213323ζ3210326ζ321432232103263214322    complex lifted from SD64
ρ172-20200-2002-20ζ32143223214322ζ32103263210326-22ζ321532ζ3213323ζ3211325ζ32273221ζ329327ζ32253223ζ32313217ζ32293219ζ3210326ζ321432232103263214322    complex lifted from SD64
ρ182-20200-200-2203210326ζ3210326ζ321432232143222-2ζ3211325ζ321532ζ32253223ζ329327ζ3213323ζ32293219ζ32273221ζ32313217ζ321432232103263214322ζ3210326    complex lifted from SD64
ρ192-20200-2002-203214322ζ32143223210326ζ3210326-22ζ329327ζ32273221ζ3213323ζ32293219ζ32313217ζ321532ζ32253223ζ321132532103263214322ζ3210326ζ3214322    complex lifted from SD64
ρ202-20200-200-220ζ321032632103263214322ζ32143222-2ζ3213323ζ329327ζ321532ζ32313217ζ32273221ζ3211325ζ32293219ζ322532233214322ζ3210326ζ32143223210326    complex lifted from SD64
ρ212-20200-200-220ζ321032632103263214322ζ32143222-2ζ32293219ζ32253223ζ32313217ζ321532ζ3211325ζ32273221ζ3213323ζ3293273214322ζ3210326ζ32143223210326    complex lifted from SD64
ρ222-20200-2002-203214322ζ32143223210326ζ3210326-22ζ32253223ζ3211325ζ32293219ζ3213323ζ321532ζ32313217ζ329327ζ3227322132103263214322ζ3210326ζ3214322    complex lifted from SD64
ρ232-20200-200-2203210326ζ3210326ζ321432232143222-2ζ32273221ζ32313217ζ329327ζ32253223ζ32293219ζ3213323ζ3211325ζ321532ζ321432232103263214322ζ3210326    complex lifted from SD64
ρ24440-240-200-4-4-2000022000000000000    orthogonal lifted from D4⋊S3, Schur index 2
ρ25440-2-40-200002-22-2222220000000000-22-22    orthogonal lifted from C3⋊D16, Schur index 2
ρ26440-2-40-2000022222-22-2200000000002-22-2    orthogonal lifted from C3⋊D16, Schur index 2
ρ274-40-20020022-220-2ζ167+2ζ16167-2ζ16-2ζ165+2ζ163165-2ζ1632-200000000ζ1651631615169165163ζ1615169    symplectic faithful, Schur index 2
ρ284-40-200200-22220165-2ζ163-2ζ165+2ζ163-2ζ167+2ζ16167-2ζ16-22000000001615169165163ζ1615169ζ165163    symplectic faithful, Schur index 2
ρ294-40-20020022-220167-2ζ16-2ζ167+2ζ16165-2ζ163-2ζ165+2ζ1632-200000000165163ζ1615169ζ1651631615169    symplectic faithful, Schur index 2
ρ304-40-200200-22220-2ζ165+2ζ163165-2ζ163167-2ζ16-2ζ167+2ζ16-2200000000ζ1615169ζ1651631615169165163    symplectic faithful, Schur index 2

Smallest permutation representation of D16.S3
On 96 points
Generators in S96
(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)(65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80)(81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96)
(1 16)(2 15)(3 14)(4 13)(5 12)(6 11)(7 10)(8 9)(17 27)(18 26)(19 25)(20 24)(21 23)(28 32)(29 31)(33 42)(34 41)(35 40)(36 39)(37 38)(43 48)(44 47)(45 46)(49 63)(50 62)(51 61)(52 60)(53 59)(54 58)(55 57)(65 77)(66 76)(67 75)(68 74)(69 73)(70 72)(78 80)(81 92)(82 91)(83 90)(84 89)(85 88)(86 87)(93 96)(94 95)
(1 38 95)(2 39 96)(3 40 81)(4 41 82)(5 42 83)(6 43 84)(7 44 85)(8 45 86)(9 46 87)(10 47 88)(11 48 89)(12 33 90)(13 34 91)(14 35 92)(15 36 93)(16 37 94)(17 59 66)(18 60 67)(19 61 68)(20 62 69)(21 63 70)(22 64 71)(23 49 72)(24 50 73)(25 51 74)(26 52 75)(27 53 76)(28 54 77)(29 55 78)(30 56 79)(31 57 80)(32 58 65)
(1 31 9 23)(2 30 10 22)(3 29 11 21)(4 28 12 20)(5 27 13 19)(6 26 14 18)(7 25 15 17)(8 24 16 32)(33 69 41 77)(34 68 42 76)(35 67 43 75)(36 66 44 74)(37 65 45 73)(38 80 46 72)(39 79 47 71)(40 78 48 70)(49 95 57 87)(50 94 58 86)(51 93 59 85)(52 92 60 84)(53 91 61 83)(54 90 62 82)(55 89 63 81)(56 88 64 96)

G:=sub<Sym(96)| (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)(65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80)(81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96), (1,16)(2,15)(3,14)(4,13)(5,12)(6,11)(7,10)(8,9)(17,27)(18,26)(19,25)(20,24)(21,23)(28,32)(29,31)(33,42)(34,41)(35,40)(36,39)(37,38)(43,48)(44,47)(45,46)(49,63)(50,62)(51,61)(52,60)(53,59)(54,58)(55,57)(65,77)(66,76)(67,75)(68,74)(69,73)(70,72)(78,80)(81,92)(82,91)(83,90)(84,89)(85,88)(86,87)(93,96)(94,95), (1,38,95)(2,39,96)(3,40,81)(4,41,82)(5,42,83)(6,43,84)(7,44,85)(8,45,86)(9,46,87)(10,47,88)(11,48,89)(12,33,90)(13,34,91)(14,35,92)(15,36,93)(16,37,94)(17,59,66)(18,60,67)(19,61,68)(20,62,69)(21,63,70)(22,64,71)(23,49,72)(24,50,73)(25,51,74)(26,52,75)(27,53,76)(28,54,77)(29,55,78)(30,56,79)(31,57,80)(32,58,65), (1,31,9,23)(2,30,10,22)(3,29,11,21)(4,28,12,20)(5,27,13,19)(6,26,14,18)(7,25,15,17)(8,24,16,32)(33,69,41,77)(34,68,42,76)(35,67,43,75)(36,66,44,74)(37,65,45,73)(38,80,46,72)(39,79,47,71)(40,78,48,70)(49,95,57,87)(50,94,58,86)(51,93,59,85)(52,92,60,84)(53,91,61,83)(54,90,62,82)(55,89,63,81)(56,88,64,96)>;

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)(65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80)(81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96), (1,16)(2,15)(3,14)(4,13)(5,12)(6,11)(7,10)(8,9)(17,27)(18,26)(19,25)(20,24)(21,23)(28,32)(29,31)(33,42)(34,41)(35,40)(36,39)(37,38)(43,48)(44,47)(45,46)(49,63)(50,62)(51,61)(52,60)(53,59)(54,58)(55,57)(65,77)(66,76)(67,75)(68,74)(69,73)(70,72)(78,80)(81,92)(82,91)(83,90)(84,89)(85,88)(86,87)(93,96)(94,95), (1,38,95)(2,39,96)(3,40,81)(4,41,82)(5,42,83)(6,43,84)(7,44,85)(8,45,86)(9,46,87)(10,47,88)(11,48,89)(12,33,90)(13,34,91)(14,35,92)(15,36,93)(16,37,94)(17,59,66)(18,60,67)(19,61,68)(20,62,69)(21,63,70)(22,64,71)(23,49,72)(24,50,73)(25,51,74)(26,52,75)(27,53,76)(28,54,77)(29,55,78)(30,56,79)(31,57,80)(32,58,65), (1,31,9,23)(2,30,10,22)(3,29,11,21)(4,28,12,20)(5,27,13,19)(6,26,14,18)(7,25,15,17)(8,24,16,32)(33,69,41,77)(34,68,42,76)(35,67,43,75)(36,66,44,74)(37,65,45,73)(38,80,46,72)(39,79,47,71)(40,78,48,70)(49,95,57,87)(50,94,58,86)(51,93,59,85)(52,92,60,84)(53,91,61,83)(54,90,62,82)(55,89,63,81)(56,88,64,96) );

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),(65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80),(81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96)], [(1,16),(2,15),(3,14),(4,13),(5,12),(6,11),(7,10),(8,9),(17,27),(18,26),(19,25),(20,24),(21,23),(28,32),(29,31),(33,42),(34,41),(35,40),(36,39),(37,38),(43,48),(44,47),(45,46),(49,63),(50,62),(51,61),(52,60),(53,59),(54,58),(55,57),(65,77),(66,76),(67,75),(68,74),(69,73),(70,72),(78,80),(81,92),(82,91),(83,90),(84,89),(85,88),(86,87),(93,96),(94,95)], [(1,38,95),(2,39,96),(3,40,81),(4,41,82),(5,42,83),(6,43,84),(7,44,85),(8,45,86),(9,46,87),(10,47,88),(11,48,89),(12,33,90),(13,34,91),(14,35,92),(15,36,93),(16,37,94),(17,59,66),(18,60,67),(19,61,68),(20,62,69),(21,63,70),(22,64,71),(23,49,72),(24,50,73),(25,51,74),(26,52,75),(27,53,76),(28,54,77),(29,55,78),(30,56,79),(31,57,80),(32,58,65)], [(1,31,9,23),(2,30,10,22),(3,29,11,21),(4,28,12,20),(5,27,13,19),(6,26,14,18),(7,25,15,17),(8,24,16,32),(33,69,41,77),(34,68,42,76),(35,67,43,75),(36,66,44,74),(37,65,45,73),(38,80,46,72),(39,79,47,71),(40,78,48,70),(49,95,57,87),(50,94,58,86),(51,93,59,85),(52,92,60,84),(53,91,61,83),(54,90,62,82),(55,89,63,81),(56,88,64,96)]])

Matrix representation of D16.S3 in GL4(𝔽97) generated by

22600
71200
00960
00096
,
22600
269500
009619
0001
,
1000
0100
003553
00061
,
85700
71200
001914
00278
G:=sub<GL(4,GF(97))| [2,71,0,0,26,2,0,0,0,0,96,0,0,0,0,96],[2,26,0,0,26,95,0,0,0,0,96,0,0,0,19,1],[1,0,0,0,0,1,0,0,0,0,35,0,0,0,53,61],[85,7,0,0,7,12,0,0,0,0,19,2,0,0,14,78] >;

D16.S3 in GAP, Magma, Sage, TeX

D_{16}.S_3
% in TeX

G:=Group("D16.S3");
// GroupNames label

G:=SmallGroup(192,79);
// by ID

G=gap.SmallGroup(192,79);
# by ID

G:=PCGroup([7,-2,-2,-2,-2,-2,-2,-3,224,85,254,135,142,675,346,192,1684,851,102,6278]);
// Polycyclic

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

Export

Subgroup lattice of D16.S3 in TeX
Character table of D16.S3 in TeX

׿
×
𝔽