Размер Крулля
В коммутативной алгебре размерность Крулля R коммутативного кольца , названного в честь Вольфганга Крулля , является верхней границей длин всех цепочек простых идеалов . Размерность Крулля не обязательно должна быть конечной даже для нетерова кольца . В более общем смысле размерность Крулля может быть определена для модулей над, возможно, некоммутативными кольцами, как отклонение частично упорядоченного множества подмодулей.
Размерность Крулля была введена для того, чтобы дать алгебраическое определение размерности алгебраического многообразия : размерность аффинного многообразия, определяемого идеалом I в кольце многочленов R, является размерностью Крулля кольца R / I .
Поле имеет размерность Крулля 0 k ; в более общем смысле, k [ x 1 , ..., x n ] имеет размерность Крулла n . Область главного идеала , не являющаяся полем, имеет размерность Крулля 1. Локальное кольцо когда каждый элемент его максимального идеала нильпотентен имеет размерность Крулля 0 тогда и только тогда , .
Есть несколько других способов определения размера кольца. Большинство из них совпадают с размерностью Крулля для нетеровых колец, но могут отличаться для ненетеровых колец.
Объяснение
[ редактировать ]Будем говорить, что цепочка простых идеалов вида имеет длину n . То есть длина — это количество строгих включений, а не количество простых чисел; они отличаются на 1. Определим Крулля размерность быть верхней границей длин всех цепочек простых идеалов в .
Учитывая простой идеал в R мы определяем высота , написано , быть верхней границей длин всех цепочек простых идеалов, содержащихся в , это означает, что . [1] Другими словами, высота размерность Крулля локализации R в — . Простой идеал имеет нулевую высоту тогда и только тогда, когда он является минимальным простым идеалом . Размерность Крулля кольца — это верхняя грань высот всех максимальных идеалов или всех простых идеалов. Высоту также иногда называют коразмерностью, рангом или высотой простого идеала.
В нётеровом кольце каждый простой идеал имеет конечную высоту. Тем не менее, Нагата привел пример нётерова кольца бесконечной размерности Крулла. [2] Кольцо называется цепным, если любое включение простых идеалов можно расширить до максимальной цепочки простых идеалов между и и любые две максимальные цепи между и иметь одинаковую длину. Кольцо называется универсально цепным, если любая конечно порожденная алгебра над ним является цепной. Нагата привел пример нётеровского кольца, которое не является цепным. [3]
В нётеровом кольце простой идеал имеет высоту не более n тогда и только тогда, когда он является минимальным простым идеалом над идеалом, порожденным n элементами ( теорема Крулла о высоте и ее обратная). [4] Это означает, что для простых идеалов выполняется условие нисходящей цепи , таким образом, длины цепей, исходящих от простого идеала, ограничены числом образующих простого числа. [5]
В более общем смысле высота идеала I — это нижняя грань высот всех простых идеалов, I. содержащих На языке алгебраической геометрии это коразмерность подмногообразия Spec( ), соответствующий I . [6]
Схемы
[ редактировать ]Из определения спектра кольца Spec( R ), пространства простых идеалов кольца R , снабженного топологией Зарисского, легко следует, что размерность Крулля кольца R равна размерности его спектра как топологического пространства, т.е. верхняя грань длин всех цепочек неприводимых замкнутых подмножеств. Это непосредственно следует из связи Галуа между идеалами R и замкнутыми подмножествами Spec( R ) и наблюдения, что по определению Spec( R ) каждый простой идеал R с соответствует общей точке замкнутого подмножества, связанного по связи Галуа.
Примеры
[ редактировать ]- Размерность кольца полиномов над полем k [ x 1 , ..., x n ] равна количеству переменных n . На языке алгебраической геометрии это говорит о том, что аффинное пространство размерности n над полем имеет размерность n , как и ожидалось. В общем, если R — нётерово кольцо размерности n , то размерность R [ x ] равна n + 1. Если отбросить нётерову гипотезу, то R [ x ] может иметь размерность где угодно между n + 1 и 2 n + 1.
- Например, идеал имеет высоту 2, поскольку мы можем сформировать максимальную восходящую цепочку простых идеалов .
- Учитывая неприводимый полином , идеал не является простым (поскольку , но ни один из множителей не является), но мы можем легко вычислить высоту, поскольку наименьший простой идеал, содержащий это просто .
- Кольцо целых чисел Z имеет размерность 1. В более общем смысле, любая область главных идеалов, не являющаяся полем, имеет размерность 1.
- Область целостности является полем тогда и только тогда, когда ее размерность Крулля равна нулю. Дедекиндовы области , не являющиеся полями (например, кольца дискретного нормирования ), имеют размерность единица.
- Размерность Крулля нулевого кольца обычно определяется как или . Нулевое кольцо — единственное кольцо с отрицательной размерностью.
- Кольцо артиново тогда и только тогда, когда оно нётерово и его размерность Крулля не превышает 0.
- Целочисленное расширение кольца имеет ту же размерность, что и само кольцо.
- Пусть R — алгебра над полем k, являющимся областью целостности. Тогда размерность Крулля R меньше или равна степени трансцендентности поля частных R над k . [7] Равенство имеет место, если R конечно порождена как алгебра (например, по лемме о нормализации Нётер ).
- Пусть R — нётерово кольцо, I — идеал и — соответствующее градуированное кольцо (геометры называют его кольцом нормального конуса I . ) Тогда является верхней границей высот максимальных идеалов R, содержащих I . [8]
- Коммутативное нётерово кольцо нулевой размерности Крулля является прямым произведением конечного числа (возможно, одного) локальных колец нулевой размерности Крулля.
- Нётерово локальное кольцо называется кольцом Коэна–Маколея, если его размерность равна глубине . . регулярное локальное кольцо Примером такого кольца является
- Нётерова область целостности является уникальной областью факторизации тогда и только тогда, когда каждый простой идеал высоты 1 является главным. [9]
- Для коммутативного нётерова кольца эквивалентны три следующих условия: быть приведенным кольцом нулевой размерности Крулля, быть полем или прямым произведением полей, быть регулярным по фон Нейману .
Из модуля
[ редактировать ]Если R — коммутативное кольцо, а M — R -модуль, мы определяем размерность Крулла M как размерность Крулла фактора R, что делает M точным модулем . То есть определяем его по формуле:
где Ann R ( M ), аннулятор , — ядро естественного отображения R → End R (M) кольца R в кольцо R -линейных эндоморфизмов кольца M .
На языке схем конечно порожденные модули интерпретируются как когерентные пучки , или обобщенные векторные расслоения конечного ранга .
Для некоммутативных колец
[ редактировать ]Размерность Крулля модуля над возможно некоммутативным кольцом определяется как отклонение частично упорядоченного множества подмодулей, упорядоченных по включению. Для коммутативных нётеровых колец это то же самое, что и определение с использованием цепочек простых идеалов. [10] Два определения могут различаться для коммутативных колец, которые не являются нётеровыми.
См. также
[ редактировать ]- Аналитический спред
- Теория размерности (алгебра)
- Gelfand–Kirillov dimension
- функция Гильберта
- Гомологические гипотезы в коммутативной алгебре
- Основная теорема Крулла об идеале
- Обычный местный звонок
Примечания
[ редактировать ]- ^ Мацумура, Хидеюки: «Теория коммутативных колец», страницы 30–31, 1989 г.
- ^ Эйзенбуд, Д. Коммутативная алгебра (1995). Шпрингер, Берлин. Упражнение 9.6.
- ^ Мацумура, Х. Коммутативная алгебра (1970). Бенджамин, Нью-Йорк. Пример 14.Е.
- ^ Серр 2000 , Гл. III, § Б.2, Теорема 1, Следствие 4.
- ^ Eisenbud 1995 , Следствие 10.3.
- ^ Мацумура, Хидеюки: «Теория коммутативных колец», страницы 30–31, 1989 г.
- ^ Размерность Крулла меньше или равна степени трансцендентности?
- ^ Эйзенбуд 1995 , Упражнение 13.8.
- ↑ Хартсхорн, Робин: «Алгебраическая геометрия», страница 7, 1977.
- ^ МакКоннелл, Дж. К. и Робсон, Дж. К. Некоммутативные нётеровы кольца (2001). амер. Математика. Соц., Провиденс. Следствие 6.4.8.
Библиография
[ редактировать ]- Ирвинг Каплански , Коммутативные кольца (пересмотренная редакция) , University of Chicago Press , 1974, ISBN 0-226-42454-5 . Страница 32.
- Л.А. Бохуть; И.В. Львов; В.К. Харченко (1991). «I. Некоммуативные кольца». В Кострикин А.И .; Шафаревич И.Р. (ред.). Алгебра II . Энциклопедия математических наук. Том. 18. Шпрингер-Верлаг . ISBN 3-540-18177-6 . Раздел 4.7.
- Эйзенбуд, Дэвид (1995), Коммутативная алгебра с точки зрения алгебраической геометрии , Тексты для аспирантов по математике , том. 150, Берлин, Нью-Йорк: Springer-Verlag , ISBN. 978-0-387-94268-1 , МР 1322960
- Хартсхорн, Робин (1977), Алгебраическая геометрия , Тексты для аспирантов по математике , том. 52, Нью-Йорк: Springer-Verlag, ISBN. 978-0-387-90244-9 , МР 0463157
- Мацумура, Хидеюки (1989), Коммутативная теория колец , Кембриджские исследования по высшей математике (2-е изд.), Cambridge University Press , ISBN 978-0-521-36764-6
- Серр, Жан-Пьер (2000). Локальная алгебра . Монографии Шпрингера по математике (на немецком языке). дои : 10.1007/978-3-662-04203-8 . ISBN 978-3-662-04203-8 . OCLC 864077388 .