Vervollständigung (Kommutative Algebra)

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Die Vervollständigung oder Komplettierung eines Ringes oder eines Moduls ist eine Technik in der kommutativen Algebra, bei der ein Ring oder ein Modul vervollständigt wird bezüglich einer bestimmten Metrik, die meist durch ein Ideal induziert wird. Der Begriff ist geometrisch verwandt mit der Lokalisierung eines Ringes: Beide Ringerweiterungen untersuchen die Nachbarschaft eines Punktes im Spektrum eines Ringes, wobei aber die Vervollständigung noch stärker das lokale Aussehen widerspiegelt.

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

Vervollständigung eines Ringes bezüglich eines Ideals[Bearbeiten]

Sei A ein Ring und I ein Ideal.

Im Ring

A^ {\Bbb N} = \prod_{n\in \mathbb N}A

wird eine Folge

(a_i)_{(i \in \Bbb N)} = (a_0, a_1, \dots )

Nullfolge genannt, wenn es ein für alle n \in \N ein k \in \N gibt, sodass gilt:

\forall i>k: a_i \in I^n

\mathrm{NF} sei das Ideal aller Nullfolgen.

Eine Folge

(a_i)_{(i \in \Bbb N)}

wird Cauchy-Folge genannt, wenn es für alle n \in \N ein k \in \N gibt, sodass gilt:

\forall i,j>k: (a_i-a_j) \in I^n

\mathrm{CF} sei der Unterring aller Cauchy-Folgen

Der Ring

\hat A_I := \mathrm{CF} / \mathrm{NF}

wird als die Vervollständigung von A bezüglich I bezeichnet.

Für a \in A ist

(a,a,a \dots)

eine Nullfolge.

Die Abbildung

f \colon A \to \hat A
f \colon a \mapsto (a, a, \dots )

ist genau dann injektiv, falls:

\bigcap_{i=0}^\infty I^i = \{0\}

Der Ring heißt vollständig (komplett) (bezüglich I), wenn f ein Isomorphismus ist.

Beispiele[Bearbeiten]

Formale Potenzreihen[Bearbeiten]

Ist A der Polynomring K[X_1, \dots, X_n] über einem Körper und I das Ideal (X_1, \dots, X_n), so entsprechen Cauchyfolgen von Polynomen unendlichen Polynomen

\sum_{i=0}^\infty \alpha_i x^i

Die Vervollständigung von K[X_1, \dots, X_n] ist isomorph zu dem Ring der formalen Potenzreihen K[[X_1, \dots, X_n]]

P-adische Zahlen[Bearbeiten]

Die p-adischen Zahlen \Bbb Q_p werden als Vervollständigung von \Bbb Q bezüglich der p-adischen Metrik d_p beschrieben: Sind q und r rationale Zahlen mit

q-r=\pm \ p^i  \cdot \dfrac{s}{t}

mit s,t \in \N und i \in \Bbb Z und p teilt nicht s,t, so ist

d_p(q-r)=p^{-i}

Eine Folge von ganzen Zahlen ist genau dann eine Cauchy-Folge bezüglich der p-adischen Metrik, wenn sie eine Cauchy-Folge bezüglich des Ideals (p) ist. Man erhält daher eine Einbettung:

f \colon \widehat \Bbb Z_{p} \hookrightarrow \Bbb Q_{p}.

Hierbei bezeichnet die linke Seite die Vervollständigung von  \mathbb{Z} bezüglich  (p) . Diese Einbettung liefert sogar einen Isomorphismus  \widehat{\mathbb{Z}_{p}} \cong \mathbb{Z}_{p} zum Ring der ganzen p-adischen Zahlen. Aufgrund des henselschen Lemmas existieren in \widehat \Bbb Z_{p} viele nichtrationale algebraische Zahlen, z. B. die (p-1)-ten Einheitswurzeln.

Geometrisches Beispiel[Bearbeiten]

Der Newtonsche Knoten in der reellen affinen Ebene

Sei X die ebene algebraische Kurve im zweidimensionalen affinen Raum, die durch die Gleichung

y^2=x^2(x+1)

definiert wird. Im Nullpunkt schneidet sich die Kurve. Sie wird der Newtonsche Knoten genannt und sieht um den Nullpunkt (anschaulich) lokal so aus wie die Kurve Y, die durch die Gleichung:

0=xy definiert wird.

Dieser geometrische Sachverhalt entspricht der Isomorphie:

\hat A \cong \hat B

mit

A:= K[[x,y]]/(y^2-x^2-x^3)_{(\bar x,\bar y)}

und

B:= K[[x,y]]/(xy)_{(\bar x,\bar y)}

Die lokalen Ringe der Punkte sind nicht isomorph, wohl aber ihre Vervollständigungen bezüglich ihrer maximalen Ideale.

Der Ring auf der linken Seite der „Isomorphie-Gleichung“ ist außerdem ein Beispiel dafür, dass die Vervollständigung eines Integritätsbereiches kein Integritätsbereich sein muss.

Analytisch betrachtet ist der Newtonsche Knoten als Teilmenge der komplexen Ebene als Ganzes zwar irreduzibel, zerfällt aber lokal um die Null in zwei Zweige. Denn für x<1 ist die Wurzel von (x+1) holomorph, man kann also schreiben:

y^2-x^2(x+1) = (y+x\sqrt{x+1})(y-x\sqrt{x+1})=f_1 \cdot f_2

