Copied to
clipboard

G = He3⋊D6order 324 = 22·34

The semidirect product of He3 and D6 acting faithfully

non-abelian, supersoluble, monomial, rational

Aliases: He3⋊D6, C331D6, C3≀S3⋊C2, C3≀C3⋊C22, C32.1S32, C33⋊C6⋊C2, C33⋊S3⋊C2, He3⋊C21S3, C33⋊C21S3, C3.2(C32⋊D6), SmallGroup(324,39)

Series: Derived Chief Lower central Upper central

C1C32C3≀C3 — He3⋊D6
C1C3C32He3C3≀C3C3≀S3 — He3⋊D6
C3≀C3 — He3⋊D6
C1

Generators and relations for He3⋊D6
 G = < a,b,c,d,e | a3=b3=c3=d6=e2=1, ab=ba, cac-1=eae=ab-1, dad-1=a-1b, bc=cb, bd=db, ebe=b-1, dcd-1=ece=a-1c-1, ede=d-1 >

Subgroups: 848 in 84 conjugacy classes, 12 normal (all characteristic)
C1, C2, C3, C3, C22, S3, C6, C9, C32, C32, D6, D9, C3×S3, C3⋊S3, C3×C6, He3, 3- 1+2, C33, S32, C2×C3⋊S3, C32⋊C6, C9⋊C6, He3⋊C2, S3×C32, C3×C3⋊S3, C33⋊C2, C3≀C3, C32⋊D6, S3×C3⋊S3, C3≀S3, C33⋊C6, C33⋊S3, He3⋊D6
Quotients: C1, C2, C22, S3, D6, S32, C32⋊D6, He3⋊D6

Character table of He3⋊D6

 class 12A2B2C3A3B3C3D3E3F6A6B6C6D6E6F9
 size 192727266661818181818545436
ρ111111111111111111    trivial
ρ21-11-1111111-1-1-1-11-11    linear of order 2
ρ311-1-11111111111-1-11    linear of order 2
ρ41-1-11111111-1-1-1-1-111    linear of order 2
ρ522002-1-1-1222-1-1-100-1    orthogonal lifted from S3
ρ6202022222-10000-10-1    orthogonal lifted from S3
ρ720-2022222-1000010-1    orthogonal lifted from D6
ρ82-2002-1-1-122-211100-1    orthogonal lifted from D6
ρ940004-2-2-24-20000001    orthogonal lifted from S32
ρ106200-33-3000-1-12-1000    orthogonal faithful
ρ116-200-3-30300111-2000    orthogonal faithful
ρ126-200-303-3001-211000    orthogonal faithful
ρ1360026000-3000000-10    orthogonal lifted from C32⋊D6
ρ146200-3-30300-1-1-12000    orthogonal faithful
ρ15600-26000-300000010    orthogonal lifted from C32⋊D6
ρ166-200-33-300011-21000    orthogonal faithful
ρ176200-303-300-12-1-1000    orthogonal faithful

Permutation representations of He3⋊D6
On 9 points - transitive group 9T24
Generators in S9
(1 2 3)(5 9 7)
(1 3 2)(4 8 6)(5 9 7)
(1 7 4)(2 9 6)(3 5 8)
(1 2 3)(4 5 6 7 8 9)
(1 3)(4 9)(5 8)(6 7)

G:=sub<Sym(9)| (1,2,3)(5,9,7), (1,3,2)(4,8,6)(5,9,7), (1,7,4)(2,9,6)(3,5,8), (1,2,3)(4,5,6,7,8,9), (1,3)(4,9)(5,8)(6,7)>;

G:=Group( (1,2,3)(5,9,7), (1,3,2)(4,8,6)(5,9,7), (1,7,4)(2,9,6)(3,5,8), (1,2,3)(4,5,6,7,8,9), (1,3)(4,9)(5,8)(6,7) );

G=PermutationGroup([[(1,2,3),(5,9,7)], [(1,3,2),(4,8,6),(5,9,7)], [(1,7,4),(2,9,6),(3,5,8)], [(1,2,3),(4,5,6,7,8,9)], [(1,3),(4,9),(5,8),(6,7)]])

