Идеал (теория колец)

редактировать

В теории колец, ветви абстрактной алгебры, ideal - это специальное подмножество кольца кольца. Идеалы обобщают определенные подмножества целых чисел, например, четные числа или числа, кратные 3. Сложение и вычитание четных чисел сохраняет четность, а умножение четного числа на любые другие целочисленные результаты в другом четном числе; эти закрывающие, и абсорбционные свойства являются определяющими свойствами идеала. Идеал может использоваться для построения факторкольца аналогично тому, как в теории групп нормальная подгруппа может использоваться для построения факторгруппа.

Среди целых чисел идеалы однозначно соответствуют неотрицательным целым : в этом кольце каждый идеал является главным идеалом, состоящим из кратных одного неотрицательного числа. Однако в других кольцах идеалы могут отличаться от элементов кольца, и некоторые свойства целых чисел при обобщении на кольца более естественно связаны с идеалами, чем с элементами кольца. Например, простые идеалы кольца аналогичны простым числам, а китайская теорема об остатке может быть обобщена на идеалы. Существует версия уникальной факторизации простых чисел для идеалов области Дедекинда (тип кольца, важный в теории чисел ).

Родственная, но отличная от нее концепция идеала в теории порядка происходит от понятия идеала в теории колец. Дробный идеал является обобщением идеала, и обычные идеалы иногда для ясности называют интегральными идеалами .

Содержание

1 История
2 Определения и мотивация
3 Примеры и свойства
4 Типы идеалов
5 Идеальные операции
6 Примеры идеальных операций
7 Радикальные операции кольцо
8 Расширение и сжатие идеала
9 Обобщения
10 См. также
11 Примечания
12 Ссылки
13 Внешние ссылки

История

Идеалы были впервые предложены Ричардом Дедекиндом в 1876 году в третьем издании его книги Vorlesungen über Zahlentheorie (английский язык: лекции по теории чисел). Они были обобщением концепции идеальных чисел, разработанной Эрнстом Куммером. Позже концепция была расширена Дэвидом Гилбертом и особенно Эмми Нётер.

Определения и мотивация

Для произвольного кольца $(R, +, ⋅) {\ displaystyle (R, +, \ cdot)}$ $(R,+,\cdot)$ , пусть $(R, +) {\ displaystyle (R, +)}$ $(R,+)$ будет его аддитивной группой. Подмножество $I {\ displaystyle I}$ $I$ называется левым идеалом из $R {\ displaystyle R}$ $R$ , если это аддитивная подгруппа. из $R {\ displaystyle R}$ $R$ , который «поглощает умножение слева на элементы $R {\ displaystyle R}$ $R$ »; то есть $I {\ displaystyle I}$ $I$ является левым идеалом, если он удовлетворяет следующим двум условиям:

$(I, +) {\ displaystyle (I, +)}$ $(I,+)$ является подгруппой из $(R, +), {\ displaystyle (R, +),}$ $(R,+),$
для каждого $r ∈ R { \ displaystyle r \ in R}$ $r\in R$ и каждый $x ∈ I {\ displaystyle x \ in I}$ $x\in I$ , продукт $rx {\ displaystyle rx}$ $rx$ находится в $I {\ displaystyle I}$ $I$ .

A правый идеал определяется условием «rx ∈ I», замененным на «xr ∈ I». Двусторонний идеал - это левый идеал, который также является правым идеалом, и иногда его просто называют идеалом. Мы можем рассматривать левый (соответственно правый, двусторонний) идеал R как левый (соответственно правый, би-) R- подмодуль в R, рассматриваемый как R-модуль. Когда R - коммутативное кольцо, определения левого, правого и двустороннего идеала совпадают, и термин идеал используется отдельно.

Чтобы понять концепцию идеала, рассмотрим, как идеалы возникают при построении колец «элементов по модулю». Для конкретности рассмотрим кольцо ℤ n целых чисел по модулю заданного целого числа n ∈ ℤ (заметим, что ℤ - коммутативное кольцо). Ключевое наблюдение здесь состоит в том, что мы получаем ℤ n, беря целую строку ℤ и оборачивая ее вокруг себя, чтобы идентифицировать различные целые числа. При этом мы должны удовлетворить два требования: 1) n должно отождествляться с 0, поскольку n сравнимо с 0 по модулю n, и 2) результирующая структура снова должна быть кольцом. Второе требование заставляет нас проводить дополнительные идентификации (т.е. оно определяет точный способ, которым мы должны обернуть ℤ вокруг себя). Идея идеала возникает, когда мы задаемся вопросом:

Каков точный набор целых чисел, который мы вынуждены идентифицировать с 0?

Неудивительно, что ответом является набор n set = {nm | m∈ℤ} всех целых чисел, сравнимых с 0 по модулю n. То есть мы должны обернуть ℤ вокруг себя бесконечно много раз, чтобы целые числа..., n ⋅ -2, n -1, n ⋅ +1, n +2,... все выровнялись с 0. Если мы посмотрим, каким свойствам должен удовлетворять этот набор, чтобы гарантировать, что ℤ n - кольцо, а затем приходим к определению идеала. В самом деле, можно непосредственно проверить, что nℤ идеал в.

Замечание. Также должны быть выполнены отождествления с элементами, отличными от 0. Например, элементы в 1 + nℤ должны быть отождествлены с 1, элементы в 2 + nℤ должны быть отождествлены с 2 и так далее. Однако они однозначно определяются nℤ, поскольку ℤ - аддитивная группа.

Аналогичную конструкцию можно построить в любом коммутативном кольце R: начнем с произвольного x ∈ R, а затем отождествим с 0 все элементы идеала xR = {x r: r ∈ R}. Оказывается, идеал xR - это наименьший идеал, содержащий x, который называется идеалом, порожденным посредством x. В более общем смысле, мы можем начать с произвольного подмножества S ⊆ R, а затем отождествить с 0 все элементы в идеале, порожденном S: наименьший идеал (S) такой, что S ⊆ (S). Кольцо, которое мы получаем после идентификации, зависит только от идеала (S), а не от множества S, с которого мы начали. То есть, если (S) = (T), то полученные кольца будут такими же.

Следовательно, идеал I коммутативного кольца R канонически захватывает информацию, необходимую для получения кольца элементов R по модулю данного подмножества S ⊆ R.Элементы I, по определению, являются конгруэнтными к нулю, то есть отождествляется с нулем в получившемся кольце. Полученное кольцо называется частным кольца R через I и обозначается R / I. Интуитивно, определение идеального постулирует два естественных условия, необходимых для того, чтобы I содержал все элементы, обозначенные как «нули» R / I:

