În matematică un grup diedral^[a] este grupul de simetrii al unui poligon regulat,^[1][2] care include rotații și reflexii. Grupurile diedrale sunt printre cele mai simple exemple de grupuri finite și joacă un rol important în teoria grupurilor, geometrie și chimie.

Notația pentru grupul diedral diferă în geometrie față de cea din algebra abstractă. În geometrie D_n sau Dih_n se referă la simetriile unui n-gon, un grup de ordinul 2n. În algebra abstractă, D_2n se referă la același grup diedral.^[3] În acest articol se folosește convenția geometrică a notației.

Un poligon regulat cu ${\displaystyle n}$ laturi are ${\displaystyle 2n}$ simetrii diferite: ${\displaystyle n}$ simetrii de rotație și ${\displaystyle n}$ simetrii de reflexie. De obicei, aici se consideră ${\displaystyle n\geq 3}$. Rotațiile și reflexiile asociate formează grupul diedral ${\displaystyle \mathrm {D} _{n}}$. Dacă ${\displaystyle n}$ este impar, fiecare axă de simetrie conectează punctul de mijloc al unei laturi de vârful opus. Dacă ${\displaystyle n}$ este par, există ${\displaystyle n/2}$ axe de simetrie care leagă punctele de mijoc ale laturilor opuse și ${\displaystyle n/2}$ axe de simetrie care leagă vârfuri opuse. În ambele cazuri, există ${\displaystyle n}$ axe de simetrie și ${\displaystyle 2n}$ elemente în grupul de simetrie.^[4] Reflexia față de o axă de simetrie urmată de reflexia față de o altă axă de simetrie produce o rotație de două ori mai mare decât unghiul dintre aceste axe.^[5]

Următoarea imagine arată efectul celor șaisprezece elemente ale lui ${\displaystyle \mathrm {D} _{8}}$ asupra unui indicator de oprire^⁠(d):

Primul rând arată efectul celor opt rotații, iar al doilea rând arată efectul celor opt reflexii, acționând în fiecare caz asupra indicatorului de oprire cu orientarea așa cum se arată în stânga sus.

Ca pentru orice figură geometrică, compunerea^⁠(d) a două simetrii ale unui poligon regulat este și ea o simetrie a acelui obiect. Compunerea simetriilor este o operație binară care dă simetriilor unui poligon structura algebrică a unui grup finit.^[6]

Următoarea tablă Cayley^⁠(d) arată efectul compunerii în grupul D₃ (simetriile unui triunghi echilateral). Cu r₀ se notează identitatea; cu r₁ și r₂ rotațiile în sens antiorar cu 120°, respectiv 240° și cu s₀, s₁ și s₂ reflexiile față de cele trei axe prezentate în imaginea alăturată.

De exemplu, s₂s₁ = r₁ deoarece reflexia s₁ urmată de reflexia s₂ dă rotația cu 120°. Ordinea elementelor de compunere este de la dreapta la stânga, conform convenției că elementul acționează asupra expresiei din dreapta sa. Operația de compunere nu este comutativă.^[6]

În general, grupul D_n are elementele r₀, ..., r_n−1 și s₀, ..., s_n−1, cu compunerea dată de formulele următoare:

${\displaystyle \mathrm {r} _{i}\,\mathrm {r} _{j}=\mathrm {r} _{i+j},\quad \mathrm {r} _{i}\,\mathrm {s} _{j}=\mathrm {s} _{i+j},\quad \mathrm {s} _{i}\,\mathrm {r} _{j}=\mathrm {s} _{i-j},\quad \mathrm {s} _{i}\,\mathrm {s} _{j}=\mathrm {r} _{i-j}.}$

În toate cazurile adunarea și scăderea indicilor trebuie efectuate modulo n.

D₁ este izomorf cu Z₂, grupul ciclic^⁠(d) de ordinul 2. D₂ este izomorf cu K₄, grupul lui Klein. D₁ și D₂ sunt excepționale prin faptul că:

• D₁ și D₂ sunt singurele grupuri abeliene diedrale. Celelalte, D_n, nu sunt abeliene.
• D_n este un subgrup al grupului simetric^⁠(d) S_n pentru n ≥ 3. Deoarece 2n > n!, D_n este prea mare pentru a fi un subgrup pentru n = 1 și n = 2.
• Grupul de automorfisme interioare^⁠(d) D₂ este trivial, în timp ce pentru alte valori pare ale lui n, aceasta este D_n / Z₂.

Grafurile ciclice^⁠(d) ale grupurilor diedrale constau dintr-un ciclu de n elemente și n cicluri de 2 elemente. Vârful (punctul) negru din grafurile ciclice de mai jos ale diferitelor grupuri diedrale reprezintă elementul neutru, iar celelalte vârfuri sunt celelalte elemente ale grupului. Un ciclu constă din puteri succesive ale oricăruia dintre elementele conectate la elementul neutru.

Grafuri ciclice

