Zahlbereich/Primzahl/Ordnungsverzweigt/Nichtreduziert/Fakt

Es sei ${}R$ ein Zahlbereich und ${}p$ eine Primzahl.

Dann ist ${}p$ in ${}R$ genau dann verzweigt, wenn der Faserring zu ${}R$ über ${}p$ nicht reduziert ist.