Échec du Relèvement des Idempotents

Dans une surjection d'anneaux ou d'algèbres π : A → A/I, phénomène où un idempotent e ∈ A/I (e^2 = e) n'admet aucun antécédent idempotent p ∈ A tel que π(p) = e ; le quotient possède une projection qui n'a pas de relevé idempotent dans l'anneau source.