Application à la divisibilité

Propriété 14.6.2   Soient

$$x = p_1^{e_1} p_2^{e_2} \ldots p_i^{e_i} \ldots p_n^{e_n}$$

et

$$y= p_1^{f_1} p_2^{f_2} \ldots p_i^{f_i} \ldots p_n^{f_n}$$

$x \vert y$ si et seulement si pour tout $i$, $e_i \leq f_i$