The Stacks project

Lemma 10.94.1. Let $R \to S$ be a ring map. Let $M$ be an $R$-module. Then:

1. If $M$ is flat, then the $S$-module $M \otimes _ R S$ is flat.

2. If $M$ is Mittag-Leffler, then the $S$-module $M \otimes _ R S$ is Mittag-Leffler.

3. If $M$ is a direct sum of countably generated $R$-modules, then the $S$-module $M \otimes _ R S$ is a direct sum of countably generated $S$-modules.

4. If $M$ is projective, then the $S$-module $M \otimes _ R S$ is projective.