WikiDer > Поддержка модуля

В коммутативная алгебра, то поддерживать из модуль M над коммутативным кольцом А это набор всех главные идеалы ${displaystyle {mathfrak {p}}}$ из А такой, что ${displaystyle M_ {mathfrak {p}} eq 0}$.^[1] Обозначается он ${displaystyle operatorname {Supp} (M)}$. Поддержка по определению является подмножеством спектр из А.

Характеристики

• ${displaystyle M = 0}$ тогда и только тогда, когда его опора пуста.
• Позволять ${displaystyle 0 o M 'o M o M' 'o 0}$ быть точной последовательностью А-модули. потом

  ${displaystyle operatorname {Supp} (M) = operatorname {Supp} (M ') имя оператора чашки {Supp} (M' ').}$ Обратите внимание, что это объединение не может быть несвязным объединением.

• Если ${displaystyle M}$ это сумма подмодулей ${displaystyle M_ {lambda}}$, тогда ${displaystyle operatorname {Supp} (M) = igcup _ {lambda} operatorname {Supp} (M_ {lambda}).}$
• Если ${displaystyle M}$ является конечно порожденным А-модуль, затем ${displaystyle operatorname {Supp} (M)}$ - множество всех простых идеалов, содержащих аннигилятор из M. В частности, он закрыт в Топология Зарисского на Spec (А).
• Если ${displaystyle M, N}$ конечно порождены А-модули, затем

  ${displaystyle operatorname {Supp} (Motimes _ {A} N) = operatorname {Supp} (M) cap operatorname {Supp} (N).}$

• Если ${displaystyle M}$ является конечно порожденным А-модуль и я это идеал А, тогда ${displaystyle operatorname {Supp} (M / IM)}$ - множество всех простых идеалов, содержащих ${displaystyle I + operatorname {Ann} (M).}$ Это ${displaystyle V (I) cap operatorname {Supp} (M)}$.

Опора квазикогерентной связки

Если F это квазикогерентный пучок на схема Икс, поддержка F это множество всех точек Икс∈Икс так что стебель F_Икс отличен от нуля. Это определение аналогично определению поддержка функции на пространстве Икс, и это мотивация для использования слова «поддержка». Большинство свойств опоры дословно обобщают от модулей до квазикогерентных пучков. Например, поддержка связный пучок (или, в более общем смысле, пучок конечного типа) - это замкнутое подпространство в Икс.^[2]

Если M является модулем над кольцом А, то поддержка M как модуль совпадает с носителем связанный квазикогерентный пучок ${displaystyle {ilde {M}}}$ на аффинная схема Спецификация (А). Более того, если ${displaystyle {U_ {alpha} = operatorname {Spec} (A_ {alpha})}}$ аффинное покрытие схемы Икс, то носитель квазикогерентного пучка F равно объединению опор связанных модулей M_α по каждому А_α.^[3]

Примеры

Как отмечалось выше, первичный идеал ${displaystyle {mathfrak {p}}}$ находится в опоре тогда и только тогда, когда он содержит аннигилятор ${displaystyle M}$.^[4] Например, аннигилятор

${displaystyle {frac {mathbb {C} [x, y, z, w]} {(x ^ {4} + y ^ {4} + z ^ {4} + w ^ {4})}} в {ext {Mod}} (mathbb {C} [x, y, z, w])}$

это идеал ${displaystyle (x ^ {4} + y ^ {4} + z ^ {4} + w ^ {4})}$. Отсюда следует, что

${displaystyle {ext {Supp}} (M) cong {ext {Spec}} (mathbb {C} [x, y, z, w] / (x ^ {4} + y ^ {4} + z ^ {4 } + w ^ {4}))}$

множество исчезающих многочленов. Глядя на короткую точную последовательность

${displaystyle 0 o I o R o R / I o 0}$

мы могли бы подумать, что поддержка ${displaystyle (x ^ {4} + y ^ {4} + z ^ {4} + w ^ {4})}$ изоморфен

${displaystyle {ext {Spec}} (mathbb {C} [x, y, z, w] _ {(x ^ {4} + y ^ {4} + z ^ {4} + w ^ {4})} )}$

которое является дополнением множества исчезающих многочленов. Однако, поскольку ${displaystyle mathbb {C} [x, y, z, w]}$ является областью целостности, идеал ${displaystyle (x ^ {4} + y ^ {4} + z ^ {4} + w ^ {4})}$ изоморфен ${displaystyle mathbb {C} [x, y, z, w]}$ как модуль, поэтому его опорой является все пространство.

Носитель конечного модуля над нётеровым кольцом всегда замкнут относительно специализации.^{[нужна цитата]}

Теперь, если взять два многочлена ${displaystyle f_ {1}, f_ {2} in R}$ в области целостности, образующие идеал полного пересечения ${displaystyle (f_ {1}, f_ {2})}$, тензорное свойство показывает, что

${displaystyle {ext {Supp}} left ({frac {R} {(f_ {1})}} иногда _ {R} {frac {R} {(f_ {2})}} ight) = {ext {Supp }} left ({frac {R} {(f_ {1})}} ight) cap {ext {Supp}} left ({frac {R} {(f_ {2})}} ight) cong {ext {Spec }} (R / (f_ {1}, f_ {2}))}$

Смотрите также

• Аннигилятор (теория колец)
• Ассоциированный премьер
• Поддержка (математика)

Рекомендации

• Гротендик, Александр; Дьедонне, Жан (1960). "Éléments de géométrie algébrique: I. Le langage des schémas". Публикации Mathématiques de l'IHÉS. 4. Дои:10.1007 / bf02684778. МИСТЕР 0217083.
• Атья, М.Ф., и И. Г. Макдональд, Введение в коммутативную алгебру, Книги Персея, 1969, ISBN 0-201-00361-9 МИСТЕР242802