38.12 Flat finitely presented modules

In some cases given a ring map $R \to S$ of finite presentation and a finitely presented $S$-module $N$ the flatness of $N$ over $R$ implies that $N$ is projective as an $R$-module, at least after replacing $S$ by an étale extension. In this section we collect a some results of this nature.

Lemma 38.12.1. Let $R$ be a ring. Let $R \to S$ be a finitely presented flat ring map with geometrically integral fibres. Let $\mathfrak q \subset S$ be a prime ideal lying over the prime $\mathfrak r \subset R$. Set $\mathfrak p = \mathfrak r S$. Let $N$ be a finitely presented $S$-module. There exists $r \geq 0$ and an $S$-module map

$\alpha : S^{\oplus r} \longrightarrow N$

such that $\alpha : \kappa (\mathfrak p)^{\oplus r} \to N \otimes _ S \kappa (\mathfrak p)$ is an isomorphism. For any such $\alpha$ the following are equivalent:

1. $N_{\mathfrak q}$ is $R$-flat,

2. there exists an $f \in R$, $f \not\in \mathfrak r$ such that $\alpha _ f : S_ f^{\oplus r} \to N_ f$ is $R_ f$-universally injective and a $g \in S$, $g \not\in \mathfrak q$ such that $\mathop{\mathrm{Coker}}(\alpha )_ g$ is $R$-flat,

3. $\alpha _{\mathfrak r}$ is $R_{\mathfrak r}$-universally injective and $\mathop{\mathrm{Coker}}(\alpha )_{\mathfrak q}$ is $R$-flat

4. $\alpha _{\mathfrak r}$ is injective and $\mathop{\mathrm{Coker}}(\alpha )_{\mathfrak q}$ is $R$-flat,

5. $\alpha _{\mathfrak p}$ is an isomorphism and $\mathop{\mathrm{Coker}}(\alpha )_{\mathfrak q}$ is $R$-flat, and

6. $\alpha _{\mathfrak q}$ is injective and $\mathop{\mathrm{Coker}}(\alpha )_{\mathfrak q}$ is $R$-flat.

Proof. To obtain $\alpha$ set $r = \dim _{\kappa (\mathfrak p)} N \otimes _ S \kappa (\mathfrak p)$ and pick $x_1, \ldots , x_ r \in N$ which form a basis of $N \otimes _ S \kappa (\mathfrak p)$. Define $\alpha (s_1, \ldots , s_ r) = \sum s_ i x_ i$. This proves the existence.

Fix a choice of $\alpha$. We may apply Lemma 38.10.1 to the map $\alpha _{\mathfrak r} : S_{\mathfrak r}^{\oplus r} \to N_{\mathfrak r}$. Hence we see that (1), (3), (4), (5), and (6) are all equivalent. Since it is also clear that (2) implies (3) we see that all we have to do is show that (1) implies (2).

Assume (1). By openness of flatness, see Algebra, Theorem 10.129.4, the set

$U_1 = \{ \mathfrak q' \subset S \mid N_{\mathfrak q'}\text{ is flat over }R\}$

is open in $\mathop{\mathrm{Spec}}(S)$. It contains $\mathfrak q$ by assumption and hence $\mathfrak p$. Because $S^{\oplus r}$ and $N$ are finitely presented $S$-modules the set

$U_2 = \{ \mathfrak q' \subset S \mid \alpha _{\mathfrak q'}\text{ is an isomorphism}\}$

