В математике размерность кольца
В коммутативной алгебре размерность Крулля коммутативного кольца R , названного в честь Вольфганга Крулля , является верхней границей длин всех цепочек простых идеалов . Размерность Крулля не обязательно должна быть конечной даже для нётерова кольца . В более общем смысле размерность Крулля может быть определена для модулей над, возможно, некоммутативными кольцами, как отклонение частично упорядоченного множества подмодулей.
Размерность Крулля была введена для того, чтобы дать алгебраическое определение размерности алгебраического многообразия : размерность аффинного многообразия , определяемого идеалом I в кольце полиномов R, является размерностью Крулля кольца R / I .
Поле k имеет размерность Крулля 0; в более общем смысле, k [ x 1 , ..., x n ] имеет размерность Крулла n . Область главного идеала , не являющаяся полем, имеет размерность Крулля 1. Локальное кольцо имеет размерность Крулля 0 тогда и только тогда , когда каждый элемент его максимального идеала нильпотентен .
Есть несколько других способов определения размера кольца. Большинство из них совпадают с размерностью Крулля для нетеровых колец, но могут отличаться для ненетеровых колец.
Объяснение
Будем говорить, что цепочка простых идеалов вида
имеет длину n . То есть длина — это количество строгих включений, а не количество простых чисел; они отличаются на 1. Мы определяем размерность Крулля как верхнюю границу длин всех цепочек простых идеалов в .![{\displaystyle {\mathfrak {p}}_{0}\subsetneq {\mathfrak {p}}_{1}\subsetneq \ldots \subsetneq {\mathfrak {p}}_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle R}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle R}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Учитывая простой идеал в R , мы определяем
высота ,написаннаякак верхняя грань длин всех цепочек простых идеалов, содержащихся в, означает, что.[1] Другими словами, высота— это размерность КруллялокализацииRвточке. Простой идеал имеет нулевую высоту тогда и только тогда, когда он являетсяминимальным простым идеалом. Размерность Крулля кольца — это верхняя грань высот всех максимальных идеалов или всех простых идеалов. Высоту также иногда называют коразмерностью, рангом или высотой простого идеала.![{\displaystyle {\mathfrak {p}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {ht} ({\mathfrak {p}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {p}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {p}}_{0}\subsetneq {\mathfrak {p}}_{1}\subsetneq \ldots \subsetneq {\mathfrak {p}}_{n}={\mathfrak {p }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {p}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {p}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
В нётеровом кольце каждый простой идеал имеет конечную высоту. Тем не менее, Нагата привел пример нетерова кольца бесконечной размерности Крулла. [2] Кольцо называется контактным, если любое включение простых идеалов можно расширить до максимальной цепи простых идеалов между и , а любые две максимальные цепи между
и имеют одинаковую длину. Кольцо называется универсально цепным, если любая конечно порожденная алгебра над ним является цепной. Нагата привел пример нётеровского кольца, которое не является цепным. [3]![{\displaystyle {\mathfrak {p}}\subset {\mathfrak {q}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {p}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {q}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {p}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {q}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
В нётеровом кольце простой идеал имеет высоту не более n тогда и только тогда, когда он является минимальным простым идеалом над идеалом, порожденным n элементами ( теорема Крулла о высоте и ее обратная). [4] Это означает, что условие нисходящей цепи выполняется для простых идеалов, таким образом, длины цепей, исходящих от простого идеала, ограничены числом образующих простого числа. [5]
В более общем смысле высота идеала I — это нижняя грань высот всех простых идеалов, содержащих I. На языке алгебраической геометрии это коразмерность подмногообразия Spec( ), соответствующего I . [6]![{\displaystyle R}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Схемы
Из определения спектра кольца Spec( R ), пространства простых идеалов кольца R, снабженного топологией Зариского, легко следует, что размерность Крулля кольца R равна размерности его спектра как топологического пространства, т.е. верхняя грань длин всех цепочек неприводимых замкнутых подмножеств. Это непосредственно следует из связи Галуа между идеалами R и замкнутыми подмножествами Spec( R ) и наблюдения, что по определению Spec( R ) каждый простой идеал R соответствует общей точке замкнутого подмножества, связанного с Связь Галуа.![{\displaystyle {\mathfrak {p}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {p}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Примеры
- Размерность кольца полиномов над полем k [ x 1 , ..., x n ] равна количеству переменных n . На языке алгебраической геометрии это говорит о том, что аффинное пространство размерности n над полем имеет размерность n , как и ожидалось. В общем, если R — нётерово кольцо размерности n , то размерность R [ x ] равна n + 1. Если нётерова гипотеза отброшена, то R [ x ] может иметь размерность где угодно между n + 1 и 2 n + 1.
- Например, идеал имеет высоту 2, поскольку мы можем сформировать максимальную восходящую цепочку простых идеалов .
![{\displaystyle {\mathfrak {p}}=(y^{2}-x,y)\subset \mathbb {C} [x,y]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (0)={\mathfrak {p}}_{0}\subsetneq (y^{2}-x)={\mathfrak {p}}_{1}\subsetneq (y^{2}- x,y)={\mathfrak {p}}_{2}={\mathfrak {p}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Учитывая неприводимый многочлен , идеал не является простым (поскольку , но ни один из факторов не является таковым), но мы можем легко вычислить высоту, поскольку наименьший простой идеал, содержащий просто .
![{\displaystyle f\in \mathbb {C} [x,y,z]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I=(f^{3})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\cdot f^{2}\in I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (е)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Кольцо целых чисел Z имеет размерность 1. В более общем смысле, любая область главных идеалов , не являющаяся полем, имеет размерность 1.
- Область целостности является полем тогда и только тогда, когда ее размерность Крулля равна нулю. Дедекиндовы области , не являющиеся полями (например, кольца дискретного нормирования ), имеют размерность единица.
- Размерность Крулля нулевого кольца обычно определяется как или . Нулевое кольцо — единственное кольцо с отрицательной размерностью.
![{\displaystyle -\infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle -1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Кольцо артиново тогда и только тогда, когда оно нётерово и его размерность Крулля не превышает 0.
- Целочисленное расширение кольца имеет ту же размерность, что и само кольцо.
- Пусть R — алгебра над полем k , являющимся областью целостности. Тогда размерность Крулля R меньше или равна степени трансцендентности поля частных R над k . [7] Равенство имеет место, если R конечно порождена как алгебра (например, по лемме о нормализации Нётер ).
- Пусть R — нетерово кольцо, I — идеал и — связанное с ним градуированное кольцо (геометры называют его кольцом нормального конуса кольца I ) . Тогда — верхняя грань высот максимальных идеалов кольца R , содержащих I. [8]
![{\displaystyle \operatorname {gr} _{I}(R)=\oplus _{0}^{\infty }I^{k}/I^{k+1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {dim} \operatorname {gr} _{I}(R)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Коммутативное нётерово кольцо нулевой размерности Крулля является прямым произведением конечного числа (возможно, одного) локальных колец нулевой размерности Крулля.
- Нётерово локальное кольцо называется кольцом Коэна–Маколея, если его размерность равна глубине . Примером такого кольца является регулярное локальное кольцо .
- Нётерова область целостности является уникальной областью факторизации тогда и только тогда , когда каждый простой идеал высоты 1 является главным. [9]
- Для коммутативного нётерова кольца эквивалентны три следующих условия: быть приведенным кольцом нулевой размерности Крулля, быть полем или прямым произведением полей, быть регулярным по фон Нейману .
Из модуля
Если R — коммутативное кольцо, а M — R -модуль, мы определяем размерность Крулла M как размерность Крулла фактора R , что делает M точным модулем . То есть определяем его по формуле:
![{\displaystyle \dim _{R}M:=\dim(R/{\operatorname {Энн} _{R}(M)})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
где Ann R ( M ), аннулятор , — ядро естественного отображения R → End R (M) кольца R в кольцо R -линейных эндоморфизмов кольца M .
На языке схем конечно порожденные модули интерпретируются как когерентные пучки , или обобщенные векторные расслоения конечного ранга .
Для некоммутативных колец
Размерность Крулля модуля над возможно некоммутативным кольцом определяется как отклонение частично упорядоченного множества подмодулей, упорядоченных по включению. Для коммутативных нётеровых колец это то же самое, что и определение с использованием цепочек простых идеалов. [10] Эти два определения могут различаться для коммутативных колец, которые не являются нётеровыми.
Смотрите также
Примечания
- ^ Мацумура, Хидеюки: «Теория коммутативных колец», страницы 30–31, 1989 г.
- ^ Эйзенбуд, Д. Коммутативная алгебра (1995). Шпрингер, Берлин. Упражнение 9.6.
- ^ Мацумура, Х. Коммутативная алгебра (1970). Бенджамин, Нью-Йорк. Пример 14.Е.
- ^ Серр 2000, Гл. III, § Б.2, Теорема 1, Следствие 4.
- ^ Эйзенбуд 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. ОКЛК 864077388.