Schauu mal in ein Algebrabuch; ein Element x heißt Einheit, falls 1 / x existiert.
Ein Element p heißt unzerlegbar, falls
p = x y ===> x ist Einheit oder y ist Einheit
p heißt prim, falls die Teilbarkeitsbedingung erfüllt kst
p | x y ===> p | x v p | y ( 1 )
Jedes Primelement ist unzerlegbar - aber nicht umgekehrt ( siehe die einschlägige Literatur )
Auf ===> Hauptidealringen ( HIR ) gilt auch die Umkehrung.
Jede Algebra, auf welcher ===> Polynomdivision ( PD ) durchführbar ist, ist ein HIR - z.B. die ganzen Zahlen |Z .
Beachte; die PD erzwingt ja, dass jedes Ideal schon ein Hauptideal ist, das von seinem ggt erzeugt wird.
In diesem Zusammenhang hätten die ( positiven und negativen ) Primzahlen viel mehr Anspruch darauf, Primzahlen zu heißen.
Denn |N ist gerade KEIN HIR ; z.B. ist es nicht möglich, bei Beschränkung auf |N das von 3 und 5 erzeugte Ideal J ( 3 ; 5 ) etwa von dem ggt dieser beiden Zahlen zu erzeugen. Das scheitert ganz wesentlich daran, dass die Subtraktion auf |N nicht unbeschränkt ausführbar ist.
Im Übrigen gilt auf jedem HIR der Hasuptsatz der Zahlenteorie; d.h. jedes ringelement ist eindeutig zerlegbar in Primfaktoren - eindeutig bis auf Reihenfolge ( ein nicht triviales Beispiel: Polynome )