Поддержка модуля
- Носителем модуля M над коммутативным кольцом R является множество простых идеалов p таких, что Mp ≠ 0.
- Поддержка M является подмножеством спектра R и связана с свойством M = 0.
- Если M представляет собой сумму подмодулей Mλ, тогда Подавлять M является множеством всех простых идеалов, содержащих аннигилятор M.
- Если M является конечно порожденным R-модулем, тогда Подавлять M является множеством всех простых идеалов, содержащих аннигилятор M.
- Поддержка квазикогерентного пучка F на схеме X является множеством всех точек x в X, так что стержень Fx отличен от нуля.
- Большинство свойств носителя обобщаются от модулей до квазикогерентных пучков слово в слово.
Полный текст статьи: