Teilbarkeitstheorie/Bereich/Prim ist irreduzibel/Fakt mit Beweisklappe

Satz

In einem Integritätsbereich ist ein Primelement stets irreduzibel.

Beweis

Angenommen, wir haben eine Zerlegung ${}p=ab$. Wegen der Primeigenschaft teilt ${}p$ einen Faktor, sagen wir ${}a=ps$. Dann ist ${}p=psb$ bzw. ${}p(1-sb)=0$. Da ${}p$ kein Nullteiler ist, folgt ${}1=sb$, so dass also ${}b$ eine Einheit ist.

$\Box$