Grup (matematika)
Definisi dan ilustrasi > Contoh kedua: grup simetri

Dua bangun pada bidang adalah kongruen jika bangun tersebut dapat diubah menjadi bangun yang lain menggunakan gabungan dari rotasi, refleksi, dan translasi. Setiap bangun kongruen dengan dirinya sendiri. Namun, beberapa bangun kongruen dengan sendiri dapat dilakukan dengan berbagai cara, dan kekongruenan tambahan tersebut dinamakan simetris. Persegi memiliki delapan simetri, yaitu:
operasi identitas, yang berarti bangun tersebut tidak berubah, dan operasi ini dilambangkan dengan id;
persegi di sekitar pusatnya diputar sebesar 90°, 180°, dan 270° searah jarum jam, yang dilambangkan dengan  r_{1},  r_{2} dan  r_{3};
refleksi (cermin) terhadap garis tengah horizontal dan vertikal ( f_{\mathrm {v} } dan  f_{\mathrm {h} }, atau terhadap dua garis diagonal ( f_{\mathrm {d} } dan  f_{\mathrm {c} }).
Elemen dari grup simetri persegi, . Titik sudutnya dinyatakan dengan warna ataupun bilangan.
, persegi tetap tidak berubah
, persegi berputar 90° searah jarum jam
, persegi berputar 180° searah jarum jam
, persegi berputar 270° searah jarum jam
, persegi cermin terhadap garis vertikal
, persegi cermin terhadap garis horizontal
, persegi cermin terhadap garis diagonal
, persegi cermin terhadap kontra-diagonal
Simetri diatas adalah fungsi. Masing-masing untuk satu titik dalam persegi ke titik yang sesuai di bawah simetri. Sebagai contoh, r1 untuk titik ke rotasi 90° searah jarum jam di sekitar pusat persegi, dan fh untuk titik ke pantulan di garis tengah vertikal persegi. Komposisi dua kesimetrian menghasilkan kesimetrian yang lain. Kesimetrian ini menentukan sebuah grup yang disebut grup dihedral dengan derajat 4, dilambangkan D4. Himpunan yang didasari grup adalah himpunan simetri di atas, dan operasi grup adalah komposisi fungsi. Dua simetri digabungkan dengan menyusunnya sebagai fungsi, yaitu menerapkan yang pertama ke persegi, dan yang kedua ke hasil aplikasi pertama. Hasil dari pertama kali a dan kemudian b ditulis secara simbolis dari kanan ke kiri sebagai  b\circ a ("terapkan simetri b setelah melakukan simetri a"). Maka ini adalah notasi biasa untuk komposisi fungsi.
Tabel grup di sebelah kanan mencantumkan hasil dari semua komposisi yang memungkinkan. Misalnya, 270° searah jarum jam (r3) dan kemudian merefleksikan secara horizontal (fh) sama seperti melakukan refleksi di sepanjang diagonal (fd). Menggunakan simbol di atas, disorot dengan warna biru di tabel grup:
|  | id | r1 | r2 | r3 | fv | fh | fd | fc |
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
| id | id | r1 | r2 | r3 | fv | fh | fd | fc |
| r1 | r1 | r2 | r3 | id | fc | fd | fv | fh |
| r2 | r2 | r3 | id | r1 | fh | fv | fc | fd |
| r3 | r3 | id | r1 | r2 | fd | fc | fh | fv |
| fv | fv | fd | fh | fc | id | r2 | r1 | r3 |
| fh | fh | fc | fv | fd | r2 | id | r3 | r1 |
| fd | fd | fh | fc | fv | r3 | r1 | id | r2 |
| fc | fc | fv | fd | fh | r1 | r3 | r2 | id |
Elemen id, r1, r2, dan r3 sebagai bentuk subgrup tabel grup ditarik dalam   merah (wilayah kiri atas). Kohimpunan kiri dan kanan subgrup ini ditarik di   hijau (di baris terakhir) dan   kuning (kolom terakhir).
Mengingat himpunan kesimetrian ini dan operasi yang dijelaskan, aksioma grup dapat dipahami sebagai berikut.
Komposisi adalah operasi biner. Artinya,  a\circ b adalah simetri untuk dua simetri a dan b. Sebagai contoh,
yaitu, 270° searah jarum jam setelah memantulkan secara horizontal sama dengan pemantulan di sepanjang kontra-diagonal (fc). Memang setiap kombinasi lain dari dua simetri masih memberikan kesimetrian, seperti yang diperiksa dengan menggunakan tabel grup.
Aksioma asosiatif berkaitan dengan penyusunan lebih dari dua simetri: Dimulai dengan tiga elemen a, b dan c dari D4, Ada dua kemungkinan cara menggunakan ketiga kesimetrian ini dalam urutan ini untuk menentukan kesimetrian bujur sangkar. Salah satu cara ini adalah dengan menulis a dan b menjadi satu simetri, lalu untuk menyusun simetri tersebut dengan c. Cara lainnya adalah dengan menulis b dan c, kemudian untuk menyusun simetri yang dihasilkan dengan a. Kedua cara ini harus selalu memberikan hasil yang sama, yaitu,
Sebagai contoh,  (f_{\mathrm {d} }\circ f_{\mathrm {v} })\circ r_{2}=f_{\mathrm {d} }\circ (f_{\mathrm {v} }\circ r_{2}) dapat diperiksa menggunakan tabel grup di sebelah kanan:
Elemen identitas adalah id, karena tidak mengubah simetri a saat disusun dengan baik di kiri atau di kanan.
Semua simetri memiliki kebalikan: is, pantulan fh, fv, fd, fc dan rotasi 180° r2 adalah invers, karena dua kali akan mengembalikan persegi ke orientasi aslinya. Rotasi r3 dan r1 adalah invers satu sama lain, karena 90° dan kemudian rotasi 270° (atau sebaliknya) menghasilkan rotasi lebih dari 360° yang membuat persegi tidak berubah. Ini dengan mudah diverifikasi di atas meja.
Berbeda dengan grup bilangan bulat di atas, di mana urutan operasinya tidak relevan, D4, misalnya  f_{\mathrm {h} }\circ r_{1}=f_{\mathrm {c} } but  r_{1}\circ f_{\mathrm {h} }=f_{\mathrm {d} } Dengan kata lain, D4 bukan abelian.