# Dihedrale groep

In de groepentheorie en de meetkunde, deelgebieden van de wiskunde, is een dihedrale groep of diëdergroep de groep van symmetrieën van een regelmatige veelhoek. Voor $n\geq 3$ wordt de groep van symmetrieën van een regelmatige $n$-hoek genoteerd als $\mathrm {D} _{n}$ of $\mathrm {Dih} _{n}$. De groep heeft $2n$ elementen, namelijk $n$ draaiingen en $n$ spiegelingen. De eenvoudigste dihedrale groep is de groep $D_{3}$ die isomorf is met de symmetriegroep van een gelijkzijdige driehoek.
De symmetriegroep van het vierkant wordt genoteerd als $\mathrm {D} _{4}$. Een sneeuwvlok heeft de dihedrale symmetrie van een regelmatige zeshoek. De symmetriegroep ervan is $\mathrm {D} _{6}$.
De dihedrale groep wordt in het algemeen in twee dimensies als de groep van symmetrieën van een regelmatige veelhoek beschreven, maar kan ook in drie dimensies worden beschreven. De beschrijvingen zijn isomorf.
De dihedrale groep is voor $n$ vanaf drie te interpreteren als een permutatiegroep van de hoekpunten van een regelmatige veelhoek. De dihedrale groepen vormen een rij van groepen. Dat zijn de symmetriegroepen van de regelmatige veelhoeken onder draaiing en spiegeling. Ze hebben een dekpunt waardoor $n$ spiegellijnen lopen, waarvan twee opeenvolgende een hoek maken van 180°$/n$. Dat levert bij draaiing over een hoek van 360°$/n$ dezelfde figuur op. Er zijn zo regelmatige n-hoeken met symmetrie $\mathrm {D} _{n}$, dus vanaf $n=3$. Dihedrale groepen zijn eindige groepen, behoren tot de eenvoudigste voorbeelden daarvan en spelen een belangrijke rol in de groepentheorie, de meetkunde en de scheikunde. Bij gelijkstelling van symmetriegroepen van figuren die uit elkaar ontstaan door een directe isometrie, is er voor een gegeven vlak voor iedere waarde van $n$ precies een zo'n groep $\mathrm {D} _{n}$.
$\mathrm {Dih} _{n}$ is alleen abels, dus commutatief voor $n=1$ en $n=2$. $\mathrm {Dih} _{n}$ komt voor deze waarden nog niet met de symmetriegroep van een regelmatige veelhoek overeen. $\mathrm {Dih} _{3}$ is de kleinste groep, die niet commutatief is.
De cyclische groep $\mathrm {C} _{n}$ is een ondergroep van de dihedrale groep $\mathrm {D} _{n}$. Er zijn alleen de rotaties element van $\mathrm {C} _{n}$ en die zijn dat ook van $\mathrm {D} _{n}$. De spiegelingen die in $\mathrm {D} _{n}$ voorkomen, zijn geen element van $\mathrm {C} _{n}$. De dihedrale groep $\mathrm {D} _{n}$ is weer een ondergroep van de symmetrische groep $\mathrm {S} _{n}$.
Een variant is de oneindige dihedrale groep.

## Drie dimensies

De symmetriegroep $\mathrm {D} _{n}$ in drie dimensies heeft ook hier de orde $2n$. De beschrijving van de groep gaat aan de hand van een fundamenteel domein, in dit geval een tweehoek, die 1/6 van het boloppervlak omvat. Er zijn twee beschrijvingen mogelijk. Er komen in de eerste beschrijving $n$ omwentelingsassen en een verticale rotatie-as voor, maar niet meer symmetriën. Er komen in de tweede beschrijving weer $n$ omwentelingsassen, maar nu nog een spiegelvlak voor.
Het stelsel van spiegellijnen heeft in de tweede beschrijving dus zelf rotatiesymmetrie met twee keer meer spiegelvlakken dan dat er omwentelingsassen voor de rotatiesymmetrie zijn.
De symmetriegroep van de rechthoek heet de viergroep van Klein en is isomorf met $\mathrm {D} _{2}$
* $\mathrm {D} _{3}$ in drie dimensies ■ fundamenteel domein

## Voorbeeld

Onderstaande figuur illustreert de zestien elementen van de dihedrale groep $\mathrm {D} _{8}$. De bovenste rij toont de rotaties en de onderste de spiegelingen.
* ↑ met een oppervlakte