$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 ($\text{Ker}\, f=I$ olacak şekilde) bir $S$ halkası ve $f:R\to 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)