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

Отображение обладает следующими свойствами:

, .

Это дает нам основания говорить о гомоморфизме Z и Zm.

Определение.

Пусть и(К',, )– кольца. Отображение f:КК' называется гомоморфизмом, если оно сохраняет все операции, то есть если

,f(b).

При этом, конечно, f(0)=0'и f (na) = nf (a), nZ.

Ядром гомоморфизма f называется множество

.

Ясно, что Кer f - подкольцо в К. Как и в случае групп гомоморфизм f:К в К' называется мономорфизмом, если Кer f = 0. Эпиморфизмом, если образ совпадает сК', то есть

.

Изоморфизмом, если отображение f мономорфно и эпиморфно.

Факт изоморфизма колец кратко записывают в виде . Отображениеявляется эпиморфизмомZ в Z_m с ядром Кer f=mZ. Если рассматривать только кольца с 1, то в определение гомоморфизма f: К К', целесообразно ввести условие .