The Markov-Zariski topology of an abelian group (Q615810)

Let \(G\) be a group. The authors investigate the structure of three topologies on \(G\): the Zariski topology \({\mathfrak Z}_G\), the Markov topology \({\mathfrak M}_G\), and the precompact Markov topology \({\mathfrak P}_G\), satisfying \({\mathfrak Z}_G \subseteq{\mathfrak M}_G \subseteq{\mathfrak P}_G\). In 1946, Markov posed the celebrated problem that can be (re)formulated in the form: does \({\mathfrak Z}_G ={\mathfrak M}_G\) hold for any group \(G\)? In 1979, G. Hesse found an example of a group \(G\) such that \({\mathfrak Z}_G \neq{\mathfrak M}_G\). One of the main results of the nice paper under review states that \({\mathfrak Z}_G ={\mathfrak M}_G={\mathfrak P}_G\) holds for every abelian group \(G\). It is also shown that the Zariski topology is always Fréchet-Urysohn and hereditarily separable. If \(G\) is an abelian group of cardinality \(\leq{\mathfrak c}\), then a subset \(X\) of \(G\) is dense in the Zariski topology if and only if \(X\) is potentially dense in \(G\) (i.e. \(G\) admits a Hausdorff group topology \({\mathcal T}\) such that \(X\) is dense in \((G,{\mathcal T})\)). Several interesting open problems are posed.