Zariski topology

Definition
Suppose $$G$$ is a group (viewed purely as an abstract group). The Zariski topology or verbal topology of $$G$$ is defined as the topology where the closed subsets are precisely the defining ingredient::algebraic subsets of $$G$$ (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 $$G$$ (since they are unconditionally closed subsets of $$G$$), it is not necessary that $$G$$ 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
Note that the term Zariski topology, when used in the context of algebraic groups over fields, refers to the Zariski topology of the underlying algebraic variety.

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.

Journal references

 * defines it using the term "verbal topology."