Domeniile fundamentale ale simetriei icosaedrice Minge de fotbal, un exemplu comun de icosaedru trunchiat sferic, are simetrie icosaedrică completăRotațiile și reflexiile formează grupul de simetrie al marelui icosaedru
Simetria icosaedrică este cea a icosaedruui regulat, care are 60 de simetrii de rotație (care conservă orientarea) și 120 de simetrii în total. Acestea includ transformări care combină o reflexie și o rotație. Un dodecaedru are același set de simetrii, deoarece este dualul icosaedrului.
Grupul de simetrie completă (inclusiv reflexiile) este cunoscut sub numele de grupul Coxeter H3 și este reprezentat prin notația Coxeter [5,3] și diagrama Coxeter . Setul de simetrii care conservă orientarea formează un subgrup care este izomorf cu grupul A5 (grupul altern de 5 elemente).
Ca grup punctual
În afară de cele două serii infinite de simetrie prismatică și antiprismatică, simetria icosaedrică de rotație sau simetria icosaedrică chirală a obiectelor chirale și simetria icosaedrică completă sau simetria icosaedrică achirală sunt simetrii de puncte discrete (sau, echivalent, simetrii pe sferă) cu cele mai mari grupuri de simetrie.
Laturile unui compus de cinci octaedre sferic reprezintă cele 15 plane de oglindire ca cercuri mari colorate. Fiecare octaedru poate reprezenta 3 plane de oglindire ortogonale care conțin laturile sale.
Simetria piritoedrică este un subgrup cu indice 5 de simetrie icosaedrică, cu 3 linii de reflexie ortogonale verzi și 8 puncte de rotație de ordinul 3 roșii. Există 5 orientări diferite ale simetriei piritoedrice.
Grupul de rotație icosaedric I este de ordinul 60. Grupul I este izomorf cu A5, grupul altern al permutărilor pare a cinci obiecte. Acest izomorfism poate fi realizat prin I care acționează asupra diverșilor compuși, în special compusul de cinci cuburi (care se înscrie în dodecaedru), compusul de cinci octaedre, sau oricare dintre cei doi compuși de cinci tetraedre (care sunt enantiomorfi, și se înscriu în dodecaedru).
Grupul conține 5 versiuni de Th cu 20 de versiuni de D3 (10 axe, 2 pe axă) și 6 versiuni de D5.
Grupul icosaedric complet Ih are ordinul 120. Are I ca subgrup normal(d) de indice(d) 2. Grupul Ih este izomorf la I × Z2 sau A5 × Z2, cu inversiunea față de centru corespunzătoare elementului (identitate, −1), unde Z2 se scrie multiplicativ.
Ih acționează asupra compusului de cinci cuburi și compusului de cinci octaedre, dar −1 acționează ca identitate (deoarece cuburile și octaedrele au simetrie față de centru). Acționează asupra compusului de zece tetraedre: I acționează asupra celor două jumătăți chirale (compușii de cinci tetraedre), iar −1 interschimbă cele două jumătăți. De remarcat că el nu acționează ca S5, iar aceste grupuri nu sunt izomorfe.
Grupul conține 10 versiuni de D3d și 6 versiuni de D5d (simetrii ca ale antiprismelor).
I este izomorf și cu PSL2(5), dar Ih nu este izomorf cu SL2(5).
Izomorfismul lui I cu A5
Este util să se descrie explicit cum arată izomorfismul dintre I și A5. În tabelul următor permutările Pi și Qi acționează asupra a 5 și respectiv 12 elemente, în timp ce matricile de rotație Mi sunt elementele I. Dacă Pk este produsul permutării Pi cu aplicarea Pj, atunci pentru aceleași valori ale lui i, j și k este adevărat și că Qk este produsul Qi cu aplicarea Qj, și că înmulțirea unui vector cu Mk este același lucru cu înmulțirea acelui vector cu Mi și apoi înmulțirea acelui rezultat cu Mj, adică Mk = Mj × Mi. Deoarece permutările Pi sunt toate cele 60 de permutări pare ale lui 1 2 3 4 5, corespondența unu-la-unu este explicită, deci și izomorfismul.
Matrice de rotație
Permutare de 5 pe 1 2 3 4 5
Permutare de 12 pe 1 2 3 4 5 6 7 8 9 10 11 12
= ()
= ()
= (3 4 5)
= (1 11 8)(2 9 6)(3 5 12)(4 7 10)
Nu s-a putut interpreta (MathML cu fallback pe SVG sau PNG (recomandat pentru browserele moderne și uneltele de accesibilitate): Răspuns incorect („Math extension cannot connect to Restbase.”) de la serverul „http://localhost:6011/ro.wikipedia.org/v1/”:): {\displaystyle P_{3}} = (3 5 4)
= (1 8 11)(2 6 9)(3 12 5)(4 10 7)
= (2 3)(4 5)
= (1 12)(2 8)(3 6)(4 9)(5 10)(7 11)
= (2 3 4)
= (1 2 3)(4 5 6)(7 9 8)(10 11 12)
= (2 3 5)
= (1 7 5)(2 4 11)(3 10 9)(6 8 12)
= (2 4 3)
= (1 3 2)(4 6 5)(7 8 9)(10 12 11)
= (2 4 5)
= (1 10 6)(2 7 12)(3 4 8)(5 11 9)
= (2 4)(3 5)
= (1 9)(2 5)(3 11)(4 12)(6 7)(8 10)
= (2 5 3)
= (1 5 7)(2 11 4)(3 9 10)(6 12 8)
= (2 5 4)
= (1 6 10)(2 12 7)(3 8 4)(5 9 11)
= (2 5)(3 4)
= (1 4)(2 10)(3 7)(5 8)(6 11)(9 12)
= (1 2)(4 5)
= (1 3)(2 4)(5 8)(6 7)(9 10)(11 12)
= (1 2)(3 4)
= (1 5)(2 7)(3 11)(4 9)(6 10)(8 12)
= (1 2)(3 5)
= (1 12)(2 10)(3 8)(4 6)(5 11)(7 9)
= (1 2 3)
= (1 11 6)(2 5 9)(3 7 12)(4 10 8)
= (1 2 3 4 5)
= (1 6 5 3 9)(4 12 7 8 11)
= (1 2 3 5 4)
= (1 4 8 6 2)(5 7 10 12 9)
= (1 2 4 5 3)
= (1 8 7 3 10)(2 12 5 6 11)
= (1 2 4)
= (1 7 4)(2 11 8)(3 5 10)(6 9 12)
= (1 2 4 3 5)
= (1 2 9 11 7)(3 6 12 10 4)
= (1 2 5 4 3)
= (2 3 4 7 5)(6 8 10 11 9)
= (1 2 5)
= (1 9 8)(2 6 3)(4 5 12)(7 11 10)
= (1 2 5 3 4)
= (1 10 5 4 11)(2 8 9 3 12)
= (1 3 2)
= (1 6 11)(2 9 5)(3 12 7)(4 8 10)
= (1 3 4 5 2)
= (2 5 7 4 3)(6 9 11 10 8)
= (1 3 5 4 2)
= (1 10 3 7 8)(2 11 6 5 12)
= (1 3)(4 5)
= (1 7)(2 10)(3 11)(4 5)(6 12)(8 9)
= (1 3 4)
= (1 9 10)(2 12 4)(3 6 8)(5 11 7)
= (1 3 5)
= (1 3 4)(2 8 7)(5 6 10)(9 12 11)
= (1 3)(2 4)
= (1 12)(2 6)(3 9)(4 11)(5 8)(7 10)
= (1 3 2 4 5)
= (1 4 10 11 5)(2 3 8 12 9)
= (1 3 5 2 4)
= (1 5 9 6 3)(4 7 11 12 8)
= (1 3)(2 5)
= (1 2)(3 5)(4 9)(6 7)(8 11)(10 12)
= (1 3 2 5 4)
= (1 11 2 7 9)(3 10 6 4 12)
= (1 3 4 2 5)
= (1 8 2 4 6)(5 10 9 7 12)
= (1 4 5 3 2)
= (1 2 6 8 4)(5 9 12 10 7)
= (1 4 2)
= (1 4 7)(2 8 11)(3 10 5)(6 12 9)
= (1 4 3 5 2)
= (1 11 4 5 10)(2 12 3 9 8)
= (1 4 3)
= (1 10 9)(2 4 12)(3 8 6)(5 7 11)
= (1 4 5)
= (1 5 2)(3 7 9)(4 11 6)(8 10 12)
= (1 4)(3 5)
= (1 6)(2 3)(4 9)(5 8)(7 12)(10 11)
= (1 4 5 2 3)
= (1 9 7 2 11)(3 12 4 6 10)
= (1 4)(2 3)
= (1 8)(2 10)(3 4)(5 12)(6 7)(9 11)
= (1 4 2 3 5)
= (2 7 3 5 4)(6 11 8 9 10)
= (1 4 2 5 3)
= (1 3 6 9 5)(4 8 12 11 7)
= (1 4 3 2 5)
= (1 7 10 8 3)(2 5 11 12 6)
= (1 4)(2 5)
= (1 12)(2 9)(3 11)(4 10)(5 6)(7 8)
= (1 5 4 3 2)
= (1 9 3 5 6)(4 11 8 7 12)
= (1 5 2)
= (1 8 9)(2 3 6)(4 12 5)(7 10 11)
= (1 5 3 4 2)
= (1 7 11 9 2)(3 4 10 12 6)
= (1 5 3)
= (1 4 3)(2 7 8)(5 10 6)(9 11 12)
= (1 5 4)
= (1 2 5)(3 9 7)(4 6 11)(8 12 10)
= (1 5)(3 4)
= (1 12)(2 11)(3 10)(4 8)(5 9)(6 7)
= (1 5 4 2 3)
= (1 5 11 10 4)(2 9 12 8 3)
= (1 5)(2 3)
= (1 10)(2 12)(3 11)(4 7)(5 8)(6 9)
= (1 5 2 3 4)
= (1 3 8 10 7)(2 6 12 11 5)
= (1 5 2 4 3)
= (1 6 4 2 8)(5 12 7 9 10)
= (1 5 3 2 4)
= (2 4 5 3 7)(6 10 9 8 11)
= (1 5)(2 4)
= (1 11)(2 10)(3 12)(4 9)(5 7)(6 8)
Grupuri frecvent confundate
Toate grupurile următoare sunt de ordinul 120, dar nu sunt izomorfe:
S5, grupul simetric de 5 elemente;
Ih, grupul icosaedric complet (subiectul acestui articol, cunoscut și ca H3);
2I, grupul icosaedric binar(d).
Acestea corespund următoarelor secvențe:
;
;
.
În cuvinte,
este subgrupul normal al ;
este factorul lui , care este produsul direct(d);
De observat că are o reprezentaretridimensională ireductibilă obiect excepțional(d) (ca grupul icosaedric de rotație), dar nu are o reprezentare tridimensională ireductibilă, corespunzătoare grupului icosaedric complet nefiind grupul simetric.
De asemenea, acestea pot fi legate de grupuri liniare peste corpuri finite cu cinci elemente, care prezintă subgrupurile și grupurile de acoperire direct; niciunul dintre acestea nu este grupul icosaedric complet:
grup proiectiv liniar(d) special;
grupul proiectiv liniar general;
grupul liniar special(d).
Clase de conjugare
Cele 120 de simetrii se încadrează în 10 clase de conjugare.
Clase de conjugare
I
clase suplimentare ale Ih
identitate, de ordinul 1;
12 × rotație de ±72°, de ordinul 5, în jurul celor 6 axe prin centrele fețelor dodecaedrului;
12 × rotație de ±144°, de ordinul 5, în jurul celor 6 axe prin centrele fețelor dodecaedrului;
20 × rotație de ±120°, de ordinul 3, în jurul celor 10 axe prin vârfurile dodecaedrului;
15 × rotație de 180°, de ordinul 2, în jurul celor 15 axe prin mijloacele laturilor dodecaedrului.
inversiune față de centru, de ordinul 2
12 × reflexii improprii de ±36°, de ordinul 10, în jurul celor 6 axe prin centrele fețelor dodecaedrului;
12 × reflexii improprii de ±108°, de ordinul 10, în jurul celor 6 axe prin centrele fețelor dodecaedrului;
20 × reflexii improprii de ±60°, de ordinul 6, în jurul celor 10 axe prin vârfurile dodecaedrului;
15 × reflexii, de ordinul 2, față de 15 plane care conțin laturile dodecaedrului.
Subgrupuri ale grupului de simetrie icosaedrică completă
Relațiile subgrupuluiRelațiile subgrupului chiral
Fiecare linie din următorul tabel reprezintă o clasă de subgrupuri conjugate (adică, echivalente geometric). Coloana „Mult.” (multiplicitatea) dă numărul de subgrupuri diferite din clasa de conjugare. Legenda culorilor: verde = grupurile care sunt generate de reflexii, roșu = grupurile chirale (care conservă orientarea), care conțin doar rotații.
Grupurile sunt descrise geometric în termeni de dodecaedru. Abrevierea „j.î.s.(latură)” înseamnă „jumătate de întoarcere interschimbând această latură cu latura opusă ei” și, similar, pentru „față” și „vârf”.
Schoe.
Coxeter
Orb.
H-M
Structură
Ciclic
Ordin
Index
Mult.
Descriere
Ih
[5,3]
*532
532/m
A5×Z2
120
1
1
grup complet
D2h
[2,2]
*222
mmm
D4×D2=D23
8
15
5
menținând fixe două laturi opuse, eventual interschimbându-le
C5v
[5]
*55
5m
D10
10
12
6
menținând fixă o față
C3v
[3]
*33
3m
D6=S3
6
20
10
menținând fix un vârf
C2v
[2]
*22
2mm
D4=D22
4
30
15
menținând fixă o față
Cs
[ ]
*
2 or m
D2
2
60
15
reflexie interschimbând capetele unei laturi
Th
[3+,4]
3*2
m3
A4×Z2
24
5
5
grup piritoedric
D5d
[2+,10]
2*5
10m2
D20=Z2×D10
20
6
6
menținând fixe două laturi opuse, eventual interschimbându-le
D3d
[2+,6]
2*3
3m
D12=Z2×D6
12
10
10
menținând fixe două vârfuri opuse, eventual interschimbându-le
D1d = C2h
[2+,2]
2*
2/m
D4=Z2×D2
4
30
15
jumătate de rotație în jurul punctului din mijloc, plus inversiune față de centru
S10
[2+,10+]
5×
5
Z10=Z2×Z5
10
12
6
rotație a unei fețe, plus inversiune față de centru
S6
[2+,6+]
3×
3
Z6=Z2×Z3
6
20
10
rotație în jurul unui vârf, plus inversiune față de centru
S2
[2+,2+]
×
1
Z2
2
60
1
inversiune față de centru
I
[5,3]+
532
532
A5
60
2
1
toate rotațiile
T
[3,3]+
332
332
A4
12
10
5
rotații ale unui tetraedru conținut
D5
[2,5]+
522
522
D10
10
12
6
rotații în jurul centrului unei fețe și j.î.s.(față)
D3
[2,3]+
322
322
D6=S3
6
20
10
rotații în jurul unui vârf, și j.î.s.(vârf)
D2
[2,2]+
222
222
D4=Z22
4
30
15
jumătate de întoarcere în jurul punctului de mijloc al laturii și j.î.s.(latură)
C5
[5]+
55
5
Z5
5
24
6
rotații în jurul centrului unei fețe
C3
[3]+
33
3
Z3=A3
3
40
10
rotații în jurul unui vârf
C2
[2]+
22
2
Z2
2
60
15
jumătate de întoarcere în jurul punctului de mijloc al laturii
C1
[ ]+
11
1
Z1
1
120
1
grup trivial
Stabilizatori de vârfuri
Stabilizatorii unei perechi opuse de vârfuri pot fi interpretați ca stabilizatori ai axei pe care o generează. generate.
stabilizatorii de vârfuri din I generează grupuri ciclice C3;
stabilizatorii unei perechi de laturi din I generează grupuri Klein de patru ; există 5 dintre acestea, generate prin rotații de 180° în 3 axe perpendiculare;
stabilizatorii unei perechi de laturi din Ih generează ; există 5 dintre acestea, generate prin reflexii în 3 axe perpendiculare.
Stabilizatori de fețe
Stabilizatorii unei perechi opuse de fețe pot fi interpretați ca stabilizatori ai antiprismei pe care o generează.
stabilizatorii de fețe din I generează grupuri ciclice C5
stabilizatorii de fețe din Ih generează grupuri diedrale D5
stabilizatorii unei perechi de fețe opuse din I generează grupuri diedrale D5
stabilizatorii unei perechi de fețe opuse din Ih generează .
Stabilizatori de poliedre
Pentru fiecare dintre acestea există 5 copii conjugate, iar acțiunea de conjugare dă o aplicație care este un izomorfism, .
stabilizatorii tetraedrelor înscrise din I sunt o copie a T
stabilizatorii tetraedrelor înscrise din Ih sunt o copie a T
stabilizatorii cuburilor înscrise (sau perechi opuse de tetraedre sau octaedre) din I sunt o copie a T
stabilizatorii cuburilor înscrise (sau perechi opuse de tetraedre sau octaedre) din Ih sunt o copie a Th
Generatorii grupului Coxeter
Grupul de simetrie icosaedrică completă [5,3] () de ordinul 120 are generatorii reprezentați de matricile de reflexie R0, R1, R2 mai jos în relațiile R02 = R12 = R22 = (R0×R1)5 = (R1×R2)3 = (R0×R2)2 = identitatea. Grupul [5,3]+ () de ordinul 60 este generat de oricare două dintre rotațiile S0,1, S1,2, S0,2. O rotație improprie de ordinul 10 este generată de V0,1,2, produsul tuturor celor 3 reflexii. Aici este secțiunea de aur.
[5,3],
Reflexii
Rotații
Rotații improprii
Nume
R0
R1
R2
S0,1
S1,2
S0,2
V0,1,2
Grup
Ordin
2
2
2
5
3
2
10
Matrice
(1,0,0)n
n
(0,1,0)n
axis
axis
axis
Domeniu fundamental
Domeniile fundamentale pentru grupul icosaedric de rotație și grupul icosaedric complet sunt date de:
În tricontaedrul disdiakis o singură față este un domeniu fundamental; alte poliedre cu aceeași simetrie pot fi obținute prin ajustarea orientării fețelor, de exemplu aplatizarea subseturilor selectate de fețe pentru a combina fiecare subset într-o singură față sau înlocuirea fiecărei fețe cu mai multe fețe sau cu o suprafață curbată.
^William Rowan Hamilton (), „Memorandum respecting a new System of Roots of Unity” (PDF), Philosophical Magazine, 12: 446
Bibliografie
enKlein, F. (). „Ueber die Transformation siebenter Ordnung der elliptischen Functionen” [On the order-seven transformation of elliptic functions]. Mathematische Annalen. 14 (3): 428–471. doi:10.1007/BF01677143. Translated in Levy, Silvio, ed. (). The Eightfold Way. Cambridge University Press. ISBN 978-0-521-66066-2. MR 1722410.
enKlein, F. (), „Ueber die Transformation elfter Ordnung der elliptischen Functionen (On the eleventh order transformation of elliptic functions)”, Mathematische Annalen, 15 (3–4): 533–555, doi:10.1007/BF02086276, collected as pp. 140–165 in Oeuvres, Tome 3
en Klein, Felix (), Lectures on the Icosahedron and the Solution of Equations of the Fifth Degree, Trübner & Co., ISBN 0-486-49528-0trans. George Gavin Morrice
en Tóth, Gábor (), Finite Möbius groups, minimal immersions of spheres, and moduli
en Peter R. Cromwell, Polyhedra (1997), p. 296
en John H. Conway, Heidi Burgiel, Chaim Goodman-Strauss (2008), The Symmetries of Things, ISBN: 978-1-56881-220-5
enKaleidoscopes: Selected Writings of H.S.M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995, ISBN: 978-0-471-01003-6 [1]
enNorman Johnson, Geometries and Transformations, (2018) ISBN: 978-1-107-10340-5 Chapter 11: Finite symmetry groups, 11.5 Spherical Coxeter groups