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

В этой статье используется разметка HTML . Пожалуйста помощь путем изменения HTML разметка вики - разметки , где это необходимо. Для получения помощи в поиске или замене проблемных тегов см. Инструкции . ( Октябрь 2020 г. ) Конкретные теги, найденные на этой странице (могут быть и другие), включают: cite

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

Алгебраическая структура → Теория колец Теория колец
Базовые концепты Кольца • Подкольца • Идеально • Факторное кольцо • Дробный идеал • Общее кольцо частных • Кольцо продукта • Бесплатное произведение ассоциативных алгебр • Тензорное произведение колец Гомоморфизмы колец • Ядро • Внутренний автоморфизм • Эндоморфизм Фробениуса Алгебраические структуры • Модуль • Ассоциативная алгебра • Градуированное кольцо • Инволютивное кольцо • Категория колец • Начальное кольцо ${\ Displaystyle \ mathbb {Z}}$ • Клеммное кольцо ${\ Displaystyle 0 = \ mathbb {Z} _ {1}}$ Связанные структуры • Поле • Конечное поле • Неассоциативное кольцо • Кольцо лжи • кольцо Jordan • Полукругление • Semifield
Коммутативная алгебра Коммутативные кольца • Целостная область • Интегрально закрытый домен • домен GCD • Уникальный домен факторизации • Основная идеальная область • Евклидова область • Поле • Конечное поле • Композиционное кольцо • Кольцо полиномов • Формальное кольцо степенной серии Алгебраическая теория чисел • Поле алгебраических чисел • Кольцо целых чисел • Алгебраическая независимость • Трансцендентальная теория чисел • Степень трансцендентности p -адическая теория чисел и десятичные дроби • Прямой предел / обратный предел • Нулевое кольцо ${\ displaystyle \ mathbb {Z} _ {1}}$ • Целые числа по модулю p n ${\ Displaystyle \ mathbb {Z} / p ^ {n} \ mathbb {Z}}$ • Prüfer p -ring ${\ Displaystyle \ mathbb {Z} (п ^ {\ infty})}$ • Основание - круговое кольцо p ${\ displaystyle \ mathbb {T}}$ • База - p целых чисел ${\ Displaystyle \ mathbb {Z}}$ • p -адические рациональные числа ${\ Displaystyle \ mathbb {Z} [1 / p]}$ • База - p вещественных чисел ${\ Displaystyle \ mathbb {R}}$ • p -адические целые числа ${\ displaystyle \ mathbb {Z} _ {p}}$ • p -адические числа ${\ displaystyle \ mathbb {Q} _ {p}}$ • p -адический соленоид ${\ displaystyle \ mathbb {T} _ {p}}$ Алгебраическая геометрия • Аффинное разнообразие
Некоммутативная алгебра Некоммутативные кольца • Дивизионное кольцо • Полупримитивное кольцо • Простое кольцо • Коммутатор Некоммутативная алгебраическая геометрия Свободная алгебра Алгебра Клиффорда • Геометрическая алгебра Операторная алгебра
v т е

Определение и первые примеры [ править ]

Определение [ править ]

Кольцо представляет собой набор R оснащен двумя бинарными операциями , то есть операции , сочетающие в себе любые два элемента кольца на треть. Они называются сложением и умножением и обычно обозначаются «+» и «⋅»; например, a + b и a ⋅ b . Чтобы сформировать кольцо, эти две операции должны удовлетворять ряду свойств: кольцо должно быть абелевой группой при сложении, а также моноидом при умножении, где умножение распределяется по сложению; т.е. a ⋅ ( b + c) = ( a ⋅ b ) + ( a ⋅ c ) . Единичные элементы для сложения и умножения обозначаются 0 и 1 соответственно.

Если умножение коммутативное, т.е.

⋅ б = б ⋅ ,

тогда кольцо R называется коммутативным . В оставшейся части статьи все кольца будут коммутативными, если явно не указано иное.

Первые примеры [ править ]

Важным примером и в некотором смысле решающим является кольцо целых чисел Z с двумя операциями сложения и умножения. Поскольку умножение целых чисел - это коммутативная операция, это коммутативное кольцо. Обычно обозначается Z как сокращение от немецкого слова Zahlen (числа).

