Das Kefk Network Wiki befindet sich im Testbetrieb.

Spektrum eines Ringes

Aus Kefk.

Das Spektrum eines Ringes ist ein Begriff aus der Algebra. Er bezeichnet das dem Ring entsprechende geometrische Objekt.

Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Für weitere Details siehe Kommutative Algebra.

Definition

Für einen Ring R ist das Spektrum Spec R ein topologischer Raum mit einer Garbe von Ringen:

Die dem Raum zugrundeliegende Menge ist die Menge der Primideale von R.
Die Topologie ist die Zariski-Topologie, bei der eine Basis der offenen Mengen durch die Mengen

D(f) = {P ∈ Spec R | f ∉ P}

für Elemente f von R gegeben ist.

Die Schnitte der Strukturgarbe O_{Spec R} über D(f) sind gleich der Lokalisierung R_f. Insbesondere ist

Γ(Spec R, O_{Spec R}) = R.

Lokal geringte Räume, die isomorph zum Spektrum eines Ringes sind, werden affine Schemata genannt.

Beispiele

Das Spektrum eines Körpers besteht aus einem einzelnen Punkt; die Schnitte der Strukturgarbe über diesem Punkt sind gleich dem Körper selbst.
Spec Z besteht aus der 0 und den (positiven) Primzahlen; offene Mengen sind Komplemente einer endlichen Menge von Primzahlen S; die Schnitte der Strukturgarbe über einer solchen offenen Menge sind die rationalen Zahlen, deren Nenner nur Primfaktoren aus S enthalten.
Der $n$ -dimensionale affine Raum über einem Ring $R$ ist das affine Schema Spec $R[x_1,\ldots,x_n]$ . Ist $R = k$ ein algebraisch abgeschlossener Körper, dann entsprechen die abgeschlossenen Punkte (äquivalent: die maximalen Ideale) bijektiv den Punkten im Raum $k n$ (Siehe: Hilbertscher Nullstellensatz).

Eigenschaften

Das Spektrum eines Ringes ist ein lokal geringter Raum: der Halm der Strukturgarbe O_Spec R in einem Punkt P ist der lokale Ring R_P.
Das Spektrum eines Ringes ist stets quasi-kompakt.
Die Bildung des Spektrums ist funktoriell: Für einen Ringhomomorphismus $\varphi:A\rightarrow B$ definiert man Spec( $\varphi$ ) (auf den topologischen Räumen) durch $\mathfrak p \mapsto \varphi^{-1}(\mathfrak p)$ und auf den Strukturgarben vermöge $\varphi$ .
Der Funktor Spec ist eine Kategorienäquivalenz zwischen der Kategorie der Ringe (kommutativ mit Eins) und der Kategorie der affinen Schemata, insbesondere ist jeder Morphismus von affinen Schemata von der Form Spec( $\varphi$ ) für einen Ringhomomorphismus $\varphi$ .