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

Es sei ${}p$ irreduzibel, und nehmen wir an, dass ${}p$ das Produkt ${}ab$ teilt, sagen wir ${}pc=ab$. Nehmen wir an, dass ${}a$ kein Vielfaches von ${}p$ ist. Dann sind aber ${}a$ und ${}p$ teilerfremd, da eine echte Inklusionskette ${}(p)\subset (p,a)=(d)\subset R$ der Irreduzibilität von ${}p$ widerspricht. Damit teilt ${}p$ nach dem Lemma von Euklid

den anderen Faktor ${}b$.

Zur gelösten Aufgabe