Teorema Isomorfisma Pertama untuk Grup

Teorema Isomorfisma Pertama G/Ker(φ)≅Img(φ)G/\text{Ker}(\varphi) \cong \text{Img}(\varphi) dan aplikasinya pada penguraian grup kuosien.

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

Teorema Isomorfisma Pertama memberikan alat utama untuk mengidentifikasi struktur grup kuosien melalui pencitraan homomorfisme.


1. Teorema Isomorfisma Pertama

Teorema (Teorema Isomorfisma Pertama untuk Grup)

Misalkan adalah homomorfisma grup. Maka:

Secara khusus, jika surjektif, maka .

Bukti

Definisikan pemetaan dengan .

  1. Well-defined & Injektif: .
  2. Homomorfisma: .
  3. Surjektif: Jelas dari konstruksi . Maka adalah isomorfisma.
■

Contoh Soal & Pembahasan

Contoh (Isomorfisma Z / nZ \u2245 Zn)

Gunakan Teorema Isomorfisma Pertama untuk membuktikan .


Latihan Soal

✏️ Latihan Soal 1 (Grup Lingkaran S1 \u2245 R/Z)

Buktikan bahwa isomorfis dengan grup lingkaran terhadap perkalian.

💡 Tampilkan Pembahasan / Solusi
▾
Pembahasan:

Pembahasan: Definisikan homomorfisma dengan .

  • Homomorfisma: .
  • Surjektif: Setiap dapat ditulis .
  • Kernel: . Berdasarkan Teorema Isomorfisma Pertama: .

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$$).