Lemma 110.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.
Proof. See discussion above. \square
Comments (1)
Comment #839 by Johan Commelin on
There are also: