Waluacja dyskretna

Szablon:Dopracować Waluacja dyskretna – funkcja

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

gdzie $A$ – pierścień przemienny,

spełniająca warunki:

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

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

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