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é . De même, une algèbre nilpotente d’ordre (telle que l’ensemble des matrices triangulaires supérieures strictes d’ordre ) admet l’identité et même .
D’après le théorème d’Amitsur–LevitskiAmitsur-Levitzki theorem sur Encyclopedia of maths, toute algèbre de matrices à coefficients dans un anneau commutatif satisfait l’identité standard :
où est le groupe symétrique d’ordre et la fonction 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. Notes et références
Catégorie:Algèbre non commutative Catégorie:Identité mathématique