Kommutativer Ring/Spektrum/Zariski-Topologie/Zahlentheoretischer Fokus/Einführung/Textabschnitt
Zu einem kommutativen Ring nennt man die Menge der Primideale von das Spektrum von , geschrieben
Bei einem Hauptidealbereich besteht das Spektrum aus dem Nullideal und den maximalen Idealen, die von der Form mit einem Primelement sind.
Auf dem Spektrum eines kommutativen Ringes ist die Zariski-Topologie dadurch gegeben, dass zu einer beliebigen Teilmenge die Mengen
als offen erklärt werden.
Für einelementige Teilmengen schreiben wir statt .
Die Zariski-Topologie auf dem Spektrum eines kommutativen Ringes
ist in der Tat eine Topologie.
Beweis
Wir betrachten das Spektrum stets als topologischen Raum. Die Primideale sind die Punkte dieses Raumes. Die Komplemente der offenen Mengen, also die abgeschlossenen Mengen in der Zariski-Topologie, werden mit
bezeichnet. Bei einem Hauptidealbereich ist die Zariski-Topologie besonders einfach, nur das gesamte Spektrum ist abgeschlossen und jede endliche Ansammlung von maximalen Idealen ist abgeschlossen. Dennoch ist auch in diesem Fall die Zariski-Topologie schon hilfreich. Wenn man beispielsweise aus topologischen Gründen weiß, dass eine Teilmenge abgeschlossenen sein muss, so folgt, dass es die gesamte Menge oder aber, dass sie endlich ist.
Für den Polynomring in einer Variablen über einem Körper gibt es das Nullideal und die maximalen Ideale. Zu jedem Element gehört die Linearform und das davon erzeugte maximale Ideal . Deshalb stellt man sich das Spektrum zunächst als eine -Gerade vor, mit dem fetten Punkt zum Nullideal als alles umfassenden Punkt. Bei algebraisch abgeschlossen ist dies das gesamte Spektrum. Bei einem nicht algebraisch abgeschlossenen Körper kommt noch für jedes normierte irreduzible Polynom vom Grad das maximale Primideal hinzu, das man aber im Bild schlecht skizzieren kann und sich „im Hintergrund“ vorstellt.
Die Primideale in sind einerseits die maximalen Ideale , wobei eine Primzahl ist, und andererseits das Nullideal . Die maximalen Ideale bilden die abgeschlossenen Punkte von . Das Nullideal ist darin ein weiterer nicht abgeschlossener Punkt. Die einzige abgeschlossene Menge, in der dieser Punkt enthalten ist, ist die ganze Menge. Die abgeschlossenen Mengen in sind neben der Gesamtmenge die endlichen Teilmengen aus maximalen Idealen.
Man visualisiert als eine (gedachte Gerade), auf der die Primzahlen diskret liegen, während der Nullpunkt ein fetter Punkt ist, der die gesamte Gerade repräsentiert.
Für das Spektrum eines kommutativen Ringes gelten folgende Eigenschaften.
- Es ist , wobei das durch erzeugte Ideal (Radikal) in sei. Man kann sich also bei der Beschreibung der offenen Teilmengen auf die Radikale von beschränken.
- Für eine Familie
, ,
von Idealen in ist
- Für eine endliche Familie
, ,
von Idealen in ist
- Es ist genau dann, wenn das Einheitsideal ist.
- Es ist genau dann, wenn gilt.
- Das Spektrum ist genau dann leer, wenn der Nullring ist.
- Es ist genau dann, wenn nur nilpotente Elemente enthält.
- Die offenen Mengen , , bilden eine Basis der Topologie.
- Eine Familie von offenen Mengen , , ist genau dann eine Überdeckung von , wenn die Ideale zusammen das Einheitsideal erzeugen.