Mathematics – Group Theory
Scientific paper
2010-05-07
Journal of Algebra, 324 (2010), 1125-1158
Mathematics
Group Theory
Scientific paper
10.1016/j.jalgebra.2010.04.025
According to Markov, a subset of an abelian group G of the form {x in G: nx=a}, for some integer n and some element a of G, is an elementary algebraic set; finite unions of elementary algebraic sets are called algebraic sets. We prove that a subset of an abelian group G is algebraic if and only if it is closed in every precompact (=totally bounded) Hausdorff group topology on G. The family of all algebraic subsets of an abelian group G forms the family of closed subsets of a unique Noetherian T_1 topology on G called the Zariski, or verbal, topology of G. We investigate the properties of this topology. In particular, we show that the Zariski topology is always hereditarily separable and Frechet-Urysohn. For a countable family F of subsets of an abelian group G of cardinality at most the continuum, we construct a precompact metric group topology T on G such that the T-closure of each member of F coincides with its Zariski closure. As an application, we provide a characterization of the subsets of G that are dense in some Hausdorff group topology on G, and we show that such a topology, if it exists, can always be chosen so that it is precompact and metric. This provides a partial answer to a long-standing problem of Markov.
Dikranjan Dikran
Shakhmatov Dmitri
No associations
LandOfFree
The Markov-Zariski topology of an abelian group does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The Markov-Zariski topology of an abelian group, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Markov-Zariski topology of an abelian group will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-222196