Copied to
clipboard

## G = C22⋊S4order 96 = 25·3

### The semidirect product of C22 and S4 acting via S4/C22=S3

Aliases: C22⋊S4, C243S3, C22⋊A42C2, SmallGroup(96,227)

Series: Derived Chief Lower central Upper central

 Derived series C1 — C24 — C22⋊A4 — C22⋊S4
 Chief series C1 — C22 — C24 — C22⋊A4 — C22⋊S4
 Lower central C22⋊A4 — C22⋊S4
 Upper central C1

Generators and relations for C22⋊S4
G = < a,b,c,d,e,f | a2=b2=c2=d2=e3=f2=1, ebe-1=ab=ba, ac=ca, ad=da, eae-1=faf=b, bc=cb, bd=db, fbf=a, ece-1=fcf=cd=dc, ede-1=c, df=fd, fef=e-1 >

Subgroups: 250 in 56 conjugacy classes, 7 normal (4 characteristic)
C1, C2, C3, C4, C22, C22, S3, C2×C4, D4, C23, A4, C22⋊C4, C2×D4, C24, S4, C22≀C2, C22⋊A4, C22⋊S4
Quotients: C1, C2, S3, S4, C22⋊S4

Character table of C22⋊S4

 class 1 2A 2B 2C 2D 2E 3 4A 4B 4C size 1 3 3 3 6 12 32 12 12 12 ρ1 1 1 1 1 1 1 1 1 1 1 trivial ρ2 1 1 1 1 1 -1 1 -1 -1 -1 linear of order 2 ρ3 2 2 2 2 2 0 -1 0 0 0 orthogonal lifted from S3 ρ4 3 -1 3 -1 -1 -1 0 1 -1 1 orthogonal lifted from S4 ρ5 3 -1 -1 3 -1 1 0 -1 -1 1 orthogonal lifted from S4 ρ6 3 3 -1 -1 -1 -1 0 -1 1 1 orthogonal lifted from S4 ρ7 3 -1 3 -1 -1 1 0 -1 1 -1 orthogonal lifted from S4 ρ8 3 -1 -1 3 -1 -1 0 1 1 -1 orthogonal lifted from S4 ρ9 3 3 -1 -1 -1 1 0 1 -1 -1 orthogonal lifted from S4 ρ10 6 -2 -2 -2 2 0 0 0 0 0 orthogonal faithful

Permutation representations of C22⋊S4
On 8 points - transitive group 8T34
Generators in S8
```(1 6)(2 5)(3 4)(7 8)
(1 8)(2 4)(3 5)(6 7)
(1 7)(2 4)(3 5)(6 8)
(1 8)(2 5)(3 4)(6 7)
(3 4 5)(6 7 8)
(1 2)(3 7)(4 6)(5 8)```

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

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

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

`G:=TransitiveGroup(8,34);`

On 12 points - transitive group 12T66
Generators in S12
```(1 11)(2 8)(3 5)(4 12)(6 7)(9 10)
(1 7)(2 4)(3 10)(5 9)(6 11)(8 12)
(1 7)(2 12)(3 5)(4 8)(6 11)(9 10)
(1 6)(2 8)(3 10)(4 12)(5 9)(7 11)
(1 2 3)(4 5 6)(7 8 9)(10 11 12)
(2 3)(4 5)(7 11)(8 10)(9 12)```

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

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

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

`G:=TransitiveGroup(12,66);`

On 12 points - transitive group 12T67
Generators in S12
```(1 11)(2 12)(4 8)(6 7)
(1 11)(3 10)(5 9)(6 7)
(1 7)(2 8)(4 12)(6 11)
(2 8)(3 9)(4 12)(5 10)
(1 2 3)(4 5 6)(7 8 9)(10 11 12)
(2 3)(4 5)(8 9)(10 12)```

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

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

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

`G:=TransitiveGroup(12,67);`

On 12 points - transitive group 12T68
Generators in S12
```(1 11)(2 12)(4 8)(6 7)
(1 11)(3 10)(5 9)(6 7)
(1 7)(2 8)(4 12)(6 11)
(2 8)(3 9)(4 12)(5 10)
(1 2 3)(4 5 6)(7 8 9)(10 11 12)
(1 6)(2 5)(3 4)(7 11)(8 10)(9 12)```

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

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

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

`G:=TransitiveGroup(12,68);`

