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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

У комутативній алгебрі кільцем Горенштейна називається комутативне нетерове локальне кільце, що має скінченну ін'єктивну розмірність.

Більш загально нетерове кільце або схема називається кільцем (схемою) Горенштейна, якщо всі локалізації цього кільця за простими ідеалами (відповідно всі локальні кільця схеми) є локальними кільцями Горенштейна.

Еквівалентні означення

[ред. | ред. код]

Нетерове локальне кільце R з максимальним ідеалом і полем лишків k розмірності n є кільцем Горенштейна тоді і тільки тоді, коли виконується одна з наступних еквівалентних умов (позначає функтор Ext):

  • для всіх i < n і
  • Для будь-якої максимальної регулярної послідовності ідеал є незвідним, тобто не є перетином двох строго більших ідеалів.
  • Функтор на категорії R-модулів скінченної довжини, ізоморфний функтору де Iін'єктивна оболонка поля k.
  • Кільце R є кільцем Коена — Маколея і локальна когомологія збігається з ін'єктивною оболонкою поля k.
  • Для будь-якого скінченнопородженого R-модуля М існує канонічний ізоморфізм (локальна двоїстість):

Приклади

[ред. | ред. код]
  • Прикладами кілець Горенштейна є регулярні локальні кільця, а також їх факторкільця за ідеалами, породженими регулярними послідовностями елементів (повні перетини).
  • Кільце R = k[x,y,z]/(x2, y2, xz, yz, z2xy) є 0-вимірним кільцем Горенштейна, що не є кільцем повних перетинів. Базисом R як k-векторного простору є множина R є кільцем Горенштейна оскільки його цоколь має розмірність 1 як k-векторний простір, з базисним елементом z2. Натомість R не є кільцем повних перетинів оскільки у нього є 3 породжуючі елементи і мінімальна множина із 5 зв'язків.
  • Кільце R = k[x,y]/(x2, y2, xy) є 0-вимірним кільцем Коена — Маколея але не є кільцем Горенштейна. Базисом R як k-векторного простору є R не є кільцем Горенштейна оскільки його цоколь має розмірність 2 як k-векторний простір, із базисом x і y.

Властивості

[ред. | ред. код]
  • Локалізація кілець Горенштейна є кільцями Горенштейна.
  • Нетерове локальне кільце є кільцем Горенштейна тоді і тільки тоді, коли його поповнення є кільцем Горенштейна.
  • Нетерове локальне кільце R розмірності 0 є кільцем Горенштейна якщо і тільки якщо HomR(k, R) має розмірність 1 як k-векторний простір, де k є полем лишків кільця R. Еквівалентно, R має простий цоколь, як R-модуль.
  • Нехай Rодновимірна область цілісності, ціле замикання R в полі часток, F — кондуктор R в . Нехай і Тоді кільце R є кільцем Горенштейна тоді і тільки тоді, коли

Див. також

[ред. | ред. код]

Література

[ред. | ред. код]
  • Bruns, Winfried; Herzog, Jürgen (1993), Cohen–Macaulay rings, Cambridge Studies in Advanced Mathematics, т. 39, Cambridge University Press, ISBN 978-0-521-41068-7, MR 1251956
  • Matsumura, Hideyuki (1989), Commutative Ring Theory, Cambridge Studies in Advanced Mathematics (вид. 2nd), Cambridge University Press, ISBN 978-0-521-36764-6, MR 0879273