is open in $\mathop{\mathrm{Spec}}(S)$, see Algebra, Lemma 10.79.2. It contains $\mathfrak p$ by (5). As $R \to S$ is finitely presented and flat the map $\Phi : \mathop{\mathrm{Spec}}(S) \to \mathop{\mathrm{Spec}}(R)$ is open, see Algebra, Proposition 10.41.8. For any prime $\mathfrak r' \in \Phi (U_1 \cap U_2)$ we see that there exists a prime $\mathfrak q'$ lying over $\mathfrak r'$ such that $N_{\mathfrak q'}$ is flat and such that $\alpha _{\mathfrak q'}$ is an isomorphism, which implies that $\alpha \otimes \kappa (\mathfrak p')$ is an isomorphism where $\mathfrak p' = \mathfrak r' S$. Thus $\alpha _{\mathfrak r'}$ is $R_{\mathfrak r'}$-universally injective by the implication (1) $\Rightarrow$ (3). Hence if we pick $f \in R$, $f \not\in \mathfrak r$ such that $D(f) \subset \Phi (U_1 \cap U_2)$ then we conclude that $\alpha _ f$ is $R_ f$-universally injective, see Algebra, Lemma 10.82.12. The same reasoning also shows that for any $\mathfrak q' \in U_1 \cap \Phi ^{-1}(\Phi (U_1 \cap U_2))$ the module $\mathop{\mathrm{Coker}}(\alpha )_{\mathfrak q'}$ is $R$-flat. Note that $\mathfrak q \in U_1 \cap \Phi ^{-1}(\Phi (U_1 \cap U_2))$. Hence we can find a $g \in S$, $g \not\in \mathfrak q$ such that $D(g) \subset U_1 \cap \Phi ^{-1}(\Phi (U_1 \cap U_2))$ and we win. $\square$

Lemma 38.12.2. Let $R \to S$ be a ring map of finite presentation. Let $N$ be a finitely presented $S$-module flat over $R$. Let $\mathfrak r \subset R$ be a prime ideal. Assume there exists a complete dévissage of $N/S/R$ over $\mathfrak r$. Then there exists an $f \in R$, $f \not\in \mathfrak r$ such that

$N_ f \cong B_1^{\oplus r_1} \oplus \ldots \oplus B_ n^{\oplus r_ n}$

as $R$-modules where each $B_ i$ is a smooth $R_ f$-algebra with geometrically irreducible fibres. Moreover, $N_ f$ is projective as an $R_ f$-module.

Proof. Let $(A_ i, B_ i, M_ i, \alpha _ i)_{i = 1, \ldots , n}$ be the given complete dévissage. We prove the lemma by induction on $n$. Note that the assertions of the lemma are entirely about the structure of $N$ as an $R$-module. Hence we may replace $N$ by $M_1$, and we may think of $M_1$ as a $B_1$-module. See Remark 38.6.3 in order to see why $M_1$ is of finite presentation as a $B_1$-module. By Lemma 38.12.1 we may, after replacing $R$ by $R_ f$ for some $f \in R$, $f \not\in \mathfrak r$, assume the map $\alpha _1 : B_1^{\oplus r_1} \to M_1$ is $R$-universally injective. Since $M_1$ and $B_1^{\oplus r_1}$ are $R$-flat and finitely presented as $B_1$-modules we see that $\mathop{\mathrm{Coker}}(\alpha _1)$ is $R$-flat (Algebra, Lemma 10.82.7) and finitely presented as a $B_1$-module. Note that $(A_ i, B_ i, M_ i, \alpha _ i)_{i = 2, \ldots , n}$ is a complete dévissage of $\mathop{\mathrm{Coker}}(\alpha _1)$. Hence the induction hypothesis implies that, after replacing $R$ by $R_ f$ for some $f \in R$, $f \not\in \mathfrak r$, we may assume that $\mathop{\mathrm{Coker}}(\alpha _1)$ has a decomposition as in the lemma and is projective. In particular $M_1 = B_1^{\oplus r_1} \oplus \mathop{\mathrm{Coker}}(\alpha _1)$. This proves the statement regarding the decomposition. The statement on projectivity follows as $B_1$ is projective as an $R$-module by Lemma 38.9.3. $\square$

Remark 38.12.3. There is a variant of Lemma 38.12.2 where we weaken the flatness condition by assuming only that $N$ is flat at some given prime $\mathfrak q$ lying over $\mathfrak r$ but where we strengthen the dévissage condition by assuming the existence of a complete dévissage at $\mathfrak q$. Compare with Lemma 38.10.2.

The following is the main result of this section.

Proposition 38.12.4. Let $f : X \to S$ be a morphism of schemes. Let $\mathcal{F}$ be a quasi-coherent sheaf on $X$. Let $x \in X$ with image $s \in S$. Assume that

1. $f$ is locally of finite presentation,

2. $\mathcal{F}$ is of finite presentation, and

3. $\mathcal{F}$ is flat at $x$ over $S$.

Then there exists a commutative diagram of pointed schemes

$\xymatrix{ (X, x) \ar[d] & (X', x') \ar[l]^ g \ar[d] \\ (S, s) & (S', s') \ar[l] }$

