Simetri ikosahedral

Icosahedral reflection domains

Sebuah ikosahedron reguler memiliki 60 simetri rotasi (atau pelestari orientasi), dan urutan simetri sebanyak 120 termasuk transformasi yang menggabungkan refleksi dan rotasi. Sebuah dodecahedron beraturan memiliki himpunan simetri yang sama, karena merupakan ganda dari ikosahedron.

Grup simetri penuh (termasuk refleksi) dikenal juga sebagai grup Coxeter H₃, dan diwakili oleh notasi Coxeter [5,3] dan diagram Coxeter . Himpunan simetri orientasi-kekal dalam bentuk subgrup isomorfik pada grup A₅ (grup selang-seling pada 5 huruf).

Sebagai titik grup

Terlepas dari dua deret tak hingga dari simetri prismatik dan antiprismatik, simetri ikosahedral rotasi atau simetri ikosahedral kiral dari objek kiral dan simetri ikosahedral penuh atau simetri ikosahedral akiral adalah simetri titik diskret (atau ekuivalen, simetri pada bola) dengan grup simetri terbesar.

Simetri ikosahedral tidak kompatibel dengan simetri translasi, jadi tidak ada grup titik kristalografi atau grup ruang terkait.

Schö.	Coxeter		Orb.	Struktur abstrak	Orde
I	[5,3]+		532	A5	60
Ih	[5,3]		*532	A5×2	120

Presentasi yang sesuai dengan di atas adalah:

$I:⟨s,t\mid s^2,t^3,(st{)}^5⟩$

$I_h:⟨s,t\mid s^3(st{)}^{-2},t^5(st{)}^{-2}⟩.$

Ini sesuai dengan grup ikosahedral (rotasi dan penuh) sebagai (2,3,5) grup segitiga.

Presentasi pertama diberikan oleh William Rowan Hamilton pada tahun 1856, dalam makalahnya tentang kalkulus ikosian.

Perhatikan bahwa presentasi lain dimungkinkan, misalnya sebagai grup selang-seling (untuk I).

Visualisasi

Schoe. (Orb.)	Notasi Coxeter	Elemen	Diagram cermin
			Ortogonal	Proyeksi stereografis
Ih (*532)	[5,3]	Garis cermin: 15
I (532)	[5,3]+	Titik girasi: 125 203 302

Struktur grup

Tepi sebuah bola gabungan lima oktahedra mewakili 15 bidang cermin sebagai lingkaran besar berwarna. Setiap oktahedron/segi delapan mewakili 3 bidang cermin ortogonal pada tepinya.
Simetri piritohedron adalah subgrup indeks 5 simetri ikosahedral, dengan 3 garis refleksi hijau ortogonal dan 8 titik girasi urutan-3 merah. Ada 5 orientasi yang berbeda dari simetri piritohedron.

' I adalah urutan 60. Grup I adalah isomorfik hingga A₅, grup selang-seling dari permutasi genap lima objek. Isomorfisme ini diwujudkan dengan "I" pada berbagai senyawa, terutama majemuk lima kubus (yang tertulis di dodecahedron), gabungan lima oktahedra, atau salah satu dari dua senyawa lima tetrahedra (yaitu enantiomorf, dan tertulis di dodecahedron).

Grup berisi 5 versi T_h dengan 20 versi D₃ (10 sumbu, 2 per sumbu), dan 6 versi D₅.

' I_h memiliki urutan 120. Memiliki I sebagai subgrup normal dari indeks 2. Grup I_h isomorfik dengan I × Z₂, atau A₅ × Z₂, dengan inversi di tengah sesuai dengan elemen (identitas,-1), dimana Z₂ ditulis secara perkalian.

I_h pada gabungan lima kubus dan gabungan lima oktahedra, namun 1 bertindak sebagai identitas (karena kubus dan oktahedra simetris terpusat). Ia bekerja pada gabungan sepuluh tetrahedra: I pada dua bagian kiral (gabungan dari lima tetrahedra), dan 1 menukar dua bagian. Khususnya, "tidak" bertindak sebagai S₅, dan grup ini tidak isomorfik; lihat di bawah untuk detailnya.

Grup ini berisi 10 versi D_3d dan 6 versi D_5d (simetri seperti antiprisma).

I adalah isomorfik pada PSL₂(5), namun I_h tidak isomorfik terhadap SL₂(5).

Isomorfisme I dengan A₅

Hal ini berguna untuk menggambarkan secara eksplisit seperti apa isomorfisme antara I dan A₅. Pada tabel berikut, permutasi P_i dan Q_i masing-masing bekerja pada 5 dan 12 elemen, sedangkan matriks rotasi M_i adalah elemen dari I. Jika P_k adalah hasil kali dari permutasi P_i dan menerapkan P_j padanya, maka untuk nilai yang sama dari i, j dan k, juga benar bahwa Q_k adalah hasil kali dari pengambilan Q_i dan menerapkan Q_j, dan juga mengalikan sebuah vektor dengan M_k sama dengan mengalikan vektor tersebut dengan M_i dan kemudian mengalikan hasilnya dengan M_j, yaitu M_k = M_j × M_i. Karena permutasi P_i adalah semua 60 permutasi genap dari 12345, korespondensi satu-ke-satu dibuat eksplisit, oleh karena itu isomorfismenya juga.

