Euklidische Bereiche/Multiplikative euklidische Funktionen/Primkriterium/Fakt mit Beweisklappe
Es sei ein euklidischer Bereich mit einer multiplikativen euklidischen Funktion
(es werden also nur positive Werte angenommen). Ist dann für die Zahl prim, so ist irreduzibel in .
Beweis
Es sei eine Faktorzerlegung. Dann ist und da nach Voraussetzung eine Primzahl ist, folgt, dass einer der Faktoren, sagen wir , eine Einheit ist, also . Wir wenden auf und die Division mit Rest an und erhalten
wobei ist oder . Letzteres ist aber ausgeschlossen, sodass sein muss und damit ist eine Einheit. Also ist irreduzibel.