Модуль дуализации
-
Определение дуализирующего модуля
- Дуализирующий модуль — это модуль над коммутативным кольцом, аналогичный каноническому расслоению.
- Используется в локальной двойственности Гротендика.
-
Свойства дуализирующего модуля
- Дуализирующий модуль для нетерова кольца R — это конечно порожденный модуль M, такой, что R / m ExtnR (R / m, M) = 0 для максимального идеала m и одномерный для n = height(m).
- Дуализирующий модуль не всегда уникален, но может быть единственным при определенных условиях.
- Если кольцо локально, то модуль дуализации уникален с точностью до изоморфизма.
-
Примеры и нетеровость
- Если R — кольцо Горенштейна, то R само по себе является дуализирующим модулем.
- Если R — артиновское локальное кольцо, то модуль Матлиса является дуализирующим модулем.
- Кольцо Z [√-5] имеет два неизоморфных дуализирующих модуля.
- Локальное кольцо k [x,y]/(y2,xy) не имеет дуализирующего модуля.
-
Рекомендации и дополнительные сведения
- Статья содержит ссылки на другие материалы и рекомендации по форматированию.
Полный текст статьи: