Proposition 10.83.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.
Proposition 10.83.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.
Comments (0)