ارزیاب گسسته

در ریاضیات، ارزیاب گسسته یا ارزیابی گسسته (Discrete Valuation)، ارزیابی صحیحی روی میدان K است؛ یعنی تابعی به صورت:

${\displaystyle \nu :K\to \mathbb{Z}\cup \{\mathrm{\infty }\}}$

به طوری که این تابع برای هر ${\displaystyle x,y\in K}$

${\displaystyle \nu (x\cdot y)=\nu (x)+\nu (y)}$

${\displaystyle \nu (x+y)\ge min\{\nu (x),\nu (y)\}}$

${\displaystyle \nu (x)=\mathrm{\infty }⟺x=0}$