Euklidische Bereiche/Multiplikative euklidische Funktionen/Primkriterium/Fakt mit Beweisklappe
Erscheinungsbild
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.