We give an elementary and self-contained proof of the theorem which says that for a semiprime ring commutativity, Lie-nilpotency, and nilpotency of the Lie ring of inner derivations are equivalent conditions
In this paper, by using the Composition-Diamond lemma for non-associative algebras invented by A. I. Shirshov in 1962, we give Gröbner-Shirshov bases for free Pre-Lie algebras and the universal enveloping non-associative algebra of an Akivis algebra, respectively. As applications, we show I. P. Shestakov’s result that any Akivis algebra is linear and D. Segal’s result that the set of all good words in forms a linear basis of the free Pre-Lie algebra generated by the set . For completeness,...