Подкольца. Идеалы кольца, фактор-кольца. Кольца главных идеалов

Date: 2015-10-07; view: 575.

Подмножество М кольца R называется подкольцом, если оно является кольцом при тех же операциях сложения и умножения, которые определены в кольце R.

Подмножество кольца называется идеалом, если является одновременно левым идеалом кольца и правым идеалом кольца .

Определение 1. Подмножество кольца называется левым идеалом, если является подгруппой и является подмодулем , рассматриваемого как левый модуль над собой, то есть выполнено условие:

для и .

Определение 1. Подмножество кольца называется правым идеалом, если является подгруппой и является подмодулем , рассматриваемого как правый модуль над собой, то есть выполнено условие:

для и .

Фактор – пространство являющийся нормированным кольцом с естественно определенными операциями и нормой смежности Х:

.

Это фактор-пространство называется фактор-кольцом кольца R по идеалу l.

Кольцо главных идеалов — кольцо, каждый идеал которого является главным. В случае некоммутативного кольца различают кольцо главных правых идеалов и кольцо главных левых идеалов.

Примеры

Все евклидовы кольца, в том числе, кольцо целых чисел , являются кольцами главных идеалов.

1. Пример кольца, не являющегося кольцом главных идеалов — кольцо многочленов . В нём идеал, порождённый не является главным, то есть, не может быть порождён одним элементом кольца.

Свойства

1. Кольцо главных идеалов является нётеровым.

2. Все кольца главных идеалов являются кольцами Безу.

Для кольца R идеалом называется подкольцо, замкнутое относительно умножения на элементы из R. При этом идеал называется левым (соответственно правым), если он замкнут относительно умножения слева (соответственно справа) на элементы из R. Идеал, являющийся одновременно левым и правым, называется двусторонним. Двусторонний идеал часто называется просто идеалом. В коммутативном случае все эти три понятия совпадают, и всегда применяется термин идеал.

Более точно: Идеалом кольца R называется такое подкольцо I кольца R, что

1. произведение (условие на правые идеалы);

2. произведение (условие на левые идеалы).

Аналогично для полугруппы её идеалом называется подполугруппа, для которой верно какое-нибудь из этих условий (или оба для двустороннего идеала), то же самое и для алгебры.