English

Commutators and images of noncommutative polynomials

Rings and Algebras 2020-07-27 v2

Abstract

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

Keywords

Cite

@article{arxiv.2001.10392,
  title  = {Commutators and images of noncommutative polynomials},
  author = {Matej Brešar},
  journal= {arXiv preprint arXiv:2001.10392},
  year   = {2020}
}

Comments

18 pages

R2 v1 2026-06-23T13:23:02.176Z