Subgrup Normal

Definisi subgrup normal N◃GN \triangleleft G, kriteria gNg−1≤NgNg^{-1} \le N, kesamaan koset kiri dan kanan, serta Pusat Grup Z(G)Z(G).

📅 Dibuat: 6 Agustus 2026
🔄 Diperbarui: 6 Agustus 2026

Tidak semua subgrup memiliki sifat yang memungkinkan himpunan koset-kosetnya membentuk grup baru. Kita memerlukan kondisi khusus di mana koset kiri selalu sama dengan koset kanan, yang dikenal sebagai subgrup normal.


1. Definisi dan Kriteria Subgrup Normal

Definisi (Subgrup Normal)

Suatu subgrup dari grup dikatakan subgrup normal (ditulis ) jika untuk setiap dan , berlaku .

Teorema (Kriteria Subgrup Normal)

Misalkan . Pernyataan-pernyataan berikut ekivalen:

  1. .
  2. untuk setiap .
  3. untuk setiap (Koset kiri sama dengan koset kanan).

2. Pusat Grup (Center of a Group)

Definisi (Pusat Grup Z(G))

Pusat dari grup , dilambangkan , adalah himpunan elemen yang komutatif terhadap semua elemen di :

Teorema (Z(G) Selalu Subgrup Normal)

Untuk setiap grup , .


Contoh Soal & Pembahasan

Contoh (Subgrup dalam Grup Abelian)

Buktikan bahwa setiap subgrup dari grup Abelian adalah subgrup normal.


Latihan Soal

✏️ Latihan Soal 1 (Irisan Dua Subgrup Normal)

Buktikan bahwa jika dan , maka .

💡 Tampilkan Pembahasan / Solusi
▾
Pembahasan:

Pembahasan:

  • (irisan subgrup adalah subgrup).
  • Ambil dan .
  • Karena (karena ).
  • Karena (karena ).
  • Maka . Terbukti .

Diskusi & Tanya Jawab

Punya pertanyaan atau diskusi terkait materi ini? Tuliskan komentar Anda di bawah.

Powered by GitHub Discussions
Tips Penulisan Notasi Matematika & Format Komentar

Komentar ini mendukung penulisan notasi matematika LaTeX dan format Markdown. Seluruh pesan dimuat secara terisolasi di dalam iframe aman sehingga tidak akan merusak layout halaman website:

  • Inline Math: Gunakan $...$ (contoh: $a \in G$).
  • Display Math: Berikan baris baru (enter) di sebelum & sesudah $$ atau gunakan blok kode ```math (contoh: $$\n\frac{a+b}{2} \ge \sqrt{ab}\n$$).