Zum Inhalt springen

Kurs:Kommutative Algebra/Teil I/Vorlesung 5

Aus Wikiversity



Die Untergruppen von sind genau

die Teilmengen der Form

mit einer eindeutig bestimmten nichtnegativen Zahl .

Eine Teilmenge der Form ist aufgrund der Distributivgesetze eine Untergruppe. Es sei umgekehrt eine Untergruppe. Bei kann man nehmen, sodass wir voraussetzen dürfen, dass neben noch mindestens ein weiteres Element enthält. Wenn negativ ist, so muss die Untergruppe auch das Negative davon, also enthalten, welches positiv ist. D.h. enthält auch positive Zahlen. Es sei nun die kleinste positive Zahl aus . Wir behaupten . Dabei ist die Inklusion klar, da mit alle (positiven und negativen) Vielfachen von dazugehören müssen. Für die umgekehrte Inklusion sei beliebig. Nach der Division mit Rest gilt

Wegen und ist auch . Nach der Wahl von muss wegen gelten: Dies bedeutet und damit , also .



Der Ring der ganzen Zahlen

ist ein Hauptidealbereich.

Zunächst ist ein Integritätsbereich. Es sei ein Ideal. Damit ist insbesondere eine (additive) Untergruppe von und hat nach Satz 5.1 die Gestalt . Damit handelt es sich um ein Hauptideal.



Es sei ein Körper und sei der Polynomring über . Es seien Polynome mit .

Dann gibt es eindeutig bestimmte Polynome mit

Wir beweisen die Existenzaussage durch Induktion über den Grad von . Wenn der Grad von größer als der Grad von ist, so ist und eine Lösung, sodass wir dies nicht weiter betrachten müssen. Bei ist nach der Vorbemerkung auch , also ist ein konstantes Polynom, und damit ist (da und ein Körper ist) und eine Lösung. Es sei nun und die Aussage für kleineren Grad schon bewiesen. Wir schreiben und mit . Dann gilt mit die Beziehung

Dieses Polynom hat einen Grad kleiner als und darauf können wir die Induktionsvoraussetzung anwenden, d.h. es gibt und mit

Daraus ergibt sich insgesamt

sodass also und eine Lösung ist. Zur Eindeutigkeit sei mit den angegebenen Bedingungen. Dann ist . Da die Differenz einen Grad kleiner als besitzt, ist aufgrund der Gradeigenschaften diese Gleichung nur bei und lösbar.



Ein Polynomring über einem Körper

ist ein Hauptidealbereich.

Es sei ein von verschiedenes Ideal in . Betrachte die nichtleere Menge

Diese Menge hat ein Minimum , das von einem Element , , herrührt, sagen wir . Wir behaupten, dass ist. Die Inklusion ist klar. Zum Beweis von sei gegeben. Aufgrund von Satz 5.3 gilt

Wegen und der Minimalität von kann der erste Fall nicht eintreten. Also ist und ist ein Vielfaches von .



<< | Kurs:Kommutative Algebra/Teil I | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)