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.