Пусть
![](https://st.testna5.ru/images/3f7/3f77c8ddefa29a874515dc8730c9cb52.png)
и
![](https://st.testna5.ru/images/d35/d354de7a0a1eb72fdfe755c25f494dfb.png)
– кольца (с единицами), причём
![](https://st.testna5.ru/images/99b/99b08fddc2578ba1c9750df4c0c28af4.png)
и
![](https://st.testna5.ru/images/5df/5df3528afb545336e0a7103d436166d3.png)
. В обозначениях колец символы
![](https://st.testna5.ru/images/306/306e59ee69fcc4f88fd2e2279cc3371a.png)
и
![](https://st.testna5.ru/images/133/133c65a76cb51343b2cc833a37919166.png)
обозначают бинарные операции, символы
![](https://st.testna5.ru/images/263/2630dba78bf82d2ea835d7f0a0f71ac2.png)
и
![](https://st.testna5.ru/images/b10/b10238ff0f3a75ec2b51b17ee1661032.png)
– унарные операции, а символы
![](https://st.testna5.ru/images/e4e/e4e7c5f31066d0ed31e7b50e9a81bfa6.png)
и
![](https://st.testna5.ru/images/44c/44c62146e1b8bad9da932eeb2d73c7da.png)
– нейтральные элементы соответствующих колец.
Пусть отображение
![](https://st.testna5.ru/images/70f/70fdb4ea5f957fad3733a20c8ae667f7.png)
является кольцевым морфизмом кольца
![](https://st.testna5.ru/images/647/64720df28ec48460fb17ce1c8135ec26.png)
в кольцо
![](https://st.testna5.ru/images/267/26733567b4fd7f0e39fa7d7ffbdff706.png)
.
Тогда ядром этого морфизма может быть множество …