Idempotent Lifting

A procedure and collection of results that produce idempotent elements in a ring or algebra that lift specified idempotents from a quotient, typically used to refine decompositions and to transfer direct-sum or block decompositions from the quotient to the original ring.