Grup diedral
Î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 Dn sau Dihn se referă la simetriile unui n-gon, un grup de ordinul 2n. În algebra abstractă, D2n se referă la același grup diedral.[3] În acest articol se folosește convenția geometrică a notației.
Definiție
modificareElemente
modificareUn poligon regulat cu laturi are simetrii diferite: simetrii de rotație și simetrii de reflexie. De obicei, aici se consideră . Rotațiile și reflexiile asociate formează grupul diedral . Dacă este impar, fiecare axă de simetrie conectează punctul de mijloc al unei laturi de vârful opus. Dacă este par, există axe de simetrie care leagă punctele de mijoc ale laturilor opuse și axe de simetrie care leagă vârfuri opuse. În ambele cazuri, există axe de simetrie și 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 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.
Structura grupului
modificareCa 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 D3 (simetriile unui triunghi echilateral). Cu r0 se notează identitatea; cu r1 și r2 rotațiile în sens antiorar cu 120°, respectiv 240° și cu s0, s1 și s2 reflexiile față de cele trei axe prezentate în imaginea alăturată.
r0 | r1 | r2 | s0 | s1 | s2 | |
---|---|---|---|---|---|---|
r0 | r0 | r1 | r2 | s0 | s1 | s2 |
r1 | r1 | r2 | r0 | s1 | s2 | s0 |
r2 | r2 | r0 | r1 | s2 | s0 | s1 |
s0 | s0 | s2 | s1 | r0 | r2 | r1 |
s1 | s1 | s0 | s2 | r1 | r0 | r2 |
s2 | s2 | s1 | s0 | r2 | r1 | r0 |
De exemplu, s2s1 = r1 deoarece reflexia s1 urmată de reflexia s2 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 Dn are elementele r0, ..., rn−1 și s0, ..., sn−1, cu compunerea dată de formulele următoare:
În toate cazurile adunarea și scăderea indicilor trebuie efectuate modulo n.
Grupuri diedrale mici
modificareD1 este izomorf cu Z2, grupul ciclic(d) de ordinul 2. D2 este izomorf cu K4, grupul lui Klein. D1 și D2 sunt excepționale prin faptul că:
- D1 și D2 sunt singurele grupuri abeliene diedrale. Celelalte, Dn, nu sunt abeliene.
- Dn este un subgrup al grupului simetric(d) Sn pentru n ≥ 3. Deoarece 2n > n!, Dn este prea mare pentru a fi un subgrup pentru n = 1 și n = 2.
- Grupul de automorfisme interioare(d) D2 este trivial, în timp ce pentru alte valori pare ale lui n, aceasta este Dn / Z2.
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.
D1 = Z2 | D2 = Z22 = K4 | D3 | D4 | D5 |
---|---|---|---|---|
D6 = D3 × Z2 | D7 | D8 | D9 | D10 = D5 × Z2 |
D3 = S3 | D4 |
---|---|
Grupul diedral ca grup de simetrie în spațiul bidimensional și grup de rotație în spațiul tridimensional
modificareUn exemplu de grup abstract Dn, ș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. Dn 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).
Dn este generat(d) de o rotație r de ordinul n și o reflexie s de ordinul 2 astfel încât
Î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 și conjugării complexe.
În formă matricială, punând
și definind și pentru se poate scrie regula produsului lui Dn ca
Grupul diedral D2 este generat de rotația r de 180° și reflexia s pe axa x. Elementele lui D2 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.
D2 este izomorf cu grupul lui Klein.
Pentru n > 2 operațiile de rotație și reflexie nu sunt comutative în general și Dn nu este abelian. De exemplu, în D4, 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 Dn pot fi scrise ca e, r, r2, ... , rn−1, s, rs, r2s, ... , rn−1s . 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.
Exemple de simetrie diedrală în spațiul bidimensional
modificare-
Simetrie D16 – Sigiliu imperial al Japoniei, reprezentând crizantema cu șaisprezece petale
-
Simetrie D6 – Steaua lui David Roșie
-
Simetrie D12 – Drapelul naval al Taiwanului (Soarele alb)
-
Simetrie D24 – Ashoka Chakra, cum apare pe drapelul Indiei
Notă explicativă
modificare- ^ În terminologia din limba engleză termenul de dihedral group provine prin similitudine cu grupurile de simetrii terahedral group, octahedral goup și icosahedral group, explicație care se găsește în sursele în limba engleză. În limba română denumirile ultimelor trei grupuri sunt grup tetraedric, grup octaedric, respectiv grup icosaedric. Similar cu acestea, grupul tratat de articolul de față, considerat grup de simetrii al unui poliedru abstract, ar trebui să se numească grup diedric, însă termenul se întâlnește doar în cristalografie. Cvasitotalitatea materialelor algebrice traduc termenul drept grup diedral. Wikipedia este obligată să folosească denumirea uzuală, așa cum apare în surse, deși ea nu pare a fi cea corectă.
Note
modificare- ^ en Eric W. Weisstein, Dihedral Group la MathWorld.
- ^ en Dummit, David S.; Foote, Richard M. (). Abstract Algebra (ed. 3rd). John Wiley & Sons. ISBN 0-471-43334-9.
- ^ en „Dihedral Groups: Notation”. Math Images Project. Arhivat din original la . Accesat în .
- ^ en Cameron, Peter Jephson (), Introduction to Algebra, Oxford University Press, p. 95, ISBN 9780198501954
- ^ en Toth, Gabor (), Glimpses of Algebra and Geometry, Undergraduate Texts in Mathematics (ed. 2nd), Springer, p. 98, ISBN 9780387224558
- ^ a b en Lovett, Stephen (), Abstract Algebra: Structures and Applications, CRC Press, p. 71, ISBN 9781482248913
Legături externe
modificare- 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