| Struktur aljabar → **Teori grup**Teori grup |
| --- |
|  |
| Gagasan dasar

|  |
| --- |
| * Subgrup
* Subgrup normal
* Grup hasil bagi
* darab langsung
* semi-darab langsung
 |
| *Homomorfisme grup* |
| * kernel
* bayangan
* jumlah langsung
* karangan bunga
* sederhana
* hingga
* takhingga
* kontinu
* multiplikatif
* aditif
* siklik
* Abel
* dihedral
* nilpoten
* terselesaikan
* aksi
 |
| * Glosarium teori grup
* Daftar topik teori grup
 |

 |
| Grup hingga

| Klasifikasi grup sederhana hingga |
| --- |
| * siklik
* bergantian
* tipe Lie
* sporadik
 |
| * Teorema Cauchy
* Teorema Lagrange
* Teorema Sylow
* Teorema Hall
* grup-p
* Grup Abel elementer
* Grup Frobenius
* Pengganda Schur
 |
| * Grup simetrik {\displaystyle \mathrm {S} \_{n}}
* Grup Klein {\displaystyle \mathrm {V} }
* Grup dihedral {\displaystyle \mathrm {D} \_{n}}
* Grup kuaternion {\displaystyle \mathrm {Q} }
* Grup disiklik {\displaystyle \mathrm {Dic} \_{n}}
 |

 |
| * Grup diskret
* Kekisi

* Bilangan bulat ({\displaystyle \mathbb {Z} })
* Grup bebas

Grup modular * {\displaystyle \mathrm {PSL} (2,\mathbb {Z} )}
* {\displaystyle \mathrm {SL} (2,\mathbb {Z} )}

* Grup aritmetika
* Kekisi
* Grup hiperbolik
 |
| Topologis dan Grup Lie
* Solenoid
* Lingkaran

* Linear umum {\displaystyle \mathrm {GL} (n)}

* Linear khusus {\displaystyle \mathrm {SL} (n)}

* Ortogonal {\displaystyle \mathrm {O} (n)}

* Euklides {\displaystyle \mathrm {E} (n)}

* Ortogonal khusus {\displaystyle \mathrm {SO} (n)}

* Uner {\displaystyle \mathrm {U} (n)}

* Uniter khusus {\displaystyle \mathrm {SU} (n)}

* Simplektik {\displaystyle \mathrm {Sp} (n)}

* G2
* F4
* E6
* E7
* E8

* Lorentz
* Poincaré
* konformal

* Difeomorfisme
* Gelung

Grup Lie berdimensi takhingga * {\displaystyle O(\infty )}
* {\displaystyle \mathrm {SU} (\infty )}
* {\displaystyle \mathrm {Sp} (\infty )}
 |
| Grup aljabar
* Grup aljabar linear

* Grup reduktif

* Varietas Abel

* Kurva eliptik
 |
| * l
* b
* s
 |

Grup simetri dari kepingan salju adalah D6, simetri dihedral, sama seperti untuk segi enam biasa.
Dalam matematika, **grup dihedral** adalah grup dari simetri dari poligon beraturan, yang meliputi rotasi dan refleksi. Gugus dihedral adalah contoh paling sederhana dari gugus hingga, dan mereka memainkan peran penting dalam teori grup, geometri, dan kimia.

Notasi untuk grup dihedral berbeda dalam geometri dan aljabar abstrak. Dalam geometri, D*n* atau Dih*n* mengacu pada kesimetrian n-gon, segrup urutan 2*n*. Dalam aljabar abstrak, D2*n* mengacu pada grup dihedral yang sama ini. Konvensi geometris digunakan dalam artikel ini.

Definisi
--------

### Elemen

