Lemma 46.3.10. Let $A$ be a ring. Let $\varphi : F \to G$ be a map of adequate functors on $\textit{Alg}_ A$. Then $\mathop{\mathrm{Coker}}(\varphi )$ is adequate.
The cokernel of a map of adequate functors on the category of algebras over a ring is adequate.
Proof.
Choose an injection $G \to \underline{M}$. Then we have an injection $G/F \to \underline{M}/F$. By Lemma 46.3.9 we see that $\underline{M}/F$ is adequate, hence we can find an injection $\underline{M}/F \to \underline{N}$. Composing we obtain an injection $G/F \to \underline{N}$. By Lemma 46.3.9 the cokernel of the induced map $G \to \underline{N}$ is adequate hence we can find an injection $\underline{N}/G \to \underline{K}$. Then $0 \to G/F \to \underline{N} \to \underline{K}$ is exact and we win.
$\square$
Post a comment
Your email address will not be published. Required fields are marked.
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (1)
Comment #879 by Konrad Voelkel on