G:=TransitiveGroup(9,24);

On 18 points - transitive group 18T129
Generators in S18
(1 10 12)(4 6 8)(13 15 17)(14 16 18)
(1 10 12)(2 9 11)(3 5 7)(4 6 8)(13 17 15)(14 18 16)
(1 3 18)(2 15 4)(5 16 10)(6 9 13)(7 14 12)(8 11 17)
(1 2)(3 4)(5 6)(7 8)(9 10)(11 12)(13 14 15 16 17 18)
(1 2)(3 4)(5 8)(6 7)(9 12)(10 11)(13 16)(14 15)(17 18)

G:=sub<Sym(18)| (1,10,12)(4,6,8)(13,15,17)(14,16,18), (1,10,12)(2,9,11)(3,5,7)(4,6,8)(13,17,15)(14,18,16), (1,3,18)(2,15,4)(5,16,10)(6,9,13)(7,14,12)(8,11,17), (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14,15,16,17,18), (1,2)(3,4)(5,8)(6,7)(9,12)(10,11)(13,16)(14,15)(17,18)>;

G:=Group( (1,10,12)(4,6,8)(13,15,17)(14,16,18), (1,10,12)(2,9,11)(3,5,7)(4,6,8)(13,17,15)(14,18,16), (1,3,18)(2,15,4)(5,16,10)(6,9,13)(7,14,12)(8,11,17), (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14,15,16,17,18), (1,2)(3,4)(5,8)(6,7)(9,12)(10,11)(13,16)(14,15)(17,18) );

G=PermutationGroup([[(1,10,12),(4,6,8),(13,15,17),(14,16,18)], [(1,10,12),(2,9,11),(3,5,7),(4,6,8),(13,17,15),(14,18,16)], [(1,3,18),(2,15,4),(5,16,10),(6,9,13),(7,14,12),(8,11,17)], [(1,2),(3,4),(5,6),(7,8),(9,10),(11,12),(13,14,15,16,17,18)], [(1,2),(3,4),(5,8),(6,7),(9,12),(10,11),(13,16),(14,15),(17,18)]])

G:=TransitiveGroup(18,129);

On 18 points - transitive group 18T136
Generators in S18
(1 5 4)(2 6 3)(7 9 11)(14 16 18)
(1 4 5)(2 3 6)(7 9 11)(8 10 12)(13 15 17)(14 16 18)
(1 7 13)(2 16 10)(3 18 12)(4 9 15)(5 11 17)(6 14 8)
(1 2)(3 4)(5 6)(7 8 9 10 11 12)(13 14 15 16 17 18)
(1 4)(2 3)(7 17)(8 16)(9 15)(10 14)(11 13)(12 18)

G:=sub<Sym(18)| (1,5,4)(2,6,3)(7,9,11)(14,16,18), (1,4,5)(2,3,6)(7,9,11)(8,10,12)(13,15,17)(14,16,18), (1,7,13)(2,16,10)(3,18,12)(4,9,15)(5,11,17)(6,14,8), (1,2)(3,4)(5,6)(7,8,9,10,11,12)(13,14,15,16,17,18), (1,4)(2,3)(7,17)(8,16)(9,15)(10,14)(11,13)(12,18)>;

G:=Group( (1,5,4)(2,6,3)(7,9,11)(14,16,18), (1,4,5)(2,3,6)(7,9,11)(8,10,12)(13,15,17)(14,16,18), (1,7,13)(2,16,10)(3,18,12)(4,9,15)(5,11,17)(6,14,8), (1,2)(3,4)(5,6)(7,8,9,10,11,12)(13,14,15,16,17,18), (1,4)(2,3)(7,17)(8,16)(9,15)(10,14)(11,13)(12,18) );

