Copied to
clipboard

G = C5⋊S4order 120 = 23·3·5

The semidirect product of C5 and S4 acting via S4/A4=C2

non-abelian, soluble, monomial

Aliases: C5⋊S4, A4⋊D5, C22⋊D15, (C5×A4)⋊1C2, (C2×C10)⋊2S3, SmallGroup(120,38)

Series: Derived Chief Lower central Upper central

C1C22C5×A4 — C5⋊S4
C1C22C2×C10C5×A4 — C5⋊S4
C5×A4 — C5⋊S4
C1

Generators and relations for C5⋊S4
 G = < a,b,c,d,e | a5=b2=c2=d3=e2=1, ab=ba, ac=ca, ad=da, eae=a-1, dbd-1=ebe=bc=cb, dcd-1=b, ce=ec, ede=d-1 >

3C2
30C2
4C3
15C22
15C4
20S3
3C10
6D5
4C15
15D4
3D10
3Dic5
4D15
5S4
3C5⋊D4

Character table of C5⋊S4

 class 12A2B345A5B10A10B15A15B15C15D
 size 133083022668888
ρ11111111111111    trivial
ρ211-11-111111111    linear of order 2
ρ3220-102222-1-1-1-1    orthogonal lifted from S3
ρ422020-1+5/2-1-5/2-1+5/2-1-5/2-1-5/2-1-5/2-1+5/2-1+5/2    orthogonal lifted from D5
ρ522020-1-5/2-1+5/2-1-5/2-1+5/2-1+5/2-1+5/2-1-5/2-1-5/2    orthogonal lifted from D5
ρ6220-10-1+5/2-1-5/2-1+5/2-1-5/23ζ533ζ5253ζ3ζ533ζ5252ζ32ζ5432ζ55ζ3ζ543ζ55    orthogonal lifted from D15
ρ7220-10-1+5/2-1-5/2-1+5/2-1-5/2ζ3ζ533ζ52523ζ533ζ5253ζ3ζ543ζ55ζ32ζ5432ζ55    orthogonal lifted from D15
ρ8220-10-1-5/2-1+5/2-1-5/2-1+5/2ζ3ζ543ζ55ζ32ζ5432ζ553ζ533ζ5253ζ3ζ533ζ5252    orthogonal lifted from D15
ρ9220-10-1-5/2-1+5/2-1-5/2-1+5/2ζ32ζ5432ζ55ζ3ζ543ζ55ζ3ζ533ζ52523ζ533ζ5253    orthogonal lifted from D15
ρ103-1-10133-1-10000    orthogonal lifted from S4
ρ113-110-133-1-10000    orthogonal lifted from S4
ρ126-2000-3+35/2-3-35/21-5/21+5/20000    orthogonal faithful
ρ136-2000-3-35/2-3+35/21+5/21-5/20000    orthogonal faithful

Permutation representations of C5⋊S4
On 20 points - transitive group 20T33
Generators in S20
(1 2 3 4 5)(6 7 8 9 10)(11 12 13 14 15)(16 17 18 19 20)
(1 11)(2 12)(3 13)(4 14)(5 15)(6 16)(7 17)(8 18)(9 19)(10 20)
(1 16)(2 17)(3 18)(4 19)(5 20)(6 11)(7 12)(8 13)(9 14)(10 15)
(6 11 16)(7 12 17)(8 13 18)(9 14 19)(10 15 20)
(2 5)(3 4)(6 11)(7 15)(8 14)(9 13)(10 12)(17 20)(18 19)

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

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

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

G:=TransitiveGroup(20,33);

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

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

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

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

G:=TransitiveGroup(30,19);

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

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

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

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

G:=TransitiveGroup(30,31);

C5⋊S4 is a maximal subgroup of   D5×S4  A4⋊D15  C42⋊D15  C244D15
C5⋊S4 is a maximal quotient of   Q8.D15  Q8⋊D15  A4⋊Dic5  C22⋊D45  A4⋊D15  C42⋊D15  C244D15

Matrix representation of C5⋊S4 in GL5(𝔽61)

5124000
3727000
00100
00010
00001
,
10000
01000
000601
000600
001600
,
10000
01000
000160
001060
000060
,
6060000
10000
00001
00100
00010
,
01000
10000
00010
00100
00001

G:=sub<GL(5,GF(61))| [51,37,0,0,0,24,27,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,1],[1,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,60,60,60,0,0,1,0,0],[1,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,60,60,60],[60,1,0,0,0,60,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,1,0,0],[0,1,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,0,1] >;

C5⋊S4 in GAP, Magma, Sage, TeX

C_5\rtimes S_4
% in TeX

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

G:=SmallGroup(120,38);
// by ID

G=gap.SmallGroup(120,38);
# by ID

G:=PCGroup([5,-2,-3,-5,-2,2,41,362,1203,608,754,1134]);
// Polycyclic

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

Export

Subgroup lattice of C5⋊S4 in TeX
Character table of C5⋊S4 in TeX

׿
×
𝔽