The word problem in varieties of semigroups, rings, and Lie algebras (Q1107640)

We construct two examples of finitely presented semigroups with an undecidable word problem satisfying nontrivial identities (the semigroups \(S_ 1\) and \(S_ 2\) in Sec. 1), prove that the variety generated by \(S_ 2\) is a minimal variety with an undecidable word problem and give a basis of identities of this variety (Sec. 3), prove that each finitely based variety of semigroups with a commuting identity has a decidable word problem (Sec. 2), construct new examples of finitely presented associative and Lie algebras with an undecidable word problem satisfying nontrivial identities. The associative algebra mentioned above, like the algebra of \textit{G. P. Kukin} [Sib. Mat. Zh. 24, No.2, 85-96 (1983; Zbl 0519.17009)], is an extension of a nilpotent algebra by means of a commutative algebra and, therefore, lies (in the case of a field of characteristic 0) in the variety generated by the algebra of upper triangular matrices of finite order; it also satisfies some standard identity which provides another solution of Problem 2.26 in the Dnestr. Notebook (1982; Zbl 0493.16001). In addition it is proved here that the join of two varieties with a decidable word problem may have an undecidable word problem.