Kommutativer Ring/Abstrakter Bewertungsring/Definition

Bewertungsring

Ein nullteilerfreier Ring mit Quotientenkörper heißt ein Bewertungsring (oder abstrakter Bewertungsring), falls eine Bewertung von derart existiert, dass der Bewertungsring von ist.