Matriks rotasi	Permutasi 5 pada 1 2 3 4 5	Permutasi 12 pada 1 2 3 4 5 6 7 8 9 10 11 12
$M_1=\left[\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right]$	$P_1$ = ()	$Q_1$ = ()
$M_2=\left[\begin{array}{ccc}-\frac{1}{2}& \frac{1}{2\varphi }& \frac{\varphi }{2}\\ -\frac{1}{2\varphi }& \frac{\varphi }{2}& -\frac{1}{2}\\ -\frac{\varphi }{2}& -\frac{1}{2}& -\frac{1}{2\varphi }\end{array}\right]$	$P_2$ = (3 4 5)	$Q_2$ = (1 11 8)(2 9 6)(3 5 12)(4 7 10)
$M_3=\left[\begin{array}{ccc}-\frac{1}{2}& -\frac{1}{2\varphi }& -\frac{\varphi }{2}\\ \frac{1}{2\varphi }& \frac{\varphi }{2}& -\frac{1}{2}\\ \frac{\varphi }{2}& -\frac{1}{2}& -\frac{1}{2\varphi }\end{array}\right]$	$P_3$ = (3 5 4)	$Q_3$ = (1 8 11)(2 6 9)(3 12 5)(4 10 7)
$M_4=\left[\begin{array}{ccc}-\frac{1}{2}& \frac{1}{2\varphi }& -\frac{\varphi }{2}\\ \frac{1}{2\varphi }& -\frac{\varphi }{2}& -\frac{1}{2}\\ -\frac{\varphi }{2}& -\frac{1}{2}& \frac{1}{2\varphi }\end{array}\right]$	$P_4$ = (2 3)(4 5)	$Q_4$ = (1 12)(2 8)(3 6)(4 9)(5 10)(7 11)
$M_5=\left[\begin{array}{ccc}\frac{\varphi }{2}& \frac{1}{2}& \frac{1}{2\varphi }\\ \frac{1}{2}& -\frac{1}{2\varphi }& -\frac{\varphi }{2}\\ -\frac{1}{2\varphi }& \frac{\varphi }{2}& -\frac{1}{2}\end{array}\right]$	$P_5$ = (2 3 4)	$Q_5$ = (1 2 3)(4 5 6)(7 9 8)(10 11 12)
$M_6=\left[\begin{array}{ccc}-\frac{1}{2\varphi }& -\frac{\varphi }{2}& \frac{1}{2}\\ \frac{\varphi }{2}& -\frac{1}{2}& -\frac{1}{2\varphi }\\ \frac{1}{2}& \frac{1}{2\varphi }& \frac{\varphi }{2}\end{array}\right]$	$P_6$ = (2 3 5)	$Q_6$ = (1 7 5)(2 4 11)(3 10 9)(6 8 12)
$M_7=\left[\begin{array}{ccc}\frac{\varphi }{2}& \frac{1}{2}& -\frac{1}{2\varphi }\\ \frac{1}{2}& -\frac{1}{2\varphi }& \frac{\varphi }{2}\\ \frac{1}{2\varphi }& -\frac{\varphi }{2}& -\frac{1}{2}\end{array}\right]$	$P_7$ = (2 4 3)	$Q_7$ = (1 3 2)(4 6 5)(7 8 9)(10 12 11)
$M_8=\left[\begin{array}{ccc}0& -1& 0\\ 0& 0& 1\\ -1& 0& 0\end{array}\right]$	$P_8$ = (2 4 5)	$Q_8$ = (1 10 6)(2 7 12)(3 4 8)(5 11 9)
$M_9=\left[\begin{array}{ccc}-\frac{\varphi }{2}& \frac{1}{2}& \frac{1}{2\varphi }\\ \frac{1}{2}& \frac{1}{2\varphi }& \frac{\varphi }{2}\\ \frac{1}{2\varphi }& \frac{\varphi }{2}& -\frac{1}{2}\end{array}\right]$	$P_9$ = (2 4)(3 5)	$Q_9$ = (1 9)(2 5)(3 11)(4 12)(6 7)(8 10)
$M_{10}=\left[\begin{array}{ccc}-\frac{1}{2\varphi }& \frac{\varphi }{2}& \frac{1}{2}\\ -\frac{\varphi }{2}& -\frac{1}{2}& \frac{1}{2\varphi }\\ \frac{1}{2}& -\frac{1}{2\varphi }& \frac{\varphi }{2}\end{array}\right]$	$P_{10}$ = (2 5 3)	$Q_{10}$ = (1 5 7)(2 11 4)(3 9 10)(6 12 8)
$M_{11}=\left[\begin{array}{ccc}0& 0& -1\\ -1& 0& 0\\ 0& 1& 0\end{array}\right]$	$P_{11}$ = (2 5 4)	$Q_{11}$ = (1 6 10)(2 12 7)(3 8 4)(5 9 11)
$M_{12}=\left[\begin{array}{ccc}\frac{1}{2\varphi }& -\frac{\varphi }{2}& \frac{1}{2}\\ -\frac{\varphi }{2}& -\frac{1}{2}& -\frac{1}{2\varphi }\\ \frac{1}{2}& -\frac{1}{2\varphi }& -\frac{\varphi }{2}\end{array}\right]$	$P_{12}$ = (2 5)(3 4)	$Q_{12}$ = (1 4)(2 10)(3 7)(5 8)(6 11)(9 12)
$M_{13}=\left[\begin{array}{ccc}1& 0& 0\\ 0& -1& 0\\ 0& 0& -1\end{array}\right]$	$P_{13}$ = (1 2)(4 5)	$Q_{13}$ = (1 3)(2 4)(5 8)(6 7)(9 10)(11 12)
$M_{14}=\left[\begin{array}{ccc}-\frac{1}{2}& \frac{1}{2\varphi }& \frac{\varphi }{2}\\ \frac{1}{2\varphi }& -\frac{\varphi }{2}& \frac{1}{2}\\ \frac{\varphi }{2}& \frac{1}{2}& \frac{1}{2\varphi }\end{array}\right]$	$P_{14}$ = (1 2)(3 4)	$Q_{14}$ = (1 5)(2 7)(3 11)(4 9)(6 10)(8 12)
$M_{15}=\left[\begin{array}{ccc}-\frac{1}{2}& -\frac{1}{2\varphi }& -\frac{\varphi }{2}\\ -\frac{1}{2\varphi }& -\frac{\varphi }{2}& \frac{1}{2}\\ -\frac{\varphi }{2}& \frac{1}{2}& \frac{1}{2\varphi }\end{array}\right]$	$P_{15}$ = (1 2)(3 5)	$Q_{15}$ = (1 12)(2 10)(3 8)(4 6)(5 11)(7 9)
$M_{16}=\left[\begin{array}{ccc}-\frac{1}{2}& -\frac{1}{2\varphi }& \frac{\varphi }{2}\\ \frac{1}{2\varphi }& \frac{\varphi }{2}& \frac{1}{2}\\ -\frac{\varphi }{2}& \frac{1}{2}& -\frac{1}{2\varphi }\end{array}\right]$	$P_{16}$ = (1 2 3)	$Q_{16}$ = (1 11 6)(2 5 9)(3 7 12)(4 10 8)
$M_{17}=\left[\begin{array}{ccc}-\frac{1}{2\varphi }& \frac{\varphi }{2}& -\frac{1}{2}\\ \frac{\varphi }{2}& \frac{1}{2}& \frac{1}{2\varphi }\\ \frac{1}{2}& -\frac{1}{2\varphi }& -\frac{\varphi }{2}\end{array}\right]$	$P_{17}$ = (1 2 3 4 5)	$Q_{17}$ = (1 6 5 3 9)(4 12 7 8 11)
$M_{18}=\left[\begin{array}{ccc}\frac{\varphi }{2}& -\frac{1}{2}& -\frac{1}{2\varphi }\\ \frac{1}{2}& \frac{1}{2\varphi }& \frac{\varphi }{2}\\ -\frac{1}{2\varphi }& -\frac{\varphi }{2}& \frac{1}{2}\end{array}\right]$	$P_{18}$ = (1 2 3 5 4)	$Q_{18}$ = (1 4 8 6 2)(5 7 10 12 9)
$M_{19}=\left[\begin{array}{ccc}-\frac{1}{2\varphi }& -\frac{\varphi }{2}& -\frac{1}{2}\\ -\frac{\varphi }{2}& \frac{1}{2}& -\frac{1}{2\varphi }\\ \frac{1}{2}& \frac{1}{2\varphi }& -\frac{\varphi }{2}\end{array}\right]$	$P_{19}$ = (1 2 4 5 3)	$Q_{19}$ = (1 8 7 3 10)(2 12 5 6 11)
$M_{20}=\left[\begin{array}{ccc}0& 0& 1\\ -1& 0& 0\\ 0& -1& 0\end{array}\right]$	$P_{20}$ = (1 2 4)	$Q_{20}$ = (1 7 4)(2 11 8)(3 5 10)(6 9 12)
$M_{21}=\left[\begin{array}{ccc}\frac{1}{2\varphi }& \frac{\varphi }{2}& -\frac{1}{2}\\ -\frac{\varphi }{2}& \frac{1}{2}& \frac{1}{2\varphi }\\ \frac{1}{2}& \frac{1}{2\varphi }& \frac{\varphi }{2}\end{array}\right]$	$P_{21}$ = (1 2 4 3 5)	$Q_{21}$ = (1 2 9 11 7)(3 6 12 10 4)
$M_{22}=\left[\begin{array}{ccc}\frac{\varphi }{2}& -\frac{1}{2}& \frac{1}{2\varphi }\\ \frac{1}{2}& \frac{1}{2\varphi }& -\frac{\varphi }{2}\\ \frac{1}{2\varphi }& \frac{\varphi }{2}& \frac{1}{2}\end{array}\right]$	$P_{22}$ = (1 2 5 4 3)	$Q_{22}$ = (2 3 4 7 5)(6 8 10 11 9)
$M_{23}=\left[\begin{array}{ccc}0& 1& 0\\ 0& 0& -1\\ -1& 0& 0\end{array}\right]$	$P_{23}$ = (1 2 5)	$Q_{23}$ = (1 9 8)(2 6 3)(4 5 12)(7 11 10)
$M_{24}=\left[\begin{array}{ccc}-\frac{\varphi }{2}& -\frac{1}{2}& -\frac{1}{2\varphi }\\ \frac{1}{2}& -\frac{1}{2\varphi }& -\frac{\varphi }{2}\\ \frac{1}{2\varphi }& -\frac{\varphi }{2}& \frac{1}{2}\end{array}\right]$	$P_{24}$ = (1 2 5 3 4)	$Q_{24}$ = (1 10 5 4 11)(2 8 9 3 12)
$M_{25}=\left[\begin{array}{ccc}-\frac{1}{2}& \frac{1}{2\varphi }& -\frac{\varphi }{2}\\ -\frac{1}{2\varphi }& \frac{\varphi }{2}& \frac{1}{2}\\ \frac{\varphi }{2}& \frac{1}{2}& -\frac{1}{2\varphi }\end{array}\right]$	$P_{25}$ = (1 3 2)	$Q_{25}$ = (1 6 11)(2 9 5)(3 12 7)(4 8 10)
$M_{26}=\left[\begin{array}{ccc}\frac{\varphi }{2}& \frac{1}{2}& \frac{1}{2\varphi }\\ -\frac{1}{2}& \frac{1}{2\varphi }& \frac{\varphi }{2}\\ \frac{1}{2\varphi }& -\frac{\varphi }{2}& \frac{1}{2}\end{array}\right]$	$P_{26}$ = (1 3 4 5 2)	$Q_{26}$ = (2 5 7 4 3)(6 9 11 10 8)
$M_{27}=\left[\begin{array}{ccc}-\frac{1}{2\varphi }& -\frac{\varphi }{2}& \frac{1}{2}\\ -\frac{\varphi }{2}& \frac{1}{2}& \frac{1}{2\varphi }\\ -\frac{1}{2}& -\frac{1}{2\varphi }& -\frac{\varphi }{2}\end{array}\right]$	$P_{27}$ = (1 3 5 4 2)	$Q_{27}$ = (1 10 3 7 8)(2 11 6 5 12)
$M_{28}=\left[\begin{array}{ccc}-\frac{1}{2}& -\frac{1}{2\varphi }& \frac{\varphi }{2}\\ -\frac{1}{2\varphi }& -\frac{\varphi }{2}& -\frac{1}{2}\\ \frac{\varphi }{2}& -\frac{1}{2}& \frac{1}{2\varphi }\end{array}\right]$	$P_{28}$ = (1 3)(4 5)	$Q_{28}$ = (1 7)(2 10)(3 11)(4 5)(6 12)(8 9)
$M_{29}=\left[\begin{array}{ccc}-\frac{1}{2\varphi }& \frac{\varphi }{2}& -\frac{1}{2}\\ -\frac{\varphi }{2}& -\frac{1}{2}& -\frac{1}{2\varphi }\\ -\frac{1}{2}& \frac{1}{2\varphi }& \frac{\varphi }{2}\end{array}\right]$	$P_{29}$ = (1 3 4)	$Q_{29}$ = (1 9 10)(2 12 4)(3 6 8)(5 11 7)
$M_{30}=\left[\begin{array}{ccc}\frac{\varphi }{2}& -\frac{1}{2}& -\frac{1}{2\varphi }\\ -\frac{1}{2}& -\frac{1}{2\varphi }& -\frac{\varphi }{2}\\ \frac{1}{2\varphi }& \frac{\varphi }{2}& -\frac{1}{2}\end{array}\right]$	$P_{30}$ = (1 3 5)	$Q_{30}$ = (1 3 4)(2 8 7)(5 6 10)(9 12 11)
$M_{31}=\left[\begin{array}{ccc}-\frac{\varphi }{2}& \frac{1}{2}& -\frac{1}{2\varphi }\\ \frac{1}{2}& \frac{1}{2\varphi }& -\frac{\varphi }{2}\\ -\frac{1}{2\varphi }& -\frac{\varphi }{2}& -\frac{1}{2}\end{array}\right]$	$P_{31}$ = (1 3)(2 4)	$Q_{31}$ = (1 12)(2 6)(3 9)(4 11)(5 8)(7 10)
$M_{32}=\left[\begin{array}{ccc}\frac{1}{2\varphi }& -\frac{\varphi }{2}& -\frac{1}{2}\\ \frac{\varphi }{2}& \frac{1}{2}& -\frac{1}{2\varphi }\\ \frac{1}{2}& -\frac{1}{2\varphi }& \frac{\varphi }{2}\end{array}\right]$	$P_{32}$ = (1 3 2 4 5)	$Q_{32}$ = (1 4 10 11 5)(2 3 8 12 9)
$M_{33}=\left[\begin{array}{ccc}\frac{1}{2}& \frac{1}{2\varphi }& \frac{\varphi }{2}\\ \frac{1}{2\varphi }& \frac{\varphi }{2}& -\frac{1}{2}\\ -\frac{\varphi }{2}& \frac{1}{2}& \frac{1}{2\varphi }\end{array}\right]$	$P_{33}$ = (1 3 5 2 4)	$Q_{33}$ = (1 5 9 6 3)(4 7 11 12 8)
$M_{34}=\left[\begin{array}{ccc}\frac{1}{2\varphi }& \frac{\varphi }{2}& \frac{1}{2}\\ \frac{\varphi }{2}& -\frac{1}{2}& \frac{1}{2\varphi }\\ \frac{1}{2}& \frac{1}{2\varphi }& -\frac{\varphi }{2}\end{array}\right]$	$P_{34}$ = (1 3)(2 5)	$Q_{34}$ = (1 2)(3 5)(4 9)(6 7)(8 11)(10 12)
$M_{35}=\left[\begin{array}{ccc}-\frac{\varphi }{2}& -\frac{1}{2}& \frac{1}{2\varphi }\\ \frac{1}{2}& -\frac{1}{2\varphi }& \frac{\varphi }{2}\\ -\frac{1}{2\varphi }& \frac{\varphi }{2}& \frac{1}{2}\end{array}\right]$	$P_{35}$ = (1 3 2 5 4)	$Q_{35}$ = (1 11 2 7 9)(3 10 6 4 12)
$M_{36}=\left[\begin{array}{ccc}\frac{1}{2}& -\frac{1}{2\varphi }& -\frac{\varphi }{2}\\ \frac{1}{2\varphi }& -\frac{\varphi }{2}& \frac{1}{2}\\ -\frac{\varphi }{2}& -\frac{1}{2}& -\frac{1}{2\varphi }\end{array}\right]$	$P_{36}$ = (1 3 4 2 5)	$Q_{36}$ = (1 8 2 4 6)(5 10 9 7 12)
$M_{37}=\left[\begin{array}{ccc}\frac{\varphi }{2}& \frac{1}{2}& -\frac{1}{2\varphi }\\ -\frac{1}{2}& \frac{1}{2\varphi }& -\frac{\varphi }{2}\\ -\frac{1}{2\varphi }& \frac{\varphi }{2}& \frac{1}{2}\end{array}\right]$	$P_{37}$ = (1 4 5 3 2)	$Q_{37}$ = (1 2 6 8 4)(5 9 12 10 7)
$M_{38}=\left[\begin{array}{ccc}0& -1& 0\\ 0& 0& -1\\ 1& 0& 0\end{array}\right]$	$P_{38}$ = (1 4 2)	$Q_{38}$ = (1 4 7)(2 8 11)(3 10 5)(6 12 9)
$M_{39}=\left[\begin{array}{ccc}-\frac{\varphi }{2}& \frac{1}{2}& \frac{1}{2\varphi }\\ -\frac{1}{2}& -\frac{1}{2\varphi }& -\frac{\varphi }{2}\\ -\frac{1}{2\varphi }& -\frac{\varphi }{2}& \frac{1}{2}\end{array}\right]$	$P_{39}$ = (1 4 3 5 2)	$Q_{39}$ = (1 11 4 5 10)(2 12 3 9 8)
$M_{40}=\left[\begin{array}{ccc}-\frac{1}{2\varphi }& -\frac{\varphi }{2}& -\frac{1}{2}\\ \frac{\varphi }{2}& -\frac{1}{2}& \frac{1}{2\varphi }\\ -\frac{1}{2}& -\frac{1}{2\varphi }& \frac{\varphi }{2}\end{array}\right]$	$P_{40}$ = (1 4 3)	$Q_{40}$ = (1 10 9)(2 4 12)(3 8 6)(5 7 11)
$M_{41}=\left[\begin{array}{ccc}0& 0& 1\\ 1& 0& 0\\ 0& 1& 0\end{array}\right]$	$P_{41}$ = (1 4 5)	$Q_{41}$ = (1 5 2)(3 7 9)(4 11 6)(8 10 12)
$M_{42}=\left[\begin{array}{ccc}\frac{1}{2\varphi }& \frac{\varphi }{2}& -\frac{1}{2}\\ \frac{\varphi }{2}& -\frac{1}{2}& -\frac{1}{2\varphi }\\ -\frac{1}{2}& -\frac{1}{2\varphi }& -\frac{\varphi }{2}\end{array}\right]$	$P_{42}$ = (1 4)(3 5)	$Q_{42}$ = (1 6)(2 3)(4 9)(5 8)(7 12)(10 11)
$M_{43}=\left[\begin{array}{ccc}-\frac{\varphi }{2}& \frac{1}{2}& -\frac{1}{2\varphi }\\ -\frac{1}{2}& -\frac{1}{2\varphi }& \frac{\varphi }{2}\\ \frac{1}{2\varphi }& \frac{\varphi }{2}& \frac{1}{2}\end{array}\right]$	$P_{43}$ = (1 4 5 2 3)	$Q_{43}$ = (1 9 7 2 11)(3 12 4 6 10)
$M_{44}=\left[\begin{array}{ccc}\frac{1}{2\varphi }& -\frac{\varphi }{2}& -\frac{1}{2}\\ -\frac{\varphi }{2}& -\frac{1}{2}& \frac{1}{2\varphi }\\ -\frac{1}{2}& \frac{1}{2\varphi }& -\frac{\varphi }{2}\end{array}\right]$	$P_{44}$ = (1 4)(2 3)	$Q_{44}$ = (1 8)(2 10)(3 4)(5 12)(6 7)(9 11)
$M_{45}=\left[\begin{array}{ccc}\frac{1}{2}& \frac{1}{2\varphi }& \frac{\varphi }{2}\\ -\frac{1}{2\varphi }& -\frac{\varphi }{2}& \frac{1}{2}\\ \frac{\varphi }{2}& -\frac{1}{2}& -\frac{1}{2\varphi }\end{array}\right]$	$P_{45}$ = (1 4 2 3 5)	$Q_{45}$ = (2 7 3 5 4)(6 11 8 9 10)
$M_{46}=\left[\begin{array}{ccc}\frac{1}{2}& \frac{1}{2\varphi }& -\frac{\varphi }{2}\\ \frac{1}{2\varphi }& \frac{\varphi }{2}& \frac{1}{2}\\ \frac{\varphi }{2}& -\frac{1}{2}& \frac{1}{2\varphi }\end{array}\right]$	$P_{46}$ = (1 4 2 5 3)	$Q_{46}$ = (1 3 6 9 5)(4 8 12 11 7)
$M_{47}=\left[\begin{array}{ccc}\frac{1}{2}& -\frac{1}{2\varphi }& \frac{\varphi }{2}\\ -\frac{1}{2\varphi }& \frac{\varphi }{2}& \frac{1}{2}\\ -\frac{\varphi }{2}& -\frac{1}{2}& \frac{1}{2\varphi }\end{array}\right]$	$P_{47}$ = (1 4 3 2 5)	$Q_{47}$ = (1 7 10 8 3)(2 5 11 12 6)
$M_{48}=\left[\begin{array}{ccc}-1& 0& 0\\ 0& 1& 0\\ 0& 0& -1\end{array}\right]$	$P_{48}$ = (1 4)(2 5)	$Q_{48}$ = (1 12)(2 9)(3 11)(4 10)(5 6)(7 8)
$M_{49}=\left[\begin{array}{ccc}-\frac{1}{2\varphi }& \frac{\varphi }{2}& \frac{1}{2}\\ \frac{\varphi }{2}& \frac{1}{2}& -\frac{1}{2\varphi }\\ -\frac{1}{2}& \frac{1}{2\varphi }& -\frac{\varphi }{2}\end{array}\right]$	$P_{49}$ = (1 5 4 3 2)	$Q_{49}$ = (1 9 3 5 6)(4 11 8 7 12)
$M_{50}=\left[\begin{array}{ccc}0& 0& -1\\ 1& 0& 0\\ 0& -1& 0\end{array}\right]$	$P_{50}$ = (1 5 2)	$Q_{50}$ = (1 8 9)(2 3 6)(4 12 5)(7 10 11)
$M_{51}=\left[\begin{array}{ccc}\frac{1}{2\varphi }& -\frac{\varphi }{2}& \frac{1}{2}\\ \frac{\varphi }{2}& \frac{1}{2}& \frac{1}{2\varphi }\\ -\frac{1}{2}& \frac{1}{2\varphi }& \frac{\varphi }{2}\end{array}\right]$	$P_{51}$ = (1 5 3 4 2)	$Q_{51}$ = (1 7 11 9 2)(3 4 10 12 6)
$M_{52}=\left[\begin{array}{ccc}\frac{\varphi }{2}& -\frac{1}{2}& \frac{1}{2\varphi }\\ -\frac{1}{2}& -\frac{1}{2\varphi }& \frac{\varphi }{2}\\ -\frac{1}{2\varphi }& -\frac{\varphi }{2}& -\frac{1}{2}\end{array}\right]$	$P_{52}$ = (1 5 3)	$Q_{52}$ = (1 4 3)(2 7 8)(5 10 6)(9 11 12)
$M_{53}=\left[\begin{array}{ccc}0& 1& 0\\ 0& 0& 1\\ 1& 0& 0\end{array}\right]$	$P_{53}$ = (1 5 4)	$Q_{53}$ = (1 2 5)(3 9 7)(4 6 11)(8 12 10)
$M_{54}=\left[\begin{array}{ccc}-\frac{\varphi }{2}& -\frac{1}{2}& -\frac{1}{2\varphi }\\ -\frac{1}{2}& \frac{1}{2\varphi }& \frac{\varphi }{2}\\ -\frac{1}{2\varphi }& \frac{\varphi }{2}& -\frac{1}{2}\end{array}\right]$	$P_{54}$ = (1 5)(3 4)	$Q_{54}$ = (1 12)(2 11)(3 10)(4 8)(5 9)(6 7)
$M_{55}=\left[\begin{array}{ccc}\frac{1}{2\varphi }& \frac{\varphi }{2}& \frac{1}{2}\\ -\frac{\varphi }{2}& \frac{1}{2}& -\frac{1}{2\varphi }\\ -\frac{1}{2}& -\frac{1}{2\varphi }& \frac{\varphi }{2}\end{array}\right]$	$P_{55}$ = (1 5 4 2 3)	$Q_{55}$ = (1 5 11 10 4)(2 9 12 8 3)
$M_{56}=\left[\begin{array}{ccc}-\frac{\varphi }{2}& -\frac{1}{2}& \frac{1}{2\varphi }\\ -\frac{1}{2}& \frac{1}{2\varphi }& -\frac{\varphi }{2}\\ \frac{1}{2\varphi }& -\frac{\varphi }{2}& -\frac{1}{2}\end{array}\right]$	$P_{56}$ = (1 5)(2 3)	$Q_{56}$ = (1 10)(2 12)(3 11)(4 7)(5 8)(6 9)
$M_{57}=\left[\begin{array}{ccc}\frac{1}{2}& -\frac{1}{2\varphi }& -\frac{\varphi }{2}\\ -\frac{1}{2\varphi }& \frac{\varphi }{2}& -\frac{1}{2}\\ \frac{\varphi }{2}& \frac{1}{2}& \frac{1}{2\varphi }\end{array}\right]$	$P_{57}$ = (1 5 2 3 4)	$Q_{57}$ = (1 3 8 10 7)(2 6 12 11 5)
$M_{58}=\left[\begin{array}{ccc}\frac{1}{2}& \frac{1}{2\varphi }& -\frac{\varphi }{2}\\ -\frac{1}{2\varphi }& -\frac{\varphi }{2}& -\frac{1}{2}\\ -\frac{\varphi }{2}& \frac{1}{2}& -\frac{1}{2\varphi }\end{array}\right]$	$P_{58}$ = (1 5 2 4 3)	$Q_{58}$ = (1 6 4 2 8)(5 12 7 9 10)
$M_{59}=\left[\begin{array}{ccc}\frac{1}{2}& -\frac{1}{2\varphi }& \frac{\varphi }{2}\\ \frac{1}{2\varphi }& -\frac{\varphi }{2}& -\frac{1}{2}\\ \frac{\varphi }{2}& \frac{1}{2}& -\frac{1}{2\varphi }\end{array}\right]$	$P_{59}$ = (1 5 3 2 4)	$Q_{59}$ = (2 4 5 3 7)(6 10 9 8 11)
$M_{60}=\left[\begin{array}{ccc}-1& 0& 0\\ 0& -1& 0\\ 0& 0& 1\end{array}\right]$	$P_{60}$ = (1 5)(2 4)	$Q_{60}$ = (1 11)(2 10)(3 12)(4 9)(5 7)(6 8)

