Un élément e d'un semi-groupe, d'un anneau ou d'une algèbre vérifiant e·e = e ; dans un anneau unital les idempotents correspondent à des projections sur des sommants et comprennent les idempotents triviaux 0 et 1.

Principe

L'équation idempotente e^2 = e organise les décompositions : chaque idempotent détermine un scindage de type projection des modules ou espaces et désigne des sous-structures complémentaires via 1−e lorsqu'il existe une unité.

Démonstration

En algèbre linéaire, toute matrice de projection orthogonale P satisfait P^2 = P ; dans l'anneau Z/6Z la classe 3 est idempotente puisque 3·3 ≡ 3 (mod 6), fournissant une décomposition non triviale de l'anneau en idéaux.

Mauvaise application

Confondre éléments nilpotents ou projections approchées avec des idempotents, ou présumer que les idempotents sont centraux sans vérifier la commutativité, conduit à des décompositions incorrectes et à de fausses propriétés de commutation.

Conséquence

L'identification correcte des idempotents fournit des décompositions en sommes directes de modules, des décompositions de Peirce des algèbres, et des opérateurs de projection explicites qui scindent des suites exactes quand ils sont compatibles avec les applications structurelles.

Inversion

Le contraire est un élément qui ne satisfait pas e^2 = e : les éléments nilpotents vérifient e^n = 0 pour un n>0, et les unités vérifient e·e^{-1} = 1 plutôt que l'idempotence ; 1−e est lui-même idempotent quand e l'est dans un anneau unital, donnant la projection complémentaire.

Limite

La définition s'applique aux semi-groupes, anneaux, algèbres et monoïdes d'endomorphismes ; elle exclut les éléments idempotents seulement à conjugaison ou à homotopie (idempotents approchés ou modulo nilpotents) et suppose que la multiplication ambiante est associative pour obtenir les conséquences usuelles.

Tension sémantique

Idempotent entre en tension avec « opérateur de projection » (contexte analytique/opérateur) et avec « identité » (l'idempotent spécial 1) ; il faut distinguer les idempotents structurels qui scindent des modules des projections analytiques qui ne sont idempotentes qu'en limite ou dans une topologie faible.

Synthèse

Un élément idempotent est une projection algébrique véritable : un point fixe de la multiplication indiquant la séparation de l'objet ambiant en parties complémentaires, à manipuler avec prudence en présence de non-centralité ou d'absence d'unité.