Diskrete Bewertungsringe/Homomorphismus/Verzweigt/Ordnung/Definition

Verzweigung

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