Alternerende groep

${𝒜}_3={𝒞}_3$ Sjabloon:Legenda-lijn

In de groepentheorie, een tak van de wiskunde, is de alternerende groep op n elementen, genoteerd als ${𝒜}_n$, de ondergroep van de symmetrische groep ${𝒮}_n$ die bestaat uit de even elementen van ${𝒮}_n$.

De symmetrische groep ${𝒮}_n$ bestaat uit alle permutaties van $n$ verschillende plaatsen. De samenstelling van permutaties is de groepsbewerking en in de alternerende groep komen alleen even permutaties voor.

Ieder element van ${𝒮}_n$ kan worden geschreven als een samenstelling van een eindig aantal paarsverwisselingen, permutaties die alleen de waarde op twee verschillende plaatsen omdraaien. Deze permutaties, die alleen twee plaatsen van waarde verwisselen zijn een involutie. De schrijfwijze van een permutatie als de samenstelling van verwisselingen is niet uniek, maar de pariteit van het aantal paarsverwisselingen is wel onveranderlijk. Een even permutatie is een samenstelling van een even aantal paarsverwisselingen, een oneven permutatie is een samenstelling van een oneven aantal paarsverwisselingen. De identieke permutatie is even.

De alternerende groep ${𝒜}_n$ is dus de ondergroep die uit de even permutaties van ${𝒮}_n$ bestaat. In de groepen met meer elementen dan alleen maar de identiteit, dat is met $n>1$, heeft ${𝒜}_n$ de helft van het aantal elementen van ${𝒮}_n$, dus n!/2 elementen.

De alternerende groep ${𝒜}_3$ op 3 elementen is isomorf met de groep van rotatiesymmetrieën van een gelijkzijdige driehoek, dus is isomorf met de cyclische groep ${𝒞}_3$. De spiegelingen van de gelijkzijdige driehoek zijn de oneven elementen van ${𝒮}_3$, dus geen element van ${𝒜}_3$.

${𝒜}_4$ is isomorf met de symmetriegroep van het viervlak en heeft 12 elementen. Deze orde 12 van ${𝒜}_4$ kan volgens de stelling van Lagrange door de orde van alle mogelijke ondergroepen van ${𝒜}_4$ worden gedeeld. Iedere groep $G$ en de triviale groep zijn een ondergroep van $G$. Behalve deze twee heeft ${𝒜}_4$ wel ondergroepen van de orde 2, 3 en 4, maar niet van 6.

Voor $n\ge 4$ is ${𝒜}_n$ niet commutatief.