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 8b4bb1400b8804c2576c0a65323de" title="Click to view the MathML source">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]$ (9ee74d64ee0f921b3c0832fe2f49c" title="Click to view the MathML source">n≥3$n\ge 3$). For 8e0e1c6b5bd1b4715c9b15070baf0" title="Click to view the MathML source">n≥2$n\ge 2$, let 8b09368b699d4c4a7f09fbd1f874a" title="Click to view the MathML source">T⁽ⁿ⁾$T^{(n)}$ be the two-sided ideal in 8b4bb1400b8804c2576c0a65323de" title="Click to view the MathML source">F〈X〉$F〈X〉$ generated by all commutators [a₁,a₂,…,a_n]$[a_1,a_2,\dots ,a_n]$ (9eb9be" title="Click to view the MathML source">a_i∈F〈X〉$a_i\in F〈X〉$).

Let F   be a field of characteristic 0. In 2008 Etingof, Kim and Ma conjectured that 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 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 e9de28bb7935aae41b032c154e" title="Click to view the MathML source">m=2m^′$m=2m^{\prime }$ and e7d10791413a383d493235d" title="Click to view the MathML source">n=2n^′$n=2n^{\prime }$ are even then e713fdd9f3f456" 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.