Teorema Fundamental Homomorphisma Grup dan Link Download File Referensi
https://eu2.contabostorage.com/00f3241116844f24b628f46d81abb929:st1/folder8/8144/1656362341_teorema_fundamental_homomorphisma___Matematika.pdf
2026-05-30 21:18:04 - Admin
<style> body { font-family: Arial, Helvetica, sans-serif; line-height: 1.6; margin: 0; padding: 0 20px; background-color: #f9f9f9; color: #333; } h1, h2, h3 { color: #2c3e50; } nav { background-color: #e2e8f0; padding: 10px; margin-bottom: 20px; } nav a { margin-right: 15px; text-decoration: none; color: #2c3e50; } nav a:hover { text-decoration: underline; } .content { max-width: 800px; margin: auto; background-color: #fff; padding: 25px; box-shadow: 0 0 10px rgba(0,0,0,0.1); } .example { background-color: #eef9ff; border-left: 4px solid #3498db; padding: 10px; margin: 15px 0; } pre { background-color: #f4f4f4; padding: 10px; overflow-x: auto; } table { width: 100%; border-collapse: collapse; margin: 15px 0; } th, td { border: 1px solid #ccc; padding: 8px; text-align: left; } th { background-color: #e2e8f0; } </style><nav> <a href="#pengertian">Pengertian</a> <a href="#definisi">Definisi Formal</a> <a href="#bukti">Bukti Singkat</a> <a href="#contoh">Contoh</a> <a href="#aplikasi">Aplikasi</a></nav><div class="content"> <h1>Teorema Fundamental Homomorfisma Grup</h1> <section id="pengertian"> <h2>Pengertian Umum</h2> <p> Teorema Fundamental Homomorfisma Grup (sering disebut <em>Isomorphisme First</em> atau <em>First Isomorphism Theorem</em>) 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. </p> </section> <section id="definisi"> <h2>Definisi Formal</h2> <p>Misalkan \\( \varphi : G \rightarrow H \\) adalah homomorfisma grup. Maka:</p> <ul> <li><strong>Kernel</strong> \\( \ker\varphi = \{g\in G \mid \varphi(g)=e_H\} \\) adalah subgrup normal dari \\(G\\).</li> <li><strong>Image</strong> \\( \operatorname{Im}\varphi = \varphi(G) = \{ \varphi(g) \mid g\in G\}\\) adalah subgrup dari \\(H\\).</li> <li>Faktor grup \\(G/\ker\varphi\\) didefinisikan dengan kelas koset \\([g] = g\ker\varphi\\).</li> </ul> <p>Teorema menyatakan:</p> <blockquote> <p> Ada isomorfisme grup yang bersifat kanonik $$\overline{\varphi} : G/\ker\varphi \;\longrightarrow\; \operatorname{Im}\varphi,$$ yang diberikan oleh \\(\overline{\varphi}([g]) = \varphi(g)\\). </p> </blockquote> <p>Dengan kata lain, grup kuotien \\(G/\ker\varphi\\) menyatu secara tepat dengan image dari \\(\varphi\\).</p> </section> <section id="bukti"> <h2>Bukti Singkat</h2> <p>Langkahlangkah utama dalam pembuktian:</p> <ol> <li><strong>Welldefinedness</strong>: Jika \\([g]=[g']\\) maka \\(g^{-1}g' \in \ker\varphi\\) sehingga \\(\varphi(g)=\varphi(g')\\). Jadi peta \\(\overline{\varphi}\\) tidak tergantung pada perwakilan koset.</li> <li><strong>Homomorfisma</strong>: Untuk koset \\([g]\\) dan \\([h]\\), \\(\overline{\varphi}([g][h]) = \overline{\varphi}([gh]) = \varphi(gh) =\varphi(g)\varphi(h)=\overline{\varphi}([g])\overline{\varphi}([h]).\\)</li> <li><strong>Injektif</strong>: Jika \\(\overline{\varphi}([g])=e_H\\) maka \\(\varphi(g)=e_H\\) sehingga \\(g\in\ker\varphi\\) dan \\([g]=[\!e\!]\\). Jadi kernel \\(\overline{\varphi}\\) trivial.</li> <li><strong>Surjektif</strong>: Setiap elemen \\(h\in\operatorname{Im}\varphi\\) memiliki preimage \\(g\in G\\) sehingga \\(\overline{\varphi}([g])=h\\).</li> </ol> <p>Dari keempat poin di atas, \\(\overline{\varphi}\\) adalah isomorfisme grup.</p> </section> <section id="contoh"> <h2>Contoh-contoh</h2> <div class="example"> <h3>Contoh 1: Homomorfisma pada grup bilangan bulat</h3> <p> 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. </p> </div> <div class="example"> <h3>Contoh 2: Grup permutasi</h3> <p> 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. </p> </div> <div class="example"> <h3>Contoh 3: Grup matriks</h3> <p> 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. </p> </div> </section> <section id="aplikasi"> <h2>Aplikasi dalam Matematika Lain</h2> <p> 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: </p> <ul> <li><strong>Struktur Cincin</strong>: Pada homomorfisma cincin \\(\phi:R\to S\\), kuotien \\(R/\ker\phi\\) isomorfik dengan \\(\operatorname{Im}\phi\\), memberi cara membangun faktorcincin.</li> <li><strong>Teori Modul</strong>: Membantu dalam mempelajari submodul dan faktormodul.</li> <li><strong>Homologi</strong>: Dalam homologi grup, quotient by image sering muncul sebagai bagian dari panjangpanjang eksak.</li> <li><strong>Klasifikasi Grup</strong>: Menentukan grup sederhana melalui quotients dan kernel homomorfisma nontrivial.</li> </ul> </section> <section> <h2>Ringkasan</h2> <p> 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. </p> </section></div>