Concept history

Concept marked usable

Updated text

Concept translation created

Soir $n$ un entier non-nul et $p$ un [[Nombre premier|nombre premier]]. On définit $\nu_{p} : \Z^{*} \to \N$ la valuation $p$-adique comme suit 
$$\nu_{p}(n) = \max \{i \in \N : p^{i} \mid n \}.$$
Ainsi, $\nu_{p}(n)$ est l'exposant de la plus grande puissance de $p$ qui divise $n$, avec $\nu_{p}(n) = 0$ si $p$ n'est pas un [[prime factor|facteur premier]] de $n$.

**Remarques**

$\bullet$ On peut généraliser cette définition aux rationnels non-nuls en posant $\nu_{p}(\frac{a}{b}) = \nu_{p}(a) - \nu_{p}(b).$ Noter que ceci ne dépend pas du quadruplet $(a,b,c,d) \in (\Z^{*})$ tel que
$\frac ab = \frac cd$.
$\bullet$ Avec cette définition, le  [[Fundamental theorem of arithmetic|théorème fondamental de l'arithmétique]] s'écrit 
$$
\forall n\in\N^*, \ n=\prod_{p\,\,\text{premier}}p^{\nu_p(n)}
$$
et cette égalité peut être généralisée à tout rationnel non-nul.

**Exemples**
$\bullet$ La valuation $2$-adique de $8$ est $3$, car $8=2^3$.
$\bullet$ La valuation $3$-adique de $24$ est $1$, car $24=2^3\cdot 3$.
$\bullet$ La valuation $5$-adique de $\displaystyle\frac{10}{25}$ est $\nu_5(10)-\nu_5(25)=\nu_5(5\cdot2)-\nu_5(5^2)=1-2=-1$.