Ein injektiver Ringhomomorphismus R ⊆ S {\displaystyle {}R\subseteq S} zwischen diskreten Bewertungsringen heißt verzweigt, wenn seine Verzweigungsordnung ≥ 2 {\displaystyle {}\geq 2} ist.
