Free lie algebras

2003 ◽  
pp. 887-903 ◽  
Author(s):  
Christophe Reutenauer
Keyword(s):  
Lie Algebras ◽  
Free Lie Algebras

WHITEHEAD EXACT SEQUENCE AND DIFFERENTIAL GRADED FREE LIE ALGEBRA

2004 ◽  
Vol 15 (10) ◽  
pp. 987-1005 ◽  
Author(s):  
MAHMOUD BENKHALIFA
Keyword(s):  
Exact Sequence ◽  
Lie Algebra ◽  
Lie Algebras ◽  
Integral Domain ◽  
Free Lie Algebra ◽  
Universal Algebras ◽  
Free Lie Algebras ◽  
Equivalent Class

Let R be a principal and integral domain. We say that two differential graded free Lie algebras over R (free dgl for short) are weakly equivalent if and only if the homologies of their corresponding enveloping universal algebras are isomophic. This paper is devoted to the problem of how we can characterize the weakly equivalent class of a free dgl. Our tool to address this question is the Whitehead exact sequence. We show, under a certain condition, that two R-free dgls are weakly equivalent if and only if their Whitehead sequences are isomorphic.

scholarly journals Invariant Bases for Free Lie Algebras

1998 ◽  
Vol 204 (1) ◽  
pp. 337-346 ◽  
Author(s):  
Sean Guilfoyle ◽  
Ralph Stöhr
Keyword(s):  
Lie Algebras ◽  
Free Lie Algebras

scholarly journals UNDECIDABILITY OF THE FIRST ORDER THEORIES OF FREE NONCOMMUTATIVE LIE ALGEBRAS

2018 ◽  
Vol 83 (3) ◽  
pp. 1204-1216 ◽  
Author(s):  
OLGA KHARLAMPOVICH ◽  
ALEXEI MYASNIKOV
Keyword(s):  
Lie Algebra ◽  
Lie Algebras ◽  
Model Theory ◽  
Characteristic Zero ◽  
Elementary Theory ◽  
Independence Property ◽  
First Order ◽  
Free Lie Algebras ◽  
Image Position ◽  
Do So

AbstractLet 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.

Sign in / Sign up

Export Citation Format

Share Document