Copied to
clipboard

## G = S3×PSU3(𝔽2)  order 432 = 24·33

### Direct product of S3 and PSU3(𝔽2)

Series: Derived Chief Lower central Upper central

 Derived series C1 — C32 — C3×C3⋊S3 — S3×PSU3(𝔽2)
 Chief series C1 — C3 — C33 — C3×C3⋊S3 — S3×C3⋊S3 — S3×C32⋊C4 — S3×PSU3(𝔽2)
 Lower central C33 — C3×C3⋊S3 — S3×PSU3(𝔽2)
 Upper central C1

Generators and relations for S3×PSU3(𝔽2)
G = < a,b,c,d,e,f | a3=b2=c3=d3=e4=1, f2=e2, bab=a-1, ac=ca, ad=da, ae=ea, af=fa, bc=cb, bd=db, be=eb, bf=fb, fdf-1=cd=dc, ece-1=d-1, fcf-1=c-1d, ede-1=c, fef-1=e-1 >

Subgroups: 848 in 90 conjugacy classes, 28 normal (13 characteristic)
C1, C2 [×3], C3, C3 [×2], C4 [×6], C22, S3, S3 [×4], C6 [×2], C2×C4 [×3], Q8 [×4], C32, C32 [×2], Dic3 [×3], C12 [×3], D6 [×2], C2×Q8, C3×S3 [×2], C3⋊S3, C3⋊S3 [×3], C3×C6, Dic6 [×3], C4×S3 [×3], C3×Q8, C33, C32⋊C4 [×3], C32⋊C4 [×3], S32, C2×C3⋊S3, S3×Q8, S3×C32, C3×C3⋊S3, C33⋊C2, PSU3(𝔽2), PSU3(𝔽2) [×3], C2×C32⋊C4 [×3], C3×C32⋊C4 [×3], C33⋊C4 [×3], S3×C3⋊S3, C2×PSU3(𝔽2), S3×C32⋊C4 [×3], C3×PSU3(𝔽2), C33⋊Q8 [×3], S3×PSU3(𝔽2)
Quotients: C1, C2 [×7], C22 [×7], S3, Q8 [×2], C23, D6 [×3], C2×Q8, C22×S3, S3×Q8, PSU3(𝔽2), C2×PSU3(𝔽2), S3×PSU3(𝔽2)

Character table of S3×PSU3(𝔽2)

 class 1 2A 2B 2C 3A 3B 3C 4A 4B 4C 4D 4E 4F 6A 6B 12A 12B 12C size 1 3 9 27 2 8 16 18 18 18 54 54 54 18 24 36 36 36 ρ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 linear of order 2 ρ3 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 linear of order 2 ρ5 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 linear of order 2 ρ7 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 linear of order 2 ρ9 2 0 2 0 -1 2 -1 2 2 2 0 0 0 -1 0 -1 -1 -1 orthogonal lifted from S3 ρ10 2 0 2 0 -1 2 -1 -2 -2 2 0 0 0 -1 0 1 1 -1 orthogonal lifted from D6 ρ11 2 0 2 0 -1 2 -1 2 -2 -2 0 0 0 -1 0 1 -1 1 orthogonal lifted from D6 ρ12 2 0 2 0 -1 2 -1 -2 2 -2 0 0 0 -1 0 -1 1 1 orthogonal lifted from D6 ρ13 2 2 -2 -2 2 2 2 0 0 0 0 0 0 -2 2 0 0 0 symplectic lifted from Q8, Schur index 2 ρ14 2 -2 -2 2 2 2 2 0 0 0 0 0 0 -2 -2 0 0 0 symplectic lifted from Q8, Schur index 2 ρ15 4 0 -4 0 -2 4 -2 0 0 0 0 0 0 2 0 0 0 0 symplectic lifted from S3×Q8, Schur index 2 ρ16 8 -8 0 0 8 -1 -1 0 0 0 0 0 0 0 1 0 0 0 orthogonal lifted from C2×PSU3(𝔽2) ρ17 8 8 0 0 8 -1 -1 0 0 0 0 0 0 0 -1 0 0 0 orthogonal lifted from PSU3(𝔽2) ρ18 16 0 0 0 -8 -2 1 0 0 0 0 0 0 0 0 0 0 0 orthogonal faithful

Permutation representations of S3×PSU3(𝔽2)
On 24 points - transitive group 24T1335
Generators in S24
(1 19 14)(2 20 15)(3 17 16)(4 18 13)(5 10 21)(6 11 22)(7 12 23)(8 9 24)
(1 3)(2 4)(5 12)(6 9)(7 10)(8 11)(13 20)(14 17)(15 18)(16 19)(21 23)(22 24)
(1 19 14)(2 15 20)(3 16 17)(4 18 13)(5 10 21)(7 23 12)
(1 19 14)(2 20 15)(3 16 17)(4 13 18)(6 11 22)(8 24 9)
(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 24 3 22)(2 23 4 21)(5 20 7 18)(6 19 8 17)(9 16 11 14)(10 15 12 13)

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

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

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

G:=TransitiveGroup(24,1335);

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

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

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

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

G:=TransitiveGroup(27,135);

Matrix representation of S3×PSU3(𝔽2) in GL12(𝔽13)

 0 1 0 0 0 0 0 0 0 0 0 0 12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 12 12 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1
,
 12 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 12
,
 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 12 0 0 0 0 0 0 0 0 1 0 0 12 0 0 0 0 1 0 0 0 0 0 0 12 0 0 0 0 0 0 1 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 1 12 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 1 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 1 0 12
,
 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 12 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 1 0 0 0 0 0 0 12 0 0 0 1 0 0 0 0 0 0 0 12 0 1 0 0 0 0 0 0 0 0 0 12 0 0 1 0 0 0 0 0 0 0 0 12 1 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 1 0 12 0 0 0 0 0
,
 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0
,
 8 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0 0 0 0 12 0 0 0 0

G:=sub<GL(12,GF(13))| [0,12,0,0,0,0,0,0,0,0,0,0,1,12,0,0,0,0,0,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,0,0,1,12,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1],[12,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,12,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,0,0,0,0,12],[1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,12,12,12,12,12,12,12,12],[1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,12,12,12,12,12,12,12,12,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0],[0,0,12,0,0,0,0,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0],[8,0,0,0,0,0,0,0,0,0,0,0,0,8,0,0,0,0,0,0,0,0,0,0,0,0,5,0,0,0,0,0,0,0,0,0,0,0,0,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0] >;

S3×PSU3(𝔽2) in GAP, Magma, Sage, TeX

S_3\times {\rm PSU}_3({\mathbb F}_2)
% in TeX

G:=Group("S3xPSU(3,2)");
// GroupNames label

G:=SmallGroup(432,742);
// by ID

G=gap.SmallGroup(432,742);
# by ID

G:=PCGroup([7,-2,-2,-2,-2,-3,3,-3,64,135,58,1411,858,165,1356,187,530,14118]);
// Polycyclic

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

Export

׿
×
𝔽