Enam sumbu refleksi dari segi enam beraturan
Poligon beraturan dengan {\displaystyle n} sisi memiliki {\displaystyle 2n} simetri yang berbeda: {\displaystyle n} simetri rotasi dan {\displaystyle n} simetri refleksi. Biasanya, kami mengambil {\displaystyle n\geq 3} di sini. Rotasi s dan refleksi yang terkait membuat grup dihedral {\displaystyle \mathrm {D} \_{n}}. Jika {\displaystyle n} ganjil, setiap sumbu simetri menghubungkan titik tengah dari satu sisi ke simpul yang berlawanan. Jika {\displaystyle n} genap, ada {\displaystyle n/2} sumbu simetri yang menghubungkan titik tengah sisi berlawanan dan {\displaystyle n/2} sumbu simetri yang menghubungkan simpul yang berlawanan. Dalam kedua kasus tersebut, ada {\displaystyle n} sumbu simetri dan elemen {\displaystyle 2n} dalam grup simetri. Refleksi dalam satu sumbu simetri diikuti dengan refleksi di sumbu simetri lain menghasilkan rotasi melalui dua kali sudut antar sumbu.

Gambar berikut menunjukkan efek dari enam belas elemen {\displaystyle \mathrm {D} \_{8}} pada tanda berhenti:

Baris pertama menunjukkan efek dari delapan rotasi, dan baris kedua menunjukkan efek dari delapan refleksi, dalam setiap kasus bekerja pada tanda berhenti dengan orientasi seperti yang ditunjukkan di kiri atas.

### Struktur grup

Seperti pada objek geometris lainnya, komposisi dari dua kesimetrian poligon beraturan juga merupakan simetri dari objek ini. Dengan komposisi kesimetrian untuk menghasilkan kesimetrian lain sebagai operasi biner, hal ini memberikan kesimetrian poligon struktur aljabar dari grup berhingga.

Komposisi kedua pantulan ini adalah sebuah rotasi.
Tabel Cayley berikut ini menunjukkan efek komposisi dalam grup D3 (kesimetrian sebuah segitiga sama sisi). r 0  menunjukkan identitas; r1 dan r 2  menunjukkan rotasi berlawanan arah jarum jam masing-masing sebesar 120° dan 240°, dan s 0 , s 1  dan s 2 </ sub > menunjukkan pantulan melintasi tiga garis yang ditunjukkan pada pi yang berdekatan

|  | 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 |

Sebagai contoh, s2s1 = r1, karena refleksi s 1  diikuti oleh refleksi s 2  menghasilkan rotasi 120°. Urutan elemen yang menunjukkan komposisi adalah dari kanan ke kiri, yang mencerminkan konvensi bahwa elemen tersebut bekerja pada ekspresi di sebelah kanannya. Operasi komposisi bukanlah komutatif.

Secara umum, grup D*n* memiliki elemen r 0 , ... r*n*−1 dan s0, ... s*n*−1, dengan komposisi yang diberikan oleh rumus berikut:

{\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}.}
Dalam semua kasus, penambahan dan pengurangan subskrip harus dilakukan dengan menggunakan aritmetika modular dengan modulus  *n* .

### Representasi matriks

Simetri segi lima ini adalah transformasi linear bidang sebagai ruang vektor.
Jika kita memusatkan poligon beraturan di titik asal, maka elemen dari kelompok dihedral bertindak sebagai transformasi linear dari bidang. Ini memungkinkan kita merepresentasikan elemen D *n*  sebagai matriks, dengan komposisi perkalian matriks.
Ini adalah contoh dari representasi grup (2 dimensi).

Misalnya, unsur-unsur dari kelompok D4 dapat diwakili oleh delapan matriks berikut:

