Hauptidealbereich/Irreduzibel ist prim/Fakt/Beweis/Aufgabe/Lösung


Es sei irreduzibel, und nehmen wir an, dass das Produkt teilt, sagen wir . Nehmen wir an, dass kein Vielfaches von ist. Dann sind aber und teilerfremd, da eine echte Inklusionskette der Irreduzibilität von widerspricht. Damit teilt nach dem Lemma von Euklid

den anderen Faktor .