Idempotent lifting
= Idempotent lifting
If a ring is complete with respect to an ideal contained in its <Jacobson radical>, every idempotent in the quotient lifts to an idempotent of the ring. Consequently direct-sum decompositions of a modular reduction lift to a complete integral lattice.