Commutative algebra 52: Flatness of completions
Channel: Richard E Borcherds
Date: 09/12/2020

This lecture is part of an online course on commutative algebra, following the book
"Commutative algebra with a view toward algebraic geometry" by David Eisenbud.

We prove that the completion of a Noetherian ring R is a flat modules over R.
The proof uses the Mittag-Leffler condition for exactness of completions, and also the Artin-Rees lemma. 

Reading: Section
Exercises: