離散付値
数学において、離散付値（discrete valuation）は体 "k" 上の整数付値である。つまり、関数
であって、以下の条件を満たす。
formula_5 の値しかとらない自明な付値はしばしば明示的に除外されることに注意する。
非自明な離散付値をもった体を離散付値体（discrete valuation field）と言う。