I - аддитивная подгруппа R: ноль 0 в R является «нулем» 0 ∈ I, и если x 1 ∈ I и x 2 ∈ I - «нули», то x 1 - x 2 ∈ I тоже является «нулем».
Любое r ∈ R, умноженное на «ноль» x ∈ I, является «нулем» rx ∈ I.

Оказывается, вышеуказанные условия также достаточны для I должен содержать все необходимые «нули»: никакие другие элементы не должны быть обозначены как «ноль» для формирования R / I. (Фактически, никакие другие элементы не должны быть обозначены как «ноль», если мы хотим сделать наименьшее количество идентификаций.)

Замечание. Если R не обязательно коммутативен, приведенная выше конструкция все еще работает с использованием двусторонних идеалов.

Примеры и свойства

Для краткости некоторые результаты сформулированы только для левых идеалов, но обычно также верны для правых идеалов с соответствующими изменениями обозначений.

В кольце R само множество R образует двусторонний идеал R, называемый единичным идеалом . Часто его также обозначают $(1) {\ displaystyle (1)}$ $(1)$ , поскольку это как раз двусторонний идеал, порожденный (см. Ниже) единством $1 R {\ displaystyle 1_ {R}}$ $1_{R}$ . Кроме того, набор ${0 R} {\ displaystyle \ {0_ {R} \}}$ $\{0_{R}\}$ , состоящий только из аддитивной идентичности 0 R, образует двусторонний идеал, называемый нулевой идеал и обозначается $(0) {\ displaystyle (0)}$ $(0)$ . Каждый (левый, правый или двусторонний) идеал содержит нулевой идеал и содержится в единичном идеале.
Идеал (левый, правый или двусторонний), который не является единичным идеалом, называется правильный идеал (поскольку это правильное подмножество ). Примечание: левый идеал $a {\ displaystyle {\ mathfrak {a}}}$ ${\mathfrak {a}}$ является правильным тогда и только тогда, когда он не содержит единичного элемента, поскольку если $u ∈ a {\ displaystyle u \ in {\ mathfrak {a}}}$ $u\in {\mathfrak {a}}$ является единичным элементом, тогда $r = (ru - 1) u ∈ a {\ displaystyle r = (ru ^ {- 1}) u \ in {\ mathfrak {a}}}$ $r=(ru^{-1})u\in {\mathfrak {a}}$ для каждого $r ∈ R {\ displaystyle r \ in R}$ $r\in R$ . Обычно правильных идеалов предостаточно. Фактически, если R является телом, тогда $(0), (1) {\ displaystyle (0), (1)}$ $(0),(1)$ - его единственные идеалы и и наоборот: то есть ненулевое кольцо R является телом, если $(0), (1) {\ displaystyle (0), (1)}$ $(0),(1)$ являются единственными левыми (или правыми) идеалы. (Доказательство: если $x {\ displaystyle x}$ $x$ является ненулевым элементом, то главный левый идеал $R x {\ displaystyle Rx}$ $Rx$ (см. Ниже) равен ненулевое значение и, следовательно, $R x = (1) {\ displaystyle Rx = (1)}$ $Rx=(1)$ ; т.е. $yx = 1 {\ displaystyle yx = 1}$ $yx=1$ для какое-то ненулевое $y {\ displaystyle y}$ $y$ . Аналогично, $zy = 1 {\ displaystyle zy = 1}$ $zy=1$ для некоторого ненулевого $z {\ displaystyle z }$ $z$ . Тогда $z = z (yx) = (zy) x = x {\ displaystyle z = z (yx) = (zy) x = x}$ $z=z(yx)=(zy)x=x$ .)
Четное целые числа образуют идеал в кольце $Z {\ displaystyle \ mathbb {Z}}$ $\mathbb {Z}$ всех целых чисел; обычно он обозначается $2 Z {\ displaystyle 2 \ mathbb { Z}}$ $2{\mathbb {Z}}$ . Это связано с тем, что сумма любых четных целых чисел четна, и произведение любого целого числа на четное число также является четным. Точно так же набор всех целых чисел, делящихся на фиксированное целое число n, равен идеал, обозначенный $n Z {\ displaystyle n \ mathbb {Z}}$ $n\mathbb {Z}$ .
Набор всех многочленов с действительным коэффициентом Коэффициенты, делящиеся на многочлен x + 1, являются идеалом в кольце всех многочленов.
Множество всех n × n матриц, последняя строка которых равна нулю, образует правую идеален в кольце всех матриц размера n на n. Это не левый идеал. Набор всех матриц размера n на n, последний столбец которых равен нулю, образует левый идеал, но не правый.
Кольцо $C (R) {\ displaystyle C (\ mathbb {R})}$ $C({\mathbb {R}})$ из всех непрерывных функций f от $R {\ displaystyle \ mathbb {R}}$ $\mathbb {R}$ до $R {\ displaystyle \ mathbb { R}}$ $\mathbb {R}$ под поточечным умножением содержит идеал всех непрерывных функций f таких, что f (1) = 0. Другой идеал в $C (R) {\ displaystyle C ( \ mathbb {R})}$ $C({\mathbb {R}})$ задается теми функциями, которые обращаются в нуль при достаточно больших аргументах, т.е. теми непрерывными функциями f, для которых существует число L>0 такое, что f (x) = 0 всякий раз, когда | x |>L.
Кольцо называется простым кольцом, если оно не равно нулю и не имеет двусторонних идеалов, кроме $(0), (1) {\ displaystyle (0), (1)}$ $(0),(1)$ . Таким образом, тело является простым, а простое коммутативное кольцо - это поле. Кольцо матриц над телом представляет собой простое кольцо.
Если $f: R → S {\ displaystyle f: R \ to S}$ $f:R\to S$ является гомоморфизмом колец, тогда ядро $ker ⁡ (f) = f - 1 (0 S) {\ displaystyle \ ker (f) = f ^ {- 1} (0_ {S})}$ $\ker(f)=f^{-1}(0_{S})$ - двусторонний идеал $R {\ displaystyle R}$ $R$ . По определению $f (1 R) = 1 S {\ displaystyle f (1_ {R}) = 1_ {S}}$ $f(1_{R})=1_{S}$ , и, следовательно, если $S {\ displaystyle S}$ $S$ не является нулевым кольцом (поэтому $1 S ≠ 0 S {\ displaystyle 1_ {S} \ neq 0_ {S}}$ $1_{S}\neq 0_{S}$ ), тогда $ker ⁡ (f) {\ displaystyle \ ker (f)}$ $\ker(f)$ - правильный идеал. В более общем смысле, для каждого левого идеала I в S прообраз $f - 1 (I) {\ displaystyle f ^ {- 1} (I)}$ $f^{-1}(I)$ является левым идеалом. Если I - левый идеал кольца R, то $f (I) {\ displaystyle f (I)}$ $f(I)$ - левый идеал подкольца $f (R) {\ displaystyle f ( R)}$ $f(R)$ для S: если f не сюръективно, $f (I) {\ displaystyle f (I)}$ $f(I)$ не обязательно должен быть идеалом для S; см. также # Расширение и сжатие идеала ниже.
Идеальное соответствие : задан сюръективный гомоморфизм колец $f: R → S {\ displaystyle f: R \ to S}$ $f:R\to S$ , существует биективное соответствие, сохраняющее порядок между левыми (соответственно, правыми, двусторонними) идеалами $R {\ displaystyle R}$ $R$ , содержащими ядро $f {\ displaystyle f}$ $f$ и левый (соответственно, правый, двусторонний) идеал $S {\ displaystyle S}$ $S$ : соответствие задается $Я ↦ е (I) {\ displaystyle I \ mapsto f (I)}$ $I\mapsto f(I)$ и прообраз $J ↦ f - 1 (J) {\ displaystyle J \ mapsto f ^ {- 1 } (J)}$ $J\mapsto f^{-1}(J)$ . Более того, для коммутативных колец это биективное соответствие ограничивается первичными идеалами, максимальными идеалами и радикальными идеалами (определения этих идеалов см. В разделе Типы идеалов ).
(Для тех кто знает модули) Если M - левый R-модуль и $S ⊂ M {\ displaystyle S \ subset M}$ $S\subset M$ подмножество, то annihilator $Ann R ⁡ (S) знак равно {r ∈ R ∣ rs = 0, s ∈ S} {\ displaystyle \ operatorname {Ann} _ {R} (S) = \ {r \ in R \ mid rs = 0, s \ in S \}}$ $\operatorname {Ann} _{R}(S)=\{r\in R\mid rs=0,s\in S\}$ в S - левый идеал. Даны идеалы $a, b {\ displaystyle {\ mathfrak {a}}, {\ mathfrak {b}}}$ ${\mathfrak {a}},{\mathfrak {b}}$ коммутативного кольца R, R-аннигилятор кольца $(b + a) / a {\ displaystyle ({\ mathfrak {b}} + {\ mathfrak {a}}) / {\ mathfrak {a}}}$ $({\mathfrak {b}}+{\mathfrak {a}})/{\mathfrak {a}}$ является идеалом R, называемым идеалом частное от $a {\ displaystyle {\ mathfrak {a}}}$ ${\mathfrak {a}}$ на $b {\ displaystyle {\ mathfrak {b}}}$ ${\mathfrak {b}}$ и равно обозначается $(a: b) {\ displaystyle ({\ mathfrak {a}}: {\ mathfrak {b}})}$ $({\mathfrak {a}}:{\mathfrak {b}})$ ; это пример идеализатора в коммутативной алгебре.
Пусть $ai, i ∈ S {\ displaystyle {\ mathfrak {a}} _ {i}, i \ in S }$ ${\mathfrak {a}}_{i},i\in S$ быть восходящей цепочкой левых идеалов в кольце R; т. е. $S {\ displaystyle S}$ $S$ является полностью упорядоченным множеством, а $ai ⊂ aj {\ displaystyle {\ mathfrak {a}} _ {i} \ subset {\ mathfrak {a }} _ {j}}$ ${\mathfrak {a}}_{i}\subset {\mathfrak {a}}_{j}$ для каждого $i < j {\displaystyle i$ $i<j$ . Тогда объединение $⋃ i ∈ S ai {\ displaystyle \ bigcup _ {i \ in S} {\ mathfrak {a}} _ {i}}$ $\bigcup _{i\in S}{\mathfrak {a}}_{i}$ является левым идеалом R. (Примечание : этот факт остается верным, даже если R не имеет единицы 1.)
Приведенный выше факт вместе с леммой Цорна доказывает следующее: если $E ⊂ R {\ displaystyle E \ подмножество R}$ $E\subset R$ - возможно, пустое подмножество, а $a 0 ⊂ R {\ displaystyle {\ mathfrak {a}} _ {0} \ subset R}$ ${\mathfrak {a}}_{0}\subset R$ - левый идеал который не пересекается с E, то существует идеал, который является максимальным среди идеалов, содержащих $a 0 {\ displaystyle {\ mathfrak {a}} _ {0}}$ ${\mathfrak {a}}_{0}$ и не пересекающихся с E. ( Опять же, это все еще верно, если кольцо R не имеет единства 1.) Когда $R ≠ 0 {\ displaystyle R \ neq 0}$ $R\neq 0$ , берется $a 0 = (0) {\ displaystyle {\ mathfrak {a}} _ {0} = (0)}$ ${\mathfrak {a}}_{0}=(0)$ и $E = {1} {\ displaystyle E = \ {1 \}}$ $E=\{1\}$ , в в частности, существует левый идеал, который является максимальным среди собственных левых идеалов (часто называемый просто максимальным левым идеалом); см. теорему Крулля для получения дополнительной информации.
Произвольное объединение идеалов не обязательно должно быть идеалом, но по-прежнему верно следующее: при возможно пустом подмножестве X в R остается наименьшее оставшееся идеал, содержащий X, называется левым идеалом, порожденным X, и обозначается $RX {\ displaystyle RX}$ $RX$ . Такой идеал существует, поскольку он является пересечением всех левых идеалов, содержащих X. Эквивалентно, $RX {\ displaystyle RX}$ $RX$ - это множество всех (конечных) левых R-линейных комбинаций. элементов X над R:
$RX = {r 1 x 1 + ⋯ + rnxn ∣ n ∈ N, ri ∈ R, xi ∈ X}. {\ displaystyle RX = \ {r_ {1} x_ {1} + \ dots + r_ {n} x_ {n} \ mid n \ in \ mathbb {N}, r_ {i} \ in R, x_ {i} \ in X \}.}$ $RX=\{r_{1}x_{1}+\dots +r_{n}x_{n}\mid n\in \mathbb {N},r_{i}\in R,x_{i}\in X\}.$

(так как такой промежуток является наименьшим левым идеалом, содержащим X.) Правый (соответственно двусторонний) идеал, порожденный X, определяется аналогичным образом. Для «двусторонности» необходимо использовать линейные комбинации с обеих сторон; т. е.

R X R = {r 1 x 1 s 1 + ⋯ + r n x n s n ∣ n ∈ N, r i ∈ R, s i ∈ R, x i ∈ X}. {\ displaystyle RXR = \ {r_ {1} x_ {1} s_ {1} + \ dots + r_ {n} x_ {n} s_ {n} \ mid n \ in \ mathbb {N}, r_ {i} \ in R, s_ {i} \ in R, x_ {i} \ in X \}. \,}

RXR=\{r_{1}x_{1}s_{1}+\dots +r_{n}x_{n}s_{n}\mid n\in \mathbb {N},r_{i}\in R,s_{i}\in R,x_{i}\in X\}.\,

Левый (соотв. правый, двусторонний) идеал, порожденный одним элементом x, называется главным левый (соотв. правый, двусторонний) идеал, порожденный x и обозначается $R x {\ displaystyle Rx}$ $Rx$ (соотв. $x R, R x R {\ displaystyle xR, RxR}$ $xR,RxR$ ). Главный двусторонний идеал $R x R {\ displaystyle RxR}$ $RxR$ часто также обозначается $(x) {\ displaystyle (x)}$ $(x)$ . Если $X = {x 1,…, xn} {\ displaystyle X = \ {x_ {1}, \ dots, x_ {n} \}}$ $X=\{x_{1},\dots,x_{n}\}$ - конечное множество, то $RXR {\ displaystyle RXR}$ $RXR$ также записывается как $(x 1,…, xn) {\ displaystyle (x_ {1}, \ dots, x_ {n})}$ $(x_{1},\dots,x_{n})$ .
In кольцо $Z {\ displaystyle \ mathbb {Z}}$ $\mathbb {Z}$ целых чисел, каждый идеал может быть сгенерирован одним числом (так $Z {\ displaystyle \ mathbb {Z}}$ $\mathbb {Z}$ является областью главного идеала ), как следствие евклидова деления (или каким-либо другим способом).
Существует взаимно однозначное соответствие между идеалами и отношения конгруэнтности (отношения эквивалентности, уважающие структуру кольца) на кольце: дан идеал I кольца R, пусть x ~ y, если x - y ∈ I. Тогда ~ - отношение конгруэнтности на R. Наоборот, если дано отношение конгруэнтности ~ на R, пусть I = {x: x ~ 0}. Тогда I - идеал R.

Типы идеалов

Для упрощения описания все кольца предполагаются коммутативными. Некоммутативный случай подробно рассматривается в соответствующих статьях.

Идеалы важны, потому что они появляются как ядра гомоморфизмов колец и позволяют определять фактор-кольца. Изучаются различные типы идеалов, поскольку с их помощью можно построить различные типы факторных колец.

Максимальный идеал : Собственный идеал I называется максимальным идеалом, если не существует другого собственного идеала J с I собственным подмножеством в J. Фактор-кольцо максимального идеала является простым кольцом в общем и является полем для коммутативных колец.
Минимальный идеал : ненулевой идеал называется минимальным, если он не содержит других отличных от нуля идеал.
Простой идеал : Собственный идеал I называется простым идеалом, если для любых a и b в R, если ab принадлежит I, то хотя бы один из и b находится в I. Фактор-кольцо первичного идеала является первичным кольцом в общем и является областью целостности для коммутативных колец.
Радикальный идеал или полупервичный идеал : Собственный идеал I называется радикальным или полупервичным, если для любого a из R, если a находится в I для некоторого n, то a находится в I. Фактор-кольцо радикального идеала - это полупервичное кольцо для общих колец и редуцированное кольцо для коммутативных колец.
Первичный идеал : Идеал I называется первичным идеалом, если для всех a и b в R, если ab находится в I, то по крайней мере один из a и b находится в I для некоторого натурального числа п. Каждый первичный идеал первичен, но не наоборот. Полупервичный первичный идеал прост.
Главный идеал : Идеал, порожденный одним элементом.
Конечно порожденный идеал : Этот тип идеала конечно порожден как модуль.
примитивный идеал : левый примитивный идеал - это аннигилятор простого левого модуля.
неприводимый идеал : идеал называется неприводимым, если он не может быть записан как пересечение идеалов, которые должным образом его содержат.
Comaximal идеалы : два идеала $i, j {\ displaystyle {\ mathfrak { i}}, {\ mathfrak {j}}}$ $\mathfrak{i}, \mathfrak{j}$ считаются comaximal, если $x + y = 1 {\ displaystyle x + y = 1}$ $x + y = 1$ для некоторых $x ∈ i {\ displaystyle x \ in {\ mathfrak {i}}}$ $x \in \mathfrak{i}$ и $y ∈ j {\ displaystyle y \ in {\ mathfrak {j} }}$ $y \in \mathfrak{j}$ .
Обычный идеал : этот термин имеет несколько применений. Список см. В статье.
Нулевой идеал : Идеал - это нулевой идеал, если каждый из его элементов нильпотентен.
Нильпотентный идеал : Некоторая его сила ноль.
идеал параметра : идеал, порожденный системой параметров .

Два других важных термина, использующих «идеал», не всегда являются идеалами своего кольца. Подробности см. В соответствующих статьях:

Дробный идеал : обычно определяется, когда R является коммутативной областью с полем частного K. Несмотря на свое название, дробные идеалы - это R подмодулей в K со специальным свойством. Если дробный идеал полностью содержится в R, то он действительно является идеалом R.
Обратимый идеал : Обычно обратимый идеал A определяется как дробный идеал, для которого существует другой дробный идеал B. такое, что AB = BA = R. Некоторые авторы могут также применять «обратимый идеал» к обычным кольцевым идеалам A и B с AB = BA = R в кольцах, отличных от областей.

Идеальные операции

Сумма и произведение идеалов определяются следующим образом. Для $a {\ displaystyle {\ mathfrak {a}}}$ ${\mathfrak {a}}$ и $b {\ displaystyle {\ mathfrak {b}}}$ ${\mathfrak {b}}$ , слева (соответственно, справа) идеалов кольца R, их сумма равна

a + b: = {a + b ∣ a ∈ a и b ∈ b} {\ displaystyle {\ mathfrak {a}} + {\ mathfrak {b}}: = \ {a + b \ mid a \ in {\ mathfrak {a}} {\ t_dv {и}} b \ in {\ mathfrak {b}} \}}

\mathfrak{a}+\mathfrak{b}:=\{a+b \mid a \in \mathfrak{a} \t_dv{ and } b \in \mathfrak{b}\}

который является левым (соответственно правым) идеально, и, если $a, b {\ displaystyle {\ mathfrak {a}}, {\ mathfrak {b}}}$ ${\mathfrak {a}},{\mathfrak {b}}$ двусторонние,

ab: = {a 1 b 1 + ⋯ + anbn ∣ ai ∈ a и bi ∈ b, i = 1, 2,…, n; для n = 1, 2,…}, {\ displaystyle {\ mathfrak {a}} {\ mathfrak {b}}: = \ {a_ {1} b_ {1} + \ dots + a_ {n} b_ {n } \ mid a_ {i} \ in {\ mathfrak {a}} {\ t_dv {and}} b_ {i} \ in {\ mathfrak {b}}, i = 1,2, \ dots, n; {\ t_dv {for}} n = 1,2, \ dots \},}

\mathfrak{a} \mathfrak{b}:=\{a_1b_1+ \dots + a_nb_n \mid a_i \in \mathfrak{a} \t_dv{ and } b_i \in \mathfrak{b}, i=1, 2, \dots, n; \t_dv{ for } n=1, 2, \dots\},

т.е. продукт - это идеал, сгенерированный всеми продуктами формы ab с a в $a {\ displaystyle {\ mathfrak {a}}}$ ${\mathfrak {a}}$ и b в $b {\ displaystyle {\ mathfrak {b}}}$ ${\mathfrak {b}}$ .

Примечание $a + b {\ displaystyle {\ mathfrak {a}} + {\ mathfrak {b}}}$ ${\mathfrak {a}}+{\mathfrak {b}}$ - наименьший левый (соответственно правый) идеал содержащие как $a {\ displaystyle {\ mathfrak {a}}}$ ${\mathfrak {a}}$ , так и $b {\ displaystyle {\ mathfrak {b}}}$ ${\mathfrak {b}}$ (или объединение $a ∪ b {\ displaystyle {\ mathfrak {a}} \ cup {\ mathfrak {b}}}$ ${\mathfrak {a}}\cup {\mathfrak {b}}$ ), а продукт $ab {\ displaystyle {\ mathfrak {a}} {\ mathfrak {b}}}$ $\mathfrak{a}\mathfrak{b}$ содержится на пересечении $a {\ displaystyle {\ mathfrak {a}}}$ ${\mathfrak {a}}$ и $b {\ displaystyle { \ mathfrak {b}}}$ ${\mathfrak {b}}$ .

Закон распределения выполняется для двусторонних идеалов $a, b, c {\ displaystyle {\ mathfrak {a}}, {\ mathfrak {b}}, {\ mathfrak { c}}}$ ${\mathfrak {a}},{\mathfrak {b}},{\mathfrak {c}}$ ,

$a (b + c) = ab + ac {\ displaystyle {\ mathfrak {a}} ({\ mathfrak {b}} + {\ mathfrak {c}}) = {\ mathfrak {a }} {\ mathfrak {b}} + {\ mathfrak {a}} {\ mathfrak {c}}}$ ${\mathfrak {a}}({\mathfrak {b}}+{\mathfrak {c}})={\mathfrak {a}}{\mathfrak {b}}+{\mathfrak {a}}{\mathfrak {c}}$ ,
$(a + b) c = ac + bc {\ displaystyle ({\ mathfrak {a}} + {\ mathfrak {b}}) {\ mathfrak {c}} = {\ mathfrak {a}} {\ mathfrak {c}} + {\ mathfrak {b}} {\ mathfrak {c}}}$ $({\mathfrak {a}}+{\mathfrak {b}}){\mathfrak {c}}={\mathfrak {a}}{\mathfrak {c}}+{\mathfrak {b}}{\mathfrak {c}}$ .

Если продукт заменяется пересечением, выполняется частичный закон распределения:

a ∩ (b + c) ⊃ a ∩ б + a ∩ с {\ displaystyle {\ mathfrak {a}} \ cap ({\ mathfrak {b}} + {\ mathfrak {c}}) \ supset {\ mathfrak {a}} \ cap {\ mathfrak {b}} + {\ mathfrak {a}} \ cap {\ mathfrak {c}}}

{\mathfrak {a}}\cap ({\mathfrak {b}}+{\mathfrak {c}})\supset {\mathfrak {a}}\cap {\mathfrak {b}}+{\mathfrak {a}}\cap {\mathfrak {c}}

, где равенство выполняется, если $a {\ displaystyle {\ mathfrak {a}}}$ ${\mathfrak {a}}$ содержит $b {\ displaystyle {\ mathfrak {b}}}$ ${\mathfrak {b}}$ или $c {\ displaystyle {\ mathfrak {c}}}$ ${\mathfrak {c}}$ .

Примечание : сумма и пересечение идеалов снова идеал; с этими двумя операциями как соединением и встречей, множество всех идеалов данного кольца образует полную модульную решетку. Решетка, как правило, не является распределительной решеткой . Три операции пересечения, суммирования (или соединения) и произведения превращают набор идеалов коммутативного кольца в квант.

Если $a, b {\ displaystyle {\ mathfrak {a}}, {\ mathfrak {b}}}$ ${\mathfrak {a}},{\mathfrak {b}}$ - идеалы коммутативного кольца R, тогда $a ∩ b = ab {\ displaystyle {\ mathfrak {a}} \ cap {\ mathfrak {b}} = {\ mathfrak {a}} {\ mathfrak {b}}}$ ${\mathfrak {a}}\cap {\mathfrak {b}}={\mathfrak {a}}{\mathfrak {b}}$ в следующих двух случаях (как минимум)

$a + b = (1) {\ displaystyle {\ mathfrak {a} } + {\ mathfrak {b}} = (1)}$ ${\mathfrak {a}}+{\mathfrak {b}}=(1)$
$a {\ displaystyle {\ mathfrak {a}}}$ ${\mathfrak {a}}$ генерируется элементами, которые образуют регулярную последовательность по модулю $b { \ displaystyle {\ mathfrak {b}}}$ ${\mathfrak {b}}$ .

(В более общем смысле, разница между продуктом и пересечением идеалов измеряется функтором Tor : $Tor 1 R ⁡ (R / a, R / b) знак равно (a ∩ b) / ab. {\ displaystyle \ operatorname {Tor} _ {1} ^ {R} (R / {\ mathfrak {a}}, R / {\ mathfrak {b}) }) = ({\ mathfrak {a}} \ cap {\ mathfrak {b}}) / {\ mathfrak {a}} {\ mathfrak {b}}.}$ $\operatorname {Tor} _{1}^{R}(R/{\mathfrak {a}},R/{\mathfrak {b}})=({\mathfrak {a}}\cap {\mathfrak {b}})/{\mathfrak {a}}{\mathfrak {b}}.$ )

