Jabarkan ; dari Gelanggang hasil bagi

(Di sini kita harus memeriksa bahwa definisi ini adalah terdefinisi dengan baik. Bandingkan koset dan kelompok hasil bagi.) Elemen nol dari  adalah , dan identitas multiplikatifnya .

Peta  dari  ke  didefinisikan oleh  adalah surjektif gelanggang homomorfisme, kadang-kadang disebut peta kecerdasan alami atau homomorfisme kanonik.