Abstract
We study a problem considered originally by A. Markov in 1947: Given two finitely generated matrix semigroups, determine whether or not they contain a common element. This problem was proved undecidable by Markov for 4 x 4 matrices, even in a very restrict form, and for 3 x 3 matrices by Krom in 1981. Here we give a new proof in the 3 x 3 case which gives undecidability in an almost as restricted form as the result of Markov.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
About this article
Cite this article
Halava, V., Harju, T. On Markov's Undecidability Theorem for Integer Matrices. Semigroup Forum 75, 173–180 (2007). https://doi.org/10.1007/s00233-007-0714-x
Issue Date:
DOI: https://doi.org/10.1007/s00233-007-0714-x