付値体

付値体(ふちたい、英: valued field, valuation field)とは、乗法付値により得られる距離に対する距離空間の位相が入った位相体のことを付値体という。体 K の乗法付値 | ⋅ | {\displaystyle |\cdot |} で付値体になるとき、 ( K , | ⋅ | ) {\displaystyle \scriptstyle (K,\ |\cdot |)} と表す。