Гомоморфізм кілець

• ${\displaystyle h(0_{R})=0_{S}}$ тобто нульовий елемент з кільця ${\displaystyle R}$ відображається на нульовий елемент в ${\displaystyle S}$
• Для всіх елементів ${\displaystyle a\in R}$ виконується ${\displaystyle -h(a)=h(-a)}$. Ця рівність випливає з того, що: ${\displaystyle h(a)\oplus h(-a)=h(a+(-a))=h(0_{R})=0_{S}.}$
• Якщо існує гомоморфізм ${\displaystyle h\colon R\to S}$ то характеристика кільця S ділить характеристику кільця R.
• Якщо R і S є комутативними кільцями і P є простим ідеалом кільця S, то ${\displaystyle h^{-1}(P)}$ є простим ідеалом кільця R. Образ простого ідеалу при гомоморфізмі в загальному випадку не є навіть ідеалом.
• Композиція двох гомоморфізмів кілець є гомоморфізмом кілець. Одиничне відображення є гомоморфізмом кілець. Тому всі кільця разом з гомоморфізмами кілець утворюють категорію — категорію кілець. Комутативні кільця разом із їх гомоморфізмами утворюють підкатегорію категорії кілець.

• Комплексне спряження ${\displaystyle \mathbb {C} \to \mathbb {C} ;z\mapsto {\bar {z}}}$ є прикладом автоморфізму кільця.
• Відображення ${\displaystyle \varphi \colon \,\mathbb {Z} \to \mathbb {Z} /{\mathit {n\mathbb {Z} }}}$ визначене як ${\displaystyle {\mathit {z}}\mapsto {\mathit {z}}\operatorname {mod} {\mathit {n}}}$ є епіморфізмом кілець.
• Для деякого елемента ${\displaystyle a\in R^{*}}$ можна визначити автоморфізм ${\displaystyle f_{a}\colon R\to R;r\mapsto a\cdot r\cdot a^{-1}}$.
• Для кільця функцій визначених в якійсь множині із значеннями в множині дійсних чисел, вибравши довільну точку із області визначення можна отримати відображення, що кожній функції ставить у відповідність її значення у вибраній точці. Дане відображення буде гомоморфізмом з кільця функцій в поле дійсних чисел.

Для довільного кільця ${\displaystyle R}$ і його ідеала ${\displaystyle I\subseteq R}$ відображення ${\displaystyle h\colon R\to R/I}$ визначене як ${\displaystyle h(a)=[a]}$ є епіморфізмом. Таке відображення ${\displaystyle h}$ називається канонічним гомоморфізмом кільця ${\displaystyle R}$ на фактор-кільце ${\displaystyle R/I}$.

Якщо ${\displaystyle h\colon R\to S}$ є епіморфізмом кілець ${\displaystyle R,S}$, то ${\displaystyle S}$ є ізоморфним фактор-кільцю ${\displaystyle R/\ker h}$ (ізоморфізмом є відображення ${\displaystyle g\colon R/\ker h\to S}$ визначене як ${\displaystyle g\left([a]\right)=h(a)}$) і ${\displaystyle h=g\circ f}$, де ${\displaystyle f\colon R\to R/\ker h}$ є канонічним гомоморфізмом.

• Гомоморфізм
• Кільце (алгебра)

• Завало С. Т. (1985). Курс алгебри. Київ: Вища школа. с. 503. (укр.)
• Бондаренко Є.В. (2012). Теорiя кiлець: навчальний посiбник.. Київ: РВЦ “Київський університет„. с. 64. (укр.)
• Ван дер Варден Б. Л. Алгебра. — Москва : Наука, 1975. — 623 с. — ISBN 5-8114-0552-9.(рос.)