Кольцо (математика)

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

Формально кольцо — это множество, наделенное двумя бинарными операциями, называемыми сложением и умножением, так что кольцо является абелевой группой относительно оператора сложения, а оператор умножения является ассоциативным , дистрибутивным относительно операции сложения и имеет мультипликативный элемент тождества . (Некоторые авторы определяют кольца, не требуя мультипликативного тождества, и вместо этого называют определенную выше структуру кольцом с тождеством . См. § Вариации определения .)

Является ли кольцо коммутативным, имеет глубокие последствия для его поведения. Коммутативная алгебра , теория коммутативных колец , является основным разделом теории колец . На ее развитие оказали большое влияние проблемы и идеи алгебраической теории чисел и алгебраической геометрии . Простейшими коммутативными кольцами являются те, которые допускают деление на ненулевые элементы; такие кольца называются полями .

Примерами коммутативных колец являются множество целых чисел с их стандартным сложением и умножением, множество многочленов с их сложением и умножением, координатное кольцо аффинного алгебраического многообразия и кольцо целых чисел числового поля. Примерами некоммутативных колец являются кольцо действительных квадратных матриц $n \times n$ с $n$ $\geq 2$ , групповые кольца в теории представлений , операторные алгебры в функциональном анализе , кольца дифференциальных операторов и кольца когомологий в топологии .

Концептуализация колец охватывала период с 1870-х по 1920-е годы, с ключевыми вкладами Дедекинда , Гильберта , Френкеля и Нётер . Кольца были впервые формализованы как обобщение областей Дедекинда , которые встречаются в теории чисел , а также полиномиальных колец и колец инвариантов, которые встречаются в алгебраической геометрии и теории инвариантов . Позднее они оказались полезными в других разделах математики, таких как геометрия и анализ .

Определение

Кольцо — это множество $R,$ снабженное двумя бинарными операциями ^[a] + (сложение) и ⋅ (умножение), удовлетворяющее следующим трем наборам аксиом, называемым аксиомами кольца : ^[1]^[2]^[3]

R является абелевой группой относительно сложения, что означает, что:
- $(a + b) + c = a + (b + c)$ для всех $a, b, c$ в $R$ (то есть + $ассоциативен$ ) .
- $a + b = b + a$ для всех $a, b$ в $R$ (то есть+ $коммутативен$ ) .
- Существует элемент $0$ в $R,$ такой что $a + 0 = a$ для всех $a$ в $R$ (то есть $0$ является аддитивным тождеством ).
- Для каждого $a$ в $R$ существует $- a$ в $R,$ такой что $a + (- a) = 0$ (то есть $- a$ является аддитивным обратным элементом a $)$ .
R является моноидом относительно умножения, что означает, что:
- $(a \cdot b) \cdot c = a \cdot (b \cdot c)$ для всех $a, b, c$ в $R$ (то есть $\cdot$ ассоциативно).
- Существует элемент $1$ в $R,$ такой что $a \cdot 1 = a$ и $1 \cdot a = a$ для всех $a$ в $R$ (то есть $1$ является мультипликативным тождеством ). ^[b]
Умножение является распределительным по отношению к сложению, что означает, что:
- $a \cdot (b + c) = (a \cdot b) + (a \cdot c)$ для всех $a, b, c$ в $R$ (левая дистрибутивность).
- $(b + c) \cdot a = (b \cdot a) + (c \cdot a)$ для всех $a, b, c$ из $R$ (правая дистрибутивность).

В обозначениях символ умножения $\cdot$ часто опускается, в этом случае $a \cdot b$ записывается как $ab$ .

Вариации определения

В терминологии этой статьи кольцо определяется как имеющее мультипликативную идентичность, в то время как структура с тем же аксиоматическим определением, но без требования мультипликативной идентичности, вместо этого называется " rng " (IPA: / r ʊ ŋ / ) с отсутствующим "i". Например, множество четных целых чисел с обычными + и ⋅ является rng, но не кольцом. Как объясняется в § История ниже, многие авторы применяют термин "кольцо", не требуя мультипликативной идентичности.

Хотя сложение колец коммутативно , умножение колец не обязательно должно быть коммутативным: $ab$ не обязательно должно быть равно $ba$ . Кольца, которые также удовлетворяют коммутативности для умножения (например, кольцо целых чисел), называются коммутативными кольцами . В книгах по коммутативной алгебре или алгебраической геометрии часто принимается соглашение, что кольцо означает коммутативное кольцо , для упрощения терминологии.

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

Аддитивная группа кольца — это базовое множество, снабженное только операцией сложения. Хотя определение требует, чтобы аддитивная группа была абелевой, это можно вывести из других аксиом кольца. ^[4] Доказательство использует « $1$ » и не работает в rng. (Для rng исключение аксиомы коммутативности сложения оставляет его выводимым из оставшихся предположений rng только для элементов, которые являются произведениями: $ab + cd = cd + ab$ .)

Некоторые авторы используют термин «кольцо» для обозначения структур, в которых не требуется, чтобы умножение было ассоциативным. ^[5] Для этих авторов каждая алгебра является «кольцом».

Иллюстрация

Целые числа вместе с двумя операциями сложения и умножения образуют типичный пример кольца.

Наиболее известным примером кольца является множество всех целых чисел , состоящее $\mathbb {Z} ,$ из чисел

\dots ,-5,-4,-3,-2,-1,0,1,2,3,4,5,\dots

Аксиомы кольца были разработаны как обобщение известных свойств сложения и умножения целых чисел.

Некоторые свойства

Некоторые основные свойства кольца непосредственно вытекают из аксиом:

Аддитивная идентичность уникальна.
Аддитивная инверсия каждого элемента уникальна.
Мультипликативная идентичность уникальна.
Для любого элемента $x$ в кольце $R$ имеем $x 0 = 0 = 0 x$ (ноль является поглощающим элементом относительно умножения) и $(-1) x = - x$ .
Если $0 = 1$ в кольце $R$ (или, в более общем случае, $0$ является единичным элементом), то $R$ имеет только один элемент и называется нулевым кольцом .
Если кольцо $R$ содержит нулевое кольцо в качестве подкольца, то само $R$ является нулевым кольцом. ^[6]
Биномиальная формула верна для любых $x$ и $y,$ удовлетворяющих условию $xy = yx$ .

Пример: Целые числа по модулю 4

Оснастите набор следующими операциями: $\mathbb {Z} /4\mathbb {Z} =\left\{{\overline {0}},{\overline {1}},{\overline {2}},{\overline {3}}\right\}$

Сумма в ⁠ ⁠ — это остаток от деления целого числа $x$ $+$ $y$ $на 4$ (поскольку $x$ $+$ $y$ всегда меньше $8$ , этот остаток равен либо $x$ $+$ $y$ , либо $x$ $+$ $y$ $- 4$ ). Например, и ${\overline {x}}+{\overline {y}}$ $\mathbb {Z} /4\mathbb {Z}$ ${\overline {2}}+{\overline {3}}={\overline {1}}$ ${\overline {3}}+{\overline {3}}={\overline {2}}.$
Произведение в ⁠ ⁠ является остатком при делении целого числа $xy на$ $4.$ Например, и ${\overline {x}}\cdot {\overline {y}}$ $\mathbb {Z} /4\mathbb {Z}$ ${\overline {2}}\cdot {\overline {3}}={\overline {2}}$ ${\overline {3}}\cdot {\overline {3}}={\overline {1}}.$

Тогда ⁠ ⁠ $\mathbb {Z} /4\mathbb {Z}$ является кольцом: каждая аксиома следует из соответствующей аксиомы для ⁠ ⁠ $\mathbb {Z} .$ Если $x$ — целое число, остаток от $x$ при делении на $4$ можно рассматривать как элемент ⁠ ⁠ $\mathbb {Z} /4\mathbb {Z} ,$ и этот элемент часто обозначается как « $x mod 4$ » или , что согласуется с обозначением для $0, 1, 2, 3.$ Аддитивное обратное к любому из ⁠ ⁠ равно Например, ${\overline {x}},$ ${\overline {x}}$ $\mathbb {Z} /4\mathbb {Z}$ $-{\overline {x}}={\overline {-x}}.$ $-{\overline {3}}={\overline {-3}}={\overline {1}}.$

⁠ ⁠ $\mathbb {Z} /4\mathbb {Z}$ имеет подкольцо ⁠ ⁠ $\mathbb {Z} /2\mathbb {Z}$ , и если является простым, то ⁠ ⁠ не имеет подколец. $p$ $\mathbb {Z} /p\mathbb {Z}$

Пример: матрицы 2х2

Набор квадратных матриц 2х2 с записями в поле $F$ — ^[7]^[8]^[9]^[10]

\operatorname {M} _{2}(F)=\left\{\left.{\begin{pmatrix}a&b\\c&d\end{pmatrix}}\right|\ a,b,c,d\in F\right\}.

С операциями сложения матриц и умножения матриц удовлетворяет вышеуказанным аксиомам кольца. Элемент является мультипликативным тождеством кольца. Если и тогда , пока этот пример показывает, что кольцо некоммутативно. $\operatorname {M} _{2}(F)$ $\left({\begin{smallmatrix}1&0\\0&1\end{smallmatrix}}\right)$ $A=\left({\begin{smallmatrix}0&1\\1&0\end{smallmatrix}}\right)$ $B=\left({\begin{smallmatrix}0&1\\0&0\end{smallmatrix}}\right),$ $AB=\left({\begin{smallmatrix}0&0\\0&1\end{smallmatrix}}\right)$ $BA=\left({\begin{smallmatrix}1&0\\0&0\end{smallmatrix}}\right);$

В более общем смысле, для любого кольца $R$ , коммутативного или нет, и любого неотрицательного целого числа $n$ квадратные матрицы размерности $n$ с элементами из $R$ образуют кольцо; см. Кольцо матриц .

История

Дедекинд

Изучение колец возникло из теории полиномиальных колец и теории целых алгебраических чисел . ^[11] В 1871 году Рихард Дедекинд определил понятие кольца целых чисел числового поля. ^[12] В этом контексте он ввел термины «идеал» (вдохновленный понятием идеального числа Эрнста Куммера ) и «модуль» и изучил их свойства. Дедекинд не использовал термин «кольцо» и не определял понятие кольца в общей постановке.

Гильберт

Термин «Zahlring» (числовое кольцо) был придуман Дэвидом Гильбертом в 1892 году и опубликован в 1897 году. ^[13] В немецком языке 19 века слово «Ring» могло означать «ассоциация», которое до сих пор используется в английском языке в ограниченном смысле (например, spy ring), ^{[ требуется цитата ]} так что если бы это была этимология, то это было бы похоже на то, как «group» вошло в математику, будучи нетехническим словом для «коллекции связанных вещей». По словам Харви Кона, Гильберт использовал этот термин для кольца, которое имело свойство «обратно вращаться» к своему элементу (в смысле эквивалентности ) . ^[14] В частности, в кольце алгебраических целых чисел все высокие степени алгебраического целого числа могут быть записаны как целочисленная комбинация фиксированного набора более низких степеней, и, таким образом, степени «циклически возвращаются». Например, если $a 3 - 4 a + 1 = 0$ , то:

{\begin{aligned}a^{3}&=4a-1,\\a^{4}&=4a^{2}-a,\\a^{5}&=-a^{2}+16a-4,\\a^{6}&=16a^{2}-8a+1,\\a^{7}&=-8a^{2}+65a-16,\\\vdots \ &\qquad \vdots \end{aligned}}

и так далее; в общем случае $a n$ будет целочисленной линейной комбинацией $1$ , $a$ и $a 2$ .

Френкель и Нётер

Первое аксиоматическое определение кольца было дано Адольфом Френкелем в 1915 году, ^[15]^[16] но его аксиомы были строже, чем в современном определении. Например, он требовал, чтобы каждый неделитель нуля имел мультипликативный обратный . ^[17] В 1921 году Эмми Нётер дала современное аксиоматическое определение коммутативных колец (с 1 и без 1) и разработала основы коммутативной теории колец в своей статье Idealtheorie in Ringbereichen . ^[18]

Мультипликативное тождество и термин «кольцо»

Аксиомы Френкеля для «кольца» включали аксиомы мультипликативного тождества ^[19] , тогда как аксиомы Нётер этого не делали. ^[18]

Большинство или все книги по алгебре ^[20]^[21] вплоть до 1960 года следовали соглашению Нётер не требовать $1$ для «кольца». Начиная с 1960-х годов, все чаще можно было увидеть книги, включающие существование $1$ в определение «кольца», особенно в продвинутых книгах известных авторов, таких как Артин, ^[22] Бурбаки, ^[23] Эйзенбуд, ^[24] и Лэнг. ^[3] Также есть книги, опубликованные в конце 2022 года , которые используют этот термин без требования 1. $[$ ^25]^[26]^[27]^[28] Аналогично, Энциклопедия математики не требует единичных элементов в кольцах. ^[29] В исследовательской статье авторы часто указывают, какое определение кольца они используют в начале этой статьи.

Гарднер и Вигандт утверждают, что при работе с несколькими объектами в категории колец (в отличие от работы с фиксированным кольцом), если требуется, чтобы все кольца имели 1 $,$ то некоторые последствия включают отсутствие существования бесконечных прямых сумм колец, и что правильные прямые слагаемые колец не являются подкольцами. Они приходят к выводу, что «во многих, может быть, в большинстве, разделов теории колец требование существования элемента единицы не является разумным и, следовательно, неприемлемым». ^[30] Пунен приводит контраргумент, что естественным понятием для колец было бы прямое произведение, а не прямая сумма. Однако его главный аргумент заключается в том, что кольца без мультипликативного тождества не являются полностью ассоциативными, в том смысле, что они не содержат произведения какой-либо конечной последовательности элементов кольца, включая пустую последовательность. ^[c]^[31]

Авторы, которые следуют одной из конвенций использования термина «кольцо», могут использовать один из следующих терминов для обозначения объектов, удовлетворяющих другой конвенции:

включить требование мультипликативной идентичности: «единичное кольцо», «унитарное кольцо», «единичное кольцо», «кольцо с единицей», «кольцо с идентичностью», «кольцо с единицей» ^[32] или «кольцо с 1». ^[33]
чтобы исключить требование мультипликативной идентичности: «rng» ^[34] или «псевдокольцо» ^[35] , хотя последнее может сбивать с толку, поскольку имеет и другие значения.

Простые примеры

Коммутативные кольца

Типичным примером является кольцо целых чисел с двумя операциями сложения и умножения.
Рациональные, действительные и комплексные числа представляют собой коммутативные кольца типа, называемого полями .
Унитальная ассоциативная алгебра над коммутативным кольцом R сама является кольцом, а также R - модулем . Некоторые примеры:
- Алгебра $R [X]$ многочленов с коэффициентами в $R$ .
- Алгебра формальных степенных рядов с коэффициентами в $R.$ $R[[X_{1},\dots ,X_{n}]]$
- Множество всех непрерывных вещественных функций, определенных на вещественной прямой, образует коммутативную ⁠ ⁠ $\mathbb {R}$ -алгебру. Операции — поточечное сложение и умножение функций.
- Пусть $X$ — множество, а $R$ — кольцо. Тогда множество всех функций из $X$ в $R$ образует кольцо, которое коммутативно, если $R$ коммутативно.
Кольцо целых квадратичных чисел , целое замыкание ⁠ ⁠ $\mathbb {Z}$ в квадратичном расширении ⁠ ⁠ $\mathbb {Q} .$ Это подкольцо кольца всех целых алгебраических чисел .
Кольцо проконечных целых чисел ⁠ ⁠ ${\widehat {\mathbb {Z} }},$ (бесконечное) произведение колец $p$ -адических целых чисел ⁠ ⁠ $\mathbb {Z} _{p}$ по всем простым числам $p$ .
Кольцо Гекке — кольцо, порожденное операторами Гекке.
Если $S$ — множество, то множество мощности S $становится$ кольцом, если мы определим сложение как симметричную разность множеств, а умножение — как пересечение . Это пример булевого кольца .

Некоммутативные кольца

Для любого кольца $R$ и любого натурального числа $n$ множество всех квадратных матриц $n$ на $n$ с элементами из $R$ образует кольцо с операциями сложения матриц и умножения матриц. При $n$ $= 1$ это кольцо матриц изоморфно самому $R.$ При $n$ $> 1$ (и $R$ не является нулевым кольцом) это кольцо матриц некоммутативно.
Если $G$ — абелева группа , то эндоморфизмы G образуют кольцо, кольцо эндоморфизмов $End($ $G$ $)$ группы $G$ . Операции в этом кольце — сложение и композиция эндоморфизмов. В более общем случае, если $V$ — левый модуль над кольцом $R$ , то множество всех $R$ $-линейных$ отображений образует кольцо, также называемое кольцом эндоморфизмов и обозначаемое $End$ $R$ $($ $V$ $)$ .
Кольцо эндоморфизмов эллиптической кривой . Это коммутативное кольцо, если эллиптическая кривая определена над полем нулевой характеристики.
Если $G$ — группа , а $R$ — кольцо, то групповое кольцо G над $R$ является свободным модулем над $R,$ имеющим в качестве базиса $G.$ Умножение определяется правилами, согласно которым элементы G $коммутируют$ с элементами $R и умножаются вместе$ $,$ как они это делают в группе $G.$
Кольцо дифференциальных операторов (в зависимости от контекста). Фактически, многие кольца, которые появляются в анализе, некоммутативны. Например, большинство банаховых алгебр некоммутативны.

Не кольца

Множество натуральных чисел ⁠ ⁠ $\mathbb {N}$ с обычными операциями не является кольцом, поскольку ⁠ ⁠ $(\mathbb {N} ,+)$ даже не является группой (не все элементы обратимы относительно сложения — например, не существует натурального числа, которое можно прибавить к $3,$ чтобы получить в результате $0$ ). Существует естественный способ расширить его до кольца, включив отрицательные числа, чтобы получить кольцо целых чисел ⁠ ⁠ $\mathbb {Z} .$ Натуральные числа (включая $0$ ) образуют алгебраическую структуру, известную как полукольцо (которое имеет все аксиомы кольца, за исключением аксиомы аддитивного обратного кольца).
Пусть $R$ — множество всех непрерывных функций на действительной прямой, которые обращаются в нуль вне ограниченного интервала, зависящего от функции, с обычным сложением, но с умножением, определенным как свертка : Тогда $R$ — это rng, но не кольцо: дельта-функция Дирака обладает свойством мультипликативного тождества, но она не является функцией и, следовательно, не является элементом $R.$ $(f*g)(x)=\int _{-\infty }^{\infty }f(y)g(x-y)\,dy.$

Основные понятия

Продукция и мощности

Для каждого неотрицательного целого числа $n$ , заданного последовательностью из $n$ элементов $R$ , можно рекурсивно определить произведение : пусть $P$ $0$ $= 1$ и пусть $P$ $m$ $=$ $P$ $m$ $-1$ $a$ $m$ для $1 \leq$ $m$ $\leq$ $n$ . $(a_{1},\dots ,a_{n})$ $P_{n}=\prod _{i=1}^{n}a_{i}$

$В качестве$ частного случая можно определить неотрицательные целые степени элемента $a$ кольца: $a 0$ $=$ $1$ и $an = an -1 a$ для $n \geq 1.$ Тогда $a m + n = a m a n$ для всех $m, n \geq 0$ .

Элементы в кольце

Левый делитель нуля кольца $R$ — это элемент $a$ в кольце, такой что существует ненулевой элемент $b$ кольца $R$ , такой что $ab = 0.$ [ ^d] Правый делитель нуля определяется аналогично.

Нильпотентный элемент — это элемент $a$ такой, что $a n = 0$ для некоторого $n > 0.$ Примером нильпотентного элемента является нильпотентная матрица . Нильпотентный элемент в ненулевом кольце обязательно является делителем нуля.

Идемпотент — это элемент, такой что e $2$ $=$ $e$ $.$ Одним из примеров идемпотентного элемента является проекция в линейной алгебре. $e$

Единица — это элемент a $,$ имеющий мультипликативную обратную ; в этом случае обратная является единственной и обозначается как $a -1$ . Множество единиц кольца является группой относительно кольцевого умножения; эта группа обозначается как $R \times$ или $R *$ или $U (R)$ . Например, если $R$ — кольцо всех квадратных матриц размера $n$ над полем, то $R \times$ состоит из множества всех обратимых матриц размера $n$ и называется общей линейной группой .

Подкольцо

Подмножество $S$ кольца $R$ называется подкольцом, если выполняется хотя бы одно из следующих эквивалентных условий:

сложение и умножение $R$ ограничиваются операциями $S \times S \to S,$ что делает $S$ кольцом с тем же мультипликативным тождеством, что и $R.$
$1 \in S$ ; и для всех $x, y$ из $S$ элементы $xy$ , $x + y$ и $-x$ принадлежат $S$ .
$S$ можно снабдить операциями, превращающими его в кольцо, такими, что отображение включения $S \to R$ является кольцевым гомоморфизмом.

Например, кольцо ⁠ ⁠ $\mathbb {Z}$ целых чисел является подкольцом поля действительных чисел, а также подкольцом кольца многочленов ⁠ ⁠ $\mathbb {Z} [X]$ (в обоих случаях ⁠ ⁠ $\mathbb {Z}$ содержит 1, что является мультипликативным тождеством больших колец). С другой стороны, подмножество четных целых чисел ⁠ ⁠ $2\mathbb {Z}$ не содержит единичного элемента $1$ и, таким образом, не может считаться подкольцом ⁠ ⁠ , однако $\mathbb {Z} ;$ его можно было бы назвать ⁠ ⁠ $2\mathbb {Z}$ подкольцом .

