Lemma 31.15.6. Let $X$ be a locally Noetherian normal scheme. Let $D \subset X$ be an effective Cartier divisor. Then $D$ is $(S_1)$.
Proof. By Properties, Lemma 28.12.5 we see that $X$ is $(S_2)$. Thus we conclude by Lemma 31.15.5. $\square$
Lemma 31.15.6. Let $X$ be a locally Noetherian normal scheme. Let $D \subset X$ be an effective Cartier divisor. Then $D$ is $(S_1)$.
Proof. By Properties, Lemma 28.12.5 we see that $X$ is $(S_2)$. Thus we conclude by Lemma 31.15.5. $\square$
Comments (0)