Lemma 76.13.8. Let $S$ be a scheme. Let $F, G, H : (\mathit{Sch}/S)_{fppf}^{opp} \to \textit{Sets}$. Let $a : F \to G$, $b : G \to H$ be transformations of functors. Assume $b$ is formally unramified.
If $b \circ a$ is formally unramified then $a$ is formally unramified.
If $b \circ a$ is formally étale then $a$ is formally étale.
If $b \circ a$ is formally smooth then $a$ is formally smooth.
Proof.
Let $T \subset T'$ be a closed immersion of affine schemes defined by an ideal of square zero. Let $g' : T' \to G$ and $f : T \to F$ be given such that $g'|_ T = a \circ f$. Because $b$ is formally unramified, there is a one to one correspondence between
\[ \{ f' : T' \to F \mid f = f'|_ T\text{ and }a \circ f' = g'\} \]
and
\[ \{ f' : T' \to F \mid f = f'|_ T\text{ and }b \circ a \circ f' = b \circ g'\} . \]
From this the lemma follows formally.
$\square$
Comments (0)