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

Teka-teki populer kubus Rubik yang ditemukan pada tahun 1974 oleh Ernő Rubik telah digunakan sebagai ilustrasi kelompok permutasi. Setiap rotasi lapisan kubus menghasilkan permutasi warna permukaan dan merupakan anggota grup. Kelompok permutasi kubus disebut grup kubus Rubik.
Dalam matematika, khususnya aljabar, suatu **grup permutasi** {\displaystyle G} adalah suatu grup dengan unsur-unsurnya adalah permutasi dari suatu himpunan {\displaystyle M} dan operasi grupnya adalah komposisi dari permutasi. Grup permutasi tersebut dinotasikan sebagai Sym({\displaystyle M}) (notasi Sym di sini bermakna *Symmetric*). Khusus untuk himpunan {\displaystyle M=\{1,2,...n\}}, grup permutasi tersebut umumnya dinotasikan sebagai {\displaystyle S\_{n}}.

Notasi
------

Untuk suatu himpunan {\displaystyle M}, permutasi {\displaystyle \sigma } atas {\displaystyle M} adalah suatu bijeksi {\displaystyle \sigma :M\rightarrow M}. Sebagai contoh, untuk himpunan {\displaystyle M=\{1,2,3,4\}}, salah satu permutasi yang mungkin adalah permutasi {\displaystyle \sigma } yang memenuhi

{\displaystyle \sigma (1)=3,\sigma (2)=1,\sigma (3)=2} dan {\displaystyle \sigma (4)=4}. Permutasi ini dapat dinyatakan sebagai matriks dengan dua baris
{\displaystyle \sigma ={\begin{pmatrix}1&2&3&4\\3&1&2&4\end{pmatrix}}}
atau secara umum, unsur dalam grup permutasi {\displaystyle S\_{n}} dapat ditulis sebagai matriks

{\displaystyle \sigma ={\begin{pmatrix}1&2&3&...&n\\\sigma (1)&\sigma (2)&\sigma (3)&...&\sigma (n)\end{pmatrix}}}.
Notasi seperti ini dapat diringkas menjadi notasi putaran. Suatu putaran {\displaystyle (a\_{1},a\_{2},...a\_{n})} dengan panjang {\displaystyle n} melambangkan pemetaan {\displaystyle a\_{1}\mapsto a\_{2},a\_{2}\mapsto a\_{3},...a\_{n-1}\mapsto a\_{n},a\_{n}\mapsto a\_{1}}. Sebagai contoh, tinjau permutasi {\displaystyle \sigma } pada grup permutasi {\displaystyle S\_{6}} yang didefinisikan oleh

{\displaystyle \sigma ={\begin{pmatrix}1&2&3&4&5&6\\3&1&2&4&6&5\end{pmatrix}}}.
Untuk meringkas, notasi tersebut dapat ditulis menjadi {\displaystyle (132)(4)(56)} yang kemudian dapat diringkas lagi dengan menghilangkan setiap putaran dengan panjang 1 menjadi {\displaystyle (132)(56)}. Dua buah putaran {\displaystyle (a\_{1},a\_{2},...a\_{m}),(b\_{1},b\_{2},...b\_{k})} yang tidak saling lepas (yakni irisan himpunan {\displaystyle \{a\_{1},...a\_{m}\}} dengan {\displaystyle \{b\_{1},...b\_{k}\}} tidak kosong) kemudian dapat dipandang sebagai dua unsur yang berbeda dalam suatu grup permutasi, sehingga komposisinya dapat dipandang sebagai perkalian dua buah permutasi. Untuk sebarang dua buah putaran saling lepas {\displaystyle \alpha ,\beta \in S\_{n}}, berlaku pula {\displaystyle \alpha \beta =\beta \alpha }.

Karena permutasi adalah suatu bijeksi, ia mempunyai invers. Misalkan {\displaystyle \sigma \in S\_{n}}suatu permutasi yang dinyatakan oleh matriks

{\displaystyle \sigma ={\begin{pmatrix}1&2&...&n\\\sigma (1)&\sigma (2)&...&\sigma (n)\end{pmatrix}}},
invers dari {\displaystyle \sigma } yang dinotasikan sebagai {\displaystyle \sigma ^{-1}}dapat dihitung dengan menukar barisnya. Yaitu,

{\displaystyle \sigma ^{-1}={\begin{pmatrix}\sigma (1)&\sigma (2)&...&\sigma (n)\\1&2&...&n\end{pmatrix}}}.

Dekomposisi putaran
-------------------

Setiap permutasi pada grup permutasi {\displaystyle S\_{n}} dapat dinyatakan sebagai hasil kali putaran yang saling lepas. Sebagai contoh, permutasi

{\displaystyle \sigma ={\begin{pmatrix}1&2&3&4&5&6\\6&3&4&2&5&1\end{pmatrix}}}
dapat ditulis sebagai {\displaystyle \sigma =(16)(234)(5)}.

