Eine Aussage zur Polynomarithmetik über den ganzen Zahlen (und allgemein über eindeutigen Faktorisierungsbereichen), die Primitivität und Irreduzibilität verbindet: Das Produkt primitiver Polynome ist primitiv, und ein primitives Polynom ist in Q[x] irreduzibel genau dann, wenn es in Z[x] irreduzibel ist.

Prinzip

Man führt den Inhalt eines Polynoms (ggT seiner Koeffizienten) ein. Gauss' Lemma trennt Inhalt und primitiven Anteil und zeigt die Multiplikativität des Inhalts bis auf Einheiten, wodurch Irreduzibilitätsfragen über Q auf primitive Repräsentanten in Z[x] zurückgeführt werden können.

Demonstration

Sind f(x)=2x+1 und g(x)=3x+1 primitv (Inhalt 1), dann ist ihr Produkt fg ebenfalls primitiv. Allgemein würde eine nichttriviale Faktorisierung eines primitiven Polynoms in Q[x] nach Clearing der Nenner eine nichttriviale Faktorisierung in Z[x] erzeugen, was einen Widerspruch darstellt, falls es in Z[x] irreduzibel ist.

Fehlanwendung

Primitiv (Inhalt 1) mit irreduzibel verwechseln, das Lemma in Ringen anwenden, die keine UFDs sind, ohne Voraussetzungen zu prüfen, oder annehmen, Irreduzibilität in Z[x] gelte automatisch in jeder Erweiterung ohne Beachtung von Einheiten und Assoziierten.

Konsequenz

Reduziert Irreduzibilitätsprüfungen über Q auf Rechnungen in Z[x] mit primitiven Polynomen und ermöglicht ganzzahlige Kriterien (wie Eisenstein) und algorithmische Verfahren innerhalb der Ganzzahlarithmetik.

Umkehrung

Das Lemma liefert eine Äquivalenz: Irreduzibilität in Q[x] entspricht Primitivität zusammen mit Irreduzibilität in Z[x]. Umgekehrt beschreibt eine rationale Faktorisierung das Produkt von Inhalten und primitiven ganzzahligen Polynomen.

Abgrenzung

Gilt in Z und allgemeiner in eindeutigen Faktorisierungsbereichen; sie versagt oder muss modifiziert werden in Ringen ohne eindeutige Faktorisierung oder wo ggT und Inhalt sich anders verhalten. Behandelt Polynome über Integritätsbereichen, nicht über beliebige nichtkommutative Ringe.

Semantische Spannung

Hängt zusammen mit dem Eisenstein-Kriterium und Faktorisierungsalgorithmen: Gauss' Lemma ist strukturelles Reduktionswerkzeug, während Eisenstein eine konkrete hinreichende Bedingung liefert; Spannungen entstehen beim Testen von Irreduzibilität außerhalb von UFDs.

Synthese

Gauss' Lemma trennt Inhalt und primitiven Anteil und stellt die Multiplikativität der Primitivität fest: Indem es Irreduzibilitätsfragen über Q auf primitive ganze Polynome reduziert, schafft es die strukturelle Grundlage für ganzzahlbasierte Tests und Faktorisierungen.