{\displaystyle {\begin{matrix}\mathrm {r} \_{0}=\left({\begin{smallmatrix}1&0\\[0.2em]0&1\end{smallmatrix}}\right),&\mathrm {r} \_{1}=\left({\begin{smallmatrix}0&-1\\[0.2em]1&0\end{smallmatrix}}\right),&\mathrm {r} \_{2}=\left({\begin{smallmatrix}-1&0\\[0.2em]0&-1\end{smallmatrix}}\right),&\mathrm {r} \_{3}=\left({\begin{smallmatrix}0&1\\[0.2em]-1&0\end{smallmatrix}}\right),\\[1em]\mathrm {s} \_{0}=\left({\begin{smallmatrix}1&0\\[0.2em]0&-1\end{smallmatrix}}\right),&\mathrm {s} \_{1}=\left({\begin{smallmatrix}0&1\\[0.2em]1&0\end{smallmatrix}}\right),&\mathrm {s} \_{2}=\left({\begin{smallmatrix}-1&0\\[0.2em]0&1\end{smallmatrix}}\right),&\mathrm {s} \_{3}=\left({\begin{smallmatrix}0&-1\\[0.2em]-1&0\end{smallmatrix}}\right).\end{matrix}}}
Secara umum, matriks untuk elemen D *n*  memiliki bentuk sebagai berikut:

{\displaystyle {\begin{aligned}\mathrm {r} \_{k}&={\begin{pmatrix}\cos {\frac {2\pi k}{n}}&-\sin {\frac {2\pi k}{n}}\\\sin {\frac {2\pi k}{n}}&\cos {\frac {2\pi k}{n}}\end{pmatrix}}\ \ {\text{and}}\\\mathrm {s} \_{k}&={\begin{pmatrix}\cos {\frac {2\pi k}{n}}&\sin {\frac {2\pi k}{n}}\\\sin {\frac {2\pi k}{n}}&-\cos {\frac {2\pi k}{n}}\end{pmatrix}}.\end{aligned}}}
r*k* adalah matriks rotasi, yang menyatakan rotasi berlawanan arah jarum jam melalui sudut 2*πk*/*n*. s*k* adalah refleksi melintasi garis yang membentuk sudut *πk*/*n* dengan sumbu  *x* .

### Definisi lainnya

Definisi ekuivalen lebih lanjut dari D*n* adalah:

* Grup automorfisme dari grafik hanya terdiri dari sebuah siklus dengan simpul  *n*  (jika  *n*  ≥ 3).
* Grup dengan presentasi
{\displaystyle {\begin{aligned}\mathrm {D} \_{n}&=\langle \mathrm {r} ,\mathrm {s} \mid \operatorname {ord} (\mathrm {r} )=n,\operatorname {ord} (\mathrm {s} )=2,\mathrm {srs} =\mathrm {r} ^{-1}\rangle \\&=\langle \mathrm {r,s} \mid \mathrm {r} ^{n}=\mathrm {s} ^{2}=(\mathrm {sr} )^{2}=1\rangle .\end{aligned}}}
Dari presentasi kedua berikut itu D*n* termasuk dalam kelas Coxeter group s.
* Produk setengah langsung dari grup siklik Z*n* dan Z2, dengan Z2 bertindak Z*n* oleh inversi (dengan demikian, D*n* selalu memiliki subgrup normal isomorfik ke grup Z*n*). Z*n* ⋊*φ* Z2 isomorfik untuk D*n* jika *φ*(0) adalah identitas dan *φ*(1) adalah inversi.

Grup dihedral kecil
-------------------

Contoh subkelompok dari simetri dihedral heksagonal
D1 adalah isomorfik menjadi Z2, grup siklik dari order 2.

D2 adalah isomorfik menjadi K4, Klein empat grup.

D1 dan D2 karena:

* D1 dan D2 adalah satu-satunya grup dihedral abelian. Jika tidak, D*n* adalah non-abelian.
* D*n* adalah subgrup dari grup simetris S*n* dari *n* ≥ 3. Maka 2*n* > *n*! dari *n* = 1 atau *n* = 2, untuk nilai-nilai ini, D*n* terlalu besar untuk dijadikan subgrup.
* Grup automorfisme dalam dari D2 adalah trivial, sedangkan untuk nilai genap lainnya *n*, maka D*n* / Z2.

