Die Aussage, dass jede ganze Zahl größer als eins eindeutig als Produkt von Primzahlen faktorisiert ist, bis auf die Reihenfolge der Faktoren; Primzahlen sind die multiplikativen Atome der ganzen Zahlen.

Prinzip

Primzahlen fungieren als irreduzible Bausteine und die Multiplikation in Z erlaubt eine eindeutige Faktorisierung, die das Fundament der multiplikativen Arithmetik und der Strukturklassifikation bildet.

Demonstration

Beispiel: 84 = 2^2 · 3 · 7, und keine andere Multimenge von Primzahlen ergibt 84; diese Eindeutigkeit erlaubt das Ablesen multiplikativer Invarianten wie ggT und Bewertungen.

Fehlanwendung

Zu behaupten, dieselbe Eindeutigkeit gelte in beliebigen Ringen algebraischer Zahlen ohne Prüfung, ob der Ring ein eindeutiger Faktorisationsbereich ist; das Betrachten nicht-UFD-Elemente als Primzahlen führt zu Widersprüchen.

Konsequenz

Ermöglicht zerlegungsbasierte Argumente in der Zahlentheorie: multiplikative Funktionen, Bewertungstheorie, ggT/kleinstes gemeinsames Vielfaches und viele algorithmische Verfahren bauen auf eindeutiger Primfaktorzerlegung in Z auf.

Umkehrung

In Ringen ohne eindeutige Faktorisierung können Elemente verschiedene irreduzible Faktorisierungen besitzen (Nicht-Eindeutigkeit), was das Scheitern des Satzes außerhalb von Z zeigt und die Untersuchung von UFDs und Klassenkörpern motiviert.

Abgrenzung

Gilt genau für den Ring Z bei positiven ganzen Zahlen >1 (und lässt sich unter Berücksichtigung der Einheiten ±1 auf negative Zahlen erweitern); schließt Null und die Einheiten ±1 aus und gilt nicht automatisch in allgemeinen Integritätsbereichen.

Semantische Spannung

Bezieht sich auf, ist aber nicht gleich der Eigenschaft ein Unique Factorization Domain (UFD) zu sein: der Satz ist die spezifische UFD-Aussage für Z, während viele Ringe algebraischer Zahlen diese Eigenschaft nicht besitzen, was zu subtilen arithmetischen Effekten führt.

Synthese

Der Fundamentalsatz der Arithmetik behauptet, dass Primzahlen die einzigartigen multiplikativen Bestandteile der Zahlen >1 sind und bildet die wesentliche strukturelle und kombinatorische Grundlage der multiplikativen Zahlentheorie und algorithmischen Faktorisierung.