Lemma 109.9.1. Completion is not an exact functor in general; it is not even right exact in general. This holds even when $I$ is finitely generated on the category of finitely presented modules.
Completion is neither left nor right exact in general.
See discussion above.
Proof. See discussion above. $\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.