- ВЫСОТА ИДЕАЛА
- минимум высот простых идеалов, содержащих данный идеал. Высота
простого идеала
в кольце А - наибольшее число h(или
, если такого числа нет) такое, что существует цепочка различных простых идеалов
Ковысота
простого идеала
определяется как наибольшее h, для к-рого существует цепочка простых идеалов
Иначе говоря,
где dim означает размерность соответствующего кольца по Круллю. Высота простого идеала равна коразмерности многообразия, определяемого идеалом, а ковысота - размерности этого многообразия. Высота и ковысота простого идеала связаны неравенством
равенство достигается, напр., в случае, когда А- локальное Казна - Маколея кольцо.
Простые идеалы высоты 0 -это минимальные простые идеалы. Существование в нётеровой области целостности простых идеалов высоты 1 устанавливает теорема о главном идеале: высота ненулевого главного идеала равна 1 (см. Крулля кольцу). Более общий результат - теорема Крулля - связывает высоту с числом образующих идеала: в нётеровом кольце В. и., порожденного r элементами, не превосходит r, и обратно: простой идеал высоты rявляется минимальным среди простых идеалов, содержащих некоторые rэлементов. В частности, в нётеровом кольце любой идеал имеет конечную высоту; в отношении ко-высоты это уже не так (см. [2]).
Лит.:[1] Кrull W., Primidealketten in allgemelnen Ring-bereichen, В.-Lpz., 1928; [2] Nagata M., Local rings, N. Y., 1962; [3]3арисский О., Самюэль П., Коммутативная алгебра, пер. с англ., т. 1, М., 1963; [4] Серр Ж. П., "Математика", 1963, т. 7, Ks 5, с. 3-93. В. <И. <Данилов.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.