Lineare algebraische Gruppen - GWDG
Lineare algebraische Gruppen - GWDG
Lineare algebraische Gruppen - GWDG
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