Поле является коммутативное кольцо , где и каждый ненулевой элемент обратим; т.е. имеет мультипликативный обратный элемент b такой, что a ⋅ b = 1. Следовательно, по определению, любое поле является коммутативным кольцом. В рациональных , вещественных и комплексных числах образуют поля.${\ displaystyle 0 \ not = 1}$

Если R - данное коммутативное кольцо, то множество всех многочленов от переменной X , коэффициенты которых лежат в R, образует кольцо многочленов , обозначенное R [ X ]. То же самое верно для нескольких переменных.

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

Делимость [ править ]

В отличие от полей, где каждый ненулевой элемент мультипликативно обратим, понятие делимости для колец богаче. Элемент a кольца R называется единицей, если он обладает мультипликативным обратным. Другим частным типом элементов являются делители нуля , то есть такой элемент a , что существует ненулевой элемент b кольца такой, что ab = 0 . Если R не имеет ненулевых делителей нуля, это называется областью целостности (или областью). Элемент a, удовлетворяющий a ⁿ = 0для некоторого натурального числа n называется нильпотентным .

Локализации [ править ]

Локализации кольца представляет собой процесс , в котором некоторые элементы оказываются обратимы, т.е. мультипликативные обратные добавляются к кольцу. В частности, если S является мультипликативно замкнутое подмножество из R (то есть , когда S , T ∈ S то и й ) , то локализация из R в S , или кольцо фракций с знаменателей в S , обычно обозначают S ^-1 R состоит из символов

${\ displaystyle {\ frac {r} {s}}}$при r ∈ R , s ∈ S

при соблюдении определенных правил, имитирующих отмену, знакомую по рациональным числам. Действительно, в этом языке Q - это локализация Z на всех ненулевых целых числах. Эта конструкция работает для любого целого домена R вместо Z . Локализации ( R \ {0}) ^-1 R представляет собой поле, называемое полем частных из R .

Идеалы и модули [ править ]

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

Модули и идеалы [ править ]

Для кольца R , R - модуль М подобно тому , что векторное пространство является полем. То есть можно добавлять элементы в модуль; они могут быть умножены на элементы R с соблюдением тех же аксиом, что и для векторного пространства. Изучение модулей значительно сложнее, чем изучение векторных пространств в линейной алгебре , поскольку некоторые особенности векторных пространств не подходят для модулей в целом: модули не обязательно должны быть свободными , т. Е. Иметь вид

${\ Displaystyle M = \ bigoplus _ {я \ in I} R.}$

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

Идеалы [ править ]

Идеалы кольцевого R являются подмодулями из R , т.е. модули , содержащиеся в R . Более подробно, идеальный я это непустое подмножество R такие , что для всех г в R , я и J в I , и п и я + J в I . Для различных приложений понимание идеалов кольца имеет особое значение, но часто можно продолжить изучение модулей в целом.

Любое кольцо имеет два идеала, а именно нулевой идеал {0} и R - все кольцо. Эти два идеала - единственные в точности, если R - поле. Принимая во внимание любое подмножество F = { F _J } _{J ∈ J} из R (где J некоторое множество индексов), идеал , порожденный F является наименьшим идеалом , который содержит F . Эквивалентно, это дается конечными линейными комбинациями

р ₁ ж ₁ + р ₂ ж ₂ + ... + р _н е _п .

Основные идеальные области [ править ]

Если F состоит из одного элемента r , идеал, порожденный F, состоит из кратных r , то есть элементов формы rs для произвольных элементов s . Такой идеал называется главным идеалом . Если каждый идеал является главным идеалом, R называется кольцом главных идеалов ; два важных случая - это Z и k [ X ], кольцо многочленов над полем k . Эти две области являются дополнительными, поэтому они называются областями главных идеалов .

В отличие от обычных колец, для области главных идеалов свойства отдельных элементов сильно связаны со свойствами кольца в целом. Например, любая область главного идеала R является уникальной областью факторизации (UFD), что означает, что любой элемент является продуктом неприводимых элементов уникальным (с точностью до переупорядочения факторов) способом. Здесь элемент a в области называется неприводимым, если единственный способ выразить его как продукт

а = bc ,

