Definition:Zariski Topology

Geometric Definition
Let $k$ be a field.

The Zariski topology is the topology on the direct product $k^n$ whose closed sets are the affine algebraic sets in $k^n$.

Algebraic Definition
Let $A$ be a commutative ring with unity.

Let $\operatorname{Spec}(A)$ be the prime spectrum of $A$.

The Zariski topology says that a set $V \subseteq \operatorname{Spec}(A)$ is closed if for some $S \subseteq A$:


 * $V = \{ \mathfrak p \in \operatorname{Spec}(A) : \mathfrak p \supseteq S \}$

We usually write $V = V(S)$, and specify $S$ to determine the set $V$.