Teori Ring: KERNEL

Define
Misal R dan S masing-masing adalah ring. Teta: R->S suatu homomorfisma.
Ker teta adalah himp. Semua elemen di R (x €R) yg dipetakan ke elemen nol di S.
Ker teta:{x€R|teta(x)=0s}

teorema
1. Image teta subring dari S
2. Ker teta ideal dari R
3. Teta 1-1 jhj ker teta=0R
Bukti
1. Subring (subset, bukan himp kosong, tertutup operasi + dan x, punya elemen negatif)
2. Ideal(subring+Ideal)
3. Pemetaan