Пересечение подколец является подкольцом. Для данного подмножества $E$ кольца $R$ наименьшее подкольцо кольца $R$ , содержащее $E,$ является пересечением всех подколец кольца $R,$ содержащих $E$ , и оно называется подкольцом, порожденным $E.$

Для кольца $R$ наименьшее подкольцо $R$ называется характеристическим подкольцом R. Оно может быть получено путем сложения копий $1$ и $-1$ . Возможно, что $n$ $\cdot 1 = 1 + 1 + ... + 1$ ( $n$ раз) может быть равно нулю. Если $n$ $—$ наименьшее положительное целое число, такое, что это происходит, то $n$ называется характеристикой R. В некоторых кольцах $n$ $\cdot 1 никогда не равно нулю$ $ни$ для какого положительного целого числа $n$ , и такие кольца называются кольцами с нулевой характеристикой .

Для данного кольца $R$ пусть $Z(R)$ обозначает множество всех элементов $x$ в $R$ таких, что $x$ коммутирует с каждым элементом в $R$ : $xy = yx$ для любого $y$ в $R$ . Тогда $Z(R)$ является подкольцом $R$ , называемым центром $R$ . В более общем случае, для данного подмножества $X$ из $R$ пусть $S$ будет множеством всех элементов в $R$ , которые коммутируют с каждым элементом из $X$ . Тогда $S$ является подкольцом $R$ , называемым централизатором (или коммутантом) $X$ . Центр является централизатором всего кольца $R$ . Элементы или подмножества центра называются центральными в $R$ ; они (каждый по отдельности) порождают подкольцо центра.

Идеал

Пусть $R$ — кольцо. Левый идеал кольца $R$ — это непустое подмножество $I$ кольца $R$ , такое, что для любых $x, y$ из $I$ и $r$ из $R$ элементы $x + y$ и $rx$ принадлежат $I.$ Если $RI$ обозначает $R$ -оболочку кольца $I$ , то есть множество конечных сумм

r_{1}x_{1}+\cdots +r_{n}x_{n}\quad {\textrm {such}}\;{\textrm {that}}\;r_{i}\in R\;{\textrm {and}}\;x_{i}\in I,

то $I$ является левым идеалом, если $RI \subseteq I$ . Аналогично, правый идеал — это подмножество $I$ такое, что $IR \subseteq I$ . Подмножество $I$ называется двусторонним идеалом или просто идеалом , если оно является как левым идеалом, так и правым идеалом. Односторонний или двусторонний идеал является тогда аддитивной подгруппой $R$ . Если $E$ является подмножеством $R$ , то $RE$ является левым идеалом, называемым левым идеалом, порожденным $E$ ; это наименьший левый идеал, содержащий $E$ . Аналогично, можно рассмотреть правый идеал или двусторонний идеал, порожденный подмножеством $R$ .

Если $x$ принадлежит $R$ , то $Rx$ и $xR$ являются левыми и правыми идеалами соответственно; они называются главными левыми и правыми идеалами, порожденными $x$ . Главный идеал $RxR$ записывается как $(x)$ . Например, множество всех положительных и отрицательных кратных $2$ вместе с $0$ образуют идеал целых чисел, и этот идеал порождается целым числом $2.$ Фактически, каждый идеал кольца целых чисел является главным.

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

Кольца часто изучаются со специальными условиями, накладываемыми на их идеалы. Например, кольцо, в котором нет строго возрастающей бесконечной цепочки левых идеалов, называется левым нётеровым кольцом . Кольцо, в котором нет строго убывающей бесконечной цепочки левых идеалов, называется левым артиновым кольцом . Несколько удивительным фактом является то, что левое артиново кольцо является левым нётеровым ( теорема Хопкинса–Левицки ). Целые числа, однако, образуют нётерово кольцо, которое не является артиновым.

Для коммутативных колец идеалы обобщают классическое понятие делимости и разложения целого числа на простые числа в алгебре. Собственный идеал $P$ кольца $R$ называется простым идеалом, если для любых элементов, которые имеют, влечет либо либо Эквивалентно, $P$ является простым, если для любых идеалов $I$ , $J$ имеем, что $IJ$ $\subseteq$ $P$ влечет либо $I$ $\subseteq$ $P$ , либо $J$ $\subseteq$ $P$ . Эта последняя формулировка иллюстрирует идею идеалов как обобщений элементов. $x,y\in R$ $xy\in P$ $x\in P$ $y\in P.$

Гомоморфизм

Гомоморфизм из кольца $($ R $, +,$ $\cdot$ $)$ в кольцо $($ $S$ $, ‡, *)$ — это функция $f$ из $R$ в $S ,$ $которая$ сохраняет кольцевые операции; а именно, такая, что для всех $a$ , $b$ из $R$ выполняются следующие тождества:

{\begin{aligned}&f(a+b)=f(a)\ddagger f(b)\\&f(a\cdot b)=f(a)*f(b)\\&f(1_{R})=1_{S}\end{aligned}}

Если работаешь с ГСЧ, то третье условие отбрасывается.

Гомоморфизм колец $f$ называется изоморфизмом, если существует обратный гомоморфизм к $f$ (то есть кольцевой гомоморфизм, являющийся обратной функцией ), или, что эквивалентно, если он является биекцией .

Примеры:

Функция, которая отображает каждое целое число $x$ в его остаток по модулю $4$ (число из ${0, 1, 2, 3}$ ), является гомоморфизмом из кольца ⁠ ⁠ $\mathbb {Z}$ в фактор-кольцо ⁠ ⁠ $\mathbb {Z} /4\mathbb {Z}$ («фактор-кольцо» определено ниже).
Если $u$ — единичный элемент в кольце $R$ , то — кольцевой гомоморфизм, называемый внутренним автоморфизмом кольца $R.$ $R\to R,x\mapsto uxu^{-1}$
Пусть $R$ — коммутативное кольцо простой характеристики $p$ . Тогда $x \mapsto x p$ — кольцевой эндоморфизм кольца $R,$ называемый гомоморфизмом Фробениуса .
Группа Галуа расширения поля $L / K$ — это множество всех автоморфизмов $L$ , ограничения которых на $K$ являются тождественными.
Для любого кольца $R$ существует единственный гомоморфизм колец ⁠ ⁠ и $\mathbb {Z} \mapsto R$ единственный гомоморфизм колец $R \to 0$ .
Эпиморфизм ( то есть, правосократимый морфизм) колец не обязательно должен быть сюръективным. Например, уникальное отображение ⁠ ⁠ $\mathbb {Z} \to \mathbb {Q}$ является эпиморфизмом.
Гомоморфизм алгебры из $k$ -алгебры в алгебру эндоморфизмов векторного пространства над $k$ называется представлением алгебры .

При заданном гомоморфизме колец $f : R \to S$ множество всех элементов, отображаемых в 0 посредством $f,$ называется ядром f . Ядро является двусторонним идеалом $R$ . Образ $f$ $,$ с другой стороны, не всегда является идеалом, но всегда является подкольцом $S$ .

Дать кольцевой гомоморфизм из коммутативного кольца $R$ в кольцо $A$ с образом, содержащимся в центре $A,$ — это то же самое, что дать структуру алгебры над R $кольцу$ A $($ что, в частности, дает структуру $A$ -модуля).

Кольцо-частное

Понятие фактор-кольца аналогично понятию фактор-группы . Если задано кольцо $(R, +, \cdot)$ и двусторонний идеал $I$ кольца $(R, +, \cdot)$ , рассмотрим $I$ как подгруппу $(R, +)$ ; тогда фактор-кольцо $R / I$ — это множество смежных классов $I$ вместе с операциями

{\begin{aligned}&(a+I)+(b+I)=(a+b)+I,\\&(a+I)(b+I)=(ab)+I.\end{aligned}}

для всех $a, b$ из $R.$ Кольцо $R / I$ также называется фактор-кольцом .

Как и в случае фактор-группы, существует канонический гомоморфизм $p : R \to R / I$ , заданный формулой $x \mapsto x + I.$ Он сюръективен и удовлетворяет следующему универсальному свойству:

Если $f : R \to S$ — кольцевой гомоморфизм, такой что $f (I) = 0$ , то существует единственный гомоморфизм, такой что ${\overline {f}}:R/I\to S$ $f={\overline {f}}\circ p.$

Для любого кольцевого гомоморфизма $f : R \to S$ применение универсального свойства с $I = ker f$ создает гомоморфизм , который дает изоморфизм из $R$ $/ ker$ $f$ в образ $f$ . ${\overline {f}}:R/\ker f\to S$

Модуль

Концепция модуля над кольцом обобщает концепцию векторного пространства (над полем ) путем обобщения умножения векторов на элементы поля ( скалярное умножение ) на умножение на элементы кольца. Точнее, для данного кольца $R$ $R$ -модуль $M$ является абелевой группой, снабженной операцией $R \times M \to M$ (сопоставляющей элемент $M$ каждой паре элемента $R$ и элемента $M$ ), которая удовлетворяет определенным аксиомам . Эта операция обычно обозначается сопоставлением и называется умножением. Аксиомы модулей следующие: для всех $a$ , $b$ в $R$ и всех $x$ , $y$ в $M$ ,

M

— абелева группа относительно сложения.

{\begin{aligned}&a(x+y)=ax+ay\\&(a+b)x=ax+bx\\&1x=x\\&(ab)x=a(bx)\end{aligned}}

Когда кольцо некоммутативно , эти аксиомы определяют левые модули ; правые модули определяются аналогично, записывая $xa$ вместо $ax$ . Это не только изменение обозначений, так как последняя аксиома правых модулей (то есть $x (ab) = (xa) b$ ) становится $(ab) x = b (ax)$ , если для правого модуля используется левое умножение (на элементы кольца).

Простейшими примерами модулей являются идеалы, включая само кольцо.

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

Из аксиом модулей следует, что $(-1) x = - x$ , где первый минус обозначает аддитивную инверсию в кольце, а второй минус — аддитивную инверсию в модуле. Использование этого и обозначение повторного сложения умножением на положительное целое число позволяет отождествлять абелевы группы с модулями над кольцом целых чисел.

Любой гомоморфизм колец индуцирует структуру модуля: если $f : R \to S$ — гомоморфизм колец, то $S —$ $левый$ модуль над $R$ посредством умножения: $rs = f (r) s$ . Если $R$ коммутативно или $f (R)$ содержится в центре S , кольцо $S$ называется $R$ - алгеброй . В частности, каждое кольцо является алгеброй над целыми числами.

Конструкции

Прямой продукт

Пусть $R$ и $S$ — кольца. Тогда произведение $R \times S$ можно снабдить следующей естественной кольцевой структурой:

{\begin{aligned}&(r_{1},s_{1})+(r_{2},s_{2})=(r_{1}+r_{2},s_{1}+s_{2})\\&(r_{1},s_{1})\cdot (r_{2},s_{2})=(r_{1}\cdot r_{2},s_{1}\cdot s_{2})\end{aligned}}

