Lemma 31.4.2. Let $X$ be a locally Noetherian scheme. Let $\mathcal{F}$ be a coherent $\mathcal{O}_ X$-module. Then

1. the generic points of irreducible components of $\text{Supp}(\mathcal{F})$ are associated points of $\mathcal{F}$, and

2. an associated point of $\mathcal{F}$ is embedded if and only if it is not a generic point of an irreducible component of $\text{Supp}(\mathcal{F})$.

In particular an embedded point of $X$ is an associated point of $X$ which is not a generic point of an irreducible component of $X$.

Proof. Recall that in this case $Z = \text{Supp}(\mathcal{F})$ is closed, see Morphisms, Lemma 29.5.3 and that the generic points of irreducible components of $Z$ are associated points of $\mathcal{F}$, see Lemma 31.2.9. Finally, we have $\text{Ass}(\mathcal{F}) \subset Z$, by Lemma 31.2.3. These results, combined with the fact that $Z$ is a sober topological space and hence every point of $Z$ is a specialization of a generic point of $Z$, imply (1) and (2). $\square$

There are also:

• 2 comment(s) on Section 31.4: Embedded points

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).