Relèvement d'Idempotents

Une procédure et un ensemble de résultats permettant de produire des éléments idempotents dans un anneau ou une algèbre qui relèvent des idempotents donnés dans un quotient, utilisée pour affiner des décompositions et transférer des décompositions en somme directe ou en blocs du quotient vers l'anneau initial.