07.10.2013 Aufrufe

Lineare algebraische Gruppen - GWDG

Lineare algebraische Gruppen - GWDG

Lineare algebraische Gruppen - GWDG

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

1.11 Lösbarkeit von Systemen polynomialer Gleichungen 23<br />

1.11 Lösbarkeit von Systemen polynomialer Gleichungen<br />

Definition<br />

Sei K ein Körper, und sei K ein <strong>algebraische</strong>r Abschluss von K (gemäß<br />

Algebra 20.2). Für eine nichtleere Teilmenge I ⊂ K[X1, . . . , Xn] setzen wir<br />

V(I) := {x ∈ K n | f(x) = 0 ∀ f ∈ I}<br />

und nennen V(I) eine <strong>algebraische</strong> Menge in K n oder die Nullstellenmenge<br />

von I in K .<br />

Satz<br />

Ist I = (1) ein Ideal in K[X1, . . . , Xn] , so ist V(I) = ∅ .<br />

Beweis. Es ist I in einem maximalen Ideal m von K[X1, . . . , Xn] enthalten<br />

(vgl. Algebra 7.6), und L := K[X1, . . . , Xn]/m ist dann ein Körper, der<br />

als Ringerweiterung von K endlich erzeugt ist. Nach Lemma 1.10 ist L<br />

also algebraisch über K und kann daher in K eingebettet werden (vgl.<br />

Algebra 20.5). Setze xi = Xi + m in L und x = (x1, . . . , xn) . Dann ist<br />

x ∈ V(m) ⊂ V(I) .<br />

Korollar<br />

Das System f1 = 0 , . . . , fm = 0 mit f1, . . . , fm ∈ K[X1, . . . , Xn] hat genau<br />

dann keine Lösung in K n , wenn es Polynome p1, . . . , pm ∈ K[X1, . . . , Xn]<br />

gibt so, dass 1 = p1f1 + · · · + pmfm gilt.<br />

Beweis. Sei R = K[X1, . . . , Xn] , und sei I das von f1, . . . , fm erzeugte<br />

Ideal in R , also I = {q1f1 + · · · + qmfm | q1, . . . , qm ∈ R} . Dann gilt<br />

V(I) = {x ∈ K n | f1(x) = 0, . . . , fm(x) = 0} , wie leicht zu sehen ist.<br />

Gilt V(I) = ∅ , so ist 1 ∈ I nach dem Satz. Ist umgekehrt 1 ∈ I , so ist<br />

I = K[X1, . . . , Xn] und ersichtlich V(I) = ∅ .<br />

1.12 Radikalideale<br />

Sei I ein Ideal in einem kommutativen Ring R , und sei<br />

Rad(I) := √ I := {r ∈ R | r m ∈ I für ein m ∈ N} .<br />

das Radikal von I. Ersichtlich gilt I ⊂ Rad(I) , und Rad(I) ist ein Ideal<br />

in R nach Aufgabe 2 c.<br />

Definition<br />

• Ein Ideal I heißt Radikalideal, falls I = Rad(I) gilt.<br />

• Ein Element r ∈ R heißt nilpotent, falls r m = 0.<br />

<strong>Lineare</strong> Algebraische <strong>Gruppen</strong>, Universität Göttingen 2007

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!