Waluacja dyskretna

Waluacja dyskretna to funkcja

$\nu:A\to\mathbb Z\cup\{\infty\}$

gdzie $A$ - pierścień przemienny,

spełniająca warunki:

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

$\nu(x+y)\geqslant\mathrm{min}\big\{\nu(x),\nu(y)\big\}$

$\nu(x)=\infty\iff x=0$.