Подкольцо

---

Подкольцо кольца ${\displaystyle K}$ — это пара ${\displaystyle (R,i)}$, где ${\displaystyle R}$ — кольцо, а ${\displaystyle i:R\hookrightarrow K}$ — мономорфизм (вложение) колец. Такое определение согласуется с общим понятием подобъекта в теории категорий.

В классическом определении подкольцо кольца ${\displaystyle (K,+,*)}$ рассматривается как подмножество ${\displaystyle R\subset K}$, замкнутое относительно операций ${\displaystyle +}$ и ${\displaystyle *}$ из основного кольца. Это определение равносильно данному выше, однако в современном определении подчёркивается внутренняя структура подколец и связь между различными кольцами. Оно также легко обобщается на случай произвольных математических объектов (алгебраических, геометрических и т. п.). Разница между определениями аналогична разнице между теоретико-множественным и теоретико-категорным взглядом на математику.

В частности, различные определения кольца дают два основных содержательных понятия подкольца. В категории (всех) колец ${\displaystyle {\mathcal {R}}ing}$ подкольцо, как в классическом определении, можно рассматривать как произвольное подмножество кольца, замкнутое по сложению и умножению. Более интересная ситуация в категории колец с единицей ${\displaystyle {\mathcal {R}}ing_{1}}$: морфизмы (гомоморфизмы) ${\displaystyle f:R\to K}$ в этой категории должны отображать единицу кольца ${\displaystyle R}$ в единицу кольца ${\displaystyle K}$ (аналогично гомоморфизму полугрупп с единицей), поэтому подкольцо ${\displaystyle R}$ кольца ${\displaystyle K}$ также обязано содержать единицу: ${\displaystyle 1_{K}\in R}$.

---