Zariski topology

WARNING: POTENTIAL TERMINOLOGICAL CONFUSION: Please don't confuse this with Zariski topology in the context of an algebraic group over a field

Definition

Suppose $G$ is a group (viewed purely as an abstract group). The Zariski topology of $G$ is defined as the topology where the closed subsets are precisely the 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. 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 confinite 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.

Facts

• 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.