WARNING: POTENTIAL TERMINOLOGICAL CONFUSION: Please don't confuse this with Zariski topology in the context of an algebraic group over a field
Suppose is a group (viewed purely as an abstract group). The Zariski topology or verbal topology of is defined as the topology where the closed subsets are precisely the algebraic subsets of (here, the term algebraic is being used in a purely group-theoretic sense, not in relation to algebraic structure over a field).
Note that although all subsets in the Zariski topology are closed subsets for any T0 topological group structure of (since they are unconditionally closed subsets of ), it is not necessary that under the Zariski topology would itself be a topological group. In fact, it is often not a topological group. However, it is a quasitopological group (see Zariski topology defines a quasitopological group).
For instance, the Zariski topology on the group of integers is the cofinite topology, which makes it a quasitopological group (see infinite group with cofinite topology is a quasitopological group) but not a topological group (see infinite group with cofinite topology is not a topological group).
Confusion with algebraic group definition
Relation with other topologies
- In general, the Markov topology, where the closed subsets are precisely all the unconditionally closed subsets, is a finer topology.
- For an abelian group, this coincides with the Markov topology (the topology where the closed subsets are precisely the unconditionally closed subsets), and is called the Markov-Zariski topology of abelian group.