Grup biasa limbung

Semua grup berikut memiliki urutan 120, tetapi tidak isomorfik:

• S₅, grup simetris pada 5 elemen
• I_h, grup ikosahedral penuh (subjek artikel ini, juga dikenal sebagai H₃)
• 2I, grup ikosahedral biner

Ia sesuai dengan urutan tepat pendek berikut (yang terakhir tidak terpecah) dan produk

$1\to A_5\to S_5\to Z_2\to 1$

$I_h=A_5\times Z_2$

$1\to Z_2\to 2I\to A_5\to 1$

In words,

• $A_5$ adalah subgrup normal dari $S_5$
• $A_5$ adalah faktor dari $I_h$, yang merupakan produk langsung
• $A_5$ adalah grup hasil bagi dari $2I$

Perhatikan bahwa $A_5$ memiliki biasa 3 dimensi representasi yang tidak direduksi (sebagai grup rotasi ikosahedral), namun $S_5$ tidak memiliki representasi 3 dimensi yang tidak dapat direduksi, sesuai dengan grup ikosahedral penuh tidak sebagai grup simetris.

Ini juga dikaitkan dengan grup linear atas Medan hingga dengan lima elemen, yang menunjukkan subgrup dan grup penutup secara langsung; tidak satupun dari ini adalah grup ikosahedral penuh:

