Valuation P-Adique

Une fonction v_p qui assigne à chaque entier non nul n l'exposant du premier p qui divise n ; étendue aux rationnels par v_p(a/b)=v_p(a)−v_p(b) et ensuite aux corps et anneaux de valuation pour mesurer la divisibilité p-adique et définir la valeur absolue p-adique.