Markov's problem for free groups
Abstract
We prove that every unconditionally closed subset of a free group is algebraic, thereby answering affirmatively a 76 years old problem of Markov for free groups. In modern terminology, this means that Markov and Zariski topologies coincide in free groups. It follows that the class of groups for which Markov and Zariski topologies coincide is not closed under taking quotients. We also show that Markov and Zariski topologies differ from the so-called precompact Markov topology in non-commutative free groups.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2021
- DOI:
- 10.48550/arXiv.2111.15277
- arXiv:
- arXiv:2111.15277
- Bibcode:
- 2021arXiv211115277S
- Keywords:
-
- Mathematics - Group Theory;
- Mathematics - Algebraic Geometry;
- Mathematics - Combinatorics;
- Mathematics - General Topology;
- Mathematics - Logic;
- Primary: 20E05;
- Secondary: 03C55;
- 03E05;
- 03E75;
- 14L99;
- 20E06;
- 22A05;
- 54E50;
- 54H11
- E-Print:
- The paper was re-organized into 7 sections (from original 11). A historical discussion in the Introduction has been enhanced. The statement of old Lemma 3.1 (new Lemma 3.3) was strengthened and its proof was simplified. Some questions from old Section 11 (new Section 7) were modified in order to incorporate known results in (new) Remark 7.3. Old question 11.7 has been solved in (new) Remark 4.4