Подкольцо

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

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

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

Категория ${ℛ}ing$ устроена гораздо лучше, чем ${ℛ}in{g}_1$. Например, ядро любого гомоморфизма также является объектом этой категории. Из-за этого говоря о подкольце обычно подразумевают подкольцо в ${ℛ}ing$, если не оговорено обратное.

Примеры

1. Любой идеал (левый, правый, двусторонний) замкнут относительно сложения и умножения, поэтому является подкольцом в ${ℛ}ing$.
2. В ${ℛ}in{g}_1$ идеал является подкольцом только тогда, когда содержит $1$, поэтому он обязан совпадать со всем кольцом. Поэтому в ${ℛ}in{g}_1$ собственные идеалы не являются подкольцами.
3. В ${ℛ}ing$ подкольцами в $\mathbb{\mathbb{Z}}$ являются всевозможные главные идеалы $(n)=n\mathbb{\mathbb{Z}}$. В ${ℛ}in{g}_1$ $\mathbb{\mathbb{Z}}$ не имеет собственных подколец.
4. Кольцо целых чисел $\mathbb{\mathbb{Z}}$ является подкольцом поля вещественных чисел $\mathbb{ℝ}$ и подкольцом кольца многочленов $\mathbb{\mathbb{Z}}[X]$.

Литература

• Винберг Э. Б. Курс алгебры. — 3-е изд. — М.: Факториал Пресс, 2002. — 544 с. — 3000 экз. — ISBN 5-88688-060-7.
• М. Атья, И. Макдональд. Введение в коммутативную алгебру. — М.: Мир, 1972. — 160 с.

См. также

• Подгруппа