для всех $r 1, r 2$ из $R$ и $s 1, s 2$ из $S$ . Кольцо $R \times S$ с указанными выше операциями сложения и умножения и мультипликативным тождеством $(1, 1)$ называется прямым произведением R на $S$ . Та же конструкция работает и для произвольного семейства колец: если $R$ $i$ $—$ кольца, индексированные множеством $I$ , то — кольцо с покомпонентным сложением и умножением. ${\textstyle \prod _{i\in I}R_{i}}$

Пусть $R$ — коммутативное кольцо и — идеалы такие, что всякий раз, когда $i$ $\neq$ $j$ , то китайская теорема об остатках утверждает, что существует канонический изоморфизм колец: ${\mathfrak {a}}_{1},\cdots ,{\mathfrak {a}}_{n}$ ${\mathfrak {a}}_{i}+{\mathfrak {a}}_{j}=(1)$ $R/{\textstyle \bigcap _{i=1}^{n}{{\mathfrak {a}}_{i}}}\simeq \prod _{i=1}^{n}{R/{\mathfrak {a}}_{i}},\qquad x{\bmod {\textstyle \bigcap _{i=1}^{n}{\mathfrak {a}}_{i}}}\mapsto (x{\bmod {\mathfrak {a}}}_{1},\ldots ,x{\bmod {\mathfrak {a}}}_{n}).$

«Конечное» прямое произведение также можно рассматривать как прямую сумму идеалов. ^[36] А именно, пусть — кольца, включения с образами (в частности, являются кольцами, хотя и не подкольцами). Тогда — идеалы $R$ и как прямая сумма абелевых групп (потому что для абелевых групп конечные произведения совпадают с прямыми суммами). Очевидно, что прямая сумма таких идеалов также определяет произведение колец, которое изоморфно $R$ . Эквивалентно, вышесказанное можно сделать через центральные идемпотенты . Предположим, что $R$ имеет указанное выше разложение. Тогда мы можем записать По условиям на имеем, что $e$ $i$ являются центральными идемпотентами и $e$ $i$ $e$ $j$ $= 0$ , $i$ $\neq$ $j$ (ортогонально). Опять же, можно обратить конструкцию. А именно, если дано разбиение 1 на ортогональные центральные идемпотенты, то пусть которые являются двусторонними идеалами. Если каждый $e$ $i$ не является суммой ортогональных центральных идемпотентов, ^[e], то их прямая сумма изоморфна $R$ . $R_{i},1\leq i\leq n$ ${\textstyle R_{i}\to R=\prod R_{i}}$ ${\mathfrak {a}}_{i}$ ${\mathfrak {a}}_{i}$ ${\mathfrak {a}}_{i}$ $R={\mathfrak {a}}_{1}\oplus \cdots \oplus {\mathfrak {a}}_{n},\quad {\mathfrak {a}}_{i}{\mathfrak {a}}_{j}=0,i\neq j,\quad {\mathfrak {a}}_{i}^{2}\subseteq {\mathfrak {a}}_{i}$ $1=e_{1}+\cdots +e_{n},\quad e_{i}\in {\mathfrak {a}}_{i}.$ ${\mathfrak {a}}_{i},$ ${\mathfrak {a}}_{i}=Re_{i},$

Важным применением бесконечного прямого произведения является построение проективного предела колец (см. ниже). Другое применение — ограниченное произведение семейства колец (ср. кольцо аделя ).

Кольцо полиномов

Если задан символ $t$ (называемый переменной) и коммутативное кольцо $R$ , то множество многочленов

R[t]=\left\{a_{n}t^{n}+a_{n-1}t^{n-1}+\dots +a_{1}t+a_{0}\mid n\geq 0,a_{j}\in R\right\}

образует коммутативное кольцо с обычным сложением и умножением, содержащее $R$ как подкольцо. Оно называется кольцом многочленов над $R.$ В более общем смысле множество всех многочленов от переменных образует коммутативное кольцо, содержащее как подкольцо. $R\left[t_{1},\ldots ,t_{n}\right]$ $t_{1},\ldots ,t_{n}$ $R\left[t_{i}\right]$

Если $R$ — область целостности , то $R [t]$ также является областью целостности; ее поле дробей — поле рациональных функций . Если $R$ — нётерово кольцо, то $R [t]$ — нётерово кольцо. Если $R$ — область однозначной факторизации, то $R [t]$ — область однозначной факторизации. Наконец, $R$ является полем тогда и только тогда, когда $R [t]$ — область главных идеалов.

Пусть — коммутативные кольца. Для элемента $x$ из $S$ можно рассмотреть гомоморфизм колец $R\subseteq S$

R[t]\to S,\quad f\mapsto f(x)

(то есть подстановка ). Если $S = R [t]$ и $x = t$ , то $f (t) = f$ . Из-за этого многочлен $f$ часто также обозначается как $f (t)$ . Образ отображения ⁠ ⁠ $f\mapsto f(x)$ обозначается как $R [x]$ ; это то же самое, что и подкольцо $S,$ порожденное $R$ и $x$ .

Пример: обозначает образ гомоморфизма $k\left[t^{2},t^{3}\right]$

k[x,y]\to k[t],\,f\mapsto f\left(t^{2},t^{3}\right).

Другими словами, это подалгебра $k [t],$ порожденная $t 2$ и $t 3$ .

Пример: пусть $f$ — многочлен от одной переменной, то есть элемент в кольце многочленов $R.$ Тогда $f (x + h)$ — элемент в $R [h]$ и $f (x + h) - f (x)$ делится на $h$ в этом кольце. Результатом подстановки нуля вместо $h$ в $(f (x + h) - f (x)) / h$ является $f' (x)$ , производная $f$ по $x$ .

Подстановка является частным случаем универсального свойства полиномиального кольца. Свойство гласит: для заданного кольцевого гомоморфизма и элемента $x$ из $S$ существует единственный кольцевой гомоморфизм такой, что и ограничивается до $ϕ$ . ^[37] Например, выбирая базис, симметричная алгебра удовлетворяет универсальному свойству и, следовательно, является полиномиальным кольцом. $\phi :R\to S$ ${\overline {\phi }}:R[t]\to S$ ${\overline {\phi }}(t)=x$ ${\overline {\phi }}$

Чтобы привести пример, пусть $S$ будет кольцом всех функций из $R$ в себя; сложение и умножение являются таковыми функций. Пусть $x$ будет тождественной функцией. Каждое $r$ в $R$ определяет постоянную функцию, порождая гомоморфизм $R \to S.$ Универсальное свойство гласит, что это отображение продолжается единственным образом на

R[t]\to S,\quad f\mapsto {\overline {f}}

( $t$ отображается в $x$ ) где — полиномиальная функция, определяемая $f$ . Полученное отображение является инъективным тогда и только тогда, когда $R$ бесконечно. ${\overline {f}}$

Для данного непостоянного монического многочлена $f$ в $R [t]$ существует кольцо $S,$ содержащее $R,$ такое, что $f$ является произведением линейных множителей в $S [t]$ . ^[38]

Пусть $k$ — алгебраически замкнутое поле. Теорема Гильберта о нулях (Nullstellensatz) утверждает, что существует естественное взаимно-однозначное соответствие между множеством всех простых идеалов в и множеством замкнутых подмногообразий $k$ $n$ . В частности, многие локальные проблемы алгебраической геометрии могут быть решены путем изучения образующих идеала в кольце многочленов. (ср. Базис Грёбнера .) $k\left[t_{1},\ldots ,t_{n}\right]$

Есть и другие родственные конструкции. Кольцо формального степенного ряда состоит из формального степенного ряда $R[\![t]\!]$

\sum _{0}^{\infty }a_{i}t^{i},\quad a_{i}\in R

вместе с умножением и сложением, которые имитируют таковые для сходящихся рядов. Он содержит $R [t]$ как подкольцо. Формальное кольцо степенных рядов не обладает универсальным свойством кольца многочленов; ряд может не сходиться после подстановки. Важное преимущество формального кольца степенных рядов над кольцом многочленов состоит в том, что оно локально (фактически, полно ).

Матричное кольцо и кольцо эндоморфизмов

Пусть $R$ — кольцо (не обязательно коммутативное). Множество всех квадратных матриц размера $n$ с элементами из $R$ образует кольцо с поэлементным сложением и обычным матричным умножением. Оно называется матричным кольцом и обозначается как $M n (R)$ . Если задан правый $R$ -модуль $U$ , множество всех $R$ -линейных отображений из $U$ в себя образует кольцо со сложением, которое является кольцом функций, и умножением, которое является кольцом композиции функций ; оно называется кольцом эндоморфизмов $U$ и обозначается как $End R (U)$ .

Как и в линейной алгебре, кольцо матриц можно канонически интерпретировать как кольцо эндоморфизмов: Это частный случай следующего факта: если — R $-$ линейное отображение, то $f$ можно записать в виде матрицы с элементами $f$ $ij$ в $S$ $= End$ $R$ $($ $U$ $)$ , что приводит к изоморфизму колец: $\operatorname {End} _{R}(R^{n})\simeq \operatorname {M} _{n}(R).$ $f:\oplus _{1}^{n}U\to \oplus _{1}^{n}U$

\operatorname {End} _{R}(\oplus _{1}^{n}U)\to \operatorname {M} _{n}(S),\quad f\mapsto (f_{ij}).

Любой гомоморфизм колец $R \to S$ индуцирует $M n (R) \to M n (S)$ . ^[39]

Лемма Шура утверждает, что если $U$ — простой правый $R$ -модуль, то $End R (U)$ — тело. ^[40] Если — прямая сумма $m$ $i$ -копий простых $R$ -модулей , то $U=\bigoplus _{i=1}^{r}U_{i}^{\oplus m_{i}}$ $U_{i},$

\operatorname {End} _{R}(U)\simeq \prod _{i=1}^{r}\operatorname {M} _{m_{i}}(\operatorname {End} _{R}(U_{i})).

Теорема Артина –Веддерберна утверждает, что любое полупростое кольцо (см. ниже) имеет такой вид.

Кольцо $R$ и матричное кольцо $M n (R)$ над ним эквивалентны по Морите : категория правых модулей кольца $R$ эквивалентна категории правых модулей над кольцом $M n (R)$ . ^[39] В частности, двусторонние идеалы кольца $R$ взаимно однозначно соответствуют двусторонним идеалам кольца $M n (R)$ .

Пределы и копределы колец

Пусть $R i$ — последовательность колец, такая, что $R i$ является подкольцом $R i + 1$ для всех $i$ . Тогда объединение (или фильтрованный копредел ) $R i$ — это кольцо, определяемое следующим образом: оно является несвязным объединением всех $R$ $i$ по модулю отношения эквивалентности $x$ $~$ $y$ тогда и только тогда, когда $x$ $=$ $y$ в $R$ $i$ для достаточно больших $i$ . $\varinjlim R_{i}$

