Copied to
clipboard

G = D6⋊S4order 288 = 25·32

1st semidirect product of D6 and S4 acting via S4/A4=C2

non-abelian, soluble, monomial

Aliases: D61S4, (C6×S4)⋊3C2, (C2×S4)⋊2S3, (C3×A4)⋊2D4, C23.6S32, C2.14(S3×S4), C6.14(C2×S4), (C2×A4).6D6, A42(C3⋊D4), C6.7S43C2, (S3×C23)⋊1S3, C32(A4⋊D4), (C22×C6).6D6, C22⋊(D6⋊S3), (C6×A4).6C22, (C2×S3×A4)⋊1C2, (C2×C6)⋊1(C3⋊D4), SmallGroup(288,857)

Series: Derived Chief Lower central Upper central

C1C22C6×A4 — D6⋊S4
C1C22C2×C6C3×A4C6×A4C2×S3×A4 — D6⋊S4
C3×A4C6×A4 — D6⋊S4
C1C2

Generators and relations for D6⋊S4
 G = < a,b,c,d,e,f | a6=b2=c2=d2=e3=f2=1, bab=a-1, ac=ca, ad=da, ae=ea, af=fa, bc=cb, bd=db, be=eb, fbf=a3b, ece-1=fcf=cd=dc, ede-1=c, df=fd, fef=e-1 >

Subgroups: 790 in 130 conjugacy classes, 19 normal (all characteristic)
C1, C2, C2 [×5], C3, C3 [×2], C4 [×3], C22, C22 [×12], S3 [×3], C6, C6 [×6], C2×C4 [×3], D4 [×6], C23, C23 [×5], C32, Dic3 [×4], C12, A4, A4, D6, D6 [×7], C2×C6, C2×C6 [×6], C22⋊C4 [×3], C2×D4 [×3], C24, C3×S3 [×2], C3×C6, C2×Dic3 [×2], C3⋊D4 [×5], C2×C12, C3×D4 [×2], S4, C2×A4, C2×A4 [×2], C22×S3 [×4], C22×C6, C22×C6, C22≀C2, C3⋊Dic3, C3×A4, S3×C6 [×2], D6⋊C4 [×2], C6.D4, A4⋊C4 [×2], C2×C3⋊D4 [×2], C6×D4, C2×S4, C22×A4, S3×C23, D6⋊S3, C3×S4, S3×A4, C6×A4, C232D6, A4⋊D4, C6.7S4, C6×S4, C2×S3×A4, D6⋊S4
Quotients: C1, C2 [×3], C22, S3 [×2], D4, D6 [×2], C3⋊D4 [×2], S4, S32, C2×S4, D6⋊S3, A4⋊D4, S3×S4, D6⋊S4

Character table of D6⋊S4

 class 12A2B2C2D2E2F3A3B3C4A4B4C6A6B6C6D6E6F6G6H6I12A12B
 size 1133612182816123636266812121624241212
ρ1111111111111111111111111    trivial
ρ21111-1-1-1111-1111111-1-11-1-1-1-1    linear of order 2
ρ311111-11111-1-1-11111-1-1111-1-1    linear of order 2
ρ41111-11-11111-1-11111111-1-111    linear of order 2
ρ52222020-12-1200-1-1-12-1-1-100-1-1    orthogonal lifted from S3
ρ622222022-1-1000222-100-1-1-100    orthogonal lifted from S3
ρ72-2-22000222000-22-2-200-20000    orthogonal lifted from D4
ρ822220-20-12-1-200-1-1-1211-10011    orthogonal lifted from D6
ρ92222-20-22-1-1000222-100-11100    orthogonal lifted from D6
ρ102-2-22000-12-10001-11-2-3--3100--3-3    complex lifted from C3⋊D4
ρ112-2-220002-1-1000-22-21001--3-300    complex lifted from C3⋊D4
ρ122-2-220002-1-1000-22-21001-3--300    complex lifted from C3⋊D4
ρ132-2-22000-12-10001-11-2--3-3100-3--3    complex lifted from C3⋊D4
ρ1433-1-13-1-130011-13-1-10-1-100011    orthogonal lifted from S4
ρ1533-1-1-311300-11-13-1-1011000-1-1    orthogonal lifted from C2×S4
ρ1633-1-131-1300-1-113-1-1011000-1-1    orthogonal lifted from S4
ρ1733-1-1-3-113001-113-1-10-1-100011    orthogonal lifted from C2×S4
ρ184444000-2-21000-2-2-2-20010000    orthogonal lifted from S32
ρ194-4-44000-2-210002-22200-10000    symplectic lifted from D6⋊S3, Schur index 2
ρ2066-2-2020-300-200-3110-1-100011    orthogonal lifted from S3×S4
ρ2166-2-20-20-300200-311011000-1-1    orthogonal lifted from S3×S4
ρ226-62-2000600000-6-2200000000    orthogonal lifted from A4⋊D4
ρ236-62-2000-30000031-10--3-3000--3-3    complex faithful
ρ246-62-2000-30000031-10-3--3000-3--3    complex faithful

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

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

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

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

Matrix representation of D6⋊S4 in GL5(𝔽13)

40000
610000
00100
00010
00001
,
33000
610000
001200
000120
000012
,
10000
01000
00010
00100
00121212
,
10000
01000
00121212
00001
00010
,
10000
01000
00100
00001
00121212
,
10000
1112000
001200
000012
000120

G:=sub<GL(5,GF(13))| [4,6,0,0,0,0,10,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,1],[3,6,0,0,0,3,10,0,0,0,0,0,12,0,0,0,0,0,12,0,0,0,0,0,12],[1,0,0,0,0,0,1,0,0,0,0,0,0,1,12,0,0,1,0,12,0,0,0,0,12],[1,0,0,0,0,0,1,0,0,0,0,0,12,0,0,0,0,12,0,1,0,0,12,1,0],[1,0,0,0,0,0,1,0,0,0,0,0,1,0,12,0,0,0,0,12,0,0,0,1,12],[1,11,0,0,0,0,12,0,0,0,0,0,12,0,0,0,0,0,0,12,0,0,0,12,0] >;

D6⋊S4 in GAP, Magma, Sage, TeX

D_6\rtimes S_4
% in TeX

G:=Group("D6:S4");
// GroupNames label

G:=SmallGroup(288,857);
// by ID

G=gap.SmallGroup(288,857);
# by ID

G:=PCGroup([7,-2,-2,-2,-3,-3,-2,2,85,234,1684,3036,782,1777,1350]);
// Polycyclic

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

Export

Character table of D6⋊S4 in TeX

׿
×
𝔽