mit zwei holomorphen Funktionen f_1 und f_2.

Algebraisch-geometrische Interpretation[Bearbeiten]

Die Bedeutung der Vervollständigung für die algebraische Geometrie ist, dass man im vervollständigten Ring das lokale Aussehen der Varietät studieren kann. Haben zwei Punkte P \in X und Q \in Y zweier irreduzibler Varietäten isomorphe lokale Ringe, so sind die Varietäten X und Y bereits birational äquivalent. Der lokale Ring trägt schon fast alle Informationen über die Varietät in sich, während die Komplettierung des lokalen Rings der Intuition über lokales Verhalten näher kommt.

Es gilt folgende Satz:

Sei A ein noetherscher lokaler Ring mit maximalem Ideal m und \hat A seine Vervollständigung. Dann gilt:

  • \mathrm{dim}(A) = \mathrm{dim}(\hat A)
  • A ist genau dann regulär wenn \hat A es ist.

Cohens Struktursatz macht eine Aussage über die Vervollständigung lokaler Ringe von Varietäten:

Ist A ein regulärer lokaler Ring, der vollständig bezüglich seines maximalen Ideals ist und einen Körper enthält, dann gilt:

A \cong k[[X_1, \dots,X_n]]

wobei k der Restklassenkörper von A ist.

Reguläre Punkte auf algebraischen Varietäten gleicher Dimension haben also isomorphe Komplettierungen, ähnlich wie Punkte auf Mannigfaltigkeiten gleicher Dimensionen homöomorphe Umgebungen haben.

Funktorielle Eigenschaften[Bearbeiten]

Sind A und B Ringe und I \subset A sowie J \subset B Ideale und

f \colon A \to B

ein Ringhomomorphismus mit:

f(I) \subset J

(Ein solcher Ringhomomorphismus wird stetig genannt) dann existiert ein Homomorphismus

\hat f \colon \hat A \to \hat B

\wedge“ ist dadurch ein Funktor mit stetigen Abbildungen als Morphismen

Konstruktionsalternativen und Verallgemeinerungen[Bearbeiten]

Verallgemeinerungen auf Moduln durch Filtrierungen[Bearbeiten]

Eine Filtrierung eines Moduls M ist eine Folge

(M_i)_{i \in \Bbb N}

sodass

M=M_0 \supset M_1 \supset ... \supset M_i \supset

Die M_i spielen nun in der Definition von Nullfolge und Cauchyfolge die Rolle der I^n. Die Definitionen lassen sich wörtlich übertragen. Es ist

\hat M =CF/NF

und M heißt komplett (bezüglich der Filtrierung), wenn die Abbildung

f \colon M \to \hat M

ein Isomorphismus ist.

Ringe als (pseudo-) metrische Räume[Bearbeiten]

Die Vervollständigung eines Ringes bezügliche eines Ideals kann als Spezialfall der Vervollständigung eines metrischen Raumes verstanden werden, wenn auf dem Ring eine geeignete Metrik definiert wird.

Ist A ein Ring und I ein Ideal, so kann diesem Ring durch das Ideal ein Abstand definiert werden durch:

\mathrm{d}(x,y) = \mathrm{inf} \{2^{-i}|x-y \in I^i\} \ (\text{ mit } I^0 := A)

Dies ist eine Pseudometrik, denn es gilt:

\mathrm{d}(x,y) \ge 0
\mathrm{d}(x,x) = 0
\mathrm{d}(x,y) = \mathrm{d}(y,x)
\mathrm{d}(x,y) \le \mathrm{d}(x,z) + \mathrm{d}(z,y)

Falls gilt:

\bigcap_{i=0}^\infty I^i = \empty,

so ist die Abstandsfunktion ist eine Metrik, d. h., es gilt zusätzlich:

\mathrm{d}(x,y) = 0 \Rightarrow x=y

Bezüglich dieser (Pseudo-) Metrik stimmen die oben genannten Begriffe Cauchy-Folge, Nullfolge und Komplettierung mit denen der metrischen Räume überein.

Vervollständigung als inverser Limes[Bearbeiten]

Ein inverses System von Ringen (bzw. Moduln) ist (hier) eine Folge von Ringen (bzw. Moduln) und Homomorphismen

(A_i,f_i)_{(i \in \Bbb N)}

sodass

f_n \colon A_n \to A_{n-1}

Also:

\dots \xrightarrow{\ f_3 \ } A_2 \xrightarrow{\ f_2 \ } A_1 \xrightarrow{\ f_1 \ } A_0

Der inverse Limes dieses inversen Systems ist:

\lim_{\longleftarrow}(A_n,f_n)_{n \in \Bbb N}:=\biggl\{(x_n)_{n \in \Bbb N} \in  \prod_{n \in \Bbb N} M_n \biggl| x_n \in M_n, f_n(x_n)=x_{n-1}\biggl\}

Ist nun I \subset A ein Ideal und

A_i = A/I^i
A_0 = 0
f_{i+1} \colon A_{i+1} \to A_i
f_{i+1} \colon \bar x \mapsto \bar x (Wobei unterschiedliche, d. h. die entsprechenden Restklassen gemeint sind.)

dann gilt folgende Isomorphie:

\hat A_I \cong \lim_{\longleftarrow}(A_n,f_n)_{n \in \Bbb N}

Literatur[Bearbeiten]