• $A_5\cong \mathrm{PSL}(2,5),$ Grup linear proyeksi khusus, lihat di sini untuk bukti;
• $S_5\cong \mathrm{PGL}(2,5),$ grup linear umum proyeksi;
• $2I\cong \mathrm{SL}(2,5),$ grup linear khusus.

Kelas konjugasi

120 simetri terbagi dalam 10 kelas konjugasi.

Kelas konjugasi

I	Kelas penjumlahan Ih
identitas, urutan 1 12 × rotasi sebesar ±72°, urutan 5, mengelilingi 6 sumbu melalui pusat muka dodecahedron 12 × rotasi sebesar ±144°, urutan 5, mengelilingi 6 sumbu melalui pusat muka dodecahedron 20 × rotasi dengan ±120°, urutan 3, sekitar 10 sumbu melalui simpul dari dodecahedron 15 × rotasi 180°, urutan 2, sekitar 15 sumbu melalui titik tengah tepi dodecahedron	inversi pusat, urutan 2 12 × rotorefleksi sebesar ±36°, urutan 10, di sekitar 6 sumbu melalui pusat muka dodecahedron 12 × rotorefleksi sebesar ±108°, urutan 10, di sekitar 6 sumbu melalui pusat muka dodecahedron 20 × rotorefleksi sebesar ±60°, orde 6, di sekitar 10 sumbu melalui simpul dodecahedron 15 × refleksi, urutan 2, pada 15 bidang melalui tepi dodecahedron

