Пусть
![](https://st.testna5.ru/images/f5b/f5b3aa631b32b94a6c6a518605ceafa4.png)
и
![](https://st.testna5.ru/images/608/6082515979ed8b91d0e85a48ec4c3924.png)
– кольца (с единицами), причём
![](https://st.testna5.ru/images/dbb/dbbc128d560bdb134d566550ae09d502.png)
и
![](https://st.testna5.ru/images/ea5/ea5dd7b4f97f600bb2c1504bb07473bc.png)
. В обозначениях колец символы
![](https://st.testna5.ru/images/35b/35bda9e962d103b459e6fe19248593ca.png)
и
![](https://st.testna5.ru/images/551/5518392389457cbdfe5c5441ec45f868.png)
обозначают бинарные операции, символы
![](https://st.testna5.ru/images/7e3/7e3dec3bc99cfc6c6ec728c4ac9a8904.png)
и
![](https://st.testna5.ru/images/338/33814df180c961c177e965f67401570f.png)
– унарные операции, а символы
![](https://st.testna5.ru/images/3fb/3fbae0a316be3890f26dc178d9ceddc2.png)
и
![](https://st.testna5.ru/images/b39/b392618aadc808a3d92a266ae1915c8f.png)
– нейтральные элементы соответствующих колец.
Пусть отображение
![](https://st.testna5.ru/images/878/87875ee54fb6d79c85fc258a98ab7ace.png)
является кольцевым морфизмом кольца
![](https://st.testna5.ru/images/eff/effac2cb6285bb1978598b1755764b49.png)
в кольцо
![](https://st.testna5.ru/images/006/006fbd95dbe6ca0248e14aff30d6eeed.png)
.
Тогда ядром этого морфизма может быть множество …