Zariski topology

From Groupprops
Jump to: navigation, search
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 or verbal 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. 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

References

Journal references