On the equality of triple derivations and derivations of lie algebras

Let L be a Lie algebra over a commutative ring with identity. In the present paper under some mild conditions on L, it is proved that every triple derivation of L is a derivation. In particular, we show that in perfect Lie algebras and free Lie algebras every triple derivation is a derivation. Finally we apply our results to show that every triple derivation of the Lie algebra of block upper triangular matrices is a derivation.

UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS

Let R be a commutative integral unital domain and L a free noncommutative Lie algebra over R. In this article we show that the ring R and its action on L are 0-interpretable in L, viewed as a ring with the standard ring language $+ , \cdot ,0$. Furthermore, if R has characteristic zero then we prove that the elementary theory $Th\left( L \right)$ of L in the standard ring language is undecidable. To do so we show that the arithmetic ${\Bbb N} = \langle {\Bbb N}, + , \cdot ,0\rangle $ is 0-interpretable in L. This implies that the theory of $Th\left( L \right)$ has the independence property. These results answer some old questions on model theory of free Lie algebras.

Automorphisms of the completion of relatively free Lie algebras

Let [Formula: see text] be a relatively free Lie algebra of finite rank [Formula: see text], with [Formula: see text], [Formula: see text] be the completion of [Formula: see text] with respect to the topology defined by the lower central series [Formula: see text] of [Formula: see text] and [Formula: see text], with [Formula: see text]. We prove that, with respect to the formal power series topology, the automorphism group [Formula: see text] of [Formula: see text] is dense in the automorphism group [Formula: see text] of [Formula: see text] if and only if [Formula: see text] is nilpotent. Furthermore, we show that there exists a dense subgroup of [Formula: see text] generated by [Formula: see text] and a finite set of IA-automorphisms if and only if [Formula: see text] is generated by [Formula: see text] and a finite set of IA-automorphisms independent upon [Formula: see text] for all [Formula: see text]. We apply our study to several varieties of Lie algebras.