# Symmetric groups on finite sets are complete

## Statement

For $n \ne 2,6$, the Symmetric group (?) $\operatorname{Sym}(n)$ on a set of size $n$ (i.e., the Symmetric group on finite set (?)), is a Complete group (?): it is centerless and every automorphism of it is inner.

For $n = 2$, the group is not centerless, but every automorphism is inner.

For $n = 6$, the group is centerless, but not every automorphism is inner. In fact, the symmetric group of degree six is of index two in its automorphism group.

## Proof

1. Centerless: The fact that the symmetric group is centerless for $n \ne 2$ follows from fact (1).
2. Every automorphism is inner: Fact (2) yields that every automorphism preserves the conjugacy class of transpositions when $n \ne 6$ follows from fact (2). Fact (3) then yields that, in fact, every automorphism is inner.