‘Decision problems for finitely presented and one-relation semigroups and monoids’
[with V. Maltcev]
International Journal of Algebra and Computation, 19, no. 6 (2009), pp. 747–770.
DOI: 10.1142/s0218196709005366. MR: 2572873. ZBL: 1201.20055.

Abstract

For some distinguished properties of semigroups, such as having idempotents, regularity, hopficity etc, we study the following: whether that property or its negation is a Markov property, whether it is decidable for finitely presented semigroups and for one-relation semigroups and monoids. All the results and open problems are summarized in a table.