либо b, либо c являются единицей. Примером, важным в теории поля , являются неприводимые многочлены , т. Е. Неприводимые элементы в k [ X ] для поля k . Тот факт, что Z является UFD, можно сформулировать более элементарно, сказав, что любое натуральное число может быть однозначно разложено как произведение степеней простых чисел. Она также известна как основная теорема арифметики .

Элемент a является простым элементом, если всякий раз, когда a делит произведение bc , a делит b или c . В области простота означает неприводимость. Обратное верно в уникальной области факторизации, но неверно в целом.

Факторное кольцо [ править ]

Определение идеалов таково , что «деление» Я «из» дает еще одно кольцо, то фактор - кольцо R / I : это множество смежных классов по I вместе с операциями

( + I ) + ( б + I ) = ( + б ) + I , и ( + I ) ( Ь + I ) = AB + Я .

Например, кольцо Z / n Z (также обозначаемое Z _n ), где n - целое число, представляет собой кольцо целых чисел по модулю n . Это основа модульной арифметики .

Идеал считается правильным, если он строго меньше всего кольца. Идеал, который не содержится строго ни в одном собственном идеале, называется максимальным .Идеал m максимален тогда и только тогда, когда R / m - поле.За исключением нулевого кольца , любое кольцо (с единицей) обладает хотя бы одним максимальным идеалом; это следует из леммы Цорна .

Нётерские кольца [ править ]

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

0 ⊆ I ₀ ⊆ I ₁ ... ⊆ I _n ⊆ I _{n + 1} ⊆ ...

становится стационарным, т.е. становится постоянным за пределами некоторого индекса n . Эквивалентно, любой идеал порождается конечным числом элементов, или, что эквивалентно, подмодули конечно порожденных модулей конечно порождены .

Нетеровость - очень важное условие конечности, и это условие сохраняется при многих операциях, которые часто встречаются в геометрии. Например, если R нётерово, то также и кольцо многочленов R [ X ₁ , X ₂ , ..., X _n ] (по теореме Гильберта о базисе ), любая локализация S ⁻¹ R , а также любое фактор-кольцо R / Я .

Любое нётерово кольцо R является объединением своих нётеровых подкольц. Этот факт, известный как нётерово приближение , позволяет распространить некоторые теоремы на нётеровы кольца.

Артинианские кольца [ править ]

Кольцо называется артиновым (в честь Эмиля Артина ), если каждая нисходящая цепочка идеалов

R ⊇ I ₀ ⊇ I ₁ ... ⊇ I _n ⊇ I _{n + 1} ⊇ ...

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

Z ⊋ 2 Z ⊋ 4 Z ⊋ 8 Z ⊋ ...

показывает. Фактически, по теореме Хопкинса – Левицки всякое артиново кольцо нётерово. Точнее, артиновы кольца можно охарактеризовать как нётеровы кольца, размерность Крулля которых равна нулю.

Спектр коммутативного кольца [ править ]

Основные идеалы [ править ]

Как было сказано выше, Z - уникальная область факторизации . Это не верно для более общих колец, как это поняли алгебраисты в 19 веке. Например, в

${\ displaystyle \ mathbf {Z} [{\ sqrt {-5}}],}$

Есть два действительно разных способа написания 6 как продукта:

${\ displaystyle 6 = 2 \ cdot 3 = (1 + {\ sqrt {-5}}) (1 - {\ sqrt {-5}}).}$

Первичные идеалы, в отличие от первичных элементов, позволяют обойти эту проблему. Первичный идеал - это собственный (т. Е. Строго содержащийся в R ) идеал p такой, что всякий раз, когда произведение ab любых двух кольцевых элементов a и b находится в p , по крайней мере один из двух элементов уже находится в p . (Противоположный вывод верен для любого идеала по определению). Таким образом, если простой идеал является главным, он эквивалентно порождается простым элементом. Однако в таких кольцах, как простые идеалы не обязательно должны быть главными. Это ограничивает использование простых элементов в теории колец. Однако краеугольным камнем алгебраической теории чисел является тот факт, что в любом дедекиндовом кольце${\ displaystyle \ mathbf {Z} [{\ sqrt {-5}}]}$(который включает в себя и, в более общем смысле, кольцо целых чисел в числовом поле ) любой идеал (например, тот, который порождается числом 6) однозначно разлагается как произведение простых идеалов.${\ displaystyle \ mathbf {Z} [{\ sqrt {-5}}]}$

