Biraz daha detay vereyim:
R bir halka olsun, I onun bir ideali.
π:R→R∖I bir halka homomorfizması. Biliyoruz ki π'nin çekirdeği I. Peki bu π'ye özel ne gibi özellikler vardır?
Grup homomorfizması da alsan olur. Ideal yerine normal altgrup alabilirsin.
π'nin tersinin I'yı içeren bir ideal olduğunu verir mi mesela? @Kirmizi hocam?
Kast ettiğin şey doğru ama yine de π ile ilgili sadece ona özel bir şey değil bu. Mesela R halkasının I idealini içeren bir S althalkası için aynı şekilde S'yi I ile bölersem dediğini sağlayan başka bir homomorfizma bulurum ve bu homomorfizma da π gibi bahsettiğin özelliği sağlar.