BUKTI ISOMORFISMA

Misal fungsi  : G  G dengan G dan G adalah ring dengan opersi + dan *. Untuk
membuktikan bahwa  homorfisma sebagai berikut.

1. (a + b) = (a) + (b)

2. (a * b) = (a) * (b)

a,b  G

Untuk membuktikan bahwa  suatu isomorfisma sebagai berikut.

1.  satu-satu, yaitu untuk setiap a,b  G dengan (a) = (b) berakibat a = b

2.  onto, yaitu untuk setiap b  G, terdapat a  G, sehingga b = (a)
3.  suatu homomorfisma