Commutators and images of noncommutative polynomials

DOI10.1016/J.AIM.2020.107346zbMATH Open1459.16022arXiv2001.10392OpenAlexW3047764774MaRDI QIDQ2006071FDOQ2006071

Matej Brešar

Publication date: 8 October 2020

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: Let $A$ be an algebra and let $f$ be a nonconstant noncommutative polynomial. In the first part of the paper, we consider the relationship between $[A,A]$, the linear span of commutators in $A$, and span$f(A)$, the linear span of the image of $f$ in $A$. In particular, we show that $[A,A]=A$ implies span$f(A)=A$. In the second part, we establish some Waring type results for images of polynomials. For example, we show that if $C$ is a commutative unital algebra over a field $F$ of characteristic $0$, $A$ is the matrix algebra $M_n(C)$, and the polynomial $f$ is neither an identity nor a central polynomial of $M_n(F)$, then every commutator in $A$ can be written as a difference of two elements, each of which is a sum of $7788$ elements from $f(A)$ (if $C=F$ is an algebraically closed field, then $4$ elements suffice). Similar results are obtained for some other algebras, in particular for the algebra $B(H)$ of all bounded linear operators on a Hilbert space $H$.

Full work available at URL: https://arxiv.org/abs/2001.10392

zbMATH Keywords

commutatormatrix algebrapolynomial identityWaring's problemnoncommutative polynomialLie ideallocally linearly dependent polynomialssquare-zero element

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) (T)-ideals, identities, varieties of associative rings and algebras (16R10) Functional identities (associative rings and algebras) (16R60) Endomorphism rings; matrix rings (16S50)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Matrix Analysis
• Introduction to noncommutative algebra.
• Lie structure of prime rings of characteristic 2
• Sums of small numbers of idempotents
• A note on sums of three square-zero matrices
• The images of non-commutative polynomials evaluated on 2×2 matrices
• A note on values of noncommutative polynomials
• On the image of a noncommutative polynomial.
• Values of noncommutative polynomials, Lie skew-ideals and tracial Nullstellensätze.
• On matrices of trace zero
• The Waring problem for finite simple groups.
• On the iterates of derivations of prime rings
• Sui Commutatori Degli Anelli Semplici
• On Ranges of Polynomials in Finite Matrix Rings
• Commutator rings
• Matrices over commutative rings as sums of $k$-th powers
• The T -Ideals of the Free Ring
• Lie ideals: from pure algebra to C*-algebras
• Structure of commutators of operators
• Waring's problem in function fields
• A local-global principle for linear dependence of noncommutative polynomials.
• Quasi-identities on matrices and the Cayley-Hamilton polynomial.
• Waring's problem for algebras over fields
• Density of Polynomial Maps
• Right ideals generated by an idempotent of finite rank.
• Similarity and commutators of matrices over principal ideal rings
• Commutators of Operators, II
• Centralizers in free associative algebras and generic matrices
• Finite sums of commutators
• On the Lie ideals of \(C^\ast\)-algebras
• Commutators and square-zero elements in Banach algebras
• Integral matrices as diagonal quadratic forms

Cited In (20)

• On n-generalized commutators and Lie ideals of rings
• The Waring problem for matrix algebras, II
• On the images of generalized polynomials evaluated on matrices over an algebraically closed skew field
• Evaluations of multilinear polynomials on low rank Jordan algebras
• Theory of non-commutative polynomials
• Functional identities and their applications
• Values of polynomials on centrally closed prime algebras
• The images of non-commutative polynomials evaluated on 2 × 2 matrices over an arbitrary field
• Images of multilinear polynomials in the algebra of finitary matrices contain trace zero matrices
• Multilinear polynomials are surjective on algebras with surjective inner derivations
• The images of multilinear and semihomogeneous polynomials on the algebra of octonions
• The Waring problem for matrix algebras
• Rings and C*-algebras generated by commutators
• On Fagundes-Mello conjecture
• Images of multilinear graded polynomials on upper triangular matrix algebras
• Noncommutative higher commutators
• Evaluations of noncommutative polynomials on algebras: methods and problems, and the L'vov-Kaplansky conjecture
• Title not available (Why is that?)
• Additive subgroups generated by noncommutative polynomials
• On the subring generated by commutators

This page was built for publication: Commutators and images of noncommutative polynomials

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