Heben von Idempotenten

Ein Verfahren und Sammlungen von Aussagen, die idempotente Elemente in einem Ring oder einer Algebra erzeugen, die gegebene Idempotenten aus einem Quotienten heben; dies dient dazu, Zerlegungen zu verfeinern und direkte Summen- oder Blockzerlegungen vom Quotienten auf den ursprünglichen Ring zu übertragen.