f:Q[x]→Q(√3i) fonksiyonunu soyle tanimla: p(x)↦p(√3i). Bunun bir halka homomorfizmasi olduguna ikna ol. Daha sonra bu homomorfizmanin cekirdeginin ne oldugunu bul.
Bunun disinda bu insayi anlamak gercekten onemli. x2+3 ile gerilen ideale bolmek demek, bolum halkasinda x2+3'u sifir olarak gormek demek. Yani, bolum halkasinda x2'nin −3 olmasi demek. Elinde rasyonel sayilar, ve karesi −3 olan bir eleman ve bunlarin lineer kombinasyonlari var yani.