Примеры копределов:

Кольцо многочленов от бесконечного числа переменных: $R[t_{1},t_{2},\cdots ]=\varinjlim R[t_{1},t_{2},\cdots ,t_{m}].$
Алгебраическое замыкание конечных полей одинаковой характеристики ${\overline {\mathbf {F} }}_{p}=\varinjlim \mathbf {F} _{p^{m}}.$
Поле формальных рядов Лорана над полем $k$ : (это поле дробей кольца формальных степенных рядов ) $k(\!(t)\!)=\varinjlim t^{-m}k[\![t]\!]$ $k[\![t]\!].$
Поле функций алгебраического многообразия над полем $k$ — это поле, в котором предел пробегает все координатные кольца $k$ $[$ $U$ $]$ непустых открытых подмножеств $U$ (более кратко это стебель структурного пучка в общей точке ). $\varinjlim k[U]$

Любое коммутативное кольцо является копределом конечно порождённых подколец .

Проективный предел (или фильтрованный предел ) колец определяется следующим образом. Предположим, что нам дано семейство колец $R i$ , $i ,$ пробегающее, скажем, положительные целые числа, и кольцевые гомоморфизмы $R j \to R i$ , $j \geq i$ такие, что $R i \to R i$ являются всеми тождествами, а $R k \to R j \to R i$ является $R k \to R i$ всякий раз, когда $k \geq j \geq i$ . Тогда есть подкольцо , состоящее из $($ $x$ $n$ $)$ такое, что $x$ $j$ отображается в $x$ $i$ при $R$ $j$ $\to$ $R$ $i$ , $j$ $\geq$ $i$ . $\varprojlim R_{i}$ $\textstyle \prod R_{i}$

Пример проективного предела см. в § Завершение .

Локализация

Локализация обобщает конструкцию поля дробей целостной области на произвольное кольцо и модули. Для данного (не обязательно коммутативного) кольца $R$ и подмножества $S$ из $R$ существует кольцо вместе с кольцевым гомоморфизмом , который «инвертирует» $S$ ; то есть гомоморфизм отображает элементы из $S в$ единичные элементы в и, более того, любой кольцевой гомоморфизм из $R$ $,$ который «инвертирует» $S,$ однозначно пропускается через ^[41] Кольцо называется локализацией R относительно $S$ . Например, если $R$ — коммутативное кольцо, а $f$ — элемент из $R$ , то локализация состоит из элементов вида (точнее, ) ^[42] $R[S^{-1}]$ $R\to R\left[S^{-1}\right]$ $R\left[S^{-1}\right],$ $R\left[S^{-1}\right].$ $R\left[S^{-1}\right]$ $R\left[f^{-1}\right]$ $r/f^{n},\,r\in R,\,n\geq 0$ $R\left[f^{-1}\right]=R[t]/(tf-1).$

Локализация часто применяется к коммутативному кольцу $R$ относительно дополнения простого идеала (или объединения простых идеалов) в $R$ . В этом случае часто пишут для тогда это локальное кольцо с максимальным идеалом Это причина терминологии «локализация». Поле дробей области целостности $R$ является локализацией $R$ в простом идеале ноль. Если это простой идеал коммутативного кольца $R$ , то поле дробей совпадает с полем вычетов локального кольца и обозначается как $S=R-{\mathfrak {p}},$ $R_{\mathfrak {p}}$ $R\left[S^{-1}\right].$ $R_{\mathfrak {p}}$ ${\mathfrak {p}}R_{\mathfrak {p}}.$ ${\mathfrak {p}}$ $R/{\mathfrak {p}}$ $R_{\mathfrak {p}}$ $k({\mathfrak {p}}).$

Если $M$ — левый $R$ -модуль, то локализация $M$ относительно $S$ задается заменой колец $M\left[S^{-1}\right]=R\left[S^{-1}\right]\otimes _{R}M.$

Наиболее важными свойствами локализации являются следующие: когда $R$ — коммутативное кольцо, а $S —$ мультипликативно замкнутое подмножество

${\mathfrak {p}}\mapsto {\mathfrak {p}}\left[S^{-1}\right]$ является биекцией между множеством всех простых идеалов в $R,$ не пересекающихся с $S,$ и множеством всех простых идеалов в ^[43] $R\left[S^{-1}\right].$
$R\left[S^{-1}\right]=\varinjlim R\left[f^{-1}\right],$ $f$ пробегает элементы в $S$ с частичным порядком, заданным делимостью. ^[44]
Локализация точна: точна над всякий раз, когда точна над $R$ . $0\to M'\left[S^{-1}\right]\to M\left[S^{-1}\right]\to M''\left[S^{-1}\right]\to 0$ $R\left[S^{-1}\right]$ $0\to M'\to M\to M''\to 0$
Наоборот, если является точным для любого максимального идеала , то является точным. $0\to M'_{\mathfrak {m}}\to M_{\mathfrak {m}}\to M''_{\mathfrak {m}}\to 0$ ${\mathfrak {m}},$ $0\to M'\to M\to M''\to 0$
Замечание: локализация не помогает в доказательстве глобального существования. Одним из примеров этого является то, что если два модуля изоморфны по всем простым идеалам, то из этого не следует, что они изоморфны. (Один из способов объяснить это состоит в том, что локализация позволяет рассматривать модуль как пучок над простыми идеалами, а пучок по своей сути является локальным понятием.)

В теории категорий локализация категории сводится к превращению некоторых морфизмов в изоморфизмы. Элемент в коммутативном кольце $R$ можно рассматривать как эндоморфизм любого $R$ -модуля. Таким образом, категорически локализация $R$ относительно подмножества $S$ из $R$ является функтором из категории $R$ -модулей в себя, который переводит элементы $S$ , рассматриваемые как эндоморфизмы, в автоморфизмы и является универсальной относительно этого свойства. (Разумеется, $R$ тогда отображается в , а $R$ -модули отображаются в -модули.) $R\left[S^{-1}\right]$ $R\left[S^{-1}\right]$

Завершение

Пусть $R$ — коммутативное кольцо, и пусть $I — идеал кольца R. Пополнение кольца R в точке I — проективный предел, оно является коммутативным кольцом. Канонические гомоморфизмы из R$ $в$ факторы $индуцируют$ гомоморфизм Последний гомоморфизм инъективен $,$ если R $—$ нётерова область целостности $,$ а $I$ — собственный идеал, или если $R$ — нётерово локальное кольцо с максимальным идеалом $I$ , по теореме Крулля о пересечении . ^[45] Эта конструкция особенно полезна, когда $I$ — максимальный идеал. ${\hat {R}}=\varprojlim R/I^{n};$ $R/I^{n}$ $R\to {\hat {R}}.$

Базовым примером является пополнение ⁠ ⁠ $\mathbb {Z}$ в главном идеале $(p),$ порожденном простым числом $p$ ; оно называется кольцом $p$ -адических целых чисел и обозначается ⁠ ⁠ $\mathbb {Z} _{p}.$ Пополнение в этом случае может быть построено также из $p$ -адического абсолютного значения на ⁠ ⁠ $\mathbb {Q} .$ P $-адическое$ абсолютное значение на ⁠ ⁠ $\mathbb {Q}$ является отображением из ⁠ ⁠ в ⁠ ⁠ , заданным как , где обозначает показатель степени $p$ в разложении на простые множители ненулевого целого числа $n$ на простые числа (мы также ставим и ). Оно определяет функцию расстояния на ⁠ ⁠ и пополнение ⁠ ⁠ как метрического пространства обозначается ⁠ ⁠ Это снова поле, поскольку полевые операции распространяются на пополнение. Подкольцо ⁠ ⁠, состоящее из элементов $x$ с $|$ $x$ $|$ $p$ $\leq 1$ изоморфно ⁠ ⁠ $x\mapsto |x|$ $\mathbb {Q}$ $\mathbb {R}$ $|n|_{p}=p^{-v_{p}(n)}$ $v_{p}(n)$ $|0|_{p}=0$ $|m/n|_{p}=|m|_{p}/|n|_{p}$ $\mathbb {Q}$ $\mathbb {Q}$ $\mathbb {Q} _{p}.$ $\mathbb {Q} _{p}$ $\mathbb {Z} _{p}.$

Аналогично, формальное кольцо степенных рядов $R [{[t]}]$ является пополнением $R [t]$ в точке $(t)$ (см. также лемму Гензеля )

Полное кольцо имеет гораздо более простую структуру, чем коммутативное кольцо. Это связано со структурной теоремой Коэна , которая, грубо говоря, гласит, что полное локальное кольцо имеет тенденцию выглядеть как формальное кольцо степенного ряда или его фактор. С другой стороны, взаимодействие между целочисленным замыканием и завершением было одним из важнейших аспектов, отличающих современную теорию коммутативных колец от классической, разработанной такими, как Нётер. Патологические примеры, найденные Нагатой, привели к переосмыслению роли нётеровых колец и мотивировали, среди прочего, определение превосходного кольца .

Кольца с генераторами и отношениями

Самый общий способ построения кольца — указание генераторов и соотношений. Пусть $F$ — свободное кольцо (то есть свободная алгебра над целыми числами) с множеством $X$ символов, то есть $F$ состоит из многочленов с целыми коэффициентами от некоммутирующих переменных, которые являются элементами $X.$ Свободное кольцо удовлетворяет универсальному свойству: любая функция из множества $X$ в кольцо $R$ пропускается через $F$ так, что $F \to R$ — единственный гомоморфизм кольца. Так же, как и в случае группы, каждое кольцо можно представить как фактор свободного кольца. ^[46]

Теперь мы можем наложить отношения между символами в $X$ , взяв фактор. Явно, если $E$ является подмножеством $F$ , то фактор-кольцо $F$ по идеалу, порожденному $E ,$ называется кольцом с образующими $X$ и отношениями $E$ . Если мы используем кольцо, скажем, $A$ в качестве базового кольца вместо ⁠ ⁠ , $\mathbb {Z} ,$ то результирующее кольцо будет над $A$ . Например, если , то результирующее кольцо будет обычным кольцом многочленов с коэффициентами в $A$ от переменных, которые являются элементами $X$ (это также то же самое, что и симметрическая алгебра над $A$ с символами $X$ .) $E=\{xy-yx\mid x,y\in X\},$

В терминах теории категорий формация является левым сопряженным функтором забывающего функтора из категории колец в Set (и его часто называют функтором свободного кольца). $S\mapsto {\text{the free ring generated by the set }}S$

Пусть $A$ , $B$ — алгебры над коммутативным кольцом $R.$ Тогда тензорное произведение $R$ -модулей является $R$ -алгеброй с умножением, характеризуемым соотношением $A\otimes _{R}B$ $(x\otimes u)(y\otimes v)=xy\otimes uv.$

Специальные виды колец

Домены

