Values of noncommutative polynomials, Lie skew-ideals and tracial Nullstellensätze.
type: Item
instance of: scholarly article
title: Values of noncommutative polynomials, Lie skew-ideals and tracial Nullstellensätze.
zbMATH Open document ID: 1189.16021
author: Igor Klep
author: Matej Brešar
published in: Mathematical Research Letters
publication date: 2009-10-12T00:00:00Z
full work available at URL: https://arxiv.org/abs/0810.1774
review text: Let \(F\) be a field of characteristic \(q\geq 0\), \(A\) an associative \(F\)-algebra of finite dimension \([A:F]\), \(Z\) the centre of \(A\), and for arbitrary subsets \(\Sigma_1,\Sigma_2\subseteq A\), let \([\Sigma_1,\Sigma_2]\) be the \(F\)-subspace of \(A\) generated by the set of commutators \([\tau_1,\tau_2]\), \(\tau_j\in\Sigma_j\), \(j=1,2\). It is well-known that \(A\) is a Lie algebra over \(F\) with respect to the addition in \(A\) and the Lie product \([x,y]:=xy-yx\), for \(x,y\in A\). The ideals of \(A\) with respect to this product are called Lie ideals of \(A\). Suppose further that \(q\neq 2\), \(Z=F\) and \(A\) is a simple associative algebra with involution \(*\). Denote by \(S\) the set of symmetric elements of \(A\), and by \(K\) is the set of skew-symmetric elements of \(A\) (with respect to \(*\)). By a Lie skew-ideal of \(A\), we mean an \(F\)-subspace \(I\subseteq A\), such that \([K,I]\subseteq I\). The paper under review shows that if \(*\) is of the second kind, then \(0\), \(Z\), \([A,A]\) and \(A\) are all Lie skew-ideals of \(A\). When \(*\) is of the first kind, and \([A:F]\neq 4,16\) or \(q\neq 3\), it proves that the set of Lie skew-ideals of \(A\) consists of \(0\), \(Z\), \(K\), \([S,K]\), \(S\), \(Z+K\), \([A,A]\) and \(A\). As an application, the authors deduce that a polynomial in noncommuting variables over \(F\) is a sum of commutators and a polynomial identity of \(d\times d\) matrices if and only if its values in the matrix algebra \(M_n(F)\) have zero trace.
reviewed by: Ivan D. Chipchakov
Mathematics Subject Classification ID: 16R50
Mathematics Subject Classification ID: 16W10
Mathematics Subject Classification ID: 16D25
Mathematics Subject Classification ID: 16K20
zbMATH DE Number: 5613896
zbMATH Keywords: noncommutative polynomials
zbMATH Keywords: Lie ideals
zbMATH Keywords: Lie skew-ideals
zbMATH Keywords: sums of commutators
zbMATH Keywords: traces
zbMATH Keywords: involutions
zbMATH Keywords: polynomial identities
MaRDI profile type: Publication
arXiv ID: 0810.1774
DOI: 10.4310/MRL.2009.V16.N4.A5
description: scientific article