f: Z → R
n →f(n)=n.1 fonksiyonu bir homomorfizmadır.
Çekf={m∈Z : f(m)=0}
={m∈Z : m.1=0}⊂Z
Z esas ideal bölgesi ise Zden aldığım en az bir eleman tarafından üretilen ideal esas idealdir ve Çekf=(k)
CharR=n ise Çekf=(n) olur.
CharR=0 ise m.1=0 sağlayan pozitif bir m tamsayısı yok. Bu durumda Çekf=(0) olur.
Z/Çekf , Çekf=(0) , Z/(0) a izomorf olan ve R tarafından kapsanan bir f(Z) alt halkasını ,
benzer şekilde Z/Çekf , Çekf=(n), Z/(n)=Zn ye izomorf olan ve R tarafından kapsanan bir alt halkasını nasıl gösterebilirim?