En teoría de grupos, el grupo alternante, también conocido como grupo alternado o subgrupo alternado, denotado usualmente ${\displaystyle A_{n}}$, es el subgrupo del grupo simétrico ${\displaystyle S_{n}}$ del conjunto ${\displaystyle \{1,2,\dots ,n\}}$ formado por las permutaciones pares.^[1]​ Simbólicamente:

${\displaystyle A_{n}=\{\sigma \in S_{n}:\sigma {\text{ es par}}\}=\ker(\varepsilon ),}$

siendo

${\displaystyle \varepsilon :S_{n}\rightarrow \{-1,1\}}$

la aplicación signo de una permutación.

${\displaystyle A_{n}}$ es un subgrupo normal de ${\displaystyle S_{n}}$. De hecho, es su subgrupo conmutador, de índice 2, y por ello tiene ${\displaystyle n!/2}$ elementos.

${\displaystyle A_{n}}$ es no abeliano para ${\displaystyle n\geq 4}$.

El grupo ${\displaystyle A_{4}}$ tiene a ${\displaystyle V}$ (el grupo de Klein) como subgrupo propio normal. Para ${\displaystyle n\geq 5}$, ${\displaystyle A_{n}}$ es un grupo simple.

• Subgrupo.
• Grupo cociente.
• Combinatoria.