R,S,f,I herhangi (halka,halka,homomofizm,ideal) ise bu eşitliğin doğru olması mümkün değil.
Ama R nin bir I ideali verildiğinde, (istediğin bu ise) uygun (Kerf=I olacak şekilde) bir S halkası ve f:R→S) homomorfizması bulabilirsin.
(S ye "bölüm halkası", f ye "doğal örten homomorfizma" deniyor. S, bölüm grubuna benzer şekilde oluşturuluyor)