Kommutativer Ring/Abstrakter Bewertungsring/Definition

Bewertungsring

Ein nullteilerfreier Ring ${}R$ mit Quotientenkörper ${}K$ heißt ein Bewertungsring (oder abstrakter Bewertungsring), falls eine Bewertung ${}\nu$ von ${}K$ derart existiert, dass ${}R$ der Bewertungsring von ${}\nu$ ist.