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.

Principe

L'idée directrice est que les décompositions algébriques visibles dans le quotient devraient se réaliser par des idempotents dans l'anneau d'origine ; l'échec signale des obstructions dans la structure de A ou dans l'idéal I empêchant le scindage des modules ou des facteurs directs.

Démonstration

Pour une surjection A → A/I et e ∈ A/I vérifiant e^2 = e, l'échec du relèvement consiste en l'absence de p ∈ A avec p^2 = p envoyant sur e. De tels comportements apparaissent dans des anneaux non semiparfaits ou dans des constructions par limites directes infinies et peuvent être obtenus explicitement via des anneaux de matrices infinies ou des limites projectives qui créent des obstructions au scindage.

Mauvaise application

Supposer a priori que tout idempotent d'un quotient se relève conduit à de fausses décompositions de modules, à des affirmations erronées sur la projectivité de facteurs et à des preuves invalides reposant sur des facteurs directs inexistants.

Conséquence

Si les idempotents se relèvent, on obtient des décompositions en sommes directes et une correspondance entre idempotents primitifs en amont et en aval ; l'échec rompt ces correspondances et peut empêcher la classification des modules et des arguments de type Morita.

Inversion

La propriété inverse est la propriété de relèvement des idempotents : chaque idempotent de A/I admet un relèvement idempotent dans A. Le renversement met en lumière les anneaux dont les quotients reflètent fidèlement les scindages par rapport à ceux où des idempotents artificiels apparaissent au quotient.

Limite

Le concept s'applique aux anneaux, algèbres et quotients par des idéaux bilatères ; il exclut les cadres analytiques (par exemple les projections dans les C*-algèbres) sauf si la structure topologique/*-est explicitement prise en compte.

Tension sémantique

Tension entre « relèvement des idempotents » et « relèvement des idempotents centraux » ou « relèvement des projections auto-adjointes » : la centralité ou la structure * impose des contraintes supplémentaires, de sorte qu'un échec au sens général peut coexister avec un comportement différent pour les idempotents plus structurés.

Synthèse

L'échec du relèvement des idempotents est une obstruction nette : un idempotent du quotient n'a pas d'équivalent idempotent en amont, révélant des pathologies structurelles de l'idéal ou de l'anneau qui empêchent la réalisation vers le haut des décompositions visibles au quotient.