Lemma 51.5.1. Let $A$ be a Noetherian ring. Let $T \subset \mathop{\mathrm{Spec}}(A)$ be a subset stable under specialization. For an $A$-module $M$ the following are equivalent

$H^0_ T(M) = M$, and

$\text{Supp}(M) \subset T$.

The category of such $A$-modules is a Serre subcategory of the category $A$-modules closed under direct sums.

**Proof.**
The equivalence holds because the support of an element of $M$ is contained in the support of $M$ and conversely the support of $M$ is the union of the supports of its elements. The category of these modules is a Serre subcategory (Homology, Definition 12.10.1) of $\text{Mod}_ A$ by Algebra, Lemma 10.40.9. We omit the proof of the statement on direct sums.
$\square$

## Comments (0)