ارزیاب گسسته

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

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

به طوری که این تابع برای هر $x,y\in K$ در شرایط زیر صدق می‌کند:

$\nu (x\cdot y)=\nu (x)+\nu (y)$

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

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

منابع

• الگو:Citation
• الگو:Citation