Гомоморфизмы колец

f:<K,+,·> <L, , >

Называется гомоморфизмом, если для любых a,b€K:f(a+b)=f(a) f(b)

Взаимнооднозначный гомоморфизм-изоморцизм.
Область значений Imf={f(a)|a€K}

Kerf={a€K|f(a)=f(_°)}

Область значения и ядро гомоморфизма-являются подкольцами.

Теорема: Область значений f является подмножеством L

Imf € L; Kerf € K