Ненулевое кольцо без ненулевых делителей нуля называется доменом . Коммутативная область называется областью целостности . Наиболее важными областями целостности являются области главных идеалов, сокращенно PID, и поля. Область главных идеалов — это область целостности, в которой каждый идеал является главным. Важный класс областей целостности, содержащих PID, — это область уникальной факторизации (UFD), область целостности, в которой каждый неединичный элемент является произведением простых элементов (элемент является простым, если он порождает простой идеал ). Фундаментальный вопрос в алгебраической теории чисел заключается в том, в какой степени кольцо (обобщенных) целых чисел в числовом поле , где «идеал» допускает разложение на простые множители, не является PID.

Среди теорем, касающихся PID, наиболее важной является структурная теорема для конечно порожденных модулей над областью главных идеалов . Теорема может быть проиллюстрирована следующим приложением к линейной алгебре. ^[47] Пусть $V$ — конечномерное векторное пространство над полем $k$ , а $f : V \to V$ — линейное отображение с минимальным многочленом $q$ . Тогда, поскольку $k [t]$ — уникальная область факторизации, $q$ разлагается на степени различных неприводимых многочленов (то есть простых элементов): $q=p_{1}^{e_{1}}\ldots p_{s}^{e_{s}}.$

Пусть мы сделаем $V$ k $[$ $t$ $]$ -модулем. Тогда структурная теорема гласит, что $V$ является прямой суммой циклических модулей , каждый $из$ которых изоморфен модулю вида Теперь, если то такой циклический модуль (для $p$ $i$ ) имеет базис, в котором ограничение $f$ представлено жордановой матрицей . Таким образом, если, скажем, $k$ алгебраически замкнуто, то все $p$ $i$ имеют вид $t$ $-$ $λ$ $i$ и приведенное выше разложение соответствует жордановой канонической форме $f$ . $t\cdot v=f(v),$ $k[t]/\left(p_{i}^{k_{j}}\right).$ $p_{i}(t)=t-\lambda _{i},$

Иерархия нескольких классов колец с примерами.

В алгебраической геометрии UFD возникают из-за гладкости. Точнее, точка в многообразии (над совершенным полем) является гладкой, если локальное кольцо в точке является регулярным локальным кольцом . Регулярное локальное кольцо является UFD. ^[48]

Ниже приведена цепочка включений классов , описывающая связь между кольцами, доменами и полями:

rngs ⊃ кольца ⊃ коммутативные кольца ⊃ области целостности ⊃ целозамкнутые области ⊃ области НОД ⊃ области уникальной факторизации ⊃ области главных идеалов ⊃ евклидовы области ⊃ поля ⊃ алгебраически замкнутые поля

Кольцо деления

Теловое кольцо — это кольцо, в котором каждый ненулевой элемент является единицей. Коммутативное теловое кольцо — это поле . Ярким примером телового кольца, не являющегося полем, является кольцо кватернионов . Любой централизатор в теловом кольце также является телом. В частности, центр тела — это поле. Оказалось, что каждая конечная область (в частности, конечное теловое кольцо) является полем; в частности, коммутативным ( малая теорема Веддерберна ).

Каждый модуль над телом является свободным модулем (имеет базис); следовательно, большую часть линейной алгебры можно выполнять над телом, а не над полем.

Изучение классов сопряженности занимает видное место в классической теории деления колец; см., например, теорему Картана–Брауэра–Хуа .

Циклическая алгебра , введенная Л. Э. Диксоном , является обобщением кватернионной алгебры .

Полупростые кольца

Полупростой модуль — это прямая сумма простых модулей. Полупростое кольцо — это кольцо, которое является полупростым как левый модуль (или правый модуль) над собой.

Примеры

Теловое кольцо является полупростым (и простым ).
Для любого деления $D$ и положительного целого числа $n$ кольцо матриц $M n (D)$ является полупростым (и простым ).
Для поля $k$ и конечной группы $G$ групповое кольцо $kG$ $полупросто$ тогда и только тогда, когда характеристика k не делит порядок G $($ теорема Машке ).
Алгебры Клиффорда полупросты.

Алгебра Вейля над полем является простым кольцом , но не полупростым. То же самое справедливо для кольца дифференциальных операторов многих переменных .

Характеристики

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

Для кольца $R$ следующие условия эквивалентны:

$R$ — полупростой.
$R$ является артиновым и полупримитивным .
$R$ — конечное прямое произведение , где каждое $n$ $i$ — положительное целое число, а каждое $D$ $i$ — тело ( теорема Артина–Веддерберна ). ${\textstyle \prod _{i=1}^{r}\operatorname {M} _{n_{i}}(D_{i})}$

Полупростота тесно связана с отделимостью. Унитальная ассоциативная алгебра $A$ над полем $k$ называется отделимой , если базовое расширение полупросто для каждого расширения поля $F$ $/$ $k$ . Если $A$ является полем, то это эквивалентно обычному определению в теории поля (ср. отделимое расширение .) $A\otimes _{k}F$

Центральная простая алгебра и группа Брауэра

Для поля $k$ , $k$ -алгебра является центральной, если ее центр равен $k$ , и простой, если она является простым кольцом . Поскольку центр простой $k$ -алгебры является полем, любая простая $k$ -алгебра является центральной простой алгеброй над своим центром. В этом разделе предполагается, что центральная простая алгебра имеет конечную размерность. Кроме того, мы в основном фиксируем базовое поле; таким образом, алгебра относится к $k$ -алгебре. Кольцо матриц размера $n$ над кольцом $R$ будет обозначаться как $R n$ .

Теорема Скулема –Нётер утверждает, что любой автоморфизм центральной простой алгебры является внутренним.

Две центральные простые алгебры $A$ и $B$ называются подобными , если существуют целые числа $n$ и $m$ такие, что ^[49] Поскольку подобие является отношением эквивалентности. Классы подобия $[$ $A$ $]$ с умножением образуют абелеву группу, называемую группой Брауэра $k$ и обозначаемую $Br($ $k$ $)$ . По теореме Артина–Веддерберна центральная простая алгебра является матричным кольцом тела; таким образом, каждый класс подобия представлен уникальным телом. $A\otimes _{k}k_{n}\approx B\otimes _{k}k_{m}.$ $k_{n}\otimes _{k}k_{m}\simeq k_{nm},$ $[A][B]=\left[A\otimes _{k}B\right]$

Например, $Br(k)$ тривиален, если $k$ — конечное поле или алгебраически замкнутое поле (в более общем случае квазиалгебраически замкнутое поле ; см. теорему Цена ). имеет порядок 2 (частный случай теоремы Фробениуса ). Наконец, если $k$ — неархимедово локальное поле (например, ⁠ ⁠ ), то через инвариантное отображение . $\operatorname {Br} (\mathbb {R} )$ $\mathbb {Q} _{p}$ $\operatorname {Br} (k)=\mathbb {Q} /\mathbb {Z}$

Теперь, если $F$ является расширением поля $k$ , то расширение базы индуцирует $Br($ $k$ $) \to Br($ $F$ $)$ . Его ядро обозначается как $Br($ $F$ $/$ $k$ $)$ . Оно состоит из $[$ $A$ $]$ таких, что является матричным кольцом над $F$ (то есть $A$ расщепляется $F$ .) Если расширение конечно и является кольцом Галуа, то $Br($ $F$ $/$ $k$ $)$ канонически изоморфно ^[50] $-\otimes _{k}F$ $A\otimes _{k}F$ $H^{2}\left(\operatorname {Gal} (F/k),k^{*}\right).$

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

Кольцо оценки

Если $K$ — поле, то оценка $v$ — это групповой гомоморфизм из мультипликативной группы $K *$ в полностью упорядоченную абелеву группу $G,$ такой что для любых $f$ , $g$ из $K$ , где $f + g$ ненулевые, $v (f + g) \geq min{v (f), v (g)}.$ Кольцо оценки v — это подкольцо $K,$ $состоящее$ из нуля и всех ненулевых $f$ таких, что $v$ $($ $f$ $) \geq 0$ .

Примеры:

Поле формальных рядов Лорана над полем $k$ имеет оценку $v,$ такую что $v$ $($ $f$ $)$ является наименьшей степенью ненулевого члена в $f$ ; кольцо оценки $v$ является кольцом формальных степенных рядов $k(\!(t)\!)$ $k[\![t]\!].$
В более общем случае, если задано поле $k$ и полностью упорядоченная абелева группа $G$ , пусть будет множеством всех функций из $G$ в $k$ , чьи носители (множества точек, в которых функции отличны от нуля) вполне упорядочены . Это поле с умножением, заданным сверткой : Оно также поставляется с оценкой $v$ , такой что $v$ $($ $f$ $)$ является наименьшим элементом в носителе $f$ . Подкольцо, состоящее из элементов с конечным носителем, называется групповым кольцом G $($ что имеет смысл, даже если $G$ не является коммутативным). Если $G$ — кольцо целых чисел, то мы восстанавливаем предыдущий пример (отождествляя $f$ с рядом, $n-$ й коэффициент которого равен $f$ $($ $n$ $)$ .) $k(\!(G)\!)$ $(f*g)(t)=\sum _{s\in G}f(s)g(t-s).$

Кольца с дополнительной структурой

Кольцо можно рассматривать как абелеву группу (используя операцию сложения) с дополнительной структурой: а именно, кольцевым умножением. Таким же образом, существуют и другие математические объекты, которые можно рассматривать как кольца с дополнительной структурой. Например:

Ассоциативная алгебра — это кольцо, которое также является векторным пространством над полем $n,$ таким образом, что скалярное умножение совместимо с кольцевым умножением. Например, множество матриц $n$ -на- $n$ над вещественным полем ⁠ ⁠ $\mathbb {R}$ имеет размерность $n 2$ как вещественное векторное пространство.
Кольцо $R$ является топологическим кольцом , если его множеству элементов $R$ задана топология , которая делает отображение сложения ( ) и отображение умножения $\cdot :$ $R$ $\times$ $R$ $\to$ $R$ непрерывными как отображения между топологическими пространствами (где $X$ $\times$ $X$ наследует топологию произведения или любое другое произведение в категории). Например, матрицы $n$ на $n$ над действительными числами могут быть заданы либо евклидовой топологией , либо топологией Зарисского , и в любом случае получится топологическое кольцо. $+:R\times R\to R$
λ-кольцо — это коммутативное кольцо $R$ вместе с операциями $λ n : R \to R$ , которые подобны $n$ -ым внешним степеням :
$\lambda ^{n}(x+y)=\sum _{0}^{n}\lambda ^{i}(x)\lambda ^{n-i}(y).$

Например, ⁠ ⁠

\mathbb {Z}

— это λ-кольцо с биномиальными коэффициентами . Понятие играет центральную роль в алгебраическом подходе к теореме Римана–Роха .

\lambda ^{n}(x)={\binom {x}{n}},

Полностью упорядоченное кольцо — это кольцо с полным порядком , совместимым с операциями кольца.

Некоторые примеры повсеместного распространения колец

Многие различные виды математических объектов можно плодотворно анализировать в терминах некоторого ассоциированного кольца .

