Proposition

Let with .

  • If commutes with some odd permutation in , then .
  • If does not commute with any odd permutation in then splits into two conjugacy classes in of equal size, with representatives and .

\begin{proof} See |here. \end{proof}