Subgrup

Di teori grup, cabang matematika, diberi grup G di bawah operasi biner ∗, himpunan bagian H dari G disebut subgrup dari G jika H juga membentuk grup di bawah operasi ∗. Lebih tepatnya, H adalah subgrup dari G jika restriksi dari ∗ ke Templat:Nowrap adalah operasi grup di H. Ini biasanya dilambangkan Templat:Nowrap, dibaca sebagai "H adalah subgrup dari G".

Coset dan teorema Lagrange

Templat:Main Diberikan subgrup H dan beberapa a di G, kita mendefinisikan kiri coset aH = {ah : h in H}. Karena a bisa dibalik, peta φ : H → aH diberikan pada φ(h) = ah adalah bijeksi. Lebih jauh, setiap elemen G terkandung tepat di satu koset kiri H ; koset kiri adalah kelas kesetaraan yang sesuai dengan relasi ekivalen a₁ ~ a₂ jika dan hanya jika a₁⁻¹a₂ ada di H. Jumlah koset kiri H disebut indeks dari H dalam G dan dilambangkan dengan [G : H].

Teorema Lagrange menyatakan bahwa untuk grup berhingga G dan subgrup H,

$[G:H]=\frac{|G|}{|H|}$

dimana |G| dan |H| menunjukkan urutan dari G dan H, masing-masing. Secara khusus, urutan setiap subkelompok G (dan urutan setiap elemen G) harus berupa pembagi dari |G|.

Contoh: Subgrup Z₈

Maka G jadikan grup siklik ke Z₈ maka hasil elemen

$G=\{0,2,4,6,1,3,5,7\}$

dan yang operasi grupnya adalah penambahan modulo delapan. Tabel Cayley adalah

+	0	2	4	6	1	3	5	7
0	0	2	4	6	1	3	5	7
2	2	4	6	0	3	5	7	1
4	4	6	0	2	5	7	1	3
6	6	0	2	4	7	1	3	5
1	1	3	5	7	2	4	6	0
3	3	5	7	1	4	6	0	2
5	5	7	1	3	6	0	2	4
7	7	1	3	5	0	2	4	6

Grup ini memiliki dua subgrup nontrivial: J={0,4} and H={0,2,4,6}, dimana J juga merupakan subgrup dari H. Tabel Cayley untuk H adalah kuadran kiri atas tabel Cayley untuk G . Grup G adalah siklik, dan juga subgrupnya.

Contoh: Subgrup S₄ (grup simetris pada 4 elemen)

Setiap grup memiliki subgrup kecil sebanyak elemen netral pada diagonal utama:

The trivial group and two-element groups Z₂. These small subgroups are not counted in the following list.

The symmetric group S4 showing all permutations of 4 elements

12 elements

The alternating group A₄ showing only the even permutations

Subgroups:

8 elements

Dihedral group of order 8 Subgroups:

Dihedral group of order 8 Subgroups:

Dihedral group of order 8 Subgroups:

6 elements

Symmetric group S3 Subgroup:

Symmetric group S3 Subgroup:

Symmetric group S3 Subgroup:

Symmetric group S3 Subgroup:

4 elements

Klein four-group

Klein four-group

Klein four-group

Klein four-group

Cyclic group Z4

Cyclic group Z4

Cyclic group Z4

3 elements

Cyclic group Z3

Cyclic group Z3

Cyclic group Z3

Cyclic group Z3

Lihat pula

• Subgrup Cartan
• Subgrup pas
• Subgrup stabil
• Subgrup titik tetap
• Tes subgrup

Referensi

• Templat:Citation.
• Templat:Citation.
• Templat:Citation.
• Templat:Cite book