Equality problem for center-by-metabelian Lie algebras
type: Item
instance of: scholarly article
title: Equality problem for center-by-metabelian Lie algebras
zbMATH Open document ID: 0594.17007
DOI: 10.1007/BF01979867
published in: Algebra and Logic
publication date: 1984-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/187272
review text: Let \({\mathcal M}\) be a variety of Lie algebras over a field and let \(F_n({\mathcal M})\) be the \(n\)-generated relatively free algebra in \({\mathcal M}\). The \(n\)-generated algebra \(A\in {\mathcal M}\) is finitely presented (f. p.) in \({\mathcal M}\), if \(A\) is defined as a homomorphic image of \(F_n({\mathcal M})\) by a finite collection of relations. This paper deals with the word problem (or the equality problem) for a given variety \({\mathcal M}\): Does there exist an algorithm which determines whether or not two arbitrary polynomials on the generators of an f. p. algebra from \({\mathcal M}\) present the same element ? \textit{A. I. Shirshov} [Sib. Mat. Zh. 3, 292--296 (1962; Zbl 0104.26004)] has proved that this problem has an affirmative solution for \({\mathcal M}={\mathcal A}^2\). On the other hand \textit{G. P. Kukin} [Algebra Logika 17, 402--415 (1978; Zbl 0445.17010)] has answered in the negative the word problem for every variety \({\mathcal M}\) containing \({\mathcal N}_2 {\mathcal A}.\) A center-by-metabelian variety \([{\mathcal A}^ 2,{\mathcal E}]\) is defined by the polynomial identity \([[[x_ 1,x_ 2], [x_ 3,x_ 4]], x_ 5]=0\) and lies between \({\mathcal A}^2\) and \({\mathcal N}_2 {\mathcal A}\). The main result of the paper under review claims that the word problem has a positive solution for \([{\mathcal A}^2,{\mathcal E}]\). The proof is based on some ideas of Shirshov's paper cited above and uses the notion of composition for Lie algebras.
reviewed by: Vesselin Drensky
Mathematics Subject Classification ID: 17B30
Mathematics Subject Classification ID: 17B01
Mathematics Subject Classification ID: 03D40
Mathematics Subject Classification ID: 08A50
zbMATH DE Number: 3955163
zbMATH Keywords: soluble Lie algebras
zbMATH Keywords: variety of Lie algebras
zbMATH Keywords: free algebra
zbMATH Keywords: finitely presented
zbMATH Keywords: word problem
zbMATH Keywords: equality problem
zbMATH Keywords: affirmative solution
zbMATH Keywords: center- by-metabelian variety
zbMATH Keywords: polynomial identity
zbMATH Keywords: composition
Wikidata QID: Q115393020
author: Ualbai Umirbaev
MaRDI profile type: Publication
cites work: Q5545593
cites work: Q3909162
cites work: A solvable group admitting a regular splitting automorphism of prime order is nilpotent
cites work: Q3289053
cites work: Ordering by Divisibility in Abstract Algebras
OpenAlex ID: W1994262435
Recommended article: Q3688524
Recommended article: Polynilpotent Lie algebras given by one defining relation
Recommended article: Q4073518
Recommended article: Commutator width of elements in a free metabelian Lie algebra
Recommended article: Q3834209
Recommended article: The word problem for subvarieties of the variety \({\mathfrak N}_ 2{\mathfrak A}\)
Recommended article: Algorithmic problems for solvable Lie algebras
Recommended article: Q3994686
Recommended article: Relative linear dependence problem for the variety \({\mathfrak AN}_ {\mathbf{c}}\) of Lie algebras
Recommended article: Q3926766
description: scientific article; zbMATH DE number 3955163