Polynomring/Über faktoriellem Ring/Ist faktoriell/Fakt/Beweis
Wir zeigen, dass jedes irreduzible Element prim ist und dass jedes Polynom eine Zerlegung in irreduzible Polynome besitzt. Es sei also irreduzibel und
Bei ist prim nach Fakt, sodass wir annehmen können. Die Teilbarkeitsbeziehung gilt erst recht in . Nach Fakt ist das Polynom auch irreduzibel in und damit darin prim nach Fakt. Daher teilt dieses Element in einen der Faktoren, sagen wir . Es ist also mit . Wir können mit einem Hauptnenner von multiplizieren und erhalten die Beziehung
mit , wobei durch seine Primfaktorzerlegung ersetzt wurde. Da irreduzibel ist, sind die Koeffizienten von teilerfremd. Insbesondere ist kein Teiler von allen Koeffizienten von . Da nach
Fakt
auch in prim ist, folgt, dass ein Vielfaches von ist. Man kann also durch kürzen. So kann man sukzessive die Primfaktorzerlegung von abarbeiten und erhält schließlich, dass ein Vielfaches von ist.
Dass jedes Polynom ein Produkt von irreduziblen Polynomen ist, beweisen wir durch Induktion über den Grad von . Bei Grad null liefert die Primfaktorzerlegung in sofort die gewünschte Zerlegung in . Es sei also der Grad von positiv. Wenn es eine Produktzerlegung in Polynome von kleinerem Grad gibt, so sind wir fertig aufgrund der Induktionsvoraussetzung. Andernfalls sei der
größte gemeinsame Teiler
der Koeffizienten von . Dann ist
mit
und die Koeffizienten von sind
teilerfremd.
Dann ist aber irreduzibel, da es weder eine Zerlegung in Polynome mit kleinerem Grad noch eine nicht-triviale Zerlegung mit Konstanten geben kann.