whose horizontal arrows are elementary étale neighbourhoods such that $X'$, $S'$ are affine and such that $\Gamma (X', g^*\mathcal{F})$ is a projective $\Gamma (S', \mathcal{O}_{S'})$-module.

Proof. By openness of flatness, see More on Morphisms, Theorem 37.15.1 we may replace $X$ by an open neighbourhood of $x$ and assume that $\mathcal{F}$ is flat over $S$. Next, we apply Proposition 38.5.7 to find a diagram as in the statement of the proposition such that $g^*\mathcal{F}/X'/S'$ has a complete dévissage over $s'$. (In particular $S'$ and $X'$ are affine.) By Morphisms, Lemma 29.25.13 we see that $g^*\mathcal{F}$ is flat over $S$ and by Lemma 38.2.3 we see that it is flat over $S'$. Via Remark 38.6.5 we deduce that

$\Gamma (X', g^*\mathcal{F})/ \Gamma (X', \mathcal{O}_{X'})/ \Gamma (S', \mathcal{O}_{S'})$

has a complete dévissage over the prime of $\Gamma (S', \mathcal{O}_{S'})$ corresponding to $s'$. Thus Lemma 38.12.2 implies that the result of the proposition holds after replacing $S'$ by a standard open neighbourhood of $s'$. $\square$

In the rest of this section we prove a number of variants on this result. The first is a “global” version.

Lemma 38.12.5. Let $f : X \to S$ be a morphism of schemes. Let $\mathcal{F}$ be a quasi-coherent sheaf on $X$. Let $s \in S$. Assume that

1. $f$ is of finite presentation,

2. $\mathcal{F}$ is of finite presentation, and

3. $\mathcal{F}$ is flat over $S$ at every point of the fibre $X_ s$.

Then there exists an elementary étale neighbourhood $(S', s') \to (S, s)$ and a commutative diagram of schemes

$\xymatrix{ X \ar[d] & X' \ar[l]^ g \ar[d] \\ S & S' \ar[l] }$

such that $g$ is étale, $X_ s \subset g(X')$, the schemes $X'$, $S'$ are affine, and such that $\Gamma (X', g^*\mathcal{F})$ is a projective $\Gamma (S', \mathcal{O}_{S'})$-module.

Proof. For every point $x \in X_ s$ we can use Proposition 38.12.4 to find a commutative diagram

$\xymatrix{ (X, x) \ar[d] & (Y_ x, y_ x) \ar[l]^{g_ x} \ar[d] \\ (S, s) & (S_ x, s_ x) \ar[l] }$

whose horizontal arrows are elementary étale neighbourhoods such that $Y_ x$, $S_ x$ are affine and such that $\Gamma (Y_ x, g_ x^*\mathcal{F})$ is a projective $\Gamma (S_ x, \mathcal{O}_{S_ x})$-module. In particular $g_ x(Y_ x) \cap X_ s$ is an open neighbourhood of $x$ in $X_ s$. Because $X_ s$ is quasi-compact we can find a finite number of points $x_1, \ldots , x_ n \in X_ s$ such that $X_ s$ is the union of the $g_{x_ i}(Y_{x_ i}) \cap X_ s$. Choose an elementary étale neighbourhood $(S' , s') \to (S, s)$ which dominates each of the neighbourhoods $(S_{x_ i}, s_{x_ i})$, see More on Morphisms, Lemma 37.32.4. We may also assume that $S'$ is affine. Set $X' = \coprod Y_{x_ i} \times _{S_{x_ i}} S'$ and endow it with the obvious morphism $g : X' \to X$. By construction $g(X')$ contains $X_ s$ and

$\Gamma (X', g^*\mathcal{F}) = \bigoplus \Gamma (Y_{x_ i}, g_{x_ i}^*\mathcal{F}) \otimes _{\Gamma (S_{x_ i}, \mathcal{O}_{S_{x_ i}})} \Gamma (S', \mathcal{O}_{S'}).$

This is a projective $\Gamma (S', \mathcal{O}_{S'})$-module, see Algebra, Lemma 10.94.1. $\square$

The following two lemmas are reformulations of the results above in case $\mathcal{F} = \mathcal{O}_ X$.

Lemma 38.12.6. Let $f : X \to S$ be locally of finite presentation. Let $x \in X$ with image $s \in S$. If $f$ is flat at $x$ over $S$, then there exists a commutative diagram of pointed schemes

$\xymatrix{ (X, x) \ar[d] & (X', x') \ar[l]^ g \ar[d] \\ (S, s) & (S', s') \ar[l] }$

whose horizontal arrows are elementary étale neighbourhoods such that $X'$, $S'$ are affine and such that $\Gamma (X', \mathcal{O}_{X'})$ is a projective $\Gamma (S', \mathcal{O}_{S'})$-module.

Proof. This is a special case of Proposition 38.12.4. $\square$

Lemma 38.12.7. Let $f : X \to S$ be of finite presentation. Let $s \in S$. If $X$ is flat over $S$ at all points of $X_ s$, then there exists an elementary étale neighbourhood $(S', s') \to (S, s)$ and a commutative diagram of schemes

$\xymatrix{ X \ar[d] & X' \ar[l]^ g \ar[d] \\ S & S' \ar[l] }$

with $g$ étale, $X_ s \subset g(X')$, such that $X'$, $S'$ are affine, and such that $\Gamma (X', \mathcal{O}_{X'})$ is a projective $\Gamma (S', \mathcal{O}_{S'})$-module.

Proof. This is a special case of Lemma 38.12.5. $\square$

The following lemmas explain consequences of Proposition 38.12.4 in case we only assume the morphism and the sheaf are of finite type (and not necessarily of finite presentation).

Lemma 38.12.8. Let $f : X \to S$ be a morphism of schemes. Let $\mathcal{F}$ be a quasi-coherent sheaf on $X$. Let $x \in X$ with image $s \in S$. Assume that

1. $f$ is locally of finite presentation,

2. $\mathcal{F}$ is of finite type, and

3. $\mathcal{F}$ is flat at $x$ over $S$.

Then there exists an elementary étale neighbourhood $(S', s') \to (S, s)$ and a commutative diagram of pointed schemes

$\xymatrix{ (X, x) \ar[d] & (X', x') \ar[l]^ g \ar[d] \\ (S, s) & (\mathop{\mathrm{Spec}}(\mathcal{O}_{S', s'}), s') \ar[l] }$

such that $X' \to X \times _ S \mathop{\mathrm{Spec}}(\mathcal{O}_{S', s'})$ is étale, $\kappa (x) = \kappa (x')$, the scheme $X'$ is affine of finite presentation over $\mathcal{O}_{S', s'}$, the sheaf $g^*\mathcal{F}$ is of finite presentation over $\mathcal{O}_{X'}$, and such that $\Gamma (X', g^*\mathcal{F})$ is a free $\mathcal{O}_{S', s'}$-module.

Proof. To prove the lemma we may replace $(S, s)$ by any elementary étale neighbourhood, and we may also replace $S$ by $\mathop{\mathrm{Spec}}(\mathcal{O}_{S, s})$. Hence by Proposition 38.10.3 we may assume that $\mathcal{F}$ is finitely presented and flat over $S$ in a neighbourhood of $x$. In this case the result follows from Proposition 38.12.4 because Algebra, Theorem 10.85.4 assures us that projective $=$ free over a local ring. $\square$

Lemma 38.12.9. Let $f : X \to S$ be a morphism of schemes. Let $\mathcal{F}$ be a quasi-coherent sheaf on $X$. Let $x \in X$ with image $s \in S$. Assume that

1. $f$ is locally of finite type,

2. $\mathcal{F}$ is of finite type, and

3. $\mathcal{F}$ is flat at $x$ over $S$.

Then there exists an elementary étale neighbourhood $(S', s') \to (S, s)$ and a commutative diagram of pointed schemes

$\xymatrix{ (X, x) \ar[d] & (X', x') \ar[l]^ g \ar[d] \\ (S, s) & (\mathop{\mathrm{Spec}}(\mathcal{O}_{S', s'}), s') \ar[l] }$

such that $X' \to X \times _ S \mathop{\mathrm{Spec}}(\mathcal{O}_{S', s'})$ is étale, $\kappa (x) = \kappa (x')$, the scheme $X'$ is affine, and such that $\Gamma (X', g^*\mathcal{F})$ is a free $\mathcal{O}_{S', s'}$-module.

Proof. (The only difference with Lemma 38.12.8 is that we do not assume $f$ is of finite presentation.) The problem is local on $X$ and $S$. Hence we may assume $X$ and $S$ are affine, say $X = \mathop{\mathrm{Spec}}(B)$ and $S = \mathop{\mathrm{Spec}}(A)$. Since $B$ is a finite type $A$-algebra we can find a surjection $A[x_1, \ldots , x_ n] \to B$. In other words, we can choose a closed immersion $i : X \to \mathbf{A}^ n_ S$. Set $t = i(x)$ and $\mathcal{G} = i_*\mathcal{F}$. Note that $\mathcal{G}_ t \cong \mathcal{F}_ x$ are $\mathcal{O}_{S, s}$-modules. Hence $\mathcal{G}$ is flat over $S$ at $t$. We apply Lemma 38.12.8 to the morphism $\mathbf{A}^ n_ S \to S$, the point $t$, and the sheaf $\mathcal{G}$. Thus we can find an elementary étale neighbourhood $(S', s') \to (S, s)$ and a commutative diagram of pointed schemes

$\xymatrix{ (\mathbf{A}^ n_ S, t) \ar[d] & (Y, y) \ar[l]^ h \ar[d] \\ (S, s) & (\mathop{\mathrm{Spec}}(\mathcal{O}_{S', s'}), s') \ar[l] }$

such that $Y \to \mathbf{A}^ n_{\mathcal{O}_{S', s'}}$ is étale, $\kappa (t) = \kappa (y)$, the scheme $Y$ is affine, and such that $\Gamma (Y, h^*\mathcal{G})$ is a projective $\mathcal{O}_{S', s'}$-module. Then a solution to the original problem is given by the closed subscheme $X' = Y \times _{\mathbf{A}^ n_ S} X$ of $Y$. $\square$

Lemma 38.12.10. Let $f : X \to S$ be a morphism of schemes. Let $\mathcal{F}$ be a quasi-coherent sheaf on $X$. Let $s \in S$. Assume that

1. $f$ is of finite presentation,

2. $\mathcal{F}$ is of finite type, and

3. $\mathcal{F}$ is flat over $S$ at all points of $X_ s$.

Then there exists an elementary étale neighbourhood $(S', s') \to (S, s)$ and a commutative diagram of schemes

$\xymatrix{ X \ar[d] & X' \ar[l]^ g \ar[d] \\ S & \mathop{\mathrm{Spec}}(\mathcal{O}_{S', s'}) \ar[l] }$

such that $X' \to X \times _ S \mathop{\mathrm{Spec}}(\mathcal{O}_{S', s'})$ is étale, $X_ s = g((X')_{s'})$, the scheme $X'$ is affine of finite presentation over $\mathcal{O}_{S', s'}$, the sheaf $g^*\mathcal{F}$ is of finite presentation over $\mathcal{O}_{X'}$, and such that $\Gamma (X', g^*\mathcal{F})$ is a free $\mathcal{O}_{S', s'}$-module.

Proof. For every point $x \in X_ s$ we can use Lemma 38.12.8 to find an elementary étale neighbourhood $(S_ x , s_ x) \to (S, s)$ and a commutative diagram

$\xymatrix{ (X, x) \ar[d] & (Y_ x, y_ x) \ar[l]^{g_ x} \ar[d] \\ (S, s) & (\mathop{\mathrm{Spec}}(\mathcal{O}_{S_ x, s_ x}), s_ x) \ar[l] }$

such that $Y_ x \to X \times _ S \mathop{\mathrm{Spec}}(\mathcal{O}_{S_ x, s_ x})$ is étale, $\kappa (x) = \kappa (y_ x)$, the scheme $Y_ x$ is affine of finite presentation over $\mathcal{O}_{S_ x, s_ x}$, the sheaf $g_ x^*\mathcal{F}$ is of finite presentation over $\mathcal{O}_{Y_ x}$, and such that $\Gamma (Y_ x, g_ x^*\mathcal{F})$ is a free $\mathcal{O}_{S_ x, s_ x}$-module. In particular $g_ x((Y_ x)_{s_ x})$ is an open neighbourhood of $x$ in $X_ s$. Because $X_ s$ is quasi-compact we can find a finite number of points $x_1, \ldots , x_ n \in X_ s$ such that $X_ s$ is the union of the $g_{x_ i}((Y_{x_ i})_{s_{x_ i}})$. Choose an elementary étale neighbourhood $(S' , s') \to (S, s)$ which dominates each of the neighbourhoods $(S_{x_ i}, s_{x_ i})$, see More on Morphisms, Lemma 37.32.4. Set

$X' = \coprod Y_{x_ i} \times _{\mathop{\mathrm{Spec}}(\mathcal{O}_{S_{x_ i}, s_{x_ i}})} \mathop{\mathrm{Spec}}(\mathcal{O}_{S', s'})$

and endow it with the obvious morphism $g : X' \to X$. By construction $X_ s = g(X'_{s'})$ and

$\Gamma (X', g^*\mathcal{F}) = \bigoplus \Gamma (Y_{x_ i}, g_{x_ i}^*\mathcal{F}) \otimes _{\mathcal{O}_{S_{x_ i}, s_{x_ i}}} \mathcal{O}_{S', s'}.$

This is a free $\mathcal{O}_{S', s'}$-module as a direct sum of base changes of free modules. Some minor details omitted. $\square$

Lemma 38.12.11. Let $f : X \to S$ be a morphism of schemes. Let $\mathcal{F}$ be a quasi-coherent sheaf on $X$. Let $s \in S$. Assume that

1. $f$ is of finite type,

2. $\mathcal{F}$ is of finite type, and

3. $\mathcal{F}$ is flat over $S$ at all points of $X_ s$.

Then there exists an elementary étale neighbourhood $(S', s') \to (S, s)$ and a commutative diagram of schemes

$\xymatrix{ X \ar[d] & X' \ar[l]^ g \ar[d] \\ S & \mathop{\mathrm{Spec}}(\mathcal{O}_{S', s'}) \ar[l] }$

such that $X' \to X \times _ S \mathop{\mathrm{Spec}}(\mathcal{O}_{S', s'})$ is étale, $X_ s = g((X')_{s'})$, the scheme $X'$ is affine, and such that $\Gamma (X', g^*\mathcal{F})$ is a free $\mathcal{O}_{S', s'}$-module.

Proof. (The only difference with Lemma 38.12.10 is that we do not assume $f$ is of finite presentation.) For every point $x \in X_ s$ we can use Lemma 38.12.9 to find an elementary étale neighbourhood $(S_ x , s_ x) \to (S, s)$ and a commutative diagram

$\xymatrix{ (X, x) \ar[d] & (Y_ x, y_ x) \ar[l]^{g_ x} \ar[d] \\ (S, s) & (\mathop{\mathrm{Spec}}(\mathcal{O}_{S_ x, s_ x}), s_ x) \ar[l] }$

such that $Y_ x \to X \times _ S \mathop{\mathrm{Spec}}(\mathcal{O}_{S_ x, s_ x})$ is étale, $\kappa (x) = \kappa (y_ x)$, the scheme $Y_ x$ is affine, and such that $\Gamma (Y_ x, g_ x^*\mathcal{F})$ is a free $\mathcal{O}_{S_ x, s_ x}$-module. In particular $g_ x((Y_ x)_{s_ x})$ is an open neighbourhood of $x$ in $X_ s$. Because $X_ s$ is quasi-compact we can find a finite number of points $x_1, \ldots , x_ n \in X_ s$ such that $X_ s$ is the union of the $g_{x_ i}((Y_{x_ i})_{s_{x_ i}})$. Choose an elementary étale neighbourhood $(S' , s') \to (S, s)$ which dominates each of the neighbourhoods $(S_{x_ i}, s_{x_ i})$, see More on Morphisms, Lemma 37.32.4. Set

$X' = \coprod Y_{x_ i} \times _{\mathop{\mathrm{Spec}}(\mathcal{O}_{S_{x_ i}, s_{x_ i}})} \mathop{\mathrm{Spec}}(\mathcal{O}_{S', s'})$

and endow it with the obvious morphism $g : X' \to X$. By construction $X_ s = g(X'_{s'})$ and

$\Gamma (X', g^*\mathcal{F}) = \bigoplus \Gamma (Y_{x_ i}, g_{x_ i}^*\mathcal{F}) \otimes _{\mathcal{O}_{S_{x_ i}, s_{x_ i}}} \mathcal{O}_{S', s'}.$

This is a free $\mathcal{O}_{S', s'}$-module as a direct sum of base changes of free modules. $\square$

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