Lemma 10.94.2. Let $R \to S$ be a faithfully flat ring map. Let $M$ be an $R$-module. If the $S$-module $M \otimes _ R S$ is countably generated and projective, then $M$ is countably generated and projective.
Follows from Lemma 10.82.2, Lemma 10.94.1, the fact that countable generation descends, and Theorem 10.92.3.
Post a comment
Your email address will not be published. Required fields are marked.
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).