Pour tout $n \not=6$, les automorphismes de $\mathfrak{S}_n$ sont intérieurs.
C'est-à-dire que pour tout automorphisme $f$ de $\mathfrak{S}_n$, il existe $\sigma_0 \in \mathfrak{S}_n$ tel que pour toute permutation $\sigma$,
$$ f(\sigma) = \sigma_0 \sigma \sigma_0^{-1} $$