Subgrup dari grup simetri ikosahedral penuh

Setiap baris dalam tabel berikut mewakili satu kelas subgrup konjugat (yaitu, ekuivalen secara geometris). Kolom "Banyak." (multiplisitas) memberikan jumlah subgrup yang berbeda di kelas konjugasi. Penjelasan warna: hijau = grup yang dihasilkan oleh refleksi, merah = grup kiral (pelestarian orientasi), yang hanya berisi rotasi.

Grup tersebut digambarkan secara geometris dalam bentuk dodecahedron. Singkatan "s.p.m.t.(tepi)" berarti "setengah putaran menukar tepi ini dengan tepi berlawanan", dan juga untuk "wajah" dan "simpul".

Schön.	Coxeter		Orb.	H-M	Struktur	Siklus.	Urutan|Indeks	Mult.	Deskripsi
Ih	[5,3]		*532	2/m	A5×Z2		120	1	1	grup penuh
D2h	[2,2]		*222	mmm	Dih2×Dih1=Dih13		8	15	5	memperbaiki dua sisi berlawanan, dengan menukarnya
C5v	[5]		*55	5m	Dih5	25px]]	10	12	6	memperbaiki wajah
C3v	[3]		*33	3m	Dih3=S3		6	20	10	memperbaiki simpul
C2v	[2]		*22	2mm	Dih2=Dih12		4	30	15	memperbaiki tepi
Cs	[ ]		*	atau m	Dih1		2	60	15	refleksi menukar dua titik akhir dari sebuah tepi
Th	[3+,4]		3*2	m	A4×Z2		24	5	5	grup piritohedral
D5d	[2+,10]		2*5	m2	Dih10=Z2×Dih5		20	6	6	memperbaiki dua wajah berlawanan, dengan menukarnya
D3d	[2+,6]		2*3	m	Dih6=Z2×Dih3		12	10	10	memperbaiki dua simpul berlawanan, dengan menukarnya
D1d = C2h	[2+,2]		2*	2/m	Dih2=Z2×Dih1		4	30	15	setengah putaran di sekitar titik tengah tepi, ditambah inversi pusat
S10	[2+,10+]		5×		Z10=Z2×Z5		10	12	6	rotasi wajah, ditambah inversi pusat
S6	[2+,6+]		3×		Z6=Z2×Z3		6	20	10	rotasi tentang simpul, ditambah inversi pusat
S2	[2+,2+]		×		Z2		2	60	1	inversi pusat
I	[5,3]+		532	532	A5		60	2	1	semua rotasi
T	[3,3]+		332	332	A4		12	10	5	rotasi dari tetrahedron terhubung
D5	[2,5]+		522	522	Dih5		10	12	6	rotasi di sekitar pusat wajah, dan s.p.m.t.(wajah)
D3	[2,3]+		322	322	Dih3=S3		6	20	10	rotasi di sekitar simpul, dan s.p.m.t.(titik)
D2	[2,2]+		222	222	Dih2=Z22		4	30	15	setengah berputar di sekitar titik tengah tepi, dan s.p.m.t.(tepi)
C5	[5]+		55	5	Z5		5	24	6	rotasi di sekitar pusat wajah
C3	[3]+		33	3	Z3=A3		3	40	10	rotasi di sekitar simpul
C2	[2]+		22	2	Z2		2	60	15	setengah putaran titik tengah tepi
C1	[ ]+		11	1	Z1		1	120	1	grup trivial

