Identité polynomiale

En mathématiques, une identité polynomiale sur une algèbre associative est définie par l’annulation d’un polynôme non commutatif sur toute famille d’éléments de l’algèbre. L’ensemble des identités polynomiales sur une telle algèbre forme un T-idéal de l’algèbre associative libre engendrée par une famille dénombrable de variables formelles, c’est-à-dire un idéal stable par substitution des variables par d’autres polynômes non commutatifs.

Par exemple, toute algèbre commutative vérifie l’identité Modèle:Math. De même, une algèbre nilpotente d’ordre Modèle:Mvar (telle que l’ensemble des matrices triangulaires supérieures strictes d’ordre Modèle:Mvar) admet l’identité Modèle:Math et même Modèle:Math.

D’après le théorème d’Amitsur–Levitski, toute algèbre de matrices à coefficients dans un anneau commutatif satisfait l’identité standard :

$\sum _{\sigma \in S_{2n}}\epsilon (\sigma )x_{\sigma (1)}{x}_{\sigma (2)}\cdots x_{\sigma (2n)}=0$

où Modèle:Math est le groupe symétrique d’ordre Modèle:Math et la fonction Modèle:Math est la signature associée.

Bibliographie

• Eli Aljadeff, Antonio Giambruno, Claudio Procesi, Amitai Regev, Rings with Polynomial Identities and Finite Dimensional Representations of Algebras, American Mathematical Society, Colloquium Publications volume 66, 2020.