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

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

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

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

Нетерове локальне кільце 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 є кільцем Горенштейна тоді і тільки тоді, коли

Див. також

Література

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.