Область целостности называется Дедекинд дом ain, если для каждой пары идеалов $a ⊂ b {\ displaystyle {\ mathfrak {a}} \ subset {\ mathfrak {b}}}$ ${\mathfrak {a}}\subset {\mathfrak {b}}$ , существует идеал $с {\ displaystyle {\ mathfrak {c}}}$ ${\mathfrak {c}}$ таким, что $a = bc {\ displaystyle {\ mathfrak {\ mathfrak {a}}} = {\ mathfrak {b}} {\ mathfrak {c}}}$ ${\mathfrak {\mathfrak {a}}}={\mathfrak {b}}{\mathfrak {c}}$ . Затем можно показать, что каждый ненулевой идеал дедекиндовской области может быть однозначно записан как произведение максимальных идеалов, обобщение фундаментальной теоремы арифметики.

Примеры идеальных операций

In $Z {\ displaystyle \ mathbb {Z}}$ $\mathbb {Z}$ мы имеем

(n) ∩ (m) = lcm ⁡ (n, m) Z {\ displaystyle (n) \ cap (m) = \ operatorname {lcm} (n, m) \ mathbb {Z}}

(n)\cap (m)=\operatorname {lcm} (n,m)\mathbb {Z}

, поскольку $(n) ∩ (m) {\ displaystyle (n) \ cap (m)}$ $(n)\cap (m)$ - набор целых чисел, которые делятся на $n {\ displaystyle n}$ $n$ и $m {\ displaystyle m}$ $m$ .

