Fallo del Levantamiento de Idempotentes

Situación en una proyección de anillos o álgebras π: A → A/I donde un idempotente e ∈ A/I (e^2 = e) no tiene ningún preimagen idempotente p ∈ A con π(p) = e; el cociente contiene una proyección que no se levanta a un idempotente en la fuente.