Products of commutators in a Lie nilpotent associative algebra

详细信息    查看全文

• 作者：Galina Deryabina^a ; ^{galina_deryabina@mail.ru" class="auth_mail" title="E-mail the corresponding author} ; Alexei Krasilnikov^b ; ^{alexei@unb.br" class="auth_mail" title="E-mail the corresponding author}
• 关键词：16R10 ; 16R40
• 刊名：Journal of Algebra
• 出版年：2017
• 出版时间：1 January 2017
• 年：2017
• 卷：469
• 期：Complete
• 页码：84-95
• 全文大小：328 K

文摘

Let F   be a field and let F〈X〉$F〈X〉$ be the free unital associative algebra over F   freely generated by an infinite countable set X={x₁,x₂,…}$X=\{x_1,x_2,\dots \}$. Define a left-normed commutator [a₁,a₂,…,a_n]$[a_1,a_2,\dots ,a_n]$ recursively by [a₁,a₂]=a₁a₂−a₂a₁$[a_1,a_2]=a_1{a}_2-a_2{a}_1$, [a₁,…,a_n−1,a_n]=[[a₁,…,a_n−1],a_n]$[a_1,\dots ,a_{n-1},a_n]=[[a_1,\dots ,a_{n-1}],a_n]$ (0f921b3c0832fe2f49c" title="Click to view the MathML source">n≥3$n\ge 3$). For n≥2$n\ge 2$, let T⁽ⁿ⁾$T^{(n)}$ be the two-sided ideal in F〈X〉$F〈X〉$ generated by all commutators [a₁,a₂,…,a_n]$[a_1,a_2,\dots ,a_n]$ (a_i∈F〈X〉$a_i\in F〈X〉$).

20">Let F   be a field of characteristic 0. In 2008 Etingof, Kim and Ma conjectured that 0fc7b17c" title="Click to view the MathML source">T^(m)T⁽ⁿ⁾⊂T^(m+n−1)$T^{(m)}{T}^{(n)}\subset T^{(m+n-1)}$ if and only if m or n is odd. In 2010 Bapat and Jordan confirmed the “if” direction of the conjecture: if at least one of the numbers m, n   is odd then 0fc7b17c" title="Click to view the MathML source">T^(m)T⁽ⁿ⁾⊂T^(m+n−1)$T^{(m)}{T}^{(n)}\subset T^{(m+n-1)}$. The aim of the present note is to confirm the “only if” direction of the conjecture. We prove that if m=2m^′$m=2m^{\prime }$ and n=2n^′$n=2n^{\prime }$ are even then f456" title="Click to view the MathML source">T^(m)T⁽ⁿ⁾⊈T^(m+n−1)$T^{(m)}{T}^{(n)}⊈T^{(m+n-1)}$. Our result is valid over any field F.