G=PermutationGroup([[(1,5,4),(2,6,3),(7,9,11),(14,16,18)], [(1,4,5),(2,3,6),(7,9,11),(8,10,12),(13,15,17),(14,16,18)], [(1,7,13),(2,16,10),(3,18,12),(4,9,15),(5,11,17),(6,14,8)], [(1,2),(3,4),(5,6),(7,8,9,10,11,12),(13,14,15,16,17,18)], [(1,4),(2,3),(7,17),(8,16),(9,15),(10,14),(11,13),(12,18)]])

G:=TransitiveGroup(18,136);

On 18 points - transitive group 18T137
Generators in S18
(1 2 3)(4 5 6)(7 11 9)(14 18 16)
(1 3 2)(4 6 5)(7 11 9)(8 12 10)(13 17 15)(14 18 16)
(1 18 15)(2 14 17)(3 16 13)(4 9 12)(5 11 8)(6 7 10)
(1 2 3)(4 5 6)(7 8 9 10 11 12)(13 14 15 16 17 18)
(1 4)(2 6)(3 5)(7 15)(8 14)(9 13)(10 18)(11 17)(12 16)

G:=sub<Sym(18)| (1,2,3)(4,5,6)(7,11,9)(14,18,16), (1,3,2)(4,6,5)(7,11,9)(8,12,10)(13,17,15)(14,18,16), (1,18,15)(2,14,17)(3,16,13)(4,9,12)(5,11,8)(6,7,10), (1,2,3)(4,5,6)(7,8,9,10,11,12)(13,14,15,16,17,18), (1,4)(2,6)(3,5)(7,15)(8,14)(9,13)(10,18)(11,17)(12,16)>;

G:=Group( (1,2,3)(4,5,6)(7,11,9)(14,18,16), (1,3,2)(4,6,5)(7,11,9)(8,12,10)(13,17,15)(14,18,16), (1,18,15)(2,14,17)(3,16,13)(4,9,12)(5,11,8)(6,7,10), (1,2,3)(4,5,6)(7,8,9,10,11,12)(13,14,15,16,17,18), (1,4)(2,6)(3,5)(7,15)(8,14)(9,13)(10,18)(11,17)(12,16) );

G=PermutationGroup([[(1,2,3),(4,5,6),(7,11,9),(14,18,16)], [(1,3,2),(4,6,5),(7,11,9),(8,12,10),(13,17,15),(14,18,16)], [(1,18,15),(2,14,17),(3,16,13),(4,9,12),(5,11,8),(6,7,10)], [(1,2,3),(4,5,6),(7,8,9,10,11,12),(13,14,15,16,17,18)], [(1,4),(2,6),(3,5),(7,15),(8,14),(9,13),(10,18),(11,17),(12,16)]])

G:=TransitiveGroup(18,137);

On 27 points - transitive group 27T121
Generators in S27
(1 11 17)(2 15 21)(3 13 19)(4 20 26)(5 18 24)(6 16 22)(7 23 14)(8 27 12)(9 25 10)
(1 7 4)(2 8 5)(3 9 6)(10 22 19)(11 23 20)(12 24 21)(13 25 16)(14 26 17)(15 27 18)
(2 15 12)(3 19 16)(5 18 21)(6 22 25)(8 27 24)(9 10 13)(11 23 20)(14 17 26)
(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)
(1 9)(2 8)(3 7)(4 6)(10 14)(11 13)(16 23)(17 22)(18 27)(19 26)(20 25)(21 24)

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

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

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

G:=TransitiveGroup(27,121);

On 27 points - transitive group 27T128
Generators in S27
(1 7 4)(2 5 9)(3 8 6)(10 16 26)(11 13 15)(12 18 22)(14 20 24)(17 19 21)(23 25 27)
(1 3 2)(4 6 9)(5 7 8)(10 18 24)(11 19 25)(12 20 26)(13 21 27)(14 16 22)(15 17 23)
(1 15 12)(2 23 26)(3 17 20)(4 27 14)(5 11 24)(6 13 16)(7 19 10)(8 25 18)(9 21 22)
(4 5)(6 7)(8 9)(10 11 12 13 14 15)(16 17 18 19 20 21)(22 23 24 25 26 27)
(2 3)(4 6)(5 7)(10 13)(11 12)(14 15)(16 23)(17 22)(18 27)(19 26)(20 25)(21 24)

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