Любой максимальный идеал является первичным идеалом или, короче, первичным. Более того, идеал I прост тогда и только тогда, когда фактор-кольцо R / I является областью целостности. Доказать, что идеал простой или, что то же самое, что кольцо не имеет делителей нуля, может быть очень сложно. Еще один способ выразить то же самое - сказать, что дополнение R \ p мультипликативно замкнуто. Локализация ( R \ p ) ⁻¹ R достаточно важна, чтобы иметь собственное обозначение: R _p . Это кольцо имеет только один максимальный идеал, а именно pR _p . Такие кольца называются локальными.

Спектр [ править ]

Спектр кольца R , ^{[NB 1]} обозначается Spec R , является множество всех простых идеалов R . Он снабжен топологией Зарисского , которая отражает алгебраические свойства R : базис открытых подмножеств задается формулой

D ( f ) = { p ∈ Spec R , f ∉ p }, где f - любой элемент кольца.

Интерпретируя f как функцию, которая принимает значение f mod p (т. Е. Изображение f в поле вычетов R / p ), это подмножество является локусом, где f не равно нулю. Спектр также уточняет интуицию о том, что локализация и фактор-кольца дополняют друг друга: естественные отображения R → R _f и R → R / fR соответствуют, после наделения спектров рассматриваемых колец их топологией Зарисского, дополнительным открытым и закрытым погружениям.соответственно. Даже для основных колец, таких как показано для R = Z справа, топология Зарисского сильно отличается от топологии на множестве действительных чисел.

Спектр содержит набор максимальных идеалов, который иногда обозначают mSpec ( R ). Для алгебраически замкнутого поля k mSpec (k [ T ₁ , ..., T _n ] / ( f ₁ , ..., f _m )) находится в биекции с множеством

{ x = ( x ₁ , ..., x _n ) ∊ k ⁿ | f ₁ ( x ) = ... = f _m ( x ) = 0.}

Таким образом, максимальные идеалы отражают геометрические свойства множеств решений многочленов, что является исходной мотивацией для изучения коммутативных колец. Однако рассмотрение немаксимальных идеалов как части геометрических свойств кольца полезно по нескольким причинам. Так , например, минимальные простые идеалы (т.е. те , которые не строго , содержащие более мелкие) соответствуют неприводимым компонентам в Spec R . Для нётерова кольца R Spec R имеет только конечное число неприводимых компонент. Это геометрическая переформулировка первичной декомпозиции , согласно которой любой идеал может быть разложен как произведение конечного числа первичных идеалов.. Этот факт является окончательным обобщением разложения на простые идеалы в дедекиндовом кольце.

Аффинные схемы [ править ]

Понятие спектра является общим основанием коммутативной алгебры и алгебраической геометрии . Алгебраическая геометрия протекает по наделению Spec R с пучком (объект , который собирает функцию , определенной локально, то есть при изменении открытых подмножеств). Датаум пространства и пучка называется аффинной схемой . Учитывая аффинную схему, лежащий в основе кольца R может быть извлечен в качестве глобальных сечений в . Более того, это взаимно однозначное соответствие между кольцами и аффинными схемами также совместимо с гомоморфизмами колец: любое f  : R → S порождает непрерывное отображение${\displaystyle {\mathcal {O}}}$${\displaystyle {\mathcal {O}}}$ в обратном направлении

Spec S → Spec R , Q ↦ F ^-1 ( д ), то есть любой простой идеал S отображается на его прообраз под F , который является простым идеалом R .

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

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

Размер [ править ]

Размерность Крулля (или измерение) тусклым R кольца R измеряет «размера» кольца с помощью, грубо говоря, считая независимые элементы в R . Размерность алгебр над полем k аксиоматизируется четырьмя свойствами:

• Размерность - это локальное свойство: dim R = sup _{p ∊ Spec R} dim R _p .
• Измерение не зависит от нильпотентов: если я ⊆ R нильпотентна тогда тусклый R = тусклый R / I .
• Измерение остается постоянным при конечном расширении: если S является R - алгеброй , которая имеет конечное число образующих как R - модуль, то тусклый S = тусклый R .
• Размер калибруется dim k [ X ₁ , ..., X _n ] = n . Эта аксиома мотивирована тем, что кольцо многочленов от n переменных рассматривается как алгебраический аналог n -мерного пространства .

