![]() | В этой статье используется разметка HTML . ( Октябрь 2020 г. ) |
В теории колец , ветви абстрактной алгебры , коммутативное кольцо - это кольцо, в котором операция умножения коммутативна . Изучение коммутативных колец называется коммутативной алгеброй . Кроме того, некоммутативная алгебра - это изучение некоммутативных колец, в которых умножение не обязательно должно быть коммутативным.
Алгебраическая структура → Теория колец Теория колец |
---|
![]() |
Алгебраические структуры |
---|
Определение и первые примеры [ править ]
Определение [ править ]
Кольцо представляет собой набор оснащен двумя бинарными операциями , то есть операции , сочетающие в себе любые два элемента кольца на треть. Они называются сложением и умножением и обычно обозначаются как «и »; например, и . Чтобы сформировать кольцо, эти две операции должны удовлетворять ряду свойств: кольцо должно быть абелевой группой при сложении, а также моноидом при умножении, где умножение распределяется по сложению; то есть . Элементы идентичности для сложения и умножения обозначаются и соответственно.
Если умножение коммутативное, т. Е.
- ,
тогда кольцо называется коммутативным . В оставшейся части статьи все кольца будут коммутативными, если явно не указано иное.
Первые примеры [ править ]
Важным примером и в некотором смысле решающим является кольцо целых чисел с двумя операциями сложения и умножения. Поскольку умножение целых чисел - это коммутативная операция, это коммутативное кольцо. Обычно обозначается как аббревиатура от немецкого слова Zahlen (числа).
Поле является коммутативным кольцом , где и каждый ненулевой элемент обратит; т.е. имеет мультипликативный обратный такой, что . Следовательно, по определению любое поле является коммутативным кольцом. В рациональных , вещественных и комплексных числах образуют поля.
Если - данное коммутативное кольцо, то множество всех многочленов от переменной , коэффициенты которых находятся в, образует кольцо многочленов , обозначенное . То же самое верно для нескольких переменных.
Если - некоторое топологическое пространство , например подмножество некоторых вещественно- или комплекснозначных непрерывных функций на, образуют коммутативное кольцо. То же самое справедливо и для дифференцируемых или голоморфных функций , когда эти два понятия определены, например, для более сложного многообразия .
Делимость [ править ]
В отличие от полей, где каждый ненулевой элемент мультипликативно обратим, понятие делимости для колец богаче. Элемент кольца называется единицей, если он обладает мультипликативным обратным. Другим частным типом элементов являются делители нуля , то есть такой элемент , что существует ненулевой элемент кольца такой, что . Если не имеет ненулевых делителей нуля, она называется областью целостности (или областью). Элемент, удовлетворяющий некоторому положительному целому числу , называется нильпотентным .
Локализации [ править ]
Локализации кольца представляет собой процесс , в котором некоторые элементы оказываются обратимы, т.е. мультипликативные обратные добавляются к кольцу. В частности, если это мультипликативно замкнутое подмножество из (т.е. всякий раз , когда то и ) , то локализация по меньшей или кольцо фракций с знаменателями в , как правило , обозначаются состоит из символов
- с участием
при соблюдении определенных правил, имитирующих отмену, знакомую по рациональным числам. Действительно, на этом языке есть локализация вообще ненулевых целых чисел. Эта конструкция работает для любой целостной области вместо . Локализация представляет собой поле, называемое полем частного из .
Идеалы и модули [ править ]
Многие из следующих понятий также существуют для необязательно коммутативных колец, но определения и свойства обычно более сложны. Например, все идеалы в коммутативном кольце автоматически двусторонние , что значительно упрощает ситуацию.
Модули и идеалы [ править ]
Для кольца , - модуль подобно тому , что векторное пространство является полем. То есть в модуль можно добавлять элементы; они могут быть умножены на элементы с учетом тех же аксиом, что и для векторного пространства. Изучение модулей значительно сложнее, чем изучение векторных пространств в линейной алгебре , поскольку некоторые особенности векторных пространств не подходят для модулей в целом: модули не обязательно должны быть свободными , т. Е. Иметь вид
Даже для свободных модулей ранг свободного модуля (т. Е. Аналог размерности векторных пространств) может быть некорректно определен. Наконец, подмодули конечно порожденных модулей не обязательно должны быть конечно порожденными (если они не нётеровы, см. Ниже ).
Идеалы [ править ]
Идеалы кольца являются подмодулями из , т.е. модулей , содержащиеся в . Более подробно, идеальным является непустое подмножество , что для всех ин , и в , так и в . Для различных приложений понимание идеалов кольца имеет особое значение, но часто можно продолжить изучение модулей в целом.
Любое кольцо имеет два идеала, а именно нулевой идеал и все кольцо. Эти два идеала единственные, если есть поле. Принимая во внимание любое подмножество из (где некоторое множество индексов), идеал , порожденный является наименьшим идеалом , который содержит . Эквивалентно, это дается конечными линейными комбинациями
- .
Основные идеальные области [ править ]
Если состоит из одного элемента , идеал, созданный с помощью, состоит из кратных , т. Е. Элементов формы для произвольных элементов . Такой идеал называется главным идеалом . Если каждый идеал является главным идеалом, он называется кольцом главных идеалов ; двумя важными случаями являются и , кольцо многочленов над полем . Эти две области являются дополнительными, поэтому они называются областями главных идеалов .
В отличие от обычных колец, для области главных идеалов свойства отдельных элементов сильно привязаны к свойствам кольца в целом. Например, любая область главного идеала является уникальной областью факторизации (UFD), что означает, что любой элемент является продуктом неприводимых элементов уникальным (с точностью до переупорядочения факторов) способом. Здесь элемент a в области называется неприводимым, если единственный способ выразить его как продукт
- ,
это либо или быть единицей. Примером, важным в теории поля , являются неприводимые многочлены , т. Е. Неприводимые элементы в для поля . Тот факт, что это UFD, можно сформулировать более элементарно, сказав, что любое натуральное число может быть однозначно разложено как произведение степеней простых чисел. Она также известна как основная теорема арифметики .
Элемент является первичным элементом, если всякий раз, когда делит продукт , делит или . В области простота означает неприводимость. Обратное верно в уникальной области факторизации, но неверно в целом.
Факторное кольцо [ править ]
Определение идеалов таково , что «деление» «из» дает еще одно кольцо, фактор - кольцо / : это множество смежных классов из совместно с операциями
- и .
Например, кольцо (также обозначаемое ), где - целое число, представляет собой кольцо целых чисел по модулю . Это основа модульной арифметики .
Идеал считается правильным, если он строго меньше всего кольца. Идеал, который строго не содержится ни в одном собственном идеале, называется максимальным .Идеал максимален тогда и только тогда, когда / - поле. За исключением нулевого кольца , любое кольцо (с единицей) обладает хотя бы одним максимальным идеалом; это следует из леммы Цорна .
Нётерские кольца [ править ]
Кольцо называется нётерским (в честь Эмми Нётер , разработавшей эту концепцию), если каждая восходящая цепочка идеалов
становится стационарным, т.е. становится постоянным за пределами некоторого индекса . Эквивалентно любой идеал порождается конечным числом элементов или, что эквивалентно, подмодули конечно порожденных модулей конечно порождены .
Нетеровость - очень важное условие конечности, и это условие сохраняется при многих операциях, которые часто встречаются в геометрии. Например, если нётерово, то также и кольцо многочленов (по теореме о базисе Гильберта ), любая локализация , а также любое фактор-кольцо / .
Любое нётерово кольцо является объединением его нётеровых подкольц. Этот факт, известный как нётерово приближение , позволяет распространить некоторые теоремы на нётеровы кольца.
Артинианские кольца [ править ]
Кольцо называется артиновым (в честь Эмиля Артина ), если каждая нисходящая цепочка идеалов
со временем становится стационарным. Несмотря на то, что два условия кажутся симметричными, нётеровы кольца гораздо более общие, чем артиновы кольца. Например, является нётеровым, поскольку каждый идеал может быть порожден одним элементом, но не артиновым, поскольку цепочка
показывает. Фактически, по теореме Хопкинса – Левицки каждое артиново кольцо нётерово. Точнее, артиновы кольца можно охарактеризовать как нетеровы кольца, размерность Крулля которых равна нулю.
Спектр коммутативного кольца [ править ]
Основные идеалы [ править ]
Как было сказано выше, это уникальная область факторизации . Это неверно для более общих колец, как это поняли алгебраисты в 19 веке. Например, в
- ,
Есть два действительно разных способа написать 6 как продукт:
Первичные идеалы, в отличие от первичных элементов, позволяют обойти эту проблему. Первичный идеал - это собственный (т. Е. Строго содержащийся в ) идеал, такой, что всякий раз, когда произведение любых двух элементов кольца и входит , по крайней мере, один из этих двух элементов уже входит . (Противоположный вывод верен для любого идеала по определению.) Таким образом, если простой идеал является главным, он эквивалентно порождается простым элементом. Однако в таких кольцах, как простые идеалы не обязательно должны быть главными. Это ограничивает использование простых элементов в теории колец. Однако краеугольным камнем алгебраической теории чисел является тот факт, что в любом дедекиндовом кольце (которое включает и в более общем смыслекольцо целых чисел в числовом поле ) любой идеал (например, тот, который порождается числом 6) однозначно разлагается как произведение простых идеалов.
Любой максимальный идеал является первичным идеалом или, короче, первичным. Более того, идеал прост тогда и только тогда, когда факторкольцо / является областью целостности. Доказать, что идеал является простым или, что то же самое, что кольцо не имеет делителей нуля, может быть очень сложно. Еще один способ выразить то же самое - сказать, что дополнение мультипликативно замкнуто. Локализации ( R \ р ) -1 R является достаточно важным , чтобы иметь свои собственные обозначения: . У этого кольца есть только один максимальный идеал, а именно . Такие кольца называются локальными .
Спектр [ править ]
Спектр кольца , [NB 1] обозначается , есть множество всех простых идеалов . Он снабжен топологией, топологией Зарисского , которая отражает алгебраические свойства : базис открытых подмножеств задается формулой
- , где - любой элемент кольца.
Если интерпретировать как функцию, которая принимает значение f mod p (т. Е. Изображение f в поле вычетов R / p ), это подмножество является локусом, в котором f не равно нулю. Спектр также уточняет интуицию о том, что локализация и фактор-кольца дополняют друг друга: естественные отображения R → R f и R → R / fR соответствуют, после наложения спектров рассматриваемых колец их топологией Зарисского, дополнительным открытым и закрытым погружениям.соответственно. Даже для основных колец, таких как показано для R = Z справа, топология Зарисского сильно отличается от топологии на множестве действительных чисел.
Спектр содержит набор максимальных идеалов, который иногда обозначают mSpec ( R ). Для алгебраически замкнутого поля k mSpec (k [ T 1 , ..., T n ] / ( f 1 , ..., f m )) находится в биекции с множеством
- { x = ( x 1 , ..., x n ) ∊ k n | f 1 ( x ) = ... = f m ( x ) = 0.}
Таким образом, максимальные идеалы отражают геометрические свойства множеств решений многочленов, что является исходной мотивацией для изучения коммутативных колец. Однако рассмотрение немаксимальных идеалов как части геометрических свойств кольца полезно по нескольким причинам. Так , например, минимальные простые идеалы (т.е. те , которые не строго , содержащие более мелкие) соответствуют неприводимым компонентам в Spec R . Для нётерова кольца R Spec R имеет только конечное число неприводимых компонент. Это геометрическая переформулировка первичной декомпозиции , согласно которой любой идеал может быть разложен как произведение конечного числа первичных идеалов.. Этот факт является окончательным обобщением разложения дедекиндовских колец на простые идеалы.
Аффинные схемы [ править ]
Понятие спектра является общей базой коммутативной алгебры и алгебраической геометрии . Алгебраическая геометрия протекает по наделению Spec R с пучком (объект , который собирает функцию , определенной локально, то есть при изменении открытых подмножеств). Датаум пространства и пучка называется аффинной схемой . Учитывая аффинную схему, лежащий в основе кольца R может быть извлечен в качестве глобальных сечений в . Более того, это взаимно однозначное соответствие между кольцами и аффинными схемами также совместимо с гомоморфизмами колец: любое f : R → S порождает непрерывное отображение в обратном направлении
- Spec S → Spec R , Q ↦ F -1 ( д ), то есть любой простой идеал S отображается на его прообраз под F , который является простым идеалом R .
Полученная эквивалентность двух упомянутых категорий точно отражает алгебраические свойства колец геометрическим образом.
Подобно тому, как многообразия локально задаются открытыми подмножествами R n , аффинные схемы являются локальными моделями схем , которые являются объектом изучения в алгебраической геометрии. Поэтому некоторые представления о коммутативных кольцах вытекают из геометрической интуиции.
Размер [ править ]
Размерность Крулля (или измерение) тусклым 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 1 , ..., X n ] = n . Эта аксиома мотивирована тем, что кольцо многочленов от n переменных рассматривается как алгебраический аналог n- мерного пространства .
Размерность определяется для любого кольца R как верхняя грань длин n цепочек простых идеалов
- п 0 ⊊ п 1 ⊊ ... ⊊ п п .
Например, поле нульмерно, поскольку единственный простой идеал - это нулевой идеал. Целые числа одномерны, поскольку цепи имеют вид (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 .
Гомоморфизм колец называется изоморфизмом, если он биективен. Примером изоморфизма колец, известного как китайская теорема об остатках , является
где n = p 1 p 2 ... p k - произведение попарно различных простых чисел .
Коммутативные кольца вместе с гомоморфизмами колец образуют категорию . Кольцо Z представляет собой исходный объект в этой категории, что означает , что для любого коммутативного кольца R , существует единственный кольцевой гомоморфизм Z → R . С помощью этой карты, целое число п можно рассматривать как элемент R . Например, биномиальная формула
которое справедливо для любых двух элементов a и b в любом коммутативном кольце R , понимается в этом смысле, интерпретируя биномиальные коэффициенты как элементы R с использованием этого отображения.
Для двух R -алгебр S и T их тензорное произведение
- S ⊗ R T
снова является коммутативной R -алгеброй. В некоторых случаях тензор продукт может служить , чтобы найти Т - алгебру , которая относится к Z , как S относится к R . Например,
- R [ X ] ⊗ R T = T [ X ].
Конечное поколение [ править ]
R - алгебра S называется конечно порожден (как алгебра) , если существует конечное число элементов с 1 , ..., ев п таким образом, что любой элемент х можно представить в виде полинома в ˙s I . Эквивалентно S изоморфна
- Р [ Т 1 , ..., Т п ] / Я .
Гораздо более сильное условием является то , что S имеет конечное число образующие как R - модуль , а это означает , что любая ей может быть выражена как R -линейной комбинация некоторых конечного множество s 1 , ..., ев н .
Местные кольца [ править ]
Кольцо называется локальным, если у него есть только один максимальный идеал, обозначаемый m . Для любого (не обязательно локального) кольца R локализация
- R p
в простом идеале p локален. Эта локализация отражает геометрические свойства Spec R "около p ". Некоторые понятия и проблемы коммутативной алгебры можно свести к случаю, когда R локально, что делает локальные кольца особенно глубоко изученным классом колец. Поле вычетов из R определяется как
- k = R / м .
Любой R -модуль M порождает k- векторное пространство, задаваемое M / mM . Лемма Накаямы показывает, что этот отрывок сохраняет важную информацию: конечно порожденный модуль M равен нулю тогда и только тогда, когда M / mM равно нулю.
Регулярные местные звонки [ править ]
Пространство k- векторов m / m 2 является алгебраическим воплощением кокасательного пространства . Неформально элементы m можно рассматривать как функции, которые обращаются в нуль в точке p , тогда как m 2 содержит те, которые обращаются в нуль с порядком не ниже 2. Для любого нётерова локального кольца R выполняется неравенство
- dim k м / м 2 ≥ dim R
справедливо, отражающие идею о том , что котангенс (или , что эквивалентно касательное) пространство имеет по крайней мере размерность пространства Spec R . Если в этой оценке выполняется равенство, R называется регулярным локальным кольцом . Нётерово локальное кольцо регулярно тогда и только тогда, когда кольцо (которое является кольцом функций на касательном конусе )
изоморфно кольцу многочленов над k . Вообще говоря, регулярные локальные кольца чем-то похожи на кольца полиномов. [1] Регулярные локальные кольца - это UFD. [2]
Кольца дискретной оценки снабжены функцией, которая присваивает целое число любому элементу r . Это число, называемое оценкой r, можно неформально рассматривать как нулевой или полюсный порядок r . Кольца дискретного нормирования - это в точности одномерные регулярные локальные кольца. Например, кольцо ростков голоморфных функций на римановой поверхности является кольцом дискретного нормирования.
Полные перекрестки [ править ]
Согласно теореме Крулля об основном идеале , основополагающем результате теории размерности колец , размерность
- R = k [ T 1 , ..., T r ] / ( f 1 , ..., f n )
не меньше r - n . Кольцо R называется полным кольцом пересечений, если его можно представить таким образом, чтобы достичь этой минимальной границы. Это понятие также в основном изучается для локальных колец. Любое регулярное локальное кольцо является полным кольцом пересечений, но не наоборот.
Кольцо R является теоретико-множественным полным пересечением, если приведенное кольцо, ассоциированное с R , т. Е. Кольцо , полученное разделением всех нильпотентных элементов, является полным пересечением. По состоянию на 2017 год вообще неизвестно, являются ли кривые в трехмерном пространстве теоретико-множественными полными пересечениями. [3]
Кольца Коэна – Маколея [ править ]
Глубина локального кольца R является количеством элементов в некоторых (или, как можно показать, любую) максимальную регулярную последовательность, т.е. последовательность 1 , ..., п ∈ M таким , что все я не являюсь -делители нуля в
- R / ( a 1 , ..., a i −1 ).
Для любого локального нётерова кольца выполняется неравенство
- глубина ( R ) ≤ dim ( R )
держит. Локальное кольцо, в котором имеет место равенство, называется кольцом Коэна – Маколея . Локальные полные кольца пересечений и тем более регулярные локальные кольца - это Коэна – Маколея, но не наоборот. Коэн – Маколей сочетает в себе желаемые свойства регулярных колец (например, свойство быть универсально связными кольцами , что означает, что (ко) размерность простых чисел имеет хорошее поведение), но они также более устойчивы к факторизации, чем регулярные локальные кольца. [4]
Построение коммутативных колец [ править ]
Есть несколько способов построить новые кольца из уже имеющихся. Целью таких конструкций часто является улучшение определенных свойств кольца, чтобы сделать его более понятным. Например, область целостности, интегрально замкнутая в своем поле дробей , называется нормальной . Это желательное свойство, например, любое нормальное одномерное кольцо обязательно регулярно . Отображение [ требуется пояснение ] нормального кольца называется нормализацией .
Завершенные [ править ]
Если я идеал в коммутативном кольце R , полномочия I образуют топологические окрестности из 0 , которые позволяют R следует рассматривать в качестве топологического кольца . Эта топология называется I -адической топологией . Тогда R можно дополнить по этой топологии. Формально I -адическое пополнение является обратным пределом колец R / I n . Например, если k - поле, k [[ X ]], формальный степенной рядкольцо в одной переменной над к , это я -адическая завершение к [ Х ] , где I представляет собой главный идеал , порожденный X . Это кольцо служит алгебраическим аналогом диска. Аналогично кольцо целых p -адических чисел является пополнением Z относительно главного идеала ( p ). Любое кольцо, изоморфное собственному пополнению, называется полным .
Полные локальные кольца удовлетворяют леммы Гензеля , что , грубо говоря , позволяет расширить решения (различных проблем) над полем вычетов к к R .
Гомологические понятия [ править ]
Некоторые более глубокие аспекты коммутативных колец были изучены методами гомологической алгебры . Hochster (2007) перечисляет некоторые открытые вопросы в этой области активных исследований.
Проективные модули и Ext-функторы [ править ]
Проективные модули можно определить как прямые слагаемые свободных модулей. Если R является локальным, любой конечно порожденный проективный модуль фактически свободен, что дает содержание аналогии между проективными модулями и векторными расслоениями . [5] Теорема Квиллена – Суслина утверждает, что любой конечно порожденный проективный модуль над k [ T 1 , ..., T n ] ( k a поле) свободен, но в целом эти два понятия различаются. Локальное нётерово кольцо регулярно тогда и только тогда, когда его глобальная размерность конечна, скажем n , что означает, что любое конечно порожденноеR - модуль имеет разрешение по проекционным модулям длины не больше п .
Доказательство этого и других связанных утверждений опирается на использование гомологических методов, таких как функтор Ext . Этот функтор является производным от функтора
- Hom R ( M , -).
Последний функтор точен , если M является проективным, а не иначе: для сюръективного отображения E → F из R -модулей, карта M → F не должна распространяться на карту M → E . Высшие функторы Ext измеряют неточность Hom-функтора. Важность этой стандартной конструкции в основах гомологической алгебры видна из того факта, что локальное нётерово кольцо R с полем вычетов k регулярно тогда и только тогда, когда
- Внешний n ( 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 2 = 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-теория , структуры с разделенными степенями , векторы Витта , алгебра Гекке , кольца периодов Фонтейна , кластерная алгебра , алгебра сверток (коммутативной группы), см. также алгебру Фреше
Заметки [ править ]
- ^ Это понятие может быть связано со спектром линейного оператора, см. Спектр C * -алгебры и представление Гельфанда .
Цитаты [ править ]
- ^ Мацумура , §7, Примечания, стр. 143)
- ^ Мацумура , §19, теорема 48)
- ^ Lyubeznik (1989)
- ^ Эйзенбуд (1995 , следствие 18.10, предложение 18.13)
- ^ См. Также теорему Серра – Свона .
- ^ Кристенсен, Стриули и Величе (2010)
- ^ Якобсон 1945
- ^ Пинтер-Лак, 2007
Ссылки [ править ]
- Атья, Майкл ; Макдональд, И.Г. (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 г. , получено 01 августа 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 томов по математике.)