付値環
抽象代数学において、付値環(ふちかん、英: valuation ring)とは、整域 D であって、その分数体 F のすべての元 x に対して、x か x −1 の少なくとも一方が D に属するようなものである。 体 F が与えられたとき、D が F の部分環であって、F のすべての 0 でない元 x に対して x か x −1 が D に属しているとき、D を 体 F の付値環(a valuation ring for the field F)または座 (place of F) という。