Kommutativer Ring/Spektrum/Zariski-Topologie/Definition

Offene Menge (Spektrum)

Auf dem Spektrum eines kommutativen Ringes ${}R$ ist die Zariski-Topologie dadurch gegeben, dass zu einer beliebigen Teilmenge ${}T\subseteq R$ die Mengen

${}D(T):={\left\{{\mathfrak {p}}\in \operatorname {Spec} {\left(R\right)}\mid T\not \subseteq {\mathfrak {p}}\right\}}\,$

als offen erklärt werden.