Кольцо когомологий топологического пространства

Любому топологическому пространству $X$ можно сопоставить его целочисленное кольцо когомологий

H^{*}(X,\mathbb {Z} )=\bigoplus _{i=0}^{\infty }H^{i}(X,\mathbb {Z} ),

градуированное кольцо . Существуют также группы гомологий пространства, и действительно, они были определены первыми как полезный инструмент для различения определенных пар топологических пространств, таких как сферы и торы , для которых методы топологии точечных множеств не очень подходят. Группы когомологий были позже определены в терминах групп гомологий способом, который примерно аналогичен двойственному векторному пространству . Знать каждую отдельную целочисленную группу гомологий по сути то же самое, что знать каждую отдельную целочисленную группу когомологий из-за теоремы об универсальном коэффициенте . Однако преимущество групп когомологий заключается в том, что существует естественное произведение , которое аналогично наблюдению, что можно поточечно умножить $k$ - полилинейную форму и $l -$ полилинейную форму, чтобы получить ( $k$ $+$ $l$ ) - полилинейную форму. $H_{i}(X,\mathbb {Z} )$

Кольцевая структура в когомологиях обеспечивает основу для характеристических классов расслоений , теории пересечений на многообразиях и алгебраических многообразиях , исчисления Шуберта и многого другого.

Кольцо Бернсайда группы

Любой группе соответствует ее кольцо Бернсайда , которое использует кольцо для описания различных способов, которыми группа может действовать на конечном множестве. Аддитивная группа кольца Бернсайда — это свободная абелева группа , базисом которой является множество транзитивных действий группы, а сложением — несвязное объединение действия. Выражение действия в терминах базиса разлагает действие на его транзитивные составляющие. Умножение легко выражается в терминах кольца представлений : умножение в кольце Бернсайда формируется путем записи тензорного произведения двух модулей перестановок в виде модуля перестановок. Структура кольца допускает формальный способ вычитания одного действия из другого. Поскольку кольцо Бернсайда содержится как конечное индексное подкольцо кольца представлений, можно легко перейти от одного к другому, расширив коэффициенты от целых чисел до рациональных чисел.

Кольцо представления группового кольца

Любому групповому кольцу или алгебре Хопфа соответствует его кольцо представлений или «зеленое кольцо». Аддитивная группа кольца представлений — это свободная абелева группа, базисом которой являются неразложимые модули, а сложение соответствует прямой сумме. Выражение модуля через базис заключается в нахождении неразложимого разложения модуля. Умножение — это тензорное произведение. Когда алгебра полупроста, кольцо представлений — это просто кольцо характеров из теории характеров , которое более или менее является группой Гротендика при заданной кольцевой структуре.

Поле функций неприводимого алгебраического многообразия

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

Граничное кольцо симплициального комплекса

Каждый симплициальный комплекс имеет связанное с ним кольцо граней, также называемое его кольцом Стэнли–Райснера . Это кольцо отражает многие комбинаторные свойства симплициального комплекса, поэтому оно представляет особый интерес в алгебраической комбинаторике . В частности, алгебраическая геометрия кольца Стэнли–Райснера использовалась для характеристики числа граней в каждом измерении симплициальных многогранников .

Категориально-теоретическое описание

Каждое кольцо можно рассматривать как моноид в Ab , категории абелевых групп (рассматриваемой как моноидальная категория относительно тензорного произведения ⁠ ⁠ $\mathbb {Z}$ -модулей ). Моноидное действие кольца $R$ на абелевой группе — это просто $R$ -модуль . По сути, $R$ -модуль — это обобщение понятия векторного пространства — где вместо векторного пространства над полем имеется «векторное пространство над кольцом».

Пусть $(A, +)$ — абелева группа, а $End(A)$ — ее кольцо эндоморфизмов (см. выше). Обратите внимание, что, по сути, $End(A)$ — это множество всех морфизмов $A$ , где если $f$ находится в $End(A)$ , а $g$ находится в $End(A) , то для вычисления$ $f + g$ и $f \cdot g$ можно использовать следующие правила :

{\begin{aligned}&(f+g)(x)=f(x)+g(x)\\&(f\cdot g)(x)=f(g(x)),\end{aligned}}

где $+$ как в $f (x) + g (x)$ — сложение в $A$ , а композиция функций обозначается справа налево. Следовательно, ассоциированное с любой абелевой группой, является кольцом. Обратно, для любого кольца, $(R, +, \cdot)$ , $(R, +)$ — абелева группа. Более того, для каждого $r$ в $R$ правое (или левое) умножение на $r$ порождает морфизм $(R, +)$ , по правой (или левой) дистрибутивности. Пусть $A = (R, +)$ . Рассмотрим те эндоморфизмы A , $которые$ «пропускают» правое (или левое) умножение $R$ . Другими словами, пусть $End R (A)$ будет множеством всех морфизмов $m$ из $A$ , обладающих тем свойством, что $m (r \cdot x) = r \cdot m (x)$ . Было замечено, что каждое $r$ в $R$ порождает морфизм $A$ : правое умножение на $r$ . На самом деле верно, что эта ассоциация любого элемента $R$ , с морфизмом $A$ , как функцией из $R$ в $End R (A)$ , является изоморфизмом колец. В этом смысле, следовательно, любое кольцо можно рассматривать как кольцо эндоморфизмов некоторой абелевой $X$ -группы (под $X$ -группой подразумевается группа, в которой $X$ является ее множеством операторов ). ^[51] По сути, наиболее общая форма кольца - это группа эндоморфизмов некоторой абелевой $X$ -группы.

Любое кольцо можно рассматривать как предаддитивную категорию с одним объектом. Поэтому естественно считать произвольные предаддитивные категории обобщениями колец. И действительно, многие определения и теоремы, изначально данные для колец, можно перенести в этот более общий контекст. Аддитивные функторы между предаддитивными категориями обобщают концепцию гомоморфизма колец, а идеалы в аддитивных категориях можно определить как множества морфизмов, замкнутые относительно сложения и относительно композиции с произвольными морфизмами.

Обобщение

Алгебраисты определили структуры более общие, чем кольца, ослабив или отбросив некоторые аксиомы колец.

Рнг

ГСЧ — это то же самое, что и кольцо, за исключением того, что существование мультипликативного тождества не предполагается. ^[52]

Неассоциативное кольцо

Неассоциативное кольцо — это алгебраическая структура, которая удовлетворяет всем аксиомам кольца, за исключением свойства ассоциативности и существования мультипликативного тождества. Известным примером является алгебра Ли . Существует некоторая структурная теория для таких алгебр, которая обобщает аналогичные результаты для алгебр Ли и ассоциативных алгебр. ^{[ необходима цитата ]}

Полукольцо

Полукольцо (иногда rig ) получается путем ослабления предположения, что $($ $R$ $, +)$ является абелевой группой, до предположения, что ( $R$ $,$ $+)$ является коммутативным моноидом, и добавления аксиомы, что $0 \cdot$ $a$ $=$ $a$ $\cdot 0 = 0$ для всех a из $R$ (поскольку это больше не следует из других аксиом).

Примеры:

неотрицательные целые числа с обычным сложением и умножением; $\{0,1,2,\ldots \}$
тропическое полукольцо .

Другие кольцеобразные объекты

Кольцевой объект в категории

Пусть $C$ — категория с конечными произведениями . Пусть pt обозначает конечный объект C (пустое произведение). Кольцевой объект в $C$ — это объект $R,$ снабженный морфизмами (сложение), (умножение), (аддитивное тождество), (аддитивное обратное) и $($ мультипликативное тождество), удовлетворяющими обычным аксиомам кольца. Эквивалентно, кольцевой объект — это объект $R,$ снабженный факторизацией своего функтора точек через категорию колец: $R\times R\;{\stackrel {a}{\to }}\,R$ $R\times R\;{\stackrel {m}{\to }}\,R$ $\operatorname {pt} {\stackrel {0}{\to }}\,R$ $R\;{\stackrel {i}{\to }}\,R$ $\operatorname {pt} {\stackrel {1}{\to }}\,R$ $h_{R}=\operatorname {Hom} (-,R):C^{\operatorname {op} }\to \mathbf {Sets}$ $C^{\operatorname {op} }\to \mathbf {Rings} {\stackrel {\textrm {forgetful}}{\longrightarrow }}\mathbf {Sets} .$

Кольцевая схема

В алгебраической геометрии кольцевая схема над базовой схемой $S$ является кольцевым объектом в категории $S$ -схем. Одним из примеров является кольцевая схема $W n$ над ⁠ ⁠ $\operatorname {Spec} \mathbb {Z}$ , которая для любого коммутативного кольца $A$ возвращает кольцо $W n (A)$ $p$ -изотипных векторов Витта длины $n$ над $A$ . ^[53]

Кольцевой спектр

В алгебраической топологии кольцевой спектр — это спектр $X$ вместе с умножением и единичным отображением $S$ $\to$ $X$ из спектра сферы $S$ , таким образом, что диаграммы аксиом кольца коммутируют с точностью до гомотопии. На практике принято определять кольцевой спектр как моноидный объект в хорошей категории спектров, такой как категория симметричных спектров . $\mu :X\wedge X\to X$

Смотрите также

В Wikibooks есть книга по теме: Абстрактная алгебра/Кольца

Специальные типы колец:

Примечания

^ Это означает , что каждая операция определена и дает уникальный результат в $R$ для каждой упорядоченной пары элементов $R.$
^ Существование 1 не предполагается некоторыми авторами; здесь термин rng используется, если существование мультипликативного тождества не предполагается. См. следующий подраздел.
^ Пунен утверждает, что «естественное расширение ассоциативности требует, чтобы кольца содержали пустое произведение, поэтому естественно требовать, чтобы кольца имели $1$ ».
^ Некоторые другие авторы, такие как Лэнг, также требуют, чтобы делитель нуля был ненулевым.
^ Такой центральный идемпотент называется центрально примитивным .

Цитаты