Stabilisator titik

Stabilisator dari pasangan simpul berlawanan diartikan sebagai stabilisator dari sumbu yang dihasilkan.

• stabilisator titik di I memberikan grup siklik C₃
• stabilisator titik di I_h memberikan grup dihedral D₃
• stabilisator dari pasangan simpul berlawanan di I memberikan grup dihedral D₃
• stabilisator dari pasangan simpul berlawanan di I_h memberikan $D_3\times \pm 1$

Stabilisator tepi

Stabilisator dari sepasang tepi berlawanan diartikan sebagai stabilisator persegi panjang yang dihasilkan.

• stabilisator tepi di I memberikan grup siklik Z₂
• penstabil tepi di I_h memberikan Klein empat grup $Z_2\times Z_2$
• stabilisator dari sepasang sisi dalam I memberikan Klein empat grup $Z_2\times Z_2$; 5 diantaranya, diberikan oleh rotasi 180° dalam 3 sumbu tegak lurus.
• stabilisator dari sepasang sisi dalam I_h memberikan $Z_2\times Z_2\times Z_2$; 5 diantaranya, yang diberikan oleh refleksi dalam 3 sumbu tegak lurus.

Stabilisator wajah

Stabilisator dari pasangan wajah berlawanan diartikan sebagai stabilisator anti-prisma yang dihasilkan.