Размерность определяется для любого кольца R как супремум длин n цепочек простых идеалов

п ₀ ⊊ п ₁ ⊊ ... ⊊ п _п .

Например, поле нульмерно, поскольку единственный простой идеал - это нулевой идеал. Целые числа одномерны, так как цепи имеют вид (0) ⊊ ( p ), где p - простое число . Для нётеровых колец, а также нелокальных колец размерность может быть бесконечной, но нётеровы локальные кольца имеют конечную размерность. Из четырех аксиом выше, первые два являются элементарными из определения, в то время как оставшиеся два шарнира на важных фактах в коммутативной алгебре , то происходит вверх теорема и основная теорема идеального Крулля .

Гомоморфизмы колец [ править ]

Гомоморфизм колец или, более просторечии, просто карта , это карта F  : R → S таким образом, что

f ( a + b ) = f ( a ) + f ( b ), f ( ab ) = f ( a ) f ( b ) и f (1) = 1.

Эти условия гарантируют, что f (0) = 0. Подобно другим алгебраическим структурам, гомоморфизм колец, таким образом, является отображением, совместимым со структурой рассматриваемых алгебраических объектов. В такой ситуации S также называется R -алгеброй, понимая, что s в S можно умножить на некоторое r из R , положив

r · s  : = f ( r ) · s .

Ядро и образ из F определяются кег ( ф ) = { г ∈ R , ф ( г ) = 0} , и им ( ф ) = F ( R ) = { F ( г ), г ∈ R }. Ядро является идеальным из R , и изображение является Подкольцом из S .

Гомоморфизм колец называется изоморфизмом, если он биективен. Примером изоморфизма колец, известного как китайская теорема об остатках , является

${\displaystyle \mathbf {Z} /n=\bigoplus _{i=0}^{k}\mathbf {Z} /p_{i}}$

где n = p ₁ p ₂ ... p _k - произведение попарно различных простых чисел .

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

${\displaystyle (a+b)^{n}=\sum _{k=0}^{n}{\binom {n}{k}}a^{k}b^{n-k}}$

которое справедливо для любых двух элементов a и b в любом коммутативном кольце R , понимается в этом смысле, интерпретируя биномиальные коэффициенты как элементы R с использованием этого отображения.

Для двух R -алгебр S и T их тензорное произведение

S ⊗ _R T

снова коммутативная R -алгебра. В некоторых случаях тензор продукт может служить , чтобы найти Т - алгебру , которая относится к Z , как S относится к R . Например,

R [ X ] ⊗ _R T = T [ X ].

Конечное поколение [ править ]

R - алгебра S называется конечно порожден (как алгебра) , если существует конечное число элементов с ₁ , ..., ев _п таким образом, что любой элемент х можно представить в виде полинома в ˙s _I . Эквивалентно S изоморфна

Р [ Т ₁ , ..., Т _п ] / Я .

Гораздо более сильное условием является то , что S имеет конечное число образующие как R - модуль , а это означает , что любая ей может быть выражена как R -линейной комбинация некоторых конечного множество s ₁ , ..., ев _н .

Местные кольца [ править ]

Кольцо называется локальным, если у него есть только один максимальный идеал, обозначаемый m . Для любого (не обязательно локального) кольца R локализация

R _p

в простом идеале p локален. Эта локализация отражает геометрические свойства Spec R "около p ". Некоторые понятия и проблемы коммутативной алгебры сводятся к случаю, когда R локально, что делает локальные кольца особенно глубоко изученным классом колец. Поле вычетов из R определяется как

k = R / м .

Любой R -модуль M порождает k -векторное пространство, заданное M / mM . Лемма Накаямы показывает, что этот отрывок сохраняет важную информацию: конечно порожденный модуль M равен нулю тогда и только тогда, когда M / mM равно нулю.

Регулярные местные звонки [ править ]

Пространство k- векторов m / m ² является алгебраическим воплощением кокасательного пространства . Неформально элементы m можно рассматривать как функции, которые обращаются в нуль в точке p , тогда как m ² содержит те, которые обращаются в нуль с порядком не менее 2. Для любого нетерова локального кольца R выполняется неравенство

