Identities on units of algebraic algebras (Q1604363)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Identities on units of algebraic algebras |
scientific article |
Statements
Identities on units of algebraic algebras (English)
0 references
4 July 2002
0 references
Let \(f(\zeta_1,\zeta_2,\dots,\zeta_n)\) be a Laurent polynomial over the field \(K\) so that \(f\in K[\zeta_1,\zeta_1^{-1},\dots,\zeta_n,\zeta_n^{-1}]\). If \(A\) is a \(K\)-algebra with group of units \(U(A)\), then it makes sense to consider evaluations of the form \(f(u_1,u_2,\dots,u_n)\) with \(u_1,u_2,\dots,u_n\in U(A)\), and then \(U(A)\) is said to satisfy a Laurent polynomial identity (LPI) if there exists a nonzero \(f\) as above with \(f(u_1,u_2,\dots,u_n)=0\) for all \(u_i\in U(A)\). It is shown here that if \(A\) is an algebraic algebra over an infinite field \(K\) and if \(U(A)\) satisfies an LPI, then \(A\) satisfies a polynomial identity. Furthermore, if \(A\) is noncommutative and if the noncentral units of \(A\) satisfy an LPI, then again \(A\) satisfies a polynomial identity.
0 references
polynomial identities
0 references
algebraic algebras
0 references
Laurent polynomials
0 references
groups of units
0 references