Products of commutators in a Lie nilpotent associative algebra (Q330152)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Products of commutators in a Lie nilpotent associative algebra
scientific article

    Statements

    Products of commutators in a Lie nilpotent associative algebra (English)
    0 references
    0 references
    0 references
    24 October 2016
    0 references
    Let \(F\) be a field and \(F\langle X\rangle\) the free unital associative \(F\)-algebra freely generated by a countable set \(X = \{x_1 ,x_2 ,\ldots\}\). Define left-normed commutators recursively \([a_1]=a_1\), and \( [a_1 ,\ldots ,a_ {n-1} ,a_n] = [[a_1 ,\ldots ,a_ {n-1} ],a_ n]\), \(n \geq 2\). For \(n \geq 2\), let \(T^ {(n)}\) be the two-sided ideal in \(F\langle X\rangle \) generated by all commutators \([a_1,\ldots,a_n] \), where \(a_ i\in F\langle X\rangle \). One has the embedding: \( T^{ (m)} T^{ (n)}\subset T^{(m+n-2)}\) for all \(n,m\geq 1\), which was first established in [\textit{V. N. Latyshev}, Sib. Mat. Zh. 6, 1432--1434 (1965; Zbl 0199.07502)] and later [\textit{N. Gupta} and \textit{F. Levin}, J. Algebra 81, 225--231 (1983; Zbl 0514.16024)]. The present paper accounts that this result was reproved again in different papers, and surveys the results on validity of this embedding over \(\mathbb Z\) and fields of characteristic \(2,3\). Also, the authors survey close results. Let \(F\) be a field of characteristic 0. \textit{P. Etingof} et al. conjectured [J. Algebra 321, No. 2, 697--703 (2009; Zbl 1236.16021)] that the stronger embedding \(T^{ (m)} T^{(n)}\subset T^{(m+n-1)}\) holds if and only if \(m\) or \(n\) is odd. The ``if'' direction of the conjecture was confirmed: if at least one of the integers \(m, n\geq 1\) is odd then \(T^{(m)} T^{ (n)}\subset T^{ (m+n-1)}\), the field \(F\) being of characteristic distinct from \(2,3\); see [\textit{A. Bapat} and \textit{D. Jordan}, J. Algebra 373, 299--311 (2013; Zbl 1276.16017)]. The aim of the present paper is to confirm the ``only if'' direction of the conjecture. Theorem. Let \(m = 2m'\), \(n =2n'\) be positive even integers. Then \(T^{ (m)} T^{ (n)}\nsubseteq T^{(m+n-1)}\), the field \(F\) is arbitrary.
    0 references
    0 references
    PI-algebras
    0 references
    polynomial identity
    0 references
    product of ideals
    0 references
    commutators
    0 references
    Lie nilpotence
    0 references
    lower central series
    0 references
    0 references
    0 references
    0 references