Пусть
и
– кольца (с единицами), причём
и
. В обозначениях колец символы
и
обозначают бинарные операции, символы
и
– унарные операции, а символы
и
– нейтральные элементы соответствующих колец.
Пусть отображение
является кольцевым морфизмом кольца
в кольцо
.
Тогда ядром этого морфизма может быть множество …