Products of several commutators in a Lie nilpotent associative algebra

DOI10.1142/S0218196717500473zbMATH Open1379.16014arXiv1610.03136OpenAlexW2758569848WikidataQ115245898 ScholiaQ115245898MaRDI QIDQ4601322FDOQ4601322

Authors: Galina Deryabina, Alexei Krasilnikov 

Publication date: 15 January 2018

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Abstract: Let $F$ be a field of characteristic $e2,3$ and let $A$ be a unital associative $F$-algebra. Define a left-normed commutator $[a_1,a_2,dots,a_n]$ $(a_{i}inA)$ recursively by $[a_1,a_2]=a_1{a}_2-a_2{a}_1$, $[a_1,dots,a_{n-1},a_n]=[[a_1,dots,a_{n-1}],a_n]$ $(nge3)$. For $nge2$, let $T^{(n)}(A)$ be the two-sided ideal in $A$ generated by all commutators $[a_1,a_2,dots,a_n]$ ($a_{i}inA)$. Define $T^{(1)}(A)=A$. Let $k,ell$ be integers such that $k>0$, $0leelllek$. Let $m_1,dots,m_k$ be positive integers such that $ell$ of them are odd and $k-ell$ of them are even. Let $N_{kell}=su{m}_{i=1}^k{m}_i-2k+ell+2$. The aim of the present note is to show that, for any positive integers $m_1,dots,m_k$, in general, [ T^{(m_1)} (A) dots T^{(m_k)} (A)

subseteq T^{(N_{k ell} +1)} (A). ] It is known that if $ell<k$ (that is, if at least one of $m_i$ is even) then, for each $A$, �egin{equation*} label{evenabstr} T^{(m_1)} (A) dots T^{(m_k)} (A) subseteq T^{(N_{k ell} )} (A) end{equation*} so our result cannot be improved if $ell<k$. Let $N_k=su{m}_{i=1}^k{m}_i-k+1$. Recently Dangovski has proved that if $m_1,dots,m_k$ are any positive integers then, in general, [ T^{(m_1)} (A) dots T^{(m_k)} (A)

subseteq T^{(N_k+1)} (A) . ] Since $N_{kell}=N_k-(k-ell-1)$, Dangovski's result is stronger than ours if $ell=k$ and is weaker than ours if $elllek-2$; if $ell=k-1$ then $N_k=N_{k(k-1)}$ so both results coincide. It is known that if $ell=k$ (that is, if all $m_i$ are odd) then, for each $A$, �egin{equation*} label{alloddabstr} T^{(m_1)} (A) dots T^{(m_k)} (A) subseteq T^{(N_k)} (A) end{equation*} so in this case Dangovski's result cannot be improved.

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

Recommendations

• Products of commutators in a Lie nilpotent associative algebra
• Some finitely generated associative algebras with a Lie nilpotency identity
• Some products of commutators in an associative ring
• Relations in universal Lie nilpotent associative algebras of class 4
• On centres of relatively free associative algebras with a Lie nilpotency identity

zbMATH Keywords

commutatorspolynomial identityproduct of ideals

Mathematics Subject Classification ID

(T)-ideals, identities, varieties of associative rings and algebras (16R10) Identities other than those of matrices over commutative rings (16R40)

Cites Work

• On universal Lie nilpotent associative algebras.
• On the Lie ideals of a ring
• The torsion subgroup of the additive group of a Lie nilpotent associative ring of class 3.
• Lower central series of a free associative algebra over the integers and finite fields.
• Lower central series of free algebras in symmetric tensor categories.
• The additive group of a Lie nilpotent associative ring.
• On centres of relatively free associative algebras with a Lie nilpotency identity
• On properties of the lower central series of associative algebras
• Products of commutators in a Lie nilpotent associative algebra
• Codimensions of commutators of length 4
• SOME NON-FINITELY BASED VARIETIES OF GROUPS AND GROUP REPRESENTATIONS
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relations in universal Lie nilpotent associative algebras of class 4
• The central polynomials for the Grassmann algebra.
• On T-spaces and relations in relatively free Lie nilpotent associative algebras.
• On \([A,A]/[A[A,A\) and on a \(W_n\)-action on the consecutive commutators of free associative algebras.]]
• On Lie nilpotent group rings
• Lie ideals in group rings

Cited In (2)

• Products of commutators in a Lie nilpotent associative algebra
• Some products of commutators in an associative ring

This page was built for publication: Products of several commutators in a Lie nilpotent associative algebra

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