Copied to
clipboard

G = D16.S3  order 192 = 26·3

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

metabelian, supersoluble, monomial, 2-hyperelementary

Aliases: D16.S3, C3⋊2SD64, C6.9D16, C16.5D6, C12.6D8, C24.10D4, Dic24⋊3C2, C48.3C22, C3⋊C32⋊2C2, 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

C1 — C48 — D16.S3
C1 — C3 — C6 — C12 — C24 — C48 — Dic24 — D16.S3
C3 — C6 — C12 — C24 — C48 — D16.S3
C1 — C2 — C4 — C8 — C16 — D16

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-√2√2√200-ζ165+ζ163-ζ1615+ζ169ζ1615-ζ169ζ1615-ζ169ζ165-ζ163ζ165-ζ163-ζ165+ζ163-ζ1615+ζ169√2-√2√2-√2    orthogonal lifted from D16
ρ92202-2020000-2√2√2-√2-√200-ζ1615+ζ169ζ165-ζ163-ζ165+ζ163-ζ165+ζ163ζ1615-ζ169ζ1615-ζ169-ζ1615+ζ169ζ165-ζ163-√2√2-√2√2    orthogonal lifted from D16
ρ10220220200-2-220000-2-2-√2√2√2√2-√2-√2-√2√20000    orthogonal lifted from D8
ρ11220220200-2-220000-2-2√2-√2-√2-√2√2√2√2-√20000    orthogonal lifted from D8
ρ122202-2020000-2-√2-√2√2√200ζ165-ζ163ζ1615-ζ169-ζ1615+ζ169-ζ1615+ζ169-ζ165+ζ163-ζ165+ζ163ζ165-ζ163ζ1615-ζ169√2-√2√2-√2    orthogonal lifted from D16
ρ132202-2020000-2√2√2-√2-√200ζ1615-ζ169-ζ165+ζ163ζ165-ζ163ζ165-ζ163-ζ1615+ζ169-ζ1615+ζ169ζ1615-ζ169-ζ165+ζ163-√2√2-√2√2    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-200√2-√20ζ3214-ζ322-ζ3214+ζ322ζ3210-ζ326-ζ3210+ζ326-√2√2ζ3231+ζ3217ζ3229+ζ3219ζ3227+ζ3221ζ3211+ζ325ζ3225+ζ3223ζ329+ζ327ζ3215+ζ32ζ3213+ζ323ζ3210-ζ326ζ3214-ζ322-ζ3210+ζ326-ζ3214+ζ322    complex lifted from SD64
ρ172-20200-200√2-√20ζ3214-ζ322-ζ3214+ζ322ζ3210-ζ326-ζ3210+ζ326-√2√2ζ3215+ζ32ζ3213+ζ323ζ3211+ζ325ζ3227+ζ3221ζ329+ζ327ζ3225+ζ3223ζ3231+ζ3217ζ3229+ζ3219ζ3210-ζ326ζ3214-ζ322-ζ3210+ζ326-ζ3214+ζ322    complex lifted from SD64
ρ182-20200-200-√2√20-ζ3210+ζ326ζ3210-ζ326ζ3214-ζ322-ζ3214+ζ322√2-√2ζ3211+ζ325ζ3215+ζ32ζ3225+ζ3223ζ329+ζ327ζ3213+ζ323ζ3229+ζ3219ζ3227+ζ3221ζ3231+ζ3217ζ3214-ζ322-ζ3210+ζ326-ζ3214+ζ322ζ3210-ζ326    complex lifted from SD64
ρ192-20200-200√2-√20-ζ3214+ζ322ζ3214-ζ322-ζ3210+ζ326ζ3210-ζ326-√2√2ζ329+ζ327ζ3227+ζ3221ζ3213+ζ323ζ3229+ζ3219ζ3231+ζ3217ζ3215+ζ32ζ3225+ζ3223ζ3211+ζ325-ζ3210+ζ326-ζ3214+ζ322ζ3210-ζ326ζ3214-ζ322    complex lifted from SD64
ρ202-20200-200-√2√20ζ3210-ζ326-ζ3210+ζ326-ζ3214+ζ322ζ3214-ζ322√2-√2ζ3213+ζ323ζ329+ζ327ζ3215+ζ32ζ3231+ζ3217ζ3227+ζ3221ζ3211+ζ325ζ3229+ζ3219ζ3225+ζ3223-ζ3214+ζ322ζ3210-ζ326ζ3214-ζ322-ζ3210+ζ326    complex lifted from SD64
ρ212-20200-200-√2√20ζ3210-ζ326-ζ3210+ζ326-ζ3214+ζ322ζ3214-ζ322√2-√2ζ3229+ζ3219ζ3225+ζ3223ζ3231+ζ3217ζ3215+ζ32ζ3211+ζ325ζ3227+ζ3221ζ3213+ζ323ζ329+ζ327-ζ3214+ζ322ζ3210-ζ326ζ3214-ζ322-ζ3210+ζ326    complex lifted from SD64
ρ222-20200-200√2-√20-ζ3214+ζ322ζ3214-ζ322-ζ3210+ζ326ζ3210-ζ326-√2√2ζ3225+ζ3223ζ3211+ζ325ζ3229+ζ3219ζ3213+ζ323ζ3215+ζ32ζ3231+ζ3217ζ329+ζ327ζ3227+ζ3221-ζ3210+ζ326-ζ3214+ζ322ζ3210-ζ326ζ3214-ζ322    complex lifted from SD64
ρ232-20200-200-√2√20-ζ3210+ζ326ζ3210-ζ326ζ3214-ζ322-ζ3214+ζ322√2-√2ζ3227+ζ3221ζ3231+ζ3217ζ329+ζ327ζ3225+ζ3223ζ3229+ζ3219ζ3213+ζ323ζ3211+ζ325ζ3215+ζ32ζ3214-ζ322-ζ3210+ζ326-ζ3214+ζ322ζ3210-ζ326    complex lifted from SD64
ρ24440-240-200-4-4-2000022000000000000    orthogonal lifted from D4⋊S3, Schur index 2
ρ25440-2-40-200002-2√2-2√22√22√20000000000-√2√2-√2√2    orthogonal lifted from C3⋊D16, Schur index 2
ρ26440-2-40-2000022√22√2-2√2-2√20000000000√2-√2√2-√2    orthogonal lifted from C3⋊D16, Schur index 2
ρ274-40-2002002√2-2√20-2ζ167+2ζ162ζ167-2ζ16-2ζ165+2ζ1632ζ165-2ζ163√2-√200000000ζ165-ζ163-ζ1615+ζ169-ζ165+ζ163ζ1615-ζ169    symplectic faithful, Schur index 2
ρ284-40-200200-2√22√202ζ165-2ζ163-2ζ165+2ζ163-2ζ167+2ζ162ζ167-2ζ16-√2√200000000-ζ1615+ζ169-ζ165+ζ163ζ1615-ζ169ζ165-ζ163    symplectic faithful, Schur index 2
ρ294-40-2002002√2-2√202ζ167-2ζ16-2ζ167+2ζ162ζ165-2ζ163-2ζ165+2ζ163√2-√200000000-ζ165+ζ163ζ1615-ζ169ζ165-ζ163-ζ1615+ζ169    symplectic faithful, Schur index 2
ρ304-40-200200-2√22√20-2ζ165+2ζ1632ζ165-2ζ1632ζ167-2ζ16-2ζ167+2ζ16-√2√200000000ζ1615-ζ169ζ165-ζ163-ζ1615+ζ169-ζ165+ζ163    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

׿
×
⋊
ℤ
𝔽
○
≀
ℚ
◁