Әгәр f : R → S {displaystyle f:Rto S} — ҡулсалар гомоморфизмы булһа, R {displaystyle R} -ҙың нолгә күскән элементтары күмәклеге f {displaystyle f} -тың үҙәге тип атала ( k e r f {displaystyle mathrm {ker} f} тип тамғалана). Теләһә ниндәй гомоморфизмдың үҙәге ике яҡлы идеал була[21]. Икенсе яҡтан, f {displaystyle f} -тың образы һәр ваҡытта ла идеал булмай, ләкин S {displaystyle S} -тың аҫҡулсаһы була [15] ( i m f {displaystyle mathrm {im} f} тип тамғалана).