Lemma 31.13.11. Let $f : S' \to S$ be a morphism of schemes. Let $Z \subset S$ be a locally principal closed subscheme. Then the inverse image $f^{-1}(Z)$ is a locally principal closed subscheme of $S'$.

Proof. Omitted. $\square$

There are also:

• 2 comment(s) on Section 31.13: Effective Cartier divisors

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).