ON THE MARKOV THEOREM ON ALGORITHMIC NONRECOGNIZABILITY OF MANIFOLDS

摘要

We prove that the number of summands in the connected union of products of spheres which is algorithmically nonrecognizable, as was shown earlier, can be reduced to 14. Also, we note that the manifold constructed by Markov himself in his original work on topological nonrecognizability coincides with such a union (where the number of summands is equal to the quantity of relations in group representations of the corresponding Adian sequence).