G:=Group( (1,7,4)(2,5,9)(3,8,6)(10,16,26)(11,13,15)(12,18,22)(14,20,24)(17,19,21)(23,25,27), (1,3,2)(4,6,9)(5,7,8)(10,18,24)(11,19,25)(12,20,26)(13,21,27)(14,16,22)(15,17,23), (1,15,12)(2,23,26)(3,17,20)(4,27,14)(5,11,24)(6,13,16)(7,19,10)(8,25,18)(9,21,22), (4,5)(6,7)(8,9)(10,11,12,13,14,15)(16,17,18,19,20,21)(22,23,24,25,26,27), (2,3)(4,6)(5,7)(10,13)(11,12)(14,15)(16,23)(17,22)(18,27)(19,26)(20,25)(21,24) );

G=PermutationGroup([[(1,7,4),(2,5,9),(3,8,6),(10,16,26),(11,13,15),(12,18,22),(14,20,24),(17,19,21),(23,25,27)], [(1,3,2),(4,6,9),(5,7,8),(10,18,24),(11,19,25),(12,20,26),(13,21,27),(14,16,22),(15,17,23)], [(1,15,12),(2,23,26),(3,17,20),(4,27,14),(5,11,24),(6,13,16),(7,19,10),(8,25,18),(9,21,22)], [(4,5),(6,7),(8,9),(10,11,12,13,14,15),(16,17,18,19,20,21),(22,23,24,25,26,27)], [(2,3),(4,6),(5,7),(10,13),(11,12),(14,15),(16,23),(17,22),(18,27),(19,26),(20,25),(21,24)]])

G:=TransitiveGroup(27,128);

On 27 points - transitive group 27T129
Generators in S27
(1 8 5)(2 9 6)(3 7 4)(11 16 23)(13 18 25)(15 20 27)
(1 5 8)(2 6 9)(3 4 7)(10 21 22)(11 16 23)(12 17 24)(13 18 25)(14 19 26)(15 20 27)
(1 23 26)(2 15 12)(3 18 21)(4 25 22)(5 11 14)(6 20 17)(7 13 10)(8 16 19)(9 27 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 25 26 27)
(1 3)(4 8)(5 7)(6 9)(10 16)(11 21)(12 20)(13 19)(14 18)(15 17)(22 23)(24 27)(25 26)

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

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

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

G:=TransitiveGroup(27,129);

Polynomial with Galois group He3⋊D6 over ℚ
actionf(x)Disc(f)
9T24x9-2x8-17x7+33x6+90x5-183x4-161x3+379x2+36x-19354·1392·1973

Matrix representation of He3⋊D6 in GL6(ℤ)

-1-10000
100000
001000
000100
000001
0000-1-1
,
010000
-1-10000
000100
00-1-100
000001
0000-1-1
,
001000
000100
000010
000001
100000
010000
,
010000
-1-10000
000010
000001
001000
000100
,
010000
100000
000010
0000-1-1
001000
00-1-100

G:=sub<GL(6,Integers())| [-1,1,0,0,0,0,-1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,-1,0,0,0,0,1,-1],[0,-1,0,0,0,0,1,-1,0,0,0,0,0,0,0,-1,0,0,0,0,1,-1,0,0,0,0,0,0,0,-1,0,0,0,0,1,-1],[0,0,0,0,1,0,0,0,0,0,0,1,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0],[0,-1,0,0,0,0,1,-1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,1,0,0],[0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,-1,0,0,0,0,0,-1,0,0,1,-1,0,0,0,0,0,-1,0,0] >;

He3⋊D6 in GAP, Magma, Sage, TeX

{\rm He}_3\rtimes D_6
% in TeX

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

G:=SmallGroup(324,39);
// by ID

G=gap.SmallGroup(324,39);
# by ID

G:=PCGroup([6,-2,-2,-3,-3,-3,-3,80,579,303,5404,1090,382,3899]);
// Polycyclic

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

Export

Character table of He3⋊D6 in TeX

׿
×
𝔽