Let \(\operatorname{Spec}(R)\) be the sectrum of a commutative ring \(R\). We can make \(R\) a topological space, if we assert that for any subset \(T\subseteq R\) the set. \[D(T):=\left\{I\in \operatorname {Spec} \left(R\right){|}\,T\not \subseteq I\right\}\] is open. This topology is called the Zariski topology on \(R\) and is named after the mathematician Oscar Zariski.
Propositions: 1