Tentukan apakah pemetaan-pemetaan berikut merupakan homomorfisma gelanggang. Jika ya, tentukan kernelnya. Untuk setiap pemetaan, verifikasi dua kondisi: (1) \(\phi(a+b)=\phi(a)+\phi(b)\) dan (2) \(\phi(ab)=\phi(a)\phi(b)\).
Untuk homomorfisma \(\phi:\mathbb{Z}\to\mathbb{Z}_8\) dengan \(\phi(n)=[n\bmod 8]\), tentukan \(K=\ker\phi\). Kemudian verifikasi secara langsung bahwa \(K\) adalah ideal dari \(\mathbb{Z}\) dengan memeriksa:
Pertimbangkan pemetaan \(\phi:\mathbb{Z}_6\to\mathbb{Z}_2\times\mathbb{Z}_3\) dengan