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.