Dedekindbereich/Primideal/Ordnung/Definition

Ordnung an Primstelle

Es sei ein Dedekindbereich, ein Primideal in und , . Dann heißt die Ordnung im diskreten Bewertungsring die Ordnung von am Primideal (oder an der Primstelle oder in ). Sie wird mit bezeichnet.