Teorema Fundamental Homomorfisma Grup
Pengertian Umum
Teorema Fundamental Homomorfisma Grup (sering disebut Isomorphisme First atau First Isomorphism Theorem) adalah hasil penting dalam teori grup yang menggambarkan hubungan antara sebuah homomorfisma grup, kernelnya, dan imagenya. Intinya, teorema ini mengatakan bahwa faktor grup dari domain grup dengan kernel homomorfisma tersebut adalah isomorfik dengan image homomorfisma.
Definisi Formal
Misalkan \\( \varphi : G \rightarrow H \\) adalah homomorfisma grup. Maka:
- Kernel \\( \ker\varphi = \{g\in G \mid \varphi(g)=e_H\} \\) adalah subgrup normal dari \\(G\\).
- Image \\( \operatorname{Im}\varphi = \varphi(G) = \{ \varphi(g) \mid g\in G\}\\) adalah subgrup dari \\(H\\).
- Faktor grup \\(G/\ker\varphi\\) didefinisikan dengan kelas koset \\([g] = g\ker\varphi\\).
Teorema menyatakan:
Ada isomorfisme grup yang bersifat kanonik $$\overline{\varphi} : G/\ker\varphi \;\longrightarrow\; \operatorname{Im}\varphi,$$ yang diberikan oleh \\(\overline{\varphi}([g]) = \varphi(g)\\).
Dengan kata lain, grup kuotien \\(G/\ker\varphi\\) menyatu secara tepat dengan image dari \\(\varphi\\).
Bukti Singkat
Langkahlangkah utama dalam pembuktian:
- Welldefinedness: Jika \\([g]=[g']\\) maka \\(g^{-1}g' \in \ker\varphi\\) sehingga \\(\varphi(g)=\varphi(g')\\). Jadi peta \\(\overline{\varphi}\\) tidak tergantung pada perwakilan koset.
- Homomorfisma: Untuk koset \\([g]\\) dan \\([h]\\), \\(\overline{\varphi}([g][h]) = \overline{\varphi}([gh]) = \varphi(gh) =\varphi(g)\varphi(h)=\overline{\varphi}([g])\overline{\varphi}([h]).\\)
- Injektif: Jika \\(\overline{\varphi}([g])=e_H\\) maka \\(\varphi(g)=e_H\\) sehingga \\(g\in\ker\varphi\\) dan \\([g]=[\!e\!]\\). Jadi kernel \\(\overline{\varphi}\\) trivial.
- Surjektif: Setiap elemen \\(h\in\operatorname{Im}\varphi\\) memiliki preimage \\(g\in G\\) sehingga \\(\overline{\varphi}([g])=h\\).
Dari keempat poin di atas, \\(\overline{\varphi}\\) adalah isomorfisme grup.
Contoh-contoh
Contoh 1: Homomorfisma pada grup bilangan bulat
Definisikan \\(\varphi : \mathbb{Z}\rightarrow\mathbb{Z}_6\\) dengan \\(\varphi(n)=\overline{n}\pmod 6\\). Kernelnya adalah \\(6\mathbb{Z}\\). Maka $$\mathbb{Z}/6\mathbb{Z}\;\cong\; \operatorname{Im}\varphi = \mathbb{Z}_6.$$ Ini adalah contoh langsung teorema.
Contoh 2: Grup permutasi
Ambil \\(G=S_3\\) dan homomorfisma tanda \\(\varepsilon : S_3\to\{1,-1\}\\). Kernelnya adalah grup alternasi \\(A_3\\) (yang berordo 3). Oleh teorema, $$S_3/A_3\;\cong\;\{1,-1\}.$$ Jadi kuotien \"menyederhanakan\" struktur grup nonabelian menjadi grup siklik orde 2.
Contoh 3: Grup matriks
Misalkan \\(G=GL_n(\mathbb{R})\\) dan \\(H=\mathbb{R}^\times\\). Homomorfisma determinan \\(\det : GL_n(\mathbb{R})\to\mathbb{R}^\times\\) memiliki kernel \\(SL_n(\mathbb{R})\\). Maka $$GL_n(\mathbb{R})/SL_n(\mathbb{R})\;\cong\;\mathbb{R}^\times.$$ Ini memperlihatkan bagaimana sifat volume (determinan) memisahkan bagian skalar dari grup linier.
Aplikasi dalam Matematika Lain
Teorema fundamental homomorfisma tidak terbatas pada grup saja. Versi analognya muncul dalam aljabar abstrak, teori cincin, modul, serta topologi aljabar (misalnya pada grup fundamental). Beberapa penggunaan penting:
- Struktur Cincin: Pada homomorfisma cincin \\(\phi:R\to S\\), kuotien \\(R/\ker\phi\\) isomorfik dengan \\(\operatorname{Im}\phi\\), memberi cara membangun faktorcincin.
- Teori Modul: Membantu dalam mempelajari submodul dan faktormodul.
- Homologi: Dalam homologi grup, quotient by image sering muncul sebagai bagian dari panjangpanjang eksak.
- Klasifikasi Grup: Menentukan grup sederhana melalui quotients dan kernel homomorfisma nontrivial.
Ringkasan
Teorema Fundamental Homomorfisma Grup memberikan jembatan antara tiga konsep utama: kernel, image, dan faktor grup. Dengan memanfaatkan teorema ini, banyak struktur grup yang tampak kompleks dapat direduksi menjadi bentuk yang lebih sederhana dan mudah dipahami. Pemahaman yang baik tentang teorema ini membuka pintu ke banyak bidang lanjutan dalam aljabar dan matematika terapan.
