Le plus petit entier positif n tel que x^n=0 pour un élément nilpotent x d'un anneau ou d'une algèbre ; équivalemment la longueur de la plus longue chaîne de puissances non triviales avant que l'élément n'annule.

Principe

L'indice de nilpotence mesure la rapidité avec laquelle la multiplication répétée par l'élément devient nulle ; dans le contexte des matrices/blocs de Jordan il égale la taille du plus grand bloc de Jordan pour la valeur propre zéro et est majoré par la dimension en algèbres de dimension finie.

Démonstration

Toute matrice strictement triangulaire supérieure n×n est nilpotente d'indice au plus n ; par exemple une matrice 3×3 avec des uns sur la surdiagonale et des zéros ailleurs a un indice 3 car son carré est non nul mais son cube est nul.

Mauvaise application

Qualifier un élément de 'nilpotent' parce que ses puissances tendent vers zéro au sens topologique (ceci n'est pas de la nilpotence) ou confondre l'indice de nilpotence avec l'ordre de nilpotence d'un idéal ou la notion de spectre d'un opérateur nilpotent ; supposer que l'indice est invariants sous extension de corps sans vérifier les changements structurels algébriques.

Conséquence

Un élément nilpotent d'indice n donne des relations polynomiales (x^n=0) qui simplifient les calculs (par exemple troncature finie d'exponentielles) et permettent des décompositions séparant la partie nilpotente et semisimple ; l'indice borne la longueur des chaînes de Jordan et affecte la structure des orbites nilpotentes en théorie des représentations.

Inversion

La situation inverse est un élément non nilpotent : aucune puissance finie n'est nulle et de tels éléments peuvent être inversibles ou avoir un rayon spectral non nul ; la présence de valeurs propres non nulles empêche la nilpotence.

Limite

Défini pour les éléments d'anneaux ou d'algèbres associatives ; l'indice dépend de l'élément et des relations algébriques ambiantes ; en dimension infinie un élément ne peut être nilpotent que si une puissance finie s'annule, mais il existe des opérateurs dont les puissances convergent fortement vers zéro sans être nilpotents (ils n'ont pas d'indice fini).

Tension sémantique

Indice de nilpotence versus degré de nilpotence d'un idéal ou versus rayon spectral : l'indice est un entier fini quantifiant l'annulation algébrique exacte, tandis que le rayon spectral et les notions de décroissance asymptotique reflètent un comportement analytique et peuvent être non nuls même si les puissances ne s'annulent qu'à un stade fini.

Synthèse

L'indice de nilpotence est l'exposant minimal fini qui annule un élément nilpotent ; il quantifie la profondeur algébrique exacte de la nilpotence et contrôle les troncatures, les longueurs de chaînes de Jordan et les phénomènes de décomposition associés.