grafik siklus dari grup dihedral terdiri dari siklus  *n*  elemen dan siklus 2 elemen  *n*. Titik gelap pada grafik siklus di bawah dari berbagai grup dihedral mewakili elemen identitas, dan simpul lainnya adalah elemen lain dari grup. Sebuah siklus terdiri dari kekuatan berturut-turut dari salah satu elemen yang terhubung ke elemen identitas.

Grafik siklus| D1 = Z2 | D2 = Z22 = K4 | D3 | D4 | D5 |
| --- | --- | --- | --- | --- |
|  |  |  |  |  |
|  |  |  |  |  |
| D6 = D3 × Z2 | D7 | D8 | D9 | D10 = D5 × Z2 |

| D3 = S3 | D4 |
| --- | --- |
|  |  |

Grup dihedral sebagai grup simetri dalam 2D dan grup rotasi dalam 3D
--------------------------------------------------------------------

Contoh grup abstrak D*n*, dan cara yang umum untuk memvisualisasikannya, adalah kelompok isometri bidang Euklidean yang menjaga asal tetap. Grup ini membentuk salah satu dari dua rangkaian diskrit grup titik dalam dua dimensi. D*n* terdiri dari   *n*  rotasi dari kelipatan 360°/*n* tentang asal, dan refleksi melintasi garis   *n*  melalui titik asal, membuat sudut kelipatan 180°/*n* satu sama lain. Ini adalah kelompok simetri dari sebuah poligon beraturan dengan sisi   *n*  (untuk *n* ≥ 3; ini meluas ke kasus *n* = 1 dan *n* = 2 di mana kita memiliki bidang dengan masing-masing titik offset dari "pusat" dari "1-gon" dan "2-gon" atau ruas garis).

D*n* adalah dihasilkan dengan rotasi  r urutan   *n*  dan refleksi  s dari urutan 2 sedemikian rupa

{\displaystyle \mathrm {srs} =\mathrm {r} ^{-1}\,}
Dalam istilah geometris: di cermin, rotasi tampak seperti rotasi terbalik.

Dalam istilah bilangan kompleks: perkalian dengan {\displaystyle e^{2\pi i \over n}} dan konjugasi kompleks.

Dalam bentuk matriks, dengan pengaturan

{\displaystyle \mathrm {r} \_{1}={\begin{bmatrix}\cos {2\pi \over n}&-\sin {2\pi \over n}\\[8pt]\sin {2\pi \over n}&\cos {2\pi \over n}\end{bmatrix}}\qquad \mathrm {s} \_{0}={\begin{bmatrix}1&0\\0&-1\end{bmatrix}}}
dan mendefinisikan {\displaystyle \mathrm {r} \_{j}=\mathrm {r} \_{1}^{j}} dan {\displaystyle \mathrm {s} \_{j}=\mathrm {r} \_{j}\,\mathrm {s} \_{0}} dari {\displaystyle j\in \{1,\ldots ,n-1\}} kita dapat menulis aturan produk untuk  D*n* sebagai

{\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}}}
(Bandingkan rotasi dan pantulan koordinat.)

Grup dihedral D 2  dihasilkan oleh rotasi r 180 derajat, dan pantulan melintasi sumbu  *x*. Elemen D 2  kemudian dapat direpresentasikan sebagai {e, r, s, rs}, di mana e adalah identitas atau transformasi nol dan rs adalah refleksi melintasi sumbu  *y* .

Empat elemen D2 (sumbu x vertikal di sini)
D2 adalah isomorfik ke grup empat Klein.

Untuk  *n* > 2, operasi rotasi dan refleksi secara umum tidak perjalanan dan D  *n*  bukan abelian; Misalnya, di D4, rotasi 90 derajat diikuti oleh refleksi menghasilkan hasil yang berbeda dari refleksi diikuti oleh rotasi 90 derajat.

D4 nonabelian (sumbu x vertikal di sini).
Jadi, di luar aplikasi mereka yang jelas untuk masalah simetri di bidang, grup ini adalah salah satu contoh paling sederhana dari kelompok non-abelian, dan dengan demikian sering muncul contoh tandingan yang mudah untuk teorema yang dibatasi untuk grup abelian.

2*n* elemen dari D*n* dapat ditulis sebagai e, r, r2, ... , r*n*−1, s, r s, r2s, ... , r*n*−1s. Pertama *n* elemen yang terdaftar adalah rotasi dan elemen   *n*  yang tersisa adalah refleksi-sumbu (semuanya memiliki urutan 2). Produk dari dua rotasi atau dua refleksi adalah rotasi; produk dari rotasi dan refleksi adalah refleksi.

Sejauh ini, kami telah mempertimbangkan D*n* menjadi subkelompok dari O(2), yaitu kelompok rotasi (tentang asal) dan refleksi (melintasi sumbu melalui asal) dari bidang. Namun, notasi D*n* juga digunakan untuk subgrup SO(3) yang juga merupakan jenis kelompok abstrak D*n*: kelompok simetri yang tepat dari  *poligon beraturan yang tertanam dalam ruang tiga dimensi*  (jika *n* ≥ 3). Sosok seperti itu dapat dianggap sebagai benda padat biasa yang merosot dengan jumlah muka yang dihitung dua kali. Oleh karena itu, ini juga disebut  *dihedron*  (Yunani: padat dengan dua sisi), yang menjelaskan nama  *grup dihedral*  (dalam analogi dengan  *tetrahedral* ,  *oktahedral*  dan  *grup icosahedral* , mengacu pada kelompok simetri yang tepat dari tetrahedron, oktahedron, dan ikosahedron reguler).

Sifat
-----

Properti dari grup dihedral D*n* dengan *n* ≥ 3 bergantung pada apakah   *n*  genap atau ganjil. Misalnya, pusat dari D*n* hanya terdiri dari identitas jika  *n*  ganjil, tetapi jika  *n*  genap pusat memiliki dua elemen, yaitu identitas dan elemen r*n*/2 (with D*n* sebagai subgrup dari O(2), maka; karena perkalian skalar dengan −1, jelas bahwa ia berpindah-pindah dengan transformasi linier apa pun).

