Decision problems for finitely presented and one-relation semigroups and monoids
Cain, Alan J.; Maltcev, Victor


Twenty-four properties of semigroups are studied. For each property, this paper considers whether it or its negation is a Markov property, whether it is decidable for finitely presented semigroups and for one-relation semigroups and monoids. New undecidability results for finitely presented semigroups emerge. New decidability results for one-relation semigroups and monoids are proven.

FCT - Fundação para a Ciência e a Tecnologia