Products of commutators in a Lie nilpotent associative algebra

Abstract: Let

F

be a field and let

F l a n g l e X a n g l e

be the free unital associative algebra over

F

freely generated by an infinite countable set

X = x_{1}, x_{2}, d o t s

. Define a left-normed commutator

[a_{1}, a_{2}, d o t s, a_{n}]

recursively by

[a_{1}, a_{2}] = a_{1} a_{2} - a_{2} a_{1}

,

[a_{1}, d o t s, a_{n - 1}, a_{n}] = [[a_{1}, d o t s, a_{n - 1}], a_{n}]

(n g e 3)

. For

n g e 2

, let

T^{(n)}

be the two-sided ideal in

F l a n g l e X a n g l e

generated by all commutators

[a_{1}, a_{2}, d o t s, a_{n}]

(

a_{i} i n F l a n g l e X a n g l e)

. Let

F

be a field of characteristic

0

. In 2008 Etingof, Kim and Ma conjectured that

T^{(m)} T^{(n)} s u b s e t 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^{(n)} s u b s e t 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 = 2 m^{'}

and

n = 2 n^{'}

are even then

T^{(m)} T^{(n)} s u b s e t e q T^{(m + n - 1)} .

Our result is valid over any field

F

.

Recommendations

Cites Work

Cited In (4)

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