Пусть $R = C [x, y, z, w] {\ displaystyle R = \ mathbb {C} [x, y, z, w]}$ $R=\mathbb {C} [x,y,z,w]$ и пусть $I = (z, w), J = (x + z, y + вес), К знак равно (Икс + Z, вес) {\ Displaystyle I = (г, ш), {\ текст {}} J = (х + Z, Y + ш), {\ text {}} К = (x + z, w)}$ $I=(z,w),{\text{ }}J=(x+z,y+w),{\text{ }}K=(x+z,w)$ . Тогда

$I + J = (z, w, x + z, y + w) = (x, y, z, w) {\ displaystyle I + J = (z, w, x + z, y + вес) = (х, у, z, ш)}$ $I+J=(z,w,x+z,y+w)=(x,y,z,w)$ и $I + К = (z, w, x + z) {\ displaystyle I + K = (z, w, x + z)}$ $I+K=(z,w,x+z)$
$IJ = (z (x + z), z (y + w), w (x + z), w (y + w)) = (z 2 + xz, zy + wz, wx + wz, wy + вес 2) {\ Displaystyle IJ = (z (x + z), z (y + w), w (x + z), w (y + w)) = (z ^ {2} + xz, zy + wz, wx + wz, wy + w ^ {2})}$ $IJ=(z(x+z),z(y+w),w(x+z),w(y+w))=(z^{2}+xz,zy+wz,wx+wz,wy+w^{2})$
$IK = (xz + z 2, zw, xw + zw, w 2) {\ displaystyle IK = (xz + z ^ {2 }, zw, xw + zw, w ^ {2})}$ $IK=(xz+z^{2},zw,xw+zw,w^{2})$
$I ∩ J = IJ {\ displaystyle I \ cap J = IJ}$ $I\cap J=IJ$ в то время как $I ∩ K = (w, xz + z 2) ≠ IK {\ displaystyle I \ cap K = (w, xz + z ^ {2}) \ neq IK}$ $I\cap K=(w,xz+z^{2})\neq IK$

