A situation in a ring or algebra surjection π: A → A/I where an idempotent e ∈ A/I (e^2 = e) does not admit any idempotent p ∈ A with π(p) = e; the quotient contains a projector that has no idempotent preimage in the source.

Principle

Idempotent lifting is the organizing idea that algebraic decompositions visible in a quotient should be realizable upstairs by idempotents; its failure indicates obstructions in the ring structure or in the ideal I that prevent splitting of modules or summands.

Demonstration

Consider a surjective homomorphism A → A/I and an element e ∈ A/I with e^2 = e. Failure of lifting means there is no p ∈ A with p^2 = p mapping to e. Such phenomena occur in nonsemiperfect rings and in constructions using infinite direct limits or rings with large nil or nonprojective ideals; concrete counterexamples are typically produced by infinite matrix or inverse-limit constructions that force obstructions to splitting.

Misapplication

Assuming without verification that every idempotent in a quotient lifts to the ring leads to incorrect decompositions of modules, false claims of projectivity for summands, and invalid decomposition-based proofs (for example, decomposing a module into summands corresponding to nonexisting lifted idempotents).

Consequence

When idempotents do lift, one obtains direct-sum decompositions of modules and a correspondence between primitive idempotents upstairs and idempotents downstairs; failure breaks these correspondences and can obstruct classification of modules and Morita-type arguments.

Reversal

The converse property is the idempotent lifting property: every idempotent in A/I has an idempotent lift in A. Reversal highlights rings where quotients faithfully reflect splitting versus rings where quotients gain artificial idempotents.

Boundary

This concept applies to rings, algebras, and their quotients by two-sided ideals; it excludes contexts where "idempotent" is interpreted analytically (e.g., projections in C*-algebras require *-structure and topology) unless those structures are explicitly included.

Semantic Tension

Tension exists between 'lifting idempotents' and 'lifting central idempotents' or 'lifting projections in *-algebras': centrality or *-structure imposes stronger constraints, so a failure in the general idempotent sense may coexist with different behavior for central or self-adjoint idempotents.

Synthesis

Failure of idempotent lifting is a precise obstruction phenomenon: an idempotent present in a quotient fails to correspond to any splitting in the original algebra, signaling structural pathologies of the ideal or algebra that prevent the upward realization of quotient decompositions.