Valor p-ádico

En teoría de números, el valor p-ádico (también conocido como valoración p-ádica u orden p-ádico) de un número entero n es el exponente de la potencia más alta del número primo p dado que divide a n.

Distribución de los números naturales por su valoración 2-ádica, rotulados con las correspondientes potencias de dos en numeración decimal. El cero tiene una valoración infinita. Representados mediante una incrustación topológica no isométrica de pares de enteros en el plano complejo

Se denota como $\nu _{p}(n)$. De manera equivalente, $\nu _{p}(n)$ es el exponente con el que aparece $p$ en la descomposición en factores primos de $n$.

El valor p-ádico es una valoración y da lugar a un análogo del valor absoluto habitual. Mientras que el espacio métrico completo de los números racionales respecto al valor absoluto habitual da como resultado los números reales $\mathbb {R}$, al completar los números racionales respecto al valor absoluto $p$-ádico se obtienen como resultado los números p-ádicos $\mathbb {Q} _{p}$.​

Definición y propiedades

Sea p un número primo.

Enteros

La valoración p-ádica de un entero $n$ se define como

$\nu _{p}(n)={\begin{cases}\mathrm {max} \{k\in \mathbb {N} :p^{k}\mid n\}&{\text{si }}n\neq 0\\\infty &{\text{si }}n=0,\end{cases}}$

donde $\mathbb {N}$ denota el conjunto de los números naturales y $m\mid n$ denota la divisibilidad de $n$ por $m$. En particular, $\nu _{p}$ es una función $\nu _{p}\colon \mathbb {Z} \to \mathbb {N} \cup \{\infty \}$.​

Por ejemplo, $\nu _{2}(-12)=2$, $\nu _{3}(-12)=1$ y $\nu _{5}(-12)=0$ dado que $|{-12}|=12=2^{2}\cdot 3^{1}\cdot 5^{0}$.

La notación $p^{k}\parallel n$ a veces se usa para referirse a $k=\nu _{p}(n)$.​

Si $n$ es un entero positivo, entonces

$\nu _{p}(n)\leq \log _{p}n$;

esto se sigue directamente de que $n\geq p^{\nu _{p}(n)}$.

Números racionales

La valoración p-ádica se puede extender a los números racionales como la función

$\nu _{p}:\mathbb {Q} \to \mathbb {Z} \cup \{\infty \}$​​

definida por

$\nu _{p}\left({\frac {r}{s}}\right)=\nu _{p}(r)-\nu _{p}(s).$

Por ejemplo, $\nu _{2}{\bigl (}{\tfrac {9}{8}}{\bigr )}=-3$ y $\nu _{3}{\bigl (}{\tfrac {9}{8}}{\bigr )}=2$ dado que ${\tfrac {9}{8}}=2^{-3}\cdot 3^{2}$.

Algunas de sus propiedades son:

$\nu _{p}(r\cdot s)=\nu _{p}(r)+\nu _{p}(s)$

$\nu _{p}(r+s)\geq \min {\bigl \{}\nu _{p}(r),\nu _{p}(s){\bigr \}}$

Además, si $\nu _{p}(r)\neq \nu _{p}(s)$, entonces

$\nu _{p}(r+s)=\min {\bigl \{}\nu _{p}(r),\nu _{p}(s){\bigr \}}$

donde $\min$ es el mínimo (es decir, el menor de los dos).

Valor p-ádico absoluto

El valor absoluto p-ádico sobre los números racionales $\mathbb {Q}$ es la función

$|\cdot |_{p}\colon \mathbb {Q} \to \mathbb {R} _{\geq 0}$

definida por

$|r|_{p}=p^{-\nu _{p}(r)}.$

Por lo tanto, $|0|_{p}=p^{-\infty }=0$ para todos los $p$ y, por ejemplo, $|{-12}|_{2}=2^{-2}={\tfrac {1}{4}}$ y ${\bigl |}{\tfrac {9}{8}}{\bigr |}_{2}=2^{-(-3)}=8.$

El valor absoluto p-ádico satisface las siguientes propiedades:

No negativo	$|r|_{p}\geq 0$
Definido positivo	$|r|_{p}=0\iff r=0$
Multiplicativo	$|rs|_{p}=|r|_{p}|s|_{p}$
No arquimediano	$|r+s|_{p}\leq \max \left(|r|_{p},|s|_{p}\right)$

De la multiplicatividad $|rs|_{p}=|r|_{p}|s|_{p}$ se deduce que $|1|_{p}=1=|-1|_{p}$ para las raíces de la unidad $1$ y $-1$, y en consecuencia, también que $|{-r}|_{p}=|r|_{p}.$ La subaditividad $|r+s|_{p}\leq |r|_{p}+|s|_{p}$ se deriva de la desigualdad triangular no arquimediana $|r+s|_{p}\leq \max \left(|r|_{p},|s|_{p}\right)$.

La elección de la base p en la potenciación $p^{-\nu _{p}(r)}$ no hace ninguna diferencia para la mayoría de las propiedades, pero respalda la fórmula del producto:

$\prod _{0,p}|r|_{p}=1$

donde el producto se toma entre todos los números primos p y el valor absoluto habitual, denotado como $|r|_{0}$. Esto se deriva simplemente de tomar la factorización en números primos: cada factor de potencia primo $p^{k}$ contribuye con su recíproco a su valor absoluto p-ádico, y luego el valor absoluto habitual arquimediano los cancela a todos.

El valor absoluto p-ádico a veces se denomina "norma p-ádica", aunque en realidad no es una norma propiamente dicha porque no cumple con el requisito de homogeneidad.

Se puede formar un espacio métrico en el conjunto $\mathbb {Q}$ con una métrica (no arquimediana e invariante respecto a las traslaciones):

$d\colon \mathbb {Q} \times \mathbb {Q} \to \mathbb {R} _{\geq 0}$

definido por

$d(r,s)=|r-s|_{p}.$

La operación de completar $\mathbb {Q}$ con respecto a esta métrica conduce al conjunto $\mathbb {Q} _{p}$ de los números p-ádicos.

Véase también

• Número p-ádico
• Axioma de Arquímedes
• Multiplicidad (matemáticas)
• Teorema de Ostrowski

Referencias

• Datos: Q4008396