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

DOI10.1007/S11856-022-2350-2MaRDI QIDQ6371110arXivWikidataFDO

Authors Ivan Gonzales Gargate, Thiago Castilho de Mello

Publication date 23 June 2021

Published in arXiv

Full work available at URL https://doi.org/10.1007/S11856-022-2350-2

Mathematics Subject Classification ID

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

arXiv classification

math.RA

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$.

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)