Remark 56.7.3. In Lemma 56.7.2 if $X$ and $Y$ are defined over a common base ring $R$ and $F$ is $R$-linear, then the isomorphism $f$ will be a morphism of schemes over $R$.

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