Dalam kasus isometri 2D, ini terkait dengan penambahan inversi, memberikan rotasi dan cermin di antara yang sudah ada.

Untuk  *n*  dua kali angka ganjil, kelompok abstrak D*n* isomorfik dengan produk langsung dari D*n* / 2 dan Z2.
Umumnya, jika  *m*  membagi  *n* , maka D*n* memiliki *n*/*m* subgrup jenis D*m*, dan satu subgrup ℤ*m*. Oleh karena itu, jumlah total subgrup dari D*n* (*n* ≥ 1), adalah sama dengan *d*(*n*) + σ(*n*), dimana *d*(*n*) adalah banyaknya pembagi positif dari  *n*  dan *σ*(*n*) adalah jumlah dari pembagi positif dari  *n*. Lihat daftar grup kecil untuk kasus  *n*  ≤ 8.

Gugus dihedral orde 8 (D 4 ) adalah contoh terkecil dari grup yang bukan T-grup. Salah satu dari dua subgrup Klein empat grup (yang normal di D 4 ) memiliki subgrup orde-2 subgrup normal yang dihasilkan oleh refleksi (flip) di D4, tetapi subgrup ini tidak normal di D4.

### Kelas konjugasi refleksi

Semua refleksi adalah konjugasi satu sama lain jika  *n*  ganjil, tetapi mereka jatuh ke dalam dua kelas konjugasi jika  *n*  genap. Jika kita memikirkan isometri dari  *n*  - gon biasa: untuk ganjil  *n*  ada rotasi dalam grup antara setiap pasangan cermin, sedangkan untuk genap  *n*  hanya setengah dari cermin dapat dicapai dari satu dengan rotasi ini. Secara geometris, dalam poligon ganjil setiap sumbu simetri melewati puncak dan sisi, sedangkan dalam poligon genap ada dua set sumbu, masing-masing sesuai dengan kelas konjugasi: yang melewati dua simpul dan yang melewati dua sisi.

Secara aljabar, ini adalah turunan dari konjugasi Teorema Sylow (untuk  *n*  ganjil): untuk  *n*  ganjil, setiap refleksi, bersama dengan identitas, membentuk subgrup orde 2, yang merupakan Sylow 2-subgrup (2 = 21 is the maximum power of 2 dividing 2*n* = 2[2*k* + 1]), sedangkan untuk  *n*  genap, urutan 2 subgrup ini bukan subgrup Sylow karena 4 (pangkat lebih tinggi dari 2) membagi urutan grup.

Untuk  *n*  bahkan ada automorfisme luar yang menukar dua jenis pantulan (benar, kelas automorfisme luar, yang semuanya terkonjugasi oleh automorfisme dalam).

Generalisasi
------------

Ada beberapa generalisasi penting dari grup dihedral:

* Grup dihedral tak hingga adalah grup tak hingga dengan struktur aljabar mirip dengan grup dihedral hingga. Ini dapat dilihat sebagai grup simetri dari bilangan bulat.
* Grup ortogonal O(2), yaitu grup simetri dari lingkaran, juga memiliki sifat yang mirip dengan grup dihedral.
* Keluarga grup dihedral umum mencakup kedua contoh di atas, serta banyak kelompok lainnya.
* Grup kuasidihedral adalah famili grup berhingga dengan sifat yang mirip dengan grup dihedral.

Lihat pula
----------


Wikimedia Commons memiliki media mengenai ***Dihedral groups***.

* Rotasi koordinat dan refleksi
* Indeks siklus dari grup dihedral
* Grup disiklik
* Grup urutan dihedral 6
* Grup urutan dihedral 8
* Grup simetri dihedral dalam 3D
* Simetri dihedral dalam tiga dimensi

Referensi
---------

1. ↑  (Inggris) Weisstein, Eric W. "Dihedral Group". *MathWorld*.
2. ↑  Dummit, David S.; Foote, Richard M. (2004). *Abstract Algebra* (edisi ke-3rd). John Wiley & Sons. ISBN 0-471-43334-9.
3. ↑  "Dihedral Groups: Notation". *Math Images Project*. Diarsipkan dari versi asli tanggal 2016-03-20. Diakses tanggal 2016-06-11.  Parameter `|url-status=` yang tidak diketahui akan diabaikan (bantuan)
4. ↑  Cameron, Peter Jephson (1998), *Introduction to Algebra*, Oxford University Press, hlm. 95, ISBN 9780198501954, diarsipkan dari versi asli tanggal 2023-08-09, diakses tanggal 2020-12-23
5. ↑  Toth, Gabor (2006), *Glimpses of Algebra and Geometry*, Undergraduate Texts in Mathematics (edisi ke-2nd), Springer, hlm. 98, ISBN 9780387224558, diarsipkan dari versi asli tanggal 2023-08-09, diakses tanggal 2020-12-23
6. 1 2  Lovett, Stephen (2015), *Abstract Algebra: Structures and Applications*, CRC Press, hlm. 71, ISBN 9781482248913, diarsipkan dari versi asli tanggal 2023-08-09, diakses tanggal 2020-12-23

Pranala luar
------------

* Dihedral Group n of Order 2n by Shawn Dudzik, Wolfram Demonstrations Project.
* Dihedral group Diarsipkan 2023-08-09 di Wayback Machine. at Groupprops
* (Inggris) Weisstein, Eric W. "Dihedral Group". *MathWorld*.
* (Inggris) Weisstein, Eric W. "Dihedral Group D3". *MathWorld*.
* (Inggris) Weisstein, Eric W. "Dihedral Group D4". *MathWorld*.
* (Inggris) Weisstein, Eric W. "Dihedral Group D5". *MathWorld*.
* (Inggris) Davis, Declan. "Dihedral Group D6". *MathWorld*.
* Dihedral groups on GroupNames Diarsipkan 2023-08-09 di Wayback Machine.