Proposition 10.82.3. 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 finite projective, then $M$ is finite projective.

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