• stabilisator wajah di I memberikan grup siklik C₅
• stabilisator wajah di I_h memberikan grup dihedral D₅
• stabilisator dari pasangan wajah berlawanan di I memberikan grup dihedral D₅
• stabilisator dari pasangan wajah yang berlawanan di I_h memberikan $D_5\times \pm 1$

Stabilisator polihedron

Untuk masing-masing, 5 salinan konjugasi, dan tindakan konjugasi memberikan peta, $I\stackrel{\sim }{\to }{A}_5<S_5$.

• stabilisator dari tetrahedra tertulis di I adalah salinan T
• stabilisator dari tetrahedra tertulis di I_h adalah salinan T
• stabilisator dari kubus tertulis (atau pasangan berlawanan dari tetrahedra, atau oktahedra) di I adalah salinan T
• stabilisator dari kubus tertulis (atau pasangan berlawanan dari tetrahedra, atau oktahedra) di I_h adalah salinan dari T_h

Generator grup Coxeter

Grup simetri ikosahedral penuh [5,3] () urutan 120 memiliki generator diwakili oleh matriks refleksi R₀, R₁, R₂, dengan relasi R₀² = R₁² = R₂² = (R₀×R₁)⁵ = (R₁×R₂)³ = (R₀×R₂)² = Identitas. Grup [5,3]⁺ () urutan 60 dihasilkan oleh dua rotasi S_0,1, S_1,2, S_0,2. Sebuah refleksi rotor urutan 10 dihasilkan oleh V_0,1,2, produk dari ketiga refleksi. Di sini $\varphi =\frac{\sqrt{5}+1}{2}$ menunjukkan rasio emas.

[5,3],

	Refleksi			Rotasi			Rotorefleksi
