Gelanggang \(R/I\) dalam Teorema 16.3.10 disebut gelanggang hasil bagi atau gelanggang hasil bagi. Sebagaimana pada homomorfisma grup dan subgrup normal, terdapat hubungan antara homomorfisma gelanggang dan ideal.