The Word Problem for Solvable Groups and Lie Algebras

Author(s):  
O. Kharlampovich
1993 ◽  
Vol 21 (10) ◽  
pp. 3571-3609
Author(s):  
O. Kharlampovich ◽  
D. Gildenhuys

2017 ◽  
Vol 56 (3) ◽  
pp. 251-255
Author(s):  
V. A. Roman’kov
Keyword(s):  

1997 ◽  
Vol 83 (1) ◽  
pp. 106-112
Author(s):  
V. D. Lyakhovskii
Keyword(s):  

2017 ◽  
Vol 24 (04) ◽  
pp. 563-576 ◽  
Author(s):  
P.S. Kolesnikov

We establish a universal approach to solutions of the word problem in the varieties of di- and tri-algebras. This approach, for example, allows us to apply Gröbner–Shirshov bases method for Lie algebras to solve the ideal membership problem in free Leibniz algebras (Lie di-algebras). As another application, we prove an analogue of the Poincaré–Birkhoff–Witt Theorem for universal enveloping associative tri-algebra of a Lie tri-algebra (CTD!-algebra).


2013 ◽  
Vol 23 (05) ◽  
pp. 1011-1062 ◽  
Author(s):  
FRITZ GRUNEWALD ◽  
BORIS KUNYAVSKII ◽  
EUGENE PLOTKIN

We give a survey of new characterizations of finite solvable groups and the solvable radical of an arbitrary finite group which were obtained over the past decade. We also discuss generalizations of these results to some classes of infinite groups and their analogues for Lie algebras. Some open problems are discussed as well.


1994 ◽  
Vol 04 (03) ◽  
pp. 481-491
Author(s):  
O. KHARLAMPOVICH ◽  
D. GILDENHUYS

The word problem is said to be solvable in a variety of Lie algebras if it is solvable in every algebra, finitely presented in this variety. Let [Formula: see text] denote the variety of (2-step nilpotent)-by-abelian Lie algebra and [Formula: see text] the variety of abelian-by-(2-step nilpotent) Lie algebras. It is proved that the word problem is unsolvable in the “interval” of varieties containing the variety [Formula: see text] (of centre-by-[Formula: see text] Lie algebras over a field of characteristic zero), and contained in the variety [Formula: see text].


Author(s):  
Olaf Manz ◽  
Thomas R. Wolf
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document