В первом вычислении мы видим общую схему вычисления суммы двух конечным числом порожденные идеалы, это идеалы, порожденные объединением их образующих. В последних трех мы видим, что произведения и пересечения совпадают, когда два идеала пересекаются в нулевом идеале. Эти вычисления можно проверить с помощью Маколея2.

Радикала кольца

Идеалы естественным образом возникают при изучении модулей, особенно в форме радикала.

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

Пусть R - коммутативное кольцо. По определению примитивный идеал кольца R является аннулятором (ненулевого) простого R-модуля. Радикал Джекобсона $J = Jac ⁡ (R) {\ displaystyle J = \ operatorname {Jac} (R)}$ $J=\operatorname {Jac} (R)$ в R является пересечением всех примитивных идеалов. Эквивалентно

J = ⋂ m максимальных идеалов m. {\ displaystyle J = \ bigcap _ {{\ mathfrak {m}} {\ text {maximal ideals}}} {\ mathfrak {m}}.}

J=\bigcap _{{\mathfrak {m}}{\text{ maximal ideals}}}{\mathfrak {m}}.

Действительно, если $M {\ displaystyle M}$ $M$ - простой модуль, а x - ненулевой элемент в M, тогда $R x = M {\ displaystyle Rx = M}$ $Rx=M$ и $R / Ann ⁡ (M) = R / Ann ⁡ (x) ≃ M {\ displaystyle R / \ operatorname {Ann} (M) = R / \ operatorname {Ann} (x) \ simeq M}$ $R/\operatorname {Ann} (M)=R/\operatorname {Ann} (x)\simeq M$ , что означает $Ann ⁡ (M) {\ displaystyle \ operatorname {Ann} (M)}$ $\operatorname {Ann} (M)$ - максимальный идеал. И наоборот, если $m {\ displaystyle {\ mathfrak {m}}}$ ${\mathfrak {m}}$ - максимальный идеал, то $m {\ displaystyle {\ mathfrak {m}}}$ ${\mathfrak {m}}$ - аннигилятор простого R-модуля $R / m {\ displaystyle R / {\ mathfrak {m}}}$ $R/{\mathfrak {m}}$ . Существует также другая характеризация (доказательство несложно):

