Lemma 46.3.18. Let $A \to A'$ be a ring map. If $F'$ is an adequate functor on $\textit{Alg}_{A'}$, then the module-valued functor $F : B \mapsto F'(A' \otimes _ A B)$ on $\textit{Alg}_ A$ is adequate too.

Proof. Choose an exact sequence $0 \to F' \to \underline{M'} \to \underline{N'}$. Then

\begin{align*} F(B) & = F'(A' \otimes _ A B) \\ & = \mathop{\mathrm{Ker}}(M' \otimes _{A'} ( A' \otimes _ A B) \to N' \otimes _{A'} (A' \otimes _ A B)) \\ & = \mathop{\mathrm{Ker}}(M' \otimes _ A B \to N' \otimes _ A B) \end{align*}

Thus $F$ is the kernel of $\underline{M} \to \underline{N}$ where $M = M'$ and $N = N'$ viewed as $A$-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).