Dekomposisi permutasi menjadi putaran-putaran dapat digunakan untuk menentukan orde suatu unsur pada grup permutasi. Misalkan {\displaystyle \sigma \in S\_{n}} terdekomposisi menjadi putaran-putaran dengan panjang {\displaystyle a\_{1},a\_{2},...a\_{k}}, orde dari {\displaystyle \sigma } kemudian adalah kelipatan persekutuan terkecil dari {\displaystyle a\_{1},a\_{2},...a\_{k}}.

Setiap permutasi juga dapat dipandang sebagai hasil kali transposisi, yaitu putaran dengan panjang dua. Transposisi ini dapat diinterpretasikan sebagai suatu permutasi yang menukar tepat dua unsur dari suatu himpunan. Grup permutasi {\displaystyle S\_{n}}kemudian dapat dibangun oleh transposisi (yakni setiap unsur di {\displaystyle S\_{n}}dapat dinyatakan sebagai hasil kali transposisi). Hasil penting lainnya terkait dekomposisi ini adalah bahwa suatu permutasi pastilah merupakan hasil kali dari sebanyak ganjil atau sebanyak genap transposisi, tetapi tidak keduanya. Hasil inilah yang memotivasi pendefinisian grup berayun, yaitu grup yang himpunannya adalah permutasi genap dari suatu himpunan. Hasil tersebut menjamin operasi pada grup berayun terdefinisi dengan baik.

Teorema Cayley
--------------

Dalam teori grup, teorema Cayley mengatakan bahwa sebarang grup {\displaystyle G} isomorfis dengan suatu subgrup dari Sym({\displaystyle S}) untuk suatu {\displaystyle S}. Untuk {\displaystyle G} yang memiliki orde berhingga, berlaku {\displaystyle G} isomorfis dengan grup permutasi {\displaystyle S\_{n}}.

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

* grup-2 transitif
* Grup permutasi pangkat 3
* Grup Mathieu

Referensi
---------

1. 1 2  Durbin, John R. (2009). *Modern Algebra An Introduction, Sixth Edition*. John Willey and Sons, Inc. ISBN 978-0470-38443-5.
2. 1 2 3 4 5 6 7  Herstein, Israel Nathan (1995). *Abstract Algebra, Third Edition*.
3. 1 2  Barra, Aleams (2015). *Catatan Kuliah Struktur Aljabar*.
4. ↑  Rotman, Joseph J. 1934- (2006). *A first course in abstract algebra : with applications* (edisi ke-3rd ed). Upper Saddle River, N.J.: Pearson Prentice Hall. ISBN 0131862677. OCLC 61309485. Pemeliharaan CS1: Banyak nama: authors list (link) Pemeliharaan CS1: Teks tambahan (link)

| * l
* b
* s
Matematika (Bidang matematika) |
| --- |
| Fondasi | 
* Filsafat matematika
* Logika matematika
* Teori himpunan
* Teori informasi
* Teori kategori
* Teori tipe

 |
| Aljabar | 
* Abstrak
* Elementer
* Homologis
* Komutatif
* Linear
* Multilinear
* Universal
* Teori grup
* Teori representasi

 |
| Analisis | 
* Kalkulus
* Analisis fungsional
* Analisis harmonik
* Analisis kompleks
* Analisis real
* Persamaan diferensial
* Teori ukuran
* Teori sistem dinamis

 |
| Diskret | 
* Kombinatorika
* Teori graf
* Teori order

 |
| Geometri | 
* Aljabar
* Analitis
* Diferensial
* Diskrit
* Euklides
* Hingga
* Trigonometri

 |
| Komputasi | 
* Analisis numerik (Topik)
* Ilmu komputer
* Komputasi simbolik
* Teori komputasi
* Teori kompleksitas komputasi
* Optimisasi matematika

 |
| Teori bilangan | 
* Aritmetika
* Geometri Diophantine
* Teori bilangan aljabar
* Teori bilangan analitis

 |
| Topologi | 
* Teori homotopi
* Aljabar
* Diferensial
* Geometris
* Umum

 |
| Terapan | 
* Matematika biologi
* Matematika ekonomi
* Matematika keuangan
* Fisika matematis
* Kimia matematika
* Psikologi matematis
* Statistika
* Statistika matematika
* Teori peluang
* Ilmu sistem (Teori kendali, Teori permainan, Riset operasi)

 |
| Divisi | 
* Matematika murni
* Matematika terapan
* Matematika diskret
* Matematika komputasi

 |
| Topik terkait | 
* Matematika dan seni
* Matematika rekreasi
* Pendidikan matematika
* Sejarah matematika

 |
| 
* Category **Kategori**
* Portal **Portal matematika**
* Kerangka
* Daftar

 |

|  |  |
| --- | --- |
| Pengawasan otoritas Sunting ini di Wikidata | 
* Microsoft Academic

 |