J = {x ∈ R ∣ 1 - y x является единичным элементом для любого y ∈ R}. {\ displaystyle J = \ {x \ in R \ mid 1-yx \, {\ text {является единичным элементом для каждого}} y \ in R \}.}

J=\{x\in R\mid 1-yx\,{\text{ is a unit element for every }}y\in R\}.

Для необязательно коммутативного кольца это общий факт, что $1 - yx {\ displaystyle 1-yx}$ $1-yx$ является элементом единицы тогда и только тогда, когда $1 - xy {\ displaystyle 1- xy}$ $1-xy$ is (см. ссылку), поэтому эта последняя характеристика показывает, что радикал может быть определен как в терминах левого, так и правого примитивных идеалов.

Следующий простой, но важный факт (лемма Накаямы ) встроен в определение радикала Джекобсона: если M - такой модуль, что $JM = M {\ displaystyle JM = M}$ $JM=M$ , тогда M не допускает максимальный подмодуль, поскольку, если существует максимальный подмодуль $, L ⊊ M {\ displaystyle L \ subsetneq M}$ $L\subsetneq M$ , $J ⋅ (M / L) = 0 {\ displaystyle J \ cdot (M / L) = 0}$ $J\cdot (M/L)=0$ и поэтому $M = JM ⊂ L ⊊ M {\ displaystyle M = JM \ subset L \ subsetneq M}$ $M=JM\subset L\subsetneq M$ , противоречие. Поскольку ненулевой конечно порожденный модуль допускает максимальный подмодуль, в частности, один имеет:

Если

JM = M {\ displaystyle JM = M}

JM=M

и M конечно сгенерировано, то

M = 0. {\ displaystyle M = 0.}

M=0.

Максимальный идеал - это простой идеал, поэтому

nil ⁡ (R) = ⋂ p простых идеалов p ⊂ Jac ⁡ ( R) {\ displaystyle \ operatorname {nil} (R) = \ bigcap _ {{\ mathfrak {p}} {\ text {простые идеалы}}} {\ mathfrak {p}} \ subset \ operatorname {Jac} (R)}

\operatorname {nil} (R)=\bigcap _{{\mathfrak {p}}{\text{ prime ideals }}}{\mathfrak {p}}\subset \operatorname {Jac} (R)

, где пересечение слева называется нильрадикалом R. Как оказалось, $nil ⁡ (R) {\ displaystyle \ operatorname {nil} (R)}$ $\operatorname {nil} (R)$ также является набором нильпотентных элементов из R.

Если R является артиновым кольцом, то $Jac ⁡ (R) { \ displaystyle \ operatorname {Jac} (R)}$ $\operatorname {Jac} (R)$ является нильпотентным и $nil ⁡ (R) = Jac ⁡ (R) {\ displaystyle \ operatorname {nil} (R) = \ operatorname {Jac } (R)}$ $\operatorname {nil} (R)=\operatorname {Jac} (R)$ . (Доказательство: сначала обратите внимание, что DCC подразумевает $J n = J n + 1 {\ displaystyle J ^ {n} = J ^ {n + 1}}$ $J^{n}=J^{n+1}$ для некоторого n. Если (DCC) $a ⊋ Ann ⁡ (J n) {\ displaystyle {\ mathfrak {a}} \ supsetneq \ operatorname {Ann} (J ^ {n})}$ ${\mathfrak {a}}\supsetneq \operatorname {Ann} (J^{n})$ является идеалом, должным образом минимальным над последним, тогда $J ⋅ (a / Ann ⁡ (J n)) = 0 {\ displaystyle J \ cdot ({\ mathfrak {a}} / \ operatorname {Ann} (J ^ {n})) = 0}$ $J\cdot ({\mathfrak {a}}/\operatorname {Ann} (J^{n}))=0$ . То есть $J na = J n + 1 a = 0 {\ displaystyle J ^ {n} {\ mathfrak {a}} = J ^ {n + 1} {\ mathfrak {a }} = 0}$ $J^{n}{\mathfrak {a}}=J^{n+1}{\mathfrak {a}}=0$ , противоречие.)

Расширение и сжатие идеала

Пусть A и B два коммутативных кольца, и пусть f: A → B - гомоморфизм колец . If $a {\displaystyle {\mathfrak {a}}}$ ${\mathfrak {a}}$ is an ideal in A, then $f ( a) {\displaystyle f({\mathfrak {a}})}$ $f({\mathfrak {a}})$ need not be an ideal in B (e.g. take f to be the inclusion of the ring of integers Zinto the field of rationals Q). The extension $a e {\displaystyle {\mathfrak {a}}^{e}}$ ${\mathfrak {a}}^{e}$ of $a {\displaystyle {\mathfrak {a}}}$ ${\mathfrak {a}}$ in B is defined to be the ideal in B generated by $f ( a) {\displaystyle f({\mathfrak {a}})}$ $f({\mathfrak {a}})$ . Explicitly,

a e = { ∑ y i f ( x i) : x i ∈ a, y i ∈ B } {\displaystyle {\mathfrak {a}}^{e}={\Big \{}\sum y_{i}f(x_{i}):x_{i}\in {\mathfrak {a}},y_{i}\in B{\Big \}}}

{\mathfrak {a}}^{e}={\Big \{}\sum y_{i}f(x_{i}):x_{i}\in {\mathfrak {a}},y_{i}\in B{\Big \}}

If $b {\displaystyle {\mathfrak {b}}}$ ${\mathfrak {b}}$ is an ideal of B, then $f − 1 ( b) {\displaystyle f^{-1}({\mathfrak {b}})}$ $f^{{-1}}({\mathfrak {b}})$ is always an ideal of A, called the contraction $b c {\displaystyle {\mathfrak {b}}^{c}}$ ${\mathfrak {b}}^{c}$ of $b {\displaystyle {\mathfrak {b}}}$ ${\mathfrak {b}}$ to A.

Assuming f : A → B is a ring homomorphism, $a {\displaystyle {\mathfrak {a}}}$ ${\mathfrak {a}}$ is an ideal in A, $b {\displaystyle {\mathfrak {b}}}$ ${\mathfrak {b}}$ is an ideal in B, then:

$b {\displaystyle {\mathfrak {b}}}$ ${\mathfrak {b}}$ is prime in B $⇒ {\displaystyle \Rightarrow }$ $\Rightarrow$ $b c {\displaystyle {\mathfrak {b}}^{c}}$ ${\mathfrak {b}}^{c}$ is prime in A.
$a e c ⊇ a {\displaystyle {\mathfrak {a}}^{ec}\supseteq {\mathfrak {a}}}$ ${\mathfrak {a}}^{{ec}}\supseteq {\mathfrak {a}}$
$b c e ⊆ b {\displaystyle {\mathfrak {b}}^{ce}\subseteq {\mathfrak {b }}}$ ${\mathfrak {b}}^{{ce}}\subseteq {\mathfrak {b}}$

