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.

Principio

Cuantificar la multiplicidad del primo p en una factorización de modo que v_p(xy)=v_p(x)+v_p(y) y v_p(x+y)≥min(v_p(x),v_p(y)), proporcionando una valoración no arquimediana que determina una ultramétrica.

Demostración

Para p=2, v_2(40)=3 porque 40=5·2^3; para el racional 3/8 se tiene v_2(3/8)=v_2(3)−v_2(8)=0−3=−3, y el valor absoluto p-ádico inducido es |3/8|_2=2^{3}.

Aplicación incorrecta

Tratar v_p como una medida arquimediana que satisface la desigualdad triangular habitual o asumir que v_p(x+y)=min sin comprobar cancelaciones que pueden aumentar la valoración.

Consecuencia

El uso correcto produce una métrica no arquimediana y la completación Q_p con estructuras analíticas y algebraicas particulares; orienta principios locales-globales y la ramificación en teoría de números.

Inversión

Sustituir la valoración p-ádica por el valor absoluto usual produce la métrica arquimediana donde los exponentes multiplicativos ya no codifican divisibilidad y desaparecen las propiedades ultramétricas.

Límite

Definida para elementos no nulos de enteros, racionales y ampliable a elementos de cuerpos o anillos de valoración; no se aplica a las raíces infinitas (lugares arquimedianos) y requiere adaptación para valoraciones de rango superior o grupos valorativos no discretos.

Tensión semántica

Muy relacionada con el valor absoluto p-ádico y con las valoraciones en geometría algebraica; hay tensión entre la v_p discreta en Q y valoraciones más generales que registran datos de mayor rango.

Síntesis

La valoración p-ádica es la medida discreta y multiplicativa de cuánto divide un primo p fijo a un elemento; codifica exponentes de divisibilidad, induce una norma no arquimediana y organiza fenómenos aritméticos y topológicos locales.