Symmetric group on finite set
From Groupprops
(Redirected from Symmetric group on a finite set)
Definition
A symmetric group on finite set or symmetric group of finite degree is a symmetric group on a finite set.
See symmetric group for more general information about symmetric groups.
Particular cases
Small finite values
Since alternating groups are simple for degree at least five, all symmetric groups of degree at least five are not solvable. Also, all symmetric groups of degree greater than two are centerless, and among them, the one of degree six is the only one that is not complete.
Cardinality of set | Common name for symmetric group of that degree | Order with prime factorization | Comments |
---|---|---|---|
0 | Trivial group | 1 | Trivial |
1 | Trivial group | 1 | Trivial |
2 | Cyclic group:Z2 | 2 | group of prime order. In particular, abelian |
3 | Symmetric group:S3 | ![]() |
supersolvable but not nilpotent. Also, complete |
4 | Symmetric group:S4 | ![]() |
solvable but not supersolvable or nilpotent. Also, complete |
5 | Symmetric group:S5 | ![]() |
not solvable. Has simple non-abelian subgroup of index two. Also, complete |
6 | Symmetric group:S6 | ![]() |
not solvable, and not complete. |
7 | Symmetric group:S7 | ![]() |
complete, not solvable, has simple non-abelian subgroup of index two. |
8 | Symmetric group:S8 | ![]() |
complete, not solvable, has simple non-abelian subgroup of index two. |
Group properties
Below we discuss properties satisfied for the symmetric group of degree .
Property | Satisfied? | Explanation | Comment |
---|---|---|---|
abelian group | No for ![]() |
||
nilpotent group | No for ![]() |
||
solvable group | No for ![]() |
||
complete group | Yes for ![]() |
symmetric groups are complete | |
centerless group | Yes for ![]() |
symmetric groups are centerless | |
ambivalent group | Yes | symmetric groups are ambivalent | |
strongly rational group | Yes | symmetric groups are strongly rational |