Горенштейна Кольцо

Коммутативное нётерово локальное кольцо, имеющее конечную инъективную размерность (см. Гомологическая размерность). Кольцо Ас максимальным идеалом m и полем вычетов kразмерности пявляется Г. к. тогда и только тогда, когда выполняется одно из следующих эквивалентных условий: 1) для и 2) Для любой максимальной А-последовательности (см. Глубина модуля,).идеал неприводим. 3) Функтор определенный на категории A-модулей конечной длины, изоморфен функтору где I — инъективная оболочка поля k. 4) Кольцо Аявляется Коэна — Маколея кольцом (в частности, все локальные когомологий для ) и совпадает с инъективной оболочкой поля . 5) Для любого A-модуля Мконечного типа существует канонич. изоморфизм (локальная двойственность). Примерами Г. к. являются регулярные кольца, а также их факторкольца по идеалу, порожденному регулярной последовательностью элементов (полные пересечения). В случае, когда Г. к. А — одномерная область целостности, Г. к. допускают следующую численную характе-ризацию. Пусть — целое замыкание Ав поле частных, — кондуктор в , и Тогда кольцо Аесть Г. к. тогда и только тогда, когда . Это равенство впервые доказано для локального кольца неприводимой плоской алгебраической кривой Д. Горенштейном [1]. Локализация Г. к. является Г. к. В связи с этим возникло расширение понятия Г. к.: нётерово кольцо (или схема) наз. кольцом (с х е-мой) Горенштейна, если все локализации этого кольца по простым идеалам (соответственно все локальные кольца схемы) являются локальными кольцами Горенштейна (в первом определении). Лит.:[1] Gorenstein D., "Trans. Amer. Math. Soc.", 1952, v. 72, p. 414-36; [2] Серр Ж., Алгебраические группы и поля классов, пер. с франц., М., !968; [3] Аврамов Л. Л., Голод Е. С., "Матем. заметки", 1971, т. 9, № 1, с. 53-8; [4] Grоthеndiесk A., Seminaire Bourbaki, 2 ed., P., 1959; [5] его же, Local cohomoloiiy, В.-Hdlb.-N.Y., 1967; [6] HartshorneR., Residues and duality, В.-Hdlb.-N.Y., 1966; [7] Bass H., "Math. Z.", 1963, Bd 82, № 1, S. 8-28. В. И. Данилов, И. В. Долгачев.