 Let "R" be a commutative ring, and let "I" be an ideal of "R".The completion of "R" at "I" is the projective limit formula_203; it is a commutative ring.The canonical homomorphisms from "R" to the quotients formula_204 induce a homomorphism formula_205.