dim _k м / м ² ≥ dim R

справедливо, отражающие идею о том , что котангенс (или , что эквивалентно касательное) пространство имеет по крайней мере размерность пространства Spec R . Если в этой оценке выполняется равенство, R называется регулярным локальным кольцом . Нётерово локальное кольцо регулярно тогда и только тогда, когда кольцо (которое является кольцом функций на касательном конусе )

${\displaystyle \bigoplus _{n}m^{n}/m^{n+1}}$

изоморфно кольцу многочленов над k . Вообще говоря, регулярные локальные кольца чем-то похожи на кольца полиномов. ^[1] Регулярные локальные кольца - это UFD. ^[2]

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

Полные перекрестки [ править ]

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

R = k [ T ₁ , ..., T _r ] / ( f ₁ , ..., f _n )

не меньше r - n . Кольцо R называется полным кольцом пересечений, если его можно представить способом, который достигает этой минимальной границы. Это понятие также в основном изучается для локальных колец. Любое регулярное локальное кольцо является полным кольцом пересечений, но не наоборот.

Кольцо R является теоретико-множественным полным пересечением, если приведенное кольцо, ассоциированное с R , т. Е. Кольцо , полученное путем деления всех нильпотентных элементов, является полным пересечением. По состоянию на 2017 год вообще неизвестно, являются ли кривые в трехмерном пространстве теоретико-множественными полными пересечениями. ^[3]

Кольца Коэна – Маколея [ править ]

Глубина локального кольца R является количеством элементов в некоторых (или, как можно показать, любую) максимальную регулярную последовательность, т.е. последовательность ₁ , ..., _п ∈ M таким , что все _я не являюсь -делители нуля в

R / ( a ₁ , ..., a _{i −1} ).

Для любого локального нётерова кольца выполняется неравенство

глубина ( R ) ≤ dim ( R )

держит. Локальное кольцо, в котором имеет место равенство, называется кольцом Коэна – Маколея . Локальные полные кольца пересечений и тем более регулярные локальные кольца - это Коэна – Маколея, но не наоборот. Коэн – Маколей сочетает в себе желаемые свойства регулярных колец (например, свойство быть универсально связными кольцами , что означает, что (ко) размерность простых чисел имеет хорошее поведение), но они также более устойчивы к факторизации, чем регулярные локальные кольца. ^[4]

Построение коммутативных колец [ править ]

Есть несколько способов построить новые кольца из уже имеющихся. Целью таких конструкций часто является улучшение определенных свойств кольца, чтобы сделать его более понятным. Например, область целостности, интегрально замкнутая в своем поле дробей , называется нормальной . Это желательное свойство, например, любое нормальное одномерное кольцо обязательно регулярно . Отображение ^{[ требуется пояснение ]} нормального кольца называется нормализацией .

Завершенные [ править ]

Если я идеал в коммутативном кольце R , полномочия I образуют топологические окрестности из 0 , которые позволяют R следует рассматривать в качестве топологического кольца . Эта топология называется I -адической топологией . Тогда R можно дополнить по этой топологии. Формально I -адическое пополнение является обратным пределом колец R / I ⁿ . Например, если k - поле, k [[ X ]], формальный степенной рядкольцо в одной переменной над к , это я -адическая завершение к [ Х ] , где I представляет собой главный идеал , порожденный X . Это кольцо служит алгебраическим аналогом диска. Аналогично, кольцо целых p -адических чисел является пополнением Z относительно главного идеала ( p ). Любое кольцо, изоморфное собственному пополнению, называется полным .

Полные локальные кольца удовлетворяют леммы Гензеля , что , грубо говоря , позволяет расширить решения (различных проблем) над полем вычетов к к R .

Гомологические понятия [ править ]

Некоторые более глубокие аспекты коммутативных колец были изучены с использованием методов гомологической алгебры . Hochster (2007) перечисляет некоторые открытые вопросы в этой области активных исследований.

Проективные модули и Ext-функторы [ править ]

Проективные модули можно определить как прямые слагаемые свободных модулей. Если R локален, любой конечно порожденный проективный модуль на самом деле свободен, что дает содержание аналогии между проективными модулями и векторными расслоениями . ^[5] Теорема Квиллена – Суслина утверждает, что любой конечно порожденный проективный модуль над k [ T ₁ , ..., T _n ] ( k a поле) свободен, но в целом эти два понятия различаются. Локальное нётерово кольцо является регулярным тогда и только тогда, когда его глобальная размерность конечна, скажем n , что означает, что любое конечно порожденноеR - модуль имеет разрешение по проекционным модулям длины не больше п .

Доказательство этого и других связанных утверждений основывается на использовании гомологических методов, таких как функтор Ext . Этот функтор является производным от функтора

Hom _R ( M , -).

Последний функтор точен , если M является проективным, а не иначе: для сюръективного отображения E → F из R -модулей, карта M → F не должна распространяться на карту M → E . Высшие функторы Ext измеряют неточность Hom-функтора. Важность этой стандартной конструкции в основах гомологической алгебры видна из того факта, что локальное нетерово кольцо R с полем вычетов k регулярно тогда и только тогда, когда

Внешний ⁿ ( k , k )

пропадает для всех достаточно больших n . Более того, размерности этих Ext-групп, известных как числа Бетти , полиномиально растут по n тогда и только тогда, когда R - локальное полное кольцо пересечений . ^[6] Ключевым аргументом в таких соображениях является комплекс Кошуля , который обеспечивает явное свободное разрешение поля вычетов k локального кольца R в терминах регулярной последовательности.

Плоскость [ править ]

Тензорное произведение является еще одним не-точным функтором значения в контексте коммутативных колец: для общего R - модуль M , функтор

M ⊗ _R -

только право точное. Если это точно, M называется плоским . Если R локально, любой конечно представленный плоский модуль не имеет конечного ранга, а значит, проективен. Несмотря на определение в терминах гомологической алгебры, плоскостность имеет глубокие геометрические последствия. Например, если R -алгебра S плоская, размеры слоев

S / pS = S ⊗ _R R / п

(для простых идеалов p в R ) имеют «ожидаемую» размерность, а именно dim S - dim R + dim ( R / p ).

Свойства [ править ]

По теореме Веддерберна каждое конечное тело коммутативно и, следовательно, является конечным полем . Другим условием обеспечения коммутативности кольца, из - за Jacobson , заключается в следующем: для каждого элемента г из R существует целое число п > 1 такое , что т ^п = г . ^[7] Если r ² = r для любого r , кольцо называется булевым кольцом . Известны и более общие условия, гарантирующие коммутативность кольца. ^[8]

Обобщения [ править ]

Градуированно-коммутативные кольца [ править ]

Градуированное кольцо R = ⨁ _{я ε Z} R _я называется градуированным коммутативным , если

ab = (−1) ^{deg a ⋅ deg b .}

Если R _i соединены дифференциалами ∂ такими, что выполняется абстрактная форма правила произведения , т. Е.

∂ ( ab ) = ∂ ( a ) b + (−1) ^{deg a} ∂ ( b ),

R называется коммутативной дифференциальной градуированной алгеброй (cdga). Примером может служить комплекс дифференциальных форм на многообразии с умножением, данным внешним произведением , является cdga. Когомологии cdga - это градуированно-коммутативное кольцо, иногда называемое кольцом когомологий . Таким образом, возникает широкий спектр примеров градуированных колец. Например, кольцо Лазара - это кольцо классов кобордизмов комплексных многообразий.

Градуированно-коммутативное кольцо относительно градуировки по Z / 2 (в отличие от Z ) называется супералгеброй .

Связанное с этим понятием является почти коммутативным кольцом , что означает , что R является фильтрует таким образом , что соответствующее градуированное кольцо

гр R  : = ⨁ F _i R / ⨁ F _{i −1} R

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

Симплициальные коммутативные кольца [ править ]

Симплициальное коммутативное кольцо является симплициальным объектом в категории коммутативных колец. Они являются строительными блоками для (соединительной) производной алгебраической геометрии . Близким, но более общим понятием является понятие E ∞ -кольца .

См. Также [ править ]

