Valuation d’un polynôme

[ Definition ]
Soit un polynôme \(P=a_0+\dots+a_pX^p \in\mathbb{K}\left[X\right]\) non nul. On appelle valuation de \(P\) le plus petit entier \(k\) tel que \(a_k\neq0\). On le note \({\mathop{\mathrm{val}}}(P)\). Par définition, la valuation du polynôme nul est \({\mathop{\mathrm{val}}}(0) = +\infty\)
En savoir plus