Images of multilinear polynomials on $n\times n$ upper triangular matrices over infinite fields

DOI10.1007/S11856-022-2350-2arXiv2106.12726WikidataQ114221618 ScholiaQ114221618MaRDI QIDQ6371110

Ivan Gonzales Gargate, Thiago Castilho de Mello

Publication date: 23 June 2021

Abstract: In this paper we prove that the image of multilinear polynomials evaluated on the algebra $U{T}_n(K)$ of $nimesn$ upper triangular matrices over an infinite field $K$ equals $J^r$, a power of its Jacobson ideal $J=J(U{T}_n(K))$. In particular, this shows that the analogue of the Lvov-Kaplansky conjecture for $U{T}_n(K)$ is true, solving a conjecture of Fagundes and de Mello. To prove that fact, we introduce the notion of commutator-degree of a polynomial and characterize the multilinear polynomials of commutator-degree $r$ in terms of its coefficients. It turns out that the image of a multilinear polynomial $f$ on $U{T}_n(K)$ is $J^r$ if and only if $f$ has commutator degree $r$.

Mathematics Subject Classification ID

Other kinds of identities (generalized polynomial, rational, involution) (16R50) Multilinear algebra, tensor calculus (15A69) (T)-ideals, identities, varieties of associative rings and algebras (16R10)

This page was built for publication: Images of multilinear polynomials on $n\times n$ upper triangular matrices over infinite fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6371110)