Idempotent
Un élément a d'un anneau unitaire (ou d'une algèbre unitaire) est dit idempotent si a² = a. Dans l'algèbre des endomorphismes d'un module ou d'un espace vectoriel, les idempotents sont exactement les projections algébriques : une matrice de projection P vérifie ainsi P² = P. Dans un anneau unitaire, un idempotent permet aussi de décomposer le module régulier à droite en somme directe de sous-modules. Un idempotent non trivial est différent de 0 et de 1. Les idempotents jouent un rôle central dans la classification des modules et dans la théorie des anneaux.
Contents
What you will learn
- Définir un idempotent par l’égalité a² = a.
- Vérifier l’idempotence d’une matrice de projection par un calcul complet.
- Distinguer les idempotents triviaux, les idempotents non triviaux et les nilpotents.
- Comprendre la décomposition en sous-modules et la condition supplémentaire de centralité.
In plain terms
Imaginez une machine qui efface la hauteur d’un point et le pose sur l’axe horizontal. Après ce premier passage, le point est déjà sur l’axe. Un second passage ne change donc plus rien.
Ce comportement est celui d’un idempotent : appliquer deux fois l’opération produit exactement le même résultat que l’appliquer une fois. Une projection fournit l’image typique de cette stabilisation immédiate.
Definition
Dans un anneau unitaire ou une algèbre unitaire, un élément, noté a, est idempotent lorsque son produit par lui-même est égal à lui-même : . Cette égalité exprime une stabilisation après une seule application. Les éléments 0 et 1 la satisfont toujours ; on les appelle les idempotents triviaux. Un idempotent non trivial est donc distinct de 0 et de 1.
Dans une algèbre de matrices, une matrice P est idempotente si . Elle agit alors comme une projection : après le premier passage, le vecteur obtenu appartient déjà à la partie conservée, si bien qu’un second passage le laisse inchangé.
Dans un anneau unitaire A, un idempotent a décompose le module régulier à droite en somme directe A = aA ⊕ (1 − a)A : la multiplication à gauche par a fixe la première partie et annule la seconde. Cette décomposition explique l’importance des idempotents dans l’étude et la classification des modules. Une décomposition de l’anneau comme produit d’anneaux exige en plus que l’idempotent soit central.
A step-by-step example
Considérons la projection du plan sur l’axe horizontal. Sa matrice est P, avec première ligne 1, 0 et seconde ligne 0, 0. Le vecteur de départ v a pour coordonnées (3, 2). La figure associée représente le premier passage vers l’axe puis l’absence de déplacement au second passage.
Données :
P = [[1, 0], [0, 0]]
v = (3, 2)
P = [[1, 0], [0, 0]]
v = (3, 2)
1. Multiplions P par v. La première coordonnée vaut 1 × 3 + 0 × 2 = 3, et la seconde vaut 0 × 3 + 0 × 2 = 0. Ainsi, Pv = (3, 0).
2. Appliquons encore P. Le calcul donne P(3, 0) = (3, 0). Le second passage ne modifie donc pas le vecteur projeté.
3. Calculons aussi le carré de la matrice :
Le résultat est bien P2 = P. Le contrôle se refait sur un vecteur quelconque (x, y) : le premier passage donne (x, 0), et le second donne encore (x, 0).
In practice
Pour tester une matrice candidate, on calcule son carré et on le compare à la matrice de départ. L’égalité exacte P2 = P confirme l’idempotence ; une simple stabilisation sur un seul vecteur ne suffit pas.
Pour reconnaître une projection, on observe ce qui est conservé et ce qui est annulé. Dans l’exemple, les vecteurs de l’axe horizontal restent fixes, tandis que les vecteurs verticaux sont envoyés sur le vecteur nul.
Dans l’étude d’un module, un idempotent sert à isoler deux composantes complémentaires. Si l’on veut en déduire un produit d’anneaux, il faut toutefois contrôler que cet idempotent commute avec tous les éléments de l’anneau.
Not to be confused with
Idempotent et nilpotent. Un idempotent vérifie a2 = a, tandis qu’un élément est nilpotent s’il existe un entier n ≥ 1 tel que an = 0. Pour un idempotent, toutes les puissances positives restent égales à a ; il ne peut donc être aussi nilpotent que s’il vaut 0.
Élément idempotent et projection. L’idempotence est l’égalité algébrique a2 = a. Une projection est l’action associée qui conserve une composante et annule l’autre. La matrice P de l’exemple est l’élément idempotent ; l’envoi de (x, y) sur (x, 0) est la projection.
Limits and pitfalls
Les cas 0 et 1 comptent. Ils vérifient tous deux l’équation d’idempotence, mais sont dits triviaux. Chercher un idempotent non trivial impose donc de les écarter explicitement.
Un essai isolé ne prouve rien. Une matrice peut laisser un vecteur particulier inchangé sans être idempotente. Il faut calculer son carré entier, ou prouver que la seconde application coïncide avec la première pour tout vecteur.
La somme directe n’est pas automatiquement un produit d’anneaux. Tout idempotent décompose le module régulier en parties conservée et annulée. Pour transformer cette séparation en décomposition de l’anneau comme produit d’anneaux, il faut vérifier que l’idempotent est central.
Further reading
projection — Prolongez l’exemple matriciel en étudiant l’opération géométrique dont la seconde application ne modifie plus le résultat.
Explore mathematics differently
Discover our magazines, podcasts and games to explore mathematics differently.
See our offers