^ Бурбаки (1989), с. 96, гл. 1, §8.1
^ Мак Лейн и Биркгофф (1967), стр. 85
^ ab Lang (2002), стр. 83
^ Айзекс (1994), стр. 160
^ «Неассоциативные кольца и алгебры». Энциклопедия математики .
^ Айзекс (1994), стр. 161
^ Лэм (2001), Теорема 3.1
^ Ланг (2005), Гл. V, §3.
^ Серр (2006), стр. 3
^ Серр (1979), стр. 158
^ «Развитие теории колец».
^ Кляйнер (1998), стр. 27
^ Гильберт (1897)
^ Кон (1980), стр. 49
^ Френкель (1915), стр. 143–145.
^ Якобсон (2009), стр. 86, сноска 1
^ Френкель (1915), с. 144, аксиома Р ₈₎
^ ab Noether (1921), стр. 29
^ Френкель (1915), с. 144, аксиома Р ₇₎
^ ван дер Варден (1930)
^ Зариски и Сэмюэл (1958)
^ Артин (2018), стр. 346
^ Бурбаки (1989), стр. 96
^ Эйзенбуд (1995), стр. 11
^ Галлиан (2006), стр. 235
^ Хангерфорд (1997), стр. 42
^ Уорнер (1965), стр. 188
^ Гарлинг (2022)
^ "Ассоциативные кольца и алгебры". Энциклопедия математики .
^ Гарднер и Вигандт (2003)
^ Пунен (2019)
^ Уайлдер (1965), стр. 176
^ Ротман (1998), стр. 7
^ Якобсон (2009), стр. 155
^ Бурбаки (1989), стр. 98
^ Кон (2003), Теорема 4.5.1
^ Якобсон (2009), стр. 122, Теорема 2.10
^ Бурбаки (1964), Глава 5. §1, Лемма 2
^ ab Cohn (2003), 4.4
^ Ланг (2002), Глава XVII. Предложение 1.1.
^ Кон (1995), Предложение 1.3.1
^ Эйзенбуд (1995), Упражнение 2.2
^ Милн (2012), Предложение 6.4
^ Милн (2012), конец главы 7
^ Атья и Макдональд (1969), Теорема 10.17 и ее следствия
^ Кон (1995), стр. 242
^ Ланг (2002), Гл. XIV, §2
^ Вайбель (2013), с. 26, гл. 1, теорема 3.8.
^ Милн и КФТ, Гл. IV, §2
^ Серр (1950)
^ Якобсон (2009), стр. 162, Теорема 3.2
^ Якобсон (2009)
^ Серр, стр. 44

Ссылки

Гарлинг, DJH (2022). Теория Галуа и ее алгебраические основы (2-е изд.). Кембридж: Cambridge University Press. ISBN 978-1-108-83892-4.
Кон, Харви (1980), Advanced Number Theory , Нью-Йорк: Dover Publications, ISBN 978-0-486-64023-5
Серр, Дж.П. (1950), Алгебрические применения когомологий групп, I, II, Семинар Анри Картана, 1950/51
Серр (2006), Алгебры Ли и группы Ли (2-е изд.), Springer[исправленное 5-е издание]

Общие ссылки

Артин, Майкл (2018). Алгебра (2-е изд.). Пирсон.
Атья, Майкл ; Макдональд, Ян Г. (1969). Введение в коммутативную алгебру . Эддисон–Уэсли.
Бурбаки, Н. (1964). Алгебра коммутативная . Герман.
Бурбаки, Н. (1989). Алгебра I, главы 1–3 . Springer.
Кон, Пол Мориц (2003), Основы алгебры: группы, кольца и поля , Springer, ISBN 978-1-85233-587-8
Эйзенбуд, Дэвид (1995). Коммутативная алгебра с точки зрения алгебраической геометрии . Graduate Texts in Mathematics. Vol. 150. Springer. MR 1322960.
Галлиан, Джозеф А. (2006). Contemporary Abstract Algebra, Sixth Edition . Houghton Mifflin. ISBN 9780618514717.
Гарднер, Дж. В.; Вигандт, Р. (2003). Радикальная теория колец . Chapman & Hall/CRC Pure and Applied Mathematics. ISBN 0824750330.
Herstein, IN (1994) [перепечатка оригинала 1968 года]. Некоммутативные кольца . Математические монографии Каруса. Том 15. С послесловием Лэнса В. Смолла. Математическая ассоциация Америки. ISBN 0-88385-015-X.
Хангерфорд, Томас В. (1997). Абстрактная алгебра: введение, второе издание . Брукс/Коул. ISBN 9780030105593.
Якобсон, Натан (1964). «Структура колец». Публикации коллоквиума Американского математического общества . 37 (пересмотренное издание).
Якобсон, Натан (1943) . «Теория колец». Математические обзоры Американского математического общества . I.
Якобсон, Натан (2009). Основы алгебры . Том 1 (2-е изд.). Дувр. ISBN 978-0-486-47189-1.
Капланский, Ирвинг (1974), Коммутативные кольца (пересмотренное издание), Издательство Чикагского университета , ISBN 0-226-42454-5, МР 0345945
Лам, Цит Юэн (1999). Лекции по модулям и кольцам . Graduate Texts in Mathematics. Vol. 189. Springer. ISBN 0-387-98428-3.
Лам, Цит Юэн (2001). Первый курс по некоммутативным кольцам . Graduate Texts in Mathematics. Vol. 131 (2nd ed.). Springer. ISBN 0-387-95183-0.
Лам, Цит Юэн (2003). Упражнения по классической теории колец . Задачники по математике (2-е изд.). Springer. ISBN 0-387-00500-5.
Ланг, Серж (2002), Алгебра , Graduate Texts in Mathematics , т. 211 (пересмотренное третье издание), Нью-Йорк: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556, Zbl 0984.00001
Ланг, Серж (2005), Алгебра для студентов (3-е изд.), Springer, ISBN 0-387-22025-9
Мак Лейн, Сондерс ; Биркгофф, Гарретт (1967). Алгебра . AMS Chelsea.
Мацумура, Хидеюки (1989). Коммутативная теория колец . Cambridge Studies in Advanced Mathematics (2-е изд.). Cambridge University Press . ISBN 978-0-521-36764-6.
Милн, Дж. (2012). «Основы коммутативной алгебры». v2.23.
Ротман, Джозеф (1998), Теория Галуа (2-е изд.), Springer, ISBN 0-387-98541-7
ван дер Варден, Бартель Леендерт (1930), Современная алгебра. Teil I , Die Grundlehren der mathematischen Wissenschaften, vol. 33, Спрингер, ISBN 978-3-540-56799-8, МР 0009016
Уорнер, Сет (1965). Современная алгебра . Дувр. ISBN 9780486663418.
Уайлдер, Рэймонд Луис (1965). Введение в основы математики . Wiley.
Зариски, Оскар; Сэмюэл, Пьер (1958). Коммутативная алгебра . Т. 1. Ван Ностранд.

Специальные ссылки

Бальцежик, Станислав; Юзефяк, Тадеуш (1989), Коммутативные нётеровы и круллевские кольца , Математика и её приложения, Чичестер: Ellis Horwood Ltd., ISBN 978-0-13-155615-7
Бальцежик, Станислав; Юзефяк, Тадеуш (1989), Размерность, множественность и гомологические методы , Математика и ее приложения, Чичестер: Ellis Horwood Ltd., ISBN 978-0-13-155623-2
Балье, Р. (1947). «Anneaux Finis; гиперкомплексы систем ранга трех передвижных корпусов». Энн. Соц. наук. Брюссель . Я (61): 222–227.
Беррик, А. Дж.; Китинг, М. Э. (2000). Введение в кольца и модули с учетом теории К. Издательство Кембриджского университета.
Кон, Пол Мориц (1995), Skew Fields: Theory of General Division Rings , Энциклопедия математики и ее приложений, т. 57, Cambridge University Press, ISBN 9780521432177
Гилмер, Р.; Мотт, Дж. (1973). «Ассоциативные кольца порядка». Proc. Japan Acad . 49 : 795–799. doi : 10.3792/pja/1195519146 .
Харрис, Дж. В.; Стокер, Х. (1998). Справочник по математике и вычислительной науке . Springer.
Айзекс, И. М. (1994). Алгебра: курс для выпускников . AMS . ISBN 978-0-8218-4799-2.
Якобсон, Натан (1945), «Структурная теория алгебраических алгебр ограниченной степени», Annals of Mathematics , 46 (4), Annals of Mathematics: 695–707, doi :10.2307/1969205, ISSN 0003-486X, JSTOR 1969205
Кнут, Д. Э. (1998). Искусство программирования . Том 2: Получисленные алгоритмы (3-е изд.). Эддисон–Уэсли.
Корн, GA; Корн, TM (2000). Математический справочник для ученых и инженеров. Довер. ISBN 9780486411477.
Милн, Дж. «Теория полей классов».
Нагата, Масаёси (1962) [переиздание 1975 года], Локальные кольца , Interscience Tracts in Pure and Applied Mathematics, т. 13, Interscience Publishers, ISBN 978-0-88275-228-0, МР 0155856
Пирс, Ричард С. (1982). Ассоциативные алгебры. Graduate Texts in Mathematics. Том 88. Springer. ISBN 0-387-90693-2.
Пунен, Бьорн (2019), «Почему все кольца должны иметь 1», Mathematics Magazine , 92 (1): 58−62, arXiv : 1404.0135 , JSTOR 48666015
Серр, Жан-Пьер (1979), Локальные поля , Graduate Texts in Mathematics, т. 67, Springer
Springer, Tonny A. (1977), Теория инвариантов, Lecture Notes in Mathematics, т. 585, Springer, ISBN 9783540373704
Вайбель, Чарльз А. (2013), K-book: Введение в алгебраическую K-теорию, Graduate Studies in Mathermatics, т. 145, Американское математическое общество, ISBN 9780821891322(также онлайн)
Зариски, Оскар ; Сэмюэл, Пьер (1975). Коммутативная алгебра . Graduate Texts in Mathematics. Vol. 28–29. Springer. ISBN 0-387-90089-6.

Первичные источники

Френкель, А. (1915). «Über die Teiler der Null und die Zerlegung von Ringen». Дж. Рейн Анжью. Математика . 1915 (145): 139–176. дои : 10.1515/crll.1915.145.139. S2CID 118962421.
Гильберт, Дэвид (1897). «Теория алгебраической теории». Jahresbericht der Deutschen Mathematiker-Vereinigung . 4 .
Нётер, Эмми (1921). «Теория идеала в Рингберайхене». Математика. Аннален . 83 (1–2): 24–66. дои : 10.1007/bf01464225. S2CID 121594471.

Исторические справки

Бронштейн, И. Н. и Семендяев, К. А. (2004) Справочник по математике , 4-е изд. Нью-Йорк: Springer-Verlag ISBN 3-540-43491-7 .
История теории колец в Архиве Мактьютора
Биркгофф, Гарретт ; Мак Лейн, Сондерс (1996), Обзор современной алгебры (5-е изд.), Нью-Йорк: Macmillan
Фейт, Карл (1999) Кольца и вещи и прекрасный массив ассоциативной алгебры двадцатого века . Математические обзоры и монографии, 65. Американское математическое общество ISBN 0-8218-0993-8 .
Ито, К. редактор (1986) «Кольца». §368 в Энциклопедическом словаре математики , 2-е изд., т. 2. Кембридж, Массачусетс: MIT Press .
Кляйнер, Израиль (1996). «Генезис абстрактной концепции кольца». American Mathematical Monthly . 103 (5): 417–424. doi :10.2307/2974935. JSTOR 2974935.
Кляйнер, Израиль (февраль 1998 г.). «От чисел к кольцам: ранняя история теории колец». Elemente der Mathematik . 53 (1): 18–35. doi : 10.1007/s000170050029 .
ван дер Варден, Б.Л. (1985), История алгебры , Springer-Verlag