Valoración P-Ádica

Una función v_p que asigna a cada entero no nulo n el exponente del primo fijo p que divide n; se extiende a racionales por v_p(a/b)=v_p(a)−v_p(b) y a campos y anillos de valoración para medir la divisibilidad p-ádica y definir el valor absoluto p-ádico.