On 12 points - transitive group 12T69
Generators in S12
```(2 7)(3 8)(4 10)(6 12)
(1 9)(2 7)(5 11)(6 12)
(1 9)(3 8)(5 11)(6 12)
(1 9)(2 7)(4 10)(6 12)
(1 2 3)(4 5 6)(7 8 9)(10 11 12)
(1 10)(2 12)(3 11)(4 9)(5 8)(6 7)```

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

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

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

`G:=TransitiveGroup(12,69);`

On 16 points - transitive group 16T194
Generators in S16
```(1 6)(2 8)(3 15)(4 12)(5 7)(9 11)(10 16)(13 14)
(1 5)(2 14)(3 11)(4 10)(6 7)(8 13)(9 15)(12 16)
(1 2)(3 4)(5 14)(6 8)(7 13)(9 16)(10 11)(12 15)
(1 3)(2 4)(5 11)(6 15)(7 9)(8 12)(10 14)(13 16)
(2 3 4)(5 6 7)(8 9 10)(11 12 13)(14 15 16)
(2 4)(5 6)(8 10)(11 15)(12 14)(13 16)```

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

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

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

`G:=TransitiveGroup(16,194);`

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

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

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

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

`G:=TransitiveGroup(24,195);`

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

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

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

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

`G:=TransitiveGroup(24,196);`

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

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

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

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

`G:=TransitiveGroup(24,197);`

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

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

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

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

`G:=TransitiveGroup(24,198);`

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

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

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

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

`G:=TransitiveGroup(24,199);`

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

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

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

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

`G:=TransitiveGroup(24,200);`

C22⋊S4 is a maximal subgroup of
C24⋊D6  A4≀C2  PSO4+ (𝔽3)  (C2×C6)⋊S4  C244D15
C22⋊S4 is a maximal quotient of
Q8.1S4  Q8⋊S4  C23.S4  Q8.S4  C23⋊S4  Q82S4  C244Dic3  C24⋊D9  (C2×C6)⋊S4  C244D15

Polynomial with Galois group C22⋊S4 over ℚ
actionf(x)Disc(f)
8T34x8+4x6+4x5+35x4+8x3+66x2+62x+6328·72·192·592·7094
12T66x12-3x10-3x8+6x6-9x4-27x2+27236·331·58
12T67x12-x8-x6-x4+1212·2294
12T68x12+x10+6x8+3x6+6x4+x2+1220·34·196
12T69x12-3x10-2x8+9x6-5x2+1220·376

Matrix representation of C22⋊S4 in GL6(ℤ)

 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 -1 -1 -1
,
 0 1 0 0 0 0 1 0 0 0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 1 0
,
 0 1 0 0 0 0 1 0 0 0 0 0 -1 -1 -1 0 0 0 0 0 0 0 0 1 0 0 0 -1 -1 -1 0 0 0 1 0 0
,
 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 -1 -1 -1 0 0 0 0 0 1 0 0 0 0 1 0
,
 1 0 0 0 0 0 0 0 1 0 0 0 -1 -1 -1 0 0 0 0 0 0 1 0 0 0 0 0 -1 -1 -1 0 0 0 0 1 0
,
 0 0 0 1 0 0 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

`G:=sub<GL(6,Integers())| [-1,0,0,0,0,0,-1,0,1,0,0,0,-1,1,0,0,0,0,0,0,0,0,1,-1,0,0,0,1,0,-1,0,0,0,0,0,-1],[0,1,-1,0,0,0,1,0,-1,0,0,0,0,0,-1,0,0,0,0,0,0,-1,0,0,0,0,0,-1,0,1,0,0,0,-1,1,0],[0,1,-1,0,0,0,1,0,-1,0,0,0,0,0,-1,0,0,0,0,0,0,0,-1,1,0,0,0,0,-1,0,0,0,0,1,-1,0],[-1,0,0,0,0,0,-1,0,1,0,0,0,-1,1,0,0,0,0,0,0,0,-1,0,0,0,0,0,-1,0,1,0,0,0,-1,1,0],[1,0,-1,0,0,0,0,0,-1,0,0,0,0,1,-1,0,0,0,0,0,0,1,-1,0,0,0,0,0,-1,1,0,0,0,0,-1,0],[0,0,0,1,0,0,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] >;`

C22⋊S4 in GAP, Magma, Sage, TeX

`C_2^2\rtimes S_4`
`% in TeX`

`G:=Group("C2^2:S4");`
`// GroupNames label`

`G:=SmallGroup(96,227);`
`// by ID`

`G=gap.SmallGroup(96,227);`
`# by ID`

`G:=PCGroup([6,-2,-3,-2,2,-2,2,49,218,116,147,225,1444,1090,869,443]);`
`// Polycyclic`

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

׿
×
𝔽