Un élément a d'un anneau (ou d'une algèbre) est nilpotent si a^n = 0 pour un certain entier positif n. Le plus petit tel n s'appelle l'indice (ou exposant) de nilpotence de a.

Principe

La nilpotence traduit l'annihilation éventuelle par multiplication répétée : l'auto-multiplication finit par envoyer l'élément sur l'identité additive, témoignant d'une dégénérescence algébrique et d'un comportement local nilpotent.

Démonstration

Dans Z/8Z la classe de 2 est nilpotente car 2^3 = 8 ≡ 0 modulo 8. Dans l'algèbre des matrices triangulaires supérieures n×n, les matrices strictement supérieures sont nilpotentes : une puissance ≥ n s'annule.

Mauvaise application

Confondre nilpotence et idempotence ou simple non-inversibilité ; nilpotence signifie qu'une puissance positive est nulle, ce qui est plus fort qu'être diviseur de zéro et qualitativement différent de l'idempotence (a^2 = a).

Conséquence

Les nilpotents non nuls appartiennent au nilradical et empêchent la réduicité des anneaux et schémas ; ils influent sur les théorèmes de décomposition, empêchent l'inversibilité et modifient les invariants spectraux et homologiques.

Inversion

Les phénomènes opposés sont la semi-simplicité ou la réduicité : dans un anneau réduit il n'existe pas de nilpotents non nuls, et la semi-simplicité exclut les radicaux nilpotents, conduisant à des théories de décomposition et de représentation plus rigides.

Limite

La définition exige une structure multiplicative associative avec zéro ; en contextes non associatifs la nilpotence peut se définir via produits itérés mais demande prudence. La propriété est locale aux éléments et diffère d'être nil (tout élément nilpotent) ou d'avoir des idéaux nilpotents.

Tension sémantique

Tension avec les diviseurs de zéro : tout nilpotent non nul dans un anneau commutatif est un diviseur de zéro, mais beaucoup de diviseurs de zéro ne sont pas nilpotents ; tension aussi avec les idempotents qui traduisent une décomposition plutôt qu'une annihilation.

Synthèse

Un élément nilpotent est un élément qui s'annule après un nombre fini d'auto-multiplications ; il signale une annihilation interne, contribue à la structure radicale et distingue les comportements réduits/semisimples des phénomènes algébriques dégénérés.