Nama	R0	R1	R2	S0,1	S1,2	S0,2	V0,1,2
Grup
Urutan	2	2	2	5	3	2	10
Matrix	$\left[\begin{array}{ccc}-1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right]$	$\left[\begin{array}{ccc}\frac{1-\varphi }{2}& \frac{-\varphi }{2}& \frac{-1}{2}\\ \frac{-\varphi }{2}& \frac{1}{2}& \frac{1-\varphi }{2}\\ \frac{-1}{2}& \frac{1-\varphi }{2}& \frac{\varphi }{2}\end{array}\right]$	$\left[\begin{array}{ccc}1& 0& 0\\ 0& -1& 0\\ 0& 0& 1\end{array}\right]$	$\left[\begin{array}{ccc}\frac{\varphi -1}{2}& \frac{\varphi }{2}& \frac{1}{2}\\ \frac{-\varphi }{2}& \frac{1}{2}& \frac{1-\varphi }{2}\\ \frac{-1}{2}& \frac{1-\varphi }{2}& \frac{\varphi }{2}\end{array}\right]$	$\left[\begin{array}{ccc}\frac{1-\varphi }{2}& \frac{\varphi }{2}& \frac{-1}{2}\\ \frac{-\varphi }{2}& \frac{-1}{2}& \frac{1-\varphi }{2}\\ \frac{-1}{2}& \frac{\varphi -1}{2}& \frac{\varphi }{2}\end{array}\right]$	$\left[\begin{array}{ccc}-1& 0& 0\\ 0& -1& 0\\ 0& 0& 1\end{array}\right]$	$\left[\begin{array}{ccc}\frac{\varphi -1}{2}& \frac{-\varphi }{2}& \frac{1}{2}\\ \frac{-\varphi }{2}& \frac{-1}{2}& \frac{1-\varphi }{2}\\ \frac{-1}{2}& \frac{\varphi -1}{2}& \frac{\varphi }{2}\end{array}\right]$
	(1,0,0)n	$(\begin{array}{c}\frac{\varphi }{2},\frac{1}{2},\frac{\varphi -1}{2}\end{array})$n	(0,1,0)n	$(0,-1,\varphi )$sumbu	$(1-\varphi ,0,\varphi )$sumbu	$(0,0,1)$sumbu

Domain fundamental

Domain fundamental untuk grup rotasi ikosahedral dan grup ikosahedral penuh diberikan oleh:

Grup rotasi ikosahedral I

Grup ikosahedral penuh Ih

Wajah triacontahedron Disdyakis adalah domain fundamental

Dalam triacontahedron Disdyakis satu wajah penuh adalah domain fundamental; padatan lain dengan simetri yang sama diperoleh dengan menyesuaikan orientasi wajah, misalnya himpunan bagian wajah dipilih untuk menggabungkan setiap himpunan bagian menjadi satu wajah, atau mengganti setiap wajah dengan beberapa wajah, atau permukaan melengkung.

Polihedra dengan simetri ikosahedral

Kiral polihedra

Kelas	Simbol	Gambar
Archimedean	sr{5,3}	Berkas:Snubdodecahedronccw.jpg
Catalan	V3.3.3.3.5	Berkas:Pentagonalhexecontahedronccw.jpg

Simetri ikosahedral penuh

Padatan Platonis	Polihedra Kepler–Poinsot		Padatan Archimedean
{5,3}	{5/2,5}	{5/2,3}	t{5,3}	t{3,5}	r{3,5}	rr{3,5}	tr{3,5}
Padatan Platonik	Polihedra Kepler–Poinsot		Padatan Catalan
{3,5} =	{5,5/2} =	{3,5/2} =	V3.10.10	V5.6.6	V3.5.3.5	V3.4.5.4	V4.6.10

Objek lain dengan simetri ikosahedral

• Permukaan Barth
• Struktur virus, dan Kapsid
• Dalam kimia, ion dodecaborate ([B₁₂H₁₂]²⁻) dan molekul dodecahedrane (C₂₀H₂₀)

Kristal cair dengan simetri ikosahedral

Untuk fase bahan antara yang disebut kristal cair keberadaan simetri ikosahedral diusulkan oleh H. Kleinert dan K. Maki dan strukturnya pertama kali dianalisis secara rinci dalam makalah itu. Lihat artikel ulasan disini. Dalam aluminium, struktur ikosahedral ditemukan secara eksperimental tiga tahun setelah ini oleh Dan Shechtman, yang membuatnya mendapatkan Hadiah Nobel pada tahun 2011.

Geometri terkait

Simetri ikosahedral setara dengan grup linear khusus proyeksi PSL(2,5), dan adalah grup simetri dari kurva modular X(5), dan lebih umum PSL(2,p) adalah grup simetri dari kurva modular X(p). Kurva modular X(5) secara geometris merupakan dodecahedron dengan titik puncak di tengah setiap wajah poligonal, yang menunjukkan grup simetri.

Geometri ini, dan grup simetri terkait, dipelajari oleh Felix Klein sebagai kelompok monodromi permukaan Belyi – permukaan Riemann dengan peta holomorfik ke bola Riemann, bercabang hanya 0, 1, dan tak hingga (sebuah fungsi Belyi) – puncaknya adalah titik-titik yang terletak atas tak hingga, sedangkan simpul dan pusat setiap tepi terletak di atas 0 dan 1; tingkat penutup (jumlah lembar) sama dengan 5.

Ini muncul dari usahanya untuk memberikan pengaturan geometris mengapa simetri ikosahedral muncul dalam solusi persamaan kuintik, dengan teori yang diberikan dalam yang terkenal; eksposisi modern diberikan dalam .

Penyelidikan Klein dilanjutkan dengan penemuan simetri urutan 7 dan urutan 11 dalam dan (dan penutup terkait derajat 7 dan 11) dan dessins d'enfants, yang pertama menghasilkan kuintik Klein, geometri yang terkait memiliki ubin dengan 24 segi enam (dengan titik puncak di tengah).

Geometri serupa dengan PSL(2,n) dan grup yang umum untuk kurva modular lainnya.

Lebih eksotis lagi, relasi khusus antara grup PSL(2,5) (urutan 60), PSL(2,7) (urutan 168) dan PSL(2,11) (urutan 660), yang juga menerima interpretasi geometris – PSL(2,5) adalah simetri ikosahedron (genus 0), PSL(2,7) dari Klein quartic (genus 3), dan PSL(2,11) permukaan bukminsterfulerena (genus 70). Kelompok-kelompok ini membentuk "trinitas" dalam arti Vladimir Arnold, yang memberikan kerangka kerja untuk berbagai hubungan; lihat trinitas untuk detailnya.

Ada hubungan dekat dengan padatan Platonis lainnya.

Lihat pula

• Simetri tetrahedral
• Simetri oktahedral
• Grup ikosahedral biner
• Kalkulus ikosian

Pranala luar

• SUBGRUP W(H3) (Subgrup dari grup Coxeter lainnya ) Gotz Pfeiffer

Sumber dan atribusi

Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 28327448 (2025-11-03T20:57:06Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Gambar pada artikel ini bersumber dari Wikimedia Commons dan mengikuti ketentuan lisensi masing-masing berkas. Mohon gunakan konten dan media secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.