D1 = Z2	D2 = Z22 = K4	D3	D4	D5
D6 = D3 × Z2	D7	D8	D9	D10 = D5 × Z2

D3 = S3	D4

Un exemplu de grup abstract D_n, și o modalitate obișnuită de a-l vizualiza este grupul de izometrie al planului euclidian care păstrează originea fixă. Aceste grupuri formează una dintre cele două serii de grupuri punctuale discrete în spațiul bidimensional. D_n constă din n rotații de multipli de 360°/n în jurul originii și reflexii față de n axe care trec prin origine, făcând unghiuri de multipli de 180°/n una cu cealaltă. Acesta este grupul de simetrie al unui poligon regulat cu n laturi (pentru n ≥ 3; aceasta se extinde la cazurile n = 1 și n = 2 în care avem un plan cu un punct deplasat față de „centrul” „1-gonului”, și un „2-gon”, adică un segment).

D_n este generat^⁠(d) de o rotație r de ordinul n și o reflexie s de ordinul 2 astfel încât

${\displaystyle \mathrm {srs} =\mathrm {r} ^{-1}\,}$

În termeni geometrici: în oglindă o rotație arată ca o rotație în sens invers.

În ceea ce privește numerele complexe: operația corespunde înmulțirii cu ${\displaystyle e^{2\pi i \over n}}$ și conjugării complexe.

În formă matricială, punând

${\displaystyle \mathrm {r} _{1}={\begin{bmatrix}\cos {2\pi \over n}&-\sin {2\pi \over n}\\[4pt]\sin {2\pi \over n}&\cos {2\pi \over n}\end{bmatrix}}\qquad \mathrm {s} _{0}={\begin{bmatrix}1&0\\0&-1\end{bmatrix}}}$

și definind ${\displaystyle \mathrm {r} _{j}=\mathrm {r} _{1}^{j}}$ și ${\displaystyle \mathrm {s} _{j}=\mathrm {r} _{j}\,\mathrm {s} _{0}}$ pentru ${\displaystyle j\in \{1,\ldots ,n-1\}}$ se poate scrie regula produsului lui D_n ca

${\displaystyle {\begin{aligned}\mathrm {r} _{j}\,\mathrm {r} _{k}&=\mathrm {r} _{(j+k){\text{ mod }}n}\\\mathrm {r} _{j}\,\mathrm {s} _{k}&=\mathrm {s} _{(j+k){\text{ mod }}n}\\\mathrm {s} _{j}\,\mathrm {r} _{k}&=\mathrm {s} _{(j-k){\text{ mod }}n}\\\mathrm {s} _{j}\,\mathrm {s} _{k}&=\mathrm {r} _{(j-k){\text{ mod }}n}\end{aligned}}}$

Grupul diedral D₂ este generat de rotația r de 180° și reflexia s pe axa x. Elementele lui D₂ pot fi apoi reprezentate ca {e, r, s, rs}, unde e este elementul neutru sau transformarea nulă, iar rs este reflexia față de axa y.

D₂ este izomorf cu grupul lui Klein.

Pentru n > 2 operațiile de rotație și reflexie nu sunt comutative în general și D_n nu este abelian. De exemplu, în D₄, o rotație de 90° urmată de o reflexie dă un rezultat diferit de o reflexie urmată de o rotație de 90°.

Astfel, dincolo de aplicarea lor evidentă la problemele de simetrie în plan, aceste grupuri sunt printre cele mai simple exemple de grupuri neabeliene și, ca atare, apar frecvent drept contraexemple ușoare ale teoremelor care sunt limitate la grupurile abeliene.

Elementele 2n ale lui D_n pot fi scrise ca e, r, r², ... , rⁿ⁻¹, s, rs, r²s, ... , rⁿ⁻¹s . Primele n elemente enumerate sunt rotații, iar restul de n elemente sunt reflexii față de axă (toate au ordinul 2). Compunerea a două rotații sau două reflexii este o rotație; compunerea unei rotații și a unei reflexii este o reflexie.

• 
  Simetrie D₁₆ – Sigiliu imperial al Japoniei, reprezentând crizantema cu șaisprezece petale
• 
  Simetrie D₆ – Steaua lui David Roșie
• 
  Simetrie D₁₂ – Drapelul naval al Taiwanului (Soarele alb)
• 
  Simetrie D₂₄ – Ashoka Chakra, cum apare pe drapelul Indiei

• en Dihedral Group n of Order 2n by Shawn Dudzik, Wolfram Demonstrations Project.
• en Dihedral group at Groupprops
• en Eric W. Weisstein, Dihedral Group la MathWorld.
• en Eric W. Weisstein, Dihedral Group D3 la MathWorld.
• en Eric W. Weisstein, Dihedral Group D4 la MathWorld.
• en Eric W. Weisstein, Dihedral Group D5 la MathWorld.
• en Davis, Declan, Dihedral Group D6 la MathWorld.
• en Dihedral groups on GroupNames

Portal matematică