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 ${\displaystyle n\geq 3}$ wordt de groep van symmetrieën van een regelmatige ${\displaystyle n}$-hoek genoteerd als ${\displaystyle \mathrm {D} _{n}}$ of ${\displaystyle \mathrm {Dih} _{n}}$. De groep heeft ${\displaystyle 2n}$ elementen, namelijk ${\displaystyle n}$ draaiingen en ${\displaystyle n}$ spiegelingen. De eenvoudigste dihedrale groep is de groep ${\displaystyle D_{3}}$ die isomorf is met de symmetriegroep van een gelijkzijdige driehoek.

De symmetriegroep van het vierkant wordt genoteerd als ${\displaystyle \mathrm {D} _{4}}$. Een sneeuwvlok heeft de dihedrale symmetrie van een regelmatige zeshoek. De symmetriegroep ervan is ${\displaystyle \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 ${\displaystyle n}$ vanaf drie te interpreteren als een permutatiegroep van de hoekpunten van een regelmatige veelhoek.^[1] 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 ${\displaystyle n}$ spiegellijnen lopen, waarvan twee opeenvolgende een hoek maken van 180°${\displaystyle /n}$. Dat levert bij draaiing over een hoek van 360°${\displaystyle /n}$ dezelfde figuur op. Er zijn zo regelmatige n-hoeken met symmetrie ${\displaystyle \mathrm {D} _{n}}$, dus vanaf ${\displaystyle 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 ${\displaystyle n}$ precies een zo'n groep ${\displaystyle \mathrm {D} _{n}}$.

${\displaystyle \mathrm {Dih} _{n}}$ is alleen abels, dus commutatief voor ${\displaystyle n=1}$ en ${\displaystyle n=2}$. ${\displaystyle \mathrm {Dih} _{n}}$ komt voor deze waarden nog niet met de symmetriegroep van een regelmatige veelhoek overeen. ${\displaystyle \mathrm {Dih} _{3}}$ is de kleinste groep, die niet commutatief is.

De cyclische groep ${\displaystyle \mathrm {C} _{n}}$ is een ondergroep van de dihedrale groep ${\displaystyle \mathrm {D} _{n}}$. Er zijn alleen de rotaties element van ${\displaystyle \mathrm {C} _{n}}$ en die zijn dat ook van ${\displaystyle \mathrm {D} _{n}}$. De spiegelingen die in ${\displaystyle \mathrm {D} _{n}}$ voorkomen, zijn geen element van ${\displaystyle \mathrm {C} _{n}}$. De dihedrale groep ${\displaystyle \mathrm {D} _{n}}$ is weer een ondergroep van de symmetrische groep ${\displaystyle \mathrm {S} _{n}}$.

Een variant is de oneindige dihedrale groep.

1. ↑ met een oppervlakte