It is false, in general, that $a {\displaystyle {\mathfrak {a}}}$ ${\mathfrak {a}}$ being prime (or maximal) in A implies that $a e {\displaystyle {\mathfrak {a}}^{e}}$ ${\mathfrak {a}}^{e}$ is prime (or maximal) in B. Many classic examples of this stem from algebraic number theory. For example, embedding $Z → Z [ i ] {\displaystyle \mathbb {Z} \to \mathbb {Z} \left\lbrack i\right\rbrack }$ ${\mathbb {Z}}\to {\mathbb {Z}}\left\lbrack i\right\rbrack$ . In $B = Z [ i ] {\displaystyle B=\mathbb {Z} \left\lbrack i\right\rbrack }$ $B={\mathbb {Z}}\left\lbrack i\right\rbrack$ , the element 2 factors as $2 = ( 1 + i) ( 1 − i) {\displaystyle 2=(1+i)(1-i)}$ $2=(1+i)(1-i)$ where (one can show) neither of $1 + i, 1 − i {\displaystyle 1+i,1-i}$ $1+i,1-i$ are units in B. So $( 2) e {\displaystyle (2)^{e}}$ $(2)^{e}$ is not prime in B (and therefore not maximal, as well). Indeed, $( 1 ± i) 2 = ± 2 i {\displaystyle (1\pm i)^{2}=\pm 2i}$ $(1\pm i)^{2}=\pm 2i$ shows that $( 1 + i) = ( ( 1 − i) − ( 1 − i) 2) {\displaystyle (1+i)=((1-i)-(1-i)^{2})}$ $(1+i)=((1-i)-(1-i)^{2})$ , $( 1 − i) = ( ( 1 + i) − ( 1 + i) 2) {\displaystyle (1-i)=((1+i)-(1+i)^{2})}$ $(1-i)=((1+i)-(1+i)^{2})$ , and therefore $( 2) e = ( 1 + i) 2 {\displaystyle (2)^{e}=(1+i)^{2}}$ $(2)^{e}=(1+i)^{2}$ .

On the other hand, if f is surjective and $a ⊇ ker ⁡ f {\displaystyle {\mathfrak {a}}\supseteq \ker f}$ ${\mathfrak {a}}\supseteq \ker f$ then:

$a e c = a {\displaystyle {\mathfrak {a}}^{ec}={\mathfrak {a}}}$ ${\mathfrak {a}}^{{ec}}={\mathfrak {a}}$ and $b c e = b {\displaystyle {\mathfrak {b}}^{ce}={\mathfrak {b}}}$ ${\mathfrak {b}}^{{ce}}={\mathfrak {b}}$ .
$a {\displaystyle {\mathfrak {a}}}$ ${\mathfrak {a}}$ is a prime ideal in A $⇔ {\displaystyle \Leftrightarrow }$ $\Leftrightarrow$ $a e {\displaystyle {\mathfrak {a}}^{e}}$ ${\mathfrak {a}}^{e}$ is a prime ideal in B.
$a {\displaystyle {\mathfrak {a}}}$ ${\mathfrak {a}}$ is a maximal ideal in A $⇔ {\displaystyle \Leftrightarrow }$ $\Leftrightarrow$ $a e {\displaystyle {\mathfrak {a}}^{e}}$ ${\mathfrak {a}}^{e}$ is a maximal ideal in B.

Remark: Let K be a field extension of L, and let B and A be the rings of integers of K and L, respectively. Then B is an integral extension of A, and we let f be the inclusion map from A to B. The behaviour of a prime ideal $a = p {\displaystyle {\mathfrak {a}}={\mathfrak {p}}}$ ${\mathfrak {a}}={\mathfrak {p}}$ of A under extension is one of the central problems of algebraic number theory.

The following is sometimes useful: a prime ideal $p {\displaystyle {\mathfrak {p}}}$ ${\mathfrak {p}}$ is a contraction of a prime ideal if and only if $p = p e c {\displaystyle {\mathfrak {p}}={\mathfrak {p}}^{ec}}$ ${\mathfrak {p}}={\mathfrak {p}}^{ec}$ . (Proof: Assuming the latter, note $p e B p = B p ⇒ p e {\displaystyle {\mathfrak {p}}^{e}B_{\mathfrak {p}}=B_{\mathfrak {p}}\Rightarrow {\mathfrak {p}}^{e}}$ ${\mathfrak {p}}^{e}B_{\mathfrak {p}}=B_{\mathfrak {p}}\Rightarrow {\mathfrak {p}}^{e}$ intersects $A − p {\displaystyle A-{\mathfrak {p}}}$ $A-{\mathfrak {p}}$ , a contradiction. Now, the prime ideals of $B p {\displaystyle B_{\mathfrak {p}}}$ $B_{\mathfrak {p}}$ correspond to those in B that are disjoint from $A − p {\displaystyle A-{\mathfrak {p}}}$ $A-{\mathfrak {p}}$ . Hence, there is a prime ideal $q {\displaystyle {\mathfrak {q}}}$ ${\mathfrak {q}}$ of B, disjoint from $A − p {\displaystyle A-{\mathfrak {p}}}$ $A-{\mathfrak {p}}$ , such that $q B p {\displaystyle {\mathfrak {q}}B_{\mathfrak {p}}}$ ${\mathfrak {q}}B_{\mathfrak {p}}$ is a maximal ideal containing $p e B p {\displaystyle {\mathfrak {p}}^{e}B_{\mathfrak {p}}}$ ${\mathfrak {p}}^{e}B_{\mathfrak {p}}$ . One then checks that $q {\displaystyle {\mathfrak {q}}}$ ${\mathfrak {q}}$ lies over $p {\displaystyle {\mathfrak {p}}}$ ${\mathfrak {p}}$ . The converse is obvious.)

Generalisations

Ideals can be generalised to any monoid object $( R, ⊗) {\displaystyle (R,\otimes)}$ $(R,\otimes)$ , where $R {\displaystyle R}$ $R$ is the object where the monoid structure has been forgotten. A left idealof $R {\displaystyle R}$ $R$ is a subobject $I {\displaystyle I}$ $I$ that "absorbs multiplication from the left by elements of $R {\displaystyle R}$ $R$ "; that is, $I {\displaystyle I}$ $I$ is a left idealif it satisfies the following two conditions:

$I {\displaystyle I}$ $I$ is a subobject of $R {\displaystyle R}$ $R$
For every $r ∈ ( R, ⊗) {\displaystyle r\in (R,\otimes)}$ $r\in (R,\otimes)$ and every $x ∈ ( I, ⊗) {\displaystyle x\in (I,\otimes)}$ $x\in (I,\otimes)$ , the product $r ⊗ x {\displaystyle r\otimes x}$ $r\otimes x$ is in $( I, ⊗) {\displaystyle (I,\otimes)}$ $(I,\otimes)$ .

A right idealis defined with the condition " $r ⊗ x ∈ ( I, ⊗) {\displaystyle r\otimes x\in (I,\otimes)}$ $r\otimes x\in (I,\otimes)$ " replaced by "' $x ⊗ r ∈ ( I, ⊗) {\displaystyle x\otimes r\in (I,\otimes)}$ $x\otimes r\in (I,\otimes)$ ". A two-sided idealis a left ideal that is also a right ideal, and is sometimes simply called an ideal. When $R {\displaystyle R}$ $R$ is a commutative monoid object respectively, the definitions of left, right, and two-sided ideal coincide, and the term idealis used alone.