Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya
General information
Latest issue
Forthcoming papers
Impact factor
Guidelines for authors
License agreement
Submit a manuscript

Search papers
Search references

Latest issue
Current issues
Archive issues
What is RSS

Izv. RAN. Ser. Mat.:

Personal entry:
Save password
Forgotten password?

Izv. RAN. Ser. Mat., 2004, Volume 68, Issue 1, Pages 207–224 (Mi izv471)  

This article is cited in 12 scientific papers (total in 12 papers)

Markov's theorem and algorithmically non-recognizable combinatorial manifolds

M. A. Shtan'ko

Abstract: We prove the theorem of Markov on the existence of an algorithmically non-recognizable combinatorial $n$-dimensional manifold for every $n\geqslant 4$. We construct for the first time a concrete manifold which is algorithmically non-recognizable. A strengthened form of Markov's theorem is proved using the combinatorial methods of regular neighbourhoods and handle theory. The proofs coincide for all $n\geqslant 4$. We use Borisov's group [8] with insoluble word problem. It has two generators and twelve relations. The use of this group forms the base for proving the strengthened form of Markov's theorem. (The author is indebted to S. I. Adian for this idea.)

DOI: https://doi.org/10.4213/im471

Full text: PDF file (1979 kB)
References: PDF file   HTML file

English version:
Izvestiya: Mathematics, 2004, 68:1, 205–221

Bibliographic databases:

UDC: 510.5+515.164
MSC: 20F10, 57Q40, 57N15
Received: 30.01.2003

Citation: M. A. Shtan'ko, “Markov's theorem and algorithmically non-recognizable combinatorial manifolds”, Izv. RAN. Ser. Mat., 68:1 (2004), 207–224; Izv. Math., 68:1 (2004), 205–221

Citation in format AMSBIB
\by M.~A.~Shtan'ko
\paper Markov's theorem and algorithmically non-recognizable combinatorial manifolds
\jour Izv. RAN. Ser. Mat.
\yr 2004
\vol 68
\issue 1
\pages 207--224
\jour Izv. Math.
\yr 2004
\vol 68
\issue 1
\pages 205--221

Linking options:
  • http://mi.mathnet.ru/eng/izv471
  • https://doi.org/10.4213/im471
  • http://mi.mathnet.ru/eng/izv/v68/i1/p207

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru

    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    This publication is cited in the following articles:
    1. Mundici D., “Complete and Computable Orbit Invariants in the Geometry of the Affine Group Over the Integers”, Ann. Mat. Pura Appl.  crossref  isi
    2. M. A. Shtan'ko, “To the Markov theorem on algorithmic nonrecognizability of manifolds”, J. Math. Sci., 146:1 (2007), 5622–5623  mathnet  crossref  mathscinet  zmath  elib
    3. L. M. Cabrer, D. Mundici, “A Stone-Weierstrass theorem for MV-algebras and unital  -groups”, Journal of Logic and Computation, 2014  crossref  mathscinet  scopus
    4. Coward A., Lackenby M., “An Upper Bound on Reidemeister Moves”, Am. J. Math., 136:4 (2014), 1023–1066  crossref  mathscinet  zmath  isi  scopus
    5. Mundici D., “Invariant Measure Under the Affine Group Over Z”, Comb. Probab. Comput., 23:2 (2014), 248–268  crossref  mathscinet  zmath  isi  scopus
    6. Aschenbrenner M. Friedl S. Wilton H., 3-Manifold Groups, Ems Series of Lectures in Mathematics, Eur. Math. Soc., 2015  crossref  mathscinet  zmath  isi
    7. Mundici D., “A Geometric Approach to MV-Algebras”, On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory, Studies in Fuzziness and Soft Computing, 336, eds. SamingerPlatz S., Mesiar R., Springer-Verlag Berlin, 2016, 57–70  crossref  mathscinet  isi  scopus
    8. Cabrer L.M., Mundici D., “Idempotent endomorphisms of free MV-algebras and unital -groups”, J. Pure Appl. Algebr., 221:4 (2017), 908–934  crossref  mathscinet  zmath  isi  scopus
    9. Lishak B., Nabutovsky A., “Balanced presentations of the trivial group and four-dimensional geometry”, J. Topol. Anal., 9:1 (2017), 15–25  crossref  mathscinet  zmath  isi  scopus
    10. Mundici D., “Fans, Decision Problems and Generators of Free Abelian l-Groups”, Forum Math., 29:6 (2017), 1429–1439  crossref  mathscinet  zmath  isi  scopus
    11. Mundici D., “Recognizing Free Generating Sets of l-Groups”, Algebr. Universalis, 79:2 (2018), UNSP 24  crossref  mathscinet  isi  scopus
    12. V. S. Atabekyan, L. D. Beklemishev, V. S. Guba, I. G. Lysenok, A. A. Razborov, A. L. Semenov, “Questions in algebra and mathematical logic. Scientific heritage of S. I. Adian”, Russian Math. Surveys, 76:1 (2021), 1–27  mathnet  crossref  crossref  mathscinet  isi
  • Известия Российской академии наук. Серия математическая Izvestiya: Mathematics
    Number of views:
    This page:968
    Full text:298
    First page:2

    Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021