• Почти кольцо , некоторое обобщение коммутативного кольца.
• Делимость (теория колец) : нильпотентный элемент , пример: двойственные числа
• Идеалы и модули: радикал идеала , эквивалентность Морита
• Кольцевые гомоморфизмы: интегральный элемент : теорема Кэли-Гамильтона , целозамкнутая область , Крулл кольцо , теорема Крулля-Акизуки
• Простые числа: лемма об избежании простых чисел , радикал Джекобсона , нильрадикал кольца , спектр: компактное пространство , связное кольцо , дифференциальное исчисление над коммутативными алгебрами , теорема Банаха – Стоуна
• Локальные кольца: кольцо Горенштейна : двойственность (математика) , Эбен Матлис ; Дуализирующий модуль , теорема Попеску , аппроксимационная теорема Артина .
• «Приложения» (коммутативные кольца, возникающие в математике): голоморфные функции , алгебраическая K-теория , топологическая K-теория , структуры с разделенными степенями , векторы Витта , алгебра Гекке , кольца периодов Фонтена , кластерная алгебра , алгебра сверток (коммутативной группы), см. также алгебру Фреше

Примечания [ править ]

Цитаты [ править ]

Ссылки [ править ]

• Атья, Майкл ; Макдональд, И.Г. (1969), Введение в коммутативную алгебру , Addison-Wesley Publishing Co.
• Бальцержик, Станислав; Józefiak, Tadeusz (1989), Коммутативные кольца Нётерана и Крулля , Серия Эллиса Хорвуда: Математика и ее приложения, Чичестер: Ellis Horwood Ltd., ISBN 978-0-13-155615-7
• Бальцержик, Станислав; Józefiak, Tadeusz (1989), Размерность, множественность и гомологические методы , Серия Эллиса Хорвуда: Математика и ее приложения., Чичестер: Ellis Horwood Ltd., ISBN 978-0-13-155623-2
• Кристенсен, Ларс Винтер; Стриули, Джанет; Величе, Оана (2010), «Рост минимального инъективного разрешения локального кольца», Журнал Лондонского математического общества , вторая серия, 81 (1): 24–44, arXiv : 0812.4672 , doi : 10.1112 / jlms / jdp058
• Эйзенбуд, Дэвид (1995), Коммутативная алгебра. С прицелом на алгебраическую геометрию. , Тексты для выпускников по математике , 150 , Берлин, Нью-Йорк: Springer-Verlag , ISBN 978-0-387-94268-1, MR  1322960
• Хохстер, Мелвин (2007), «Гомологические гипотезы, старые и новые» (PDF) , Illinois J. Math. , 51 (1): 151–169, doi : 10.1215 / ijm / 1258735330 , заархивировано из оригинала (PDF) 29 октября 2019 г. , получено 1 августа 2017 г.
• Jacobson, Nathan (1945), "Структурная теория алгебраических алгебр ограниченной степени", Анналы математики , 46 (4): 695-707, DOI : 10,2307 / 1969205 , ISSN  0003-486X , JSTOR  1969205
• Каплански, Ирвинг (1974), Коммутативные кольца (пересмотренное издание), University of Chicago Press , MR  0345945
• Любезник, Геннадий (1989), "Обзор проблем и результатов о числе определяющих уравнений", Представления, разрешения и переплетающиеся числа , стр. 375–390, Zbl  0753.14001
• Мацумура, Хидеюки (1989), Теория коммутативных колец , Кембриджские исследования в области высшей математики (2-е изд.), Cambridge University Press , ISBN 978-0-521-36764-6
• Нагата, Масаёши (1975) [1962], Местные кольца , Interscience Tracts in Pure and Applied Mathematics, 13 , Interscience Publishers, стр. Xiii + 234, ISBN 978-0-88275-228-0, MR  0155856
• Пинтер-Люк, Джеймс (2007), "коммутативность условие для колец: 1950-2005 гг", Expositiones Mathematicae , 25 (2): 165-174, DOI : 10.1016 / j.exmath.2006.07.001 , ISSN  0723-0869
• Зариски, Оскар ; Самуэль, Пьер (1958–60), Коммутативная алгебра I, II , Университетская серия по высшей математике, Принстон, Нью-Джерси: D. van Nostrand, Inc. (Перепечатано Спрингером в 1975-76 гг. В виде выпусков 28-29 томов по математике.)