Teorema Isomorfisma Ring
1. Eksistensi Homomorfisma ke Ring Faktor Untuk setiap ring faktor R/S dari R, terdapat epimorfisma ring dari R ke R/S. Bukti: Misal S sebarang ideal dari R, kita dapat mendefinisikan fungsi f dari R ke R/S sebagai berikut: f(a) = a + S, perhatikan: • f mempertahankan penjumlahan dan perkalian Ambil sebarang a, b ∈ R. f(a + b) = (a + b) + S = (a + S) + (b + S) = f(a) + f(b) f(ab) = ab + S = (a + S)(b + S) = f(a)f(b) • f bersifat surjektif Ambil sebarang a + S ∈ R/S, dapat dipilih a ∈ R sehingga f(a) = a + S. Jadi, f merupakan homomorfisma ring yang bersifat surjektif (epimorfisma). 2. Teorema Isomorfisma Ring 1 Misal f homomorfisma ring dari R ke S, berlaku R/ker(f) ≅ f(R). Bukti: Misal f homomorfisma ring dari R ke S, ingat bahwa ker(f) merupakan ideal dari R dan f(R) subring dari S. Untuk memudahkan penulisan, kita misalkan ker(f) = I dan f(R) = R'. Misal didefinisikan fungsi ϕ : R/I → R' dengan ϕ(a + I) = f(a). • ϕ mempertahankan penjumlahan dan perkalian Ambil sebaran...