Polynomring über Körper/Eine Variable/Ist Hauptidealbereich/2/Fakt/Beweis/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein von verschiedenes Ideal in . Betrachte die nicht-leere 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 Fakt gilt

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

und ist ein Vielfaches von .
Zur gelösten Aufgabe