Waluacja dyskretna

Waluacja dyskretna – funkcja

$\nu \colon 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 \min {\big \{}\nu (x),\nu (y){\big \}},$

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