En teoría de números , dado un número primo p , los números p -ádicos forman una extensión de los números racionales que es distinta de los números reales , aunque con algunas propiedades similares; Los números p -ádicos se pueden escribir en una forma similar a los decimales (posiblemente infinitos ) , pero con dígitos basados en un número primo p en lugar de diez, y extendiéndose hacia la izquierda en lugar de hacia la derecha.
Por ejemplo, comparando la expansión del número racional en base 3 con la expansión 3 -ádica,
Formalmente, dado un número primo p , un número p -ádico se puede definir como una serie
donde k es un número entero (posiblemente negativo), y cada uno es un número entero tal que Un entero p -ádico es un número p -ádico tal que
En general la serie que representa un número p -ádico no es convergente en el sentido habitual, pero sí lo es para el valor absoluto p -ádico donde k es el menor entero i tal que (si todos son cero, uno tiene el cero p -número ádico, que tiene 0 como valor absoluto p -ádico).
Cada número racional se puede expresar de forma única como la suma de una serie como se indicó anteriormente, con respecto al valor absoluto p -ádico. Esto permite considerar los números racionales como números p -ádicos especiales y, alternativamente, definir los números p -ádicos como la compleción de los números racionales para el valor absoluto p -ádico, exactamente como los números reales son la compleción de los números racionales para el valor absoluto p -ádico. valor absoluto.
Los números p -ádicos fueron descritos por primera vez por Kurt Hensel en 1897, [1] aunque, en retrospectiva, algunos de los trabajos anteriores de Ernst Kummer pueden interpretarse como un uso implícito de números p -ádicos. [nota 1]
En términos generales, la aritmética modular módulo un entero positivo n consiste en "aproximar" cada número entero por el resto de su división por n , llamado módulo residuo n . La principal propiedad de la aritmética modular es que el módulo de residuos n del resultado de una sucesión de operaciones sobre números enteros es el mismo que el resultado de la misma sucesión de operaciones sobre módulos de residuos n . Si se sabe que el valor absoluto del resultado es menor que n/2 , esto permite un cálculo del resultado que no involucra ningún número entero mayor que n .
Para obtener resultados más amplios, un método antiguo, todavía de uso común, consiste en utilizar varios módulos pequeños que son coprimos por pares y aplicar el teorema chino del resto para recuperar el resultado módulo o producto de los módulos.
Otro método descubierto por Kurt Hensel consiste en utilizar un módulo primo p y aplicar el lema de Hensel para recuperar iterativamente el módulo resultante. Si el proceso continúa infinitamente, esto proporciona eventualmente un resultado que es un número p -ádico.
La teoría de los números p -ádicos se basa fundamentalmente en los dos lemas siguientes
Todo número racional distinto de cero se puede escribir donde v , m y n son números enteros y ni m ni n son divisibles por p . El exponente v está determinado únicamente por el número racional y se denomina valoración p -ádica (esta definición es un caso particular de una definición más general, que se proporciona a continuación). La prueba del lema resulta directamente del teorema fundamental de la aritmética .
Todo número racional distinto de cero r de valoración v se puede escribir de forma única donde s es un número racional de valoración mayor que v y a es un número entero tal que
La prueba de este lema resulta de la aritmética modular : según el lema anterior, donde m y n son números enteros coprimos con p . El inverso modular de n es un número entero q tal que para algún número entero h . Por lo tanto, se tiene y La división euclidiana de por p da dónde ya que mq no es divisible por p . Entonces,
cual es el resultado deseado.
Esto se puede iterar comenzando desde s en lugar de r , dando lo siguiente.
Dado un número racional distinto de cero r de valoración v y un entero positivo k , hay un número racional de valoración no negativa y k enteros no negativos definidos de forma única menores que p tales que y
Los números p -ádicos se obtienen esencialmente continuando esto infinitamente para producir una serie infinita .
Los números p -ádicos se definen comúnmente mediante series p -ádicas.
Una serie p -ádica es una serie de potencias formal de la forma
donde es un número entero y son números racionales que son cero o tienen una valoración no negativa (es decir, el denominador de no es divisible por p ).
Todo número racional puede verse como una serie p -ádica con un solo término distinto de cero, que consiste en su factorización de la forma con n y d ambos coprimos con p .
Dos series p -ádicas y son equivalentes si existe un número entero N tal que, para todo número entero el número racional
es cero o tiene una valoración p -ádica mayor que n .
Una serie p -ádica está normalizada si todos son números enteros tales que y o todos son cero. En este último caso, la serie se llama serie cero .
Cada serie p -ádica equivale exactamente a una serie normalizada. Esta serie normalizada se obtiene mediante una secuencia de transformaciones, que son equivalencias de series; ver § Normalización de una serie p-ádica, más abajo.
En otras palabras, la equivalencia de una serie p -ádica es una relación de equivalencia , y cada clase de equivalencia contiene exactamente una serie p -ádica normalizada .
Las operaciones habituales de series (suma, resta, multiplicación, división) son compatibles con la equivalencia de series p -ádicas. Es decir, denotando la equivalencia con ~ , si S , T y U son series p -ádicas distintas de cero tales que se tiene
Los números p -ádicos a menudo se definen como clases de equivalencia de series p -ádicas, de manera similar a la definición de los números reales como clases de equivalencia de secuencias de Cauchy . La propiedad de unicidad de la normalización permite representar de forma única cualquier número p -ádico mediante la correspondiente serie p -ádica normalizada . La compatibilidad de la equivalencia en serie conduce casi de inmediato a las propiedades básicas de p -números ádicos:
Comenzando con la serie, el primer lema anterior permite obtener una serie equivalente tal que la valoración p -ádica de sea cero. Para eso, se considera el primer valor distinto de cero. Si su valoración p -ádica es cero, basta con cambiar v en i , es decir, comenzar la suma desde v . En caso contrario, la valoración p -ádica de es y donde la valoración de es cero; entonces, se obtiene una serie equivalente cambiando a 0 y al iterar este proceso, eventualmente se obtiene, posiblemente después de una cantidad infinita de pasos, una serie equivalente que es la serie cero o es una serie tal que la valoración de es cero.
Luego, si la serie no está normalizada, considere el primer distinto de cero que no sea un número entero en el intervalo. El segundo lema anterior permite escribirlo; se obtienen n series equivalentes al reemplazarlas y agregarlas. Iterar este proceso, posiblemente infinitas veces, eventualmente proporciona la serie p -ádica normalizada deseada .
Existen varias definiciones equivalentes de p -números ádicos. El que se da aquí es relativamente elemental, ya que no involucra otros conceptos matemáticos que los introducidos en las secciones anteriores. Otras definiciones equivalentes utilizan la finalización de un anillo de valoración discreto (ver § enteros p-ádicos), la finalización de un espacio métrico (ver § Propiedades topológicas) o límites inversos (ver § Propiedades modulares).
Un número p -ádico se puede definir como una serie p -ádica normalizada . Dado que existen otras definiciones equivalentes que se usan comúnmente, a menudo se dice que una serie p -ádica normalizada representa un número p -ádico, en lugar de decir que es un número p -ádico.
También se puede decir que cualquier serie p -ádica representa un número p -ádico, ya que cada serie p -ádica es equivalente a una serie p -ádica normalizada única . Esto es útil para definir operaciones (suma, resta, multiplicación, división) de números p -ádicos: el resultado de dicha operación se obtiene normalizando el resultado de la operación correspondiente en series. Esto define bien las operaciones sobre p -números ádicos, ya que las operaciones en serie son compatibles con la equivalencia de p -series ádicas.
Con estas operaciones, los números p -ádicos forman un campo llamado campo de números p -ádicos y denotado como o. Hay un homomorfismo de campo único de los números racionales a los números p -ádicos, que asigna un número racional a su expansión p -ádica. . La imagen de este homomorfismo se identifica comúnmente con el campo de los números racionales. Esto permite considerar los números p -ádicos como un campo de extensión de los números racionales, y los números racionales como un subcampo de los p -números ádicos.
La valoración de un número p -ádico x distinto de cero , comúnmente denotado como el exponente de p en el primer término distinto de cero de cada serie p -ádica que representa x . Por convención, es decir, la valoración de cero es Esta valoración es una valoración discreta . La restricción de esta valoración a los números racionales es la valoración p -ádica de es decir, el exponente v en la factorización de un número racional como con n y d coprimos con p .
Los enteros p -ádicos son los números p -ádicos con una valoración no negativa.
Un entero p -ádico se puede representar como una secuencia
de residuos x e mod p e para cada entero e , satisfaciendo las relaciones de compatibilidad para i < j .
Todo número entero es un entero p -ádico (incluido el cero, desde ). Los números racionales de la forma con d coprimos con p y también son enteros p -ádicos (porque d tiene un mod inverso p e para cada e ).
Los enteros p -ádicos forman un anillo conmutativo , denotado o , que tiene las siguientes propiedades.
La última propiedad proporciona una definición de los p -números ádicos que es equivalente a la anterior: el campo de los p -números ádicos es el campo de fracciones de la finalización de la localización de los números enteros en el ideal primo generado por p .
La valoración p -ádica permite definir un valor absoluto en números p -ádicos: el valor absoluto p -ádico de un número p -ádico distinto de cero x es
¿Dónde está la valoración p -ádica de x ? El valor absoluto p -ádico de es Este es un valor absoluto que satisface la desigualdad del triángulo fuerte ya que, para cada x e y se tiene
Es más, si uno tiene
Esto hace que los números p -ádicos sean un espacio métrico , e incluso un espacio ultramétrico , con la distancia p -ádica definida por
Como espacio métrico, los números p -ádicos forman la compleción de los números racionales equipados con el valor absoluto p -ádico. Esto proporciona otra forma de definir los p -números ádicos. Sin embargo, la construcción general de una compleción se puede simplificar en este caso, porque la métrica se define mediante una valoración discreta (en resumen, se puede extraer de cada secuencia de Cauchy una subsecuencia tal que las diferencias entre dos términos consecutivos tengan valores absolutos estrictamente decrecientes). , tal subsecuencia es la secuencia de las sumas parciales de una serie p -ádica y, por lo tanto, se puede asociar una serie p -ádica normalizada única a cada clase de equivalencia de secuencias de Cauchy, por lo que, para construir la finalización, basta con considerarla normalizada; series p -ádicas en lugar de clases de equivalencia de secuencias de Cauchy).
Como la métrica se define a partir de una valoración discreta, cada bola abierta también está cerrada . Más precisamente, la bola abierta es igual a la bola cerrada donde v es el menor entero tal que De manera similar, donde w es el mayor entero tal que
Esto implica que los números p -ádicos forman un espacio localmente compacto , y los enteros p -ádicos (es decir, la pelota) forman un espacio compacto .
La expansión decimal de un número racional positivo es su representación como una serie
donde es un número entero y cada uno también es un número entero tal que Esta expansión se puede calcular mediante una división larga del numerador por el denominador, que a su vez se basa en el siguiente teorema: Si es un número racional tal que hay un número entero tal que y con La expansión decimal se obtiene aplicando repetidamente este resultado al resto que en la iteración asume el papel del número racional original .
La expansión p - ádica de un número racional se define de manera similar, pero con un paso de división diferente. Más precisamente, dado un número primo fijo , cada número racional distinto de cero se puede escribir de forma única como donde es un número entero (posiblemente negativo), y son enteros coprimos coprimos con y positivos. El número entero es la valoración p -ádica de , denotada y es su valor absoluto p -ádico , denotado (el valor absoluto es pequeño cuando la valoración es grande). El paso de división consiste en escribir
donde es un número entero tal que y es cero o un número racional tal que (es decir, ).
La expansión ádica de es la serie de potencias formales.
se obtiene repitiendo indefinidamente el paso de división anterior en restos sucesivos. En una expansión p -ádica, todos son números enteros tales que
Si es con , el proceso se detiene eventualmente con un resto cero; en este caso, la serie se completa con términos finales con coeficiente cero, y es la representación de en base- p .
La existencia y el cálculo de la expansión p -ádica de un número racional resultan de la identidad de Bézout de la siguiente manera. Si, como arriba, y y son coprimos, existen números enteros y tales que So
Entonces, la división euclidiana de por da
con Esto da el paso de división como
para que en la iteración
es el nuevo número racional.
La unicidad del paso de división y de toda la expansión p -ádica es fácil: si uno tiene Esto significa divide Desde y lo siguiente debe ser cierto: y Por lo tanto, uno obtiene y desde divide debe ser que
La expansión p -ádica de un número racional es una serie que converge al número racional, si se aplica la definición de serie convergente con el valor absoluto p -ádico. En la notación p -ádica estándar, los dígitos se escriben en el mismo orden que en un sistema estándar de base p , es decir, con las potencias de la base aumentando hacia la izquierda. Esto significa que la producción de los dígitos se invierte y el límite ocurre en el lado izquierdo.
La expansión p -ádica de un número racional es eventualmente periódica . Por el contrario , una serie con converge (para el valor absoluto p -ádico) a un número racional si y sólo si finalmente es periódica; en este caso, la serie es la expansión p -ádica de ese número racional. La prueba es similar a la del resultado similar para decimales periódicos .
Calculemos la expansión 5-ádica de la identidad de Bézout para 5 y el denominador 3 es (para ejemplos más amplios, esto se puede calcular con el algoritmo euclidiano extendido ). De este modo
Para el siguiente paso, hay que expandir (el factor 5 debe verse como un " desplazamiento " de la valoración p -ádica, similar a la base de cualquier expansión numérica y, por lo tanto, no debe expandirse). Para expandir , partimos de la misma identidad de Bézout y la multiplicamos por , dando
La "parte entera" no está en el intervalo correcto. Entonces, uno tiene que usar la división euclidiana para obtener dar
y la expansión en el primer paso se convierte en
De manera similar, uno tiene
y
Como ya se ha encontrado el "resto" , el proceso puede continuar fácilmente, dando coeficientes para potencias impares de cinco y para potencias pares . O en la notación estándar de 5 ádicos
con los puntos suspensivos en el lado izquierdo.
Es posible utilizar una notación posicional similar a la que se utiliza para representar números en base p .
Sea una serie p -ádica normalizada , es decir, cada una es un número entero en el intervalo. Se puede suponer que estableciendo para (if ) y sumando los términos cero resultantes a la serie.
Si la notación posicional consiste en escribir los valores de i consecutivamente, ordenados decrecientemente , a menudo con p apareciendo a la derecha como índice:
Entonces, el cálculo del ejemplo anterior muestra que
y
Cuando se añade un punto de separación antes de los dígitos con índice negativo, y, si está presente el índice p , aparece justo después del punto de separación. Por ejemplo,
y
Si una representación p -ádica es finita a la izquierda (es decir, para valores grandes de i ), entonces tiene el valor de un número racional no negativo de la forma con números enteros. Estos números racionales son exactamente los números racionales no negativos que tienen una representación finita en base p . Para estos números racionales, las dos representaciones son iguales.
El anillo cociente puede identificarse con el anillo de los enteros módulo. Esto se puede demostrar observando que todo p -ádico entero, representado por su serie p -ádica normalizada, es congruente módulo con su suma parcial cuyo valor es un número entero en el intervalo Una verificación sencilla muestra que esto define un isomorfismo de anillo de a
El límite inverso de los anillos se define como el anillo formado por las secuencias tales que y para cada i .
El mapeo que mapea una serie p -ádica normalizada a la secuencia de sus sumas parciales es un isomorfismo de anillo desde hasta el límite inverso de Esto proporciona otra forma de definir enteros p -ádicos ( hasta un isomorfismo).
Esta definición de p -ádicos enteros es especialmente útil para cálculos prácticos, ya que permite construir p -ádicos enteros mediante aproximaciones sucesivas.
Por ejemplo, para calcular el inverso p -ádico (multiplicativo) de un número entero, se puede utilizar el método de Newton , partiendo del módulo inverso p ; luego, cada paso de Newton calcula el módulo inverso del módulo inverso
Se puede utilizar el mismo método para calcular la raíz cuadrada p -ádica de un número entero que es un módulo de residuo cuadrático p . Este parece ser el método más rápido conocido para comprobar si un número entero grande es un cuadrado: basta con comprobar si el número entero dado es el cuadrado del valor encontrado en . Aplicar el método de Newton para encontrar la raíz cuadrada requiere que sea mayor que el doble del número entero dado, lo cual se cumple rápidamente.
El levantamiento de Hensel es un método similar que permite "elevar" el módulo de factorización p de un polinomio con coeficientes enteros a un módulo de factorización para valores grandes de n . Esto se utiliza comúnmente en los algoritmos de factorización polinomial .
Existen varias convenciones diferentes para escribir expansiones p -ádicas. Hasta ahora, este artículo ha utilizado una notación para p -expansiones ádicas en las que las potencias de p aumentan de derecha a izquierda. Con esta notación de derecha a izquierda, la expansión de 3 ádicos de, por ejemplo, se escribe como
Al realizar aritmética en esta notación, los dígitos se llevan hacia la izquierda. También es posible escribir expansiones p -ádicas de modo que las potencias de p aumenten de izquierda a derecha y los dígitos se lleven hacia la derecha. Con esta notación de izquierda a derecha, la expansión de 3 ádicos es
Las expansiones p -ádicas se pueden escribir con otros conjuntos de dígitos en lugar de {0, 1, ..., p − 1 }. Por ejemplo, la expansión ádica de 3 se puede escribir usando dígitos ternarios balanceados { 1 , 0, 1 }, donde 1 representa uno negativo, como
De hecho, cualquier conjunto de p números enteros que estén en distintas clases de residuos módulo p puede usarse como p -dígitos ádicos. En teoría de números, los representantes de Teichmüller se utilizan a veces como dígitos. [2]
La notación entre comillas es una variante de larepresentaciónpnúmeros racionalespropuesta en 1979 porEric HehneryNigel Horspoolpara implementar en las computadoras la aritmética (exacta) con estos números.[3]
Ambos y son incontables y tienen la cardinalidad del continuo . [4] Porque esto resulta de la representación p -ádica, que define una biyección de en el conjunto de potencias . Para esto resulta de su expresión como una unión contablemente infinita de copias de :
contiene y es un campo de característica 0 .
Debido a que 0 se puede escribir como suma de cuadrados, [5] no se puede convertir en un campo ordenado .
El cuerpo de los números reales tiene una única extensión algebraica propia : los números complejos . En otras palabras, esta extensión cuadrática ya es algebraicamente cerrada . Por el contrario, la clausura algebraica de , denotada tiene grado infinito, [6] es decir, tiene infinitas extensiones algebraicas no equivalentes. Contrastando también el caso de los números reales, aunque existe una extensión única de la valoración p -ádica , estos últimos no son (métricamente) completos. [7] [8] Su finalización (métrica) se llama o . [8] [9] Aquí se alcanza un fin, ya que algebraicamente está cerrado. [8] [10] Sin embargo, a diferencia de este campo, no es localmente compacto . [9]
y son isomórficos como anillos, [11] por lo que podemos considerarlos dotados de una métrica exótica. La prueba de la existencia de tal isomorfismo de campo se basa en el axioma de elección y no proporciona un ejemplo explícito de tal isomorfismo (es decir, no es constructivo ).
Si hay alguna extensión finita de Galois , el grupo de Galois tiene solución . Por tanto, el grupo de Galois es solucionable .
contiene el n -ésimo campo ciclotómico ( n > 2 ) si y sólo si n | pag - 1 . [12] Por ejemplo, el n -ésimo campo ciclotómico es un subcampo de si y solo si n = 1, 2, 3, 4, 6 o 12 . En particular, no hay p - torsión multiplicativa si p > 2 . Además, −1 es el único elemento de torsión no trivial en .
Dado un número natural k , el índice del grupo multiplicativo de las k -ésimas potencias de los elementos distintos de cero de in es finito.
El número e , definido como la suma de recíprocos de factoriales , no es miembro de ningún campo p -ádico; pero para . Para p = 2 se debe tomar al menos la cuarta potencia. [13] (Por lo tanto, un número con propiedades similares a e , es decir, una raíz p -ésima de e p , es miembro de para todo p ).
Se dice que el principio local-global de Helmut Hasse se cumple para una ecuación si se puede resolver con números racionales si y sólo si se puede resolver con números reales y con números p -ádicos para todo primo p . Este principio es válido, por ejemplo, para ecuaciones dadas por formas cuadráticas , pero falla para polinomios superiores en varios indeterminados.
Los números reales y p -ádicos son las terminaciones de los racionales; También es posible completar otros campos, por ejemplo campos de números algebraicos generales , de forma análoga. Esto se describirá ahora.
Supongamos que D es un dominio de Dedekind y E es su campo de fracciones . Elija un ideal primo distinto de cero P de D . Si x es un elemento distinto de cero de E , entonces xD es un ideal fraccionario y puede factorizarse de forma única como un producto de potencias positivas y negativas de ideales primos distintos de cero de D. Escribimos ord P ( x ) para el exponente de P en esta factorización, y para cualquier elección de número c mayor que 1 podemos establecer
Completando respecto de este valor absoluto |⋅| P produce un campo EP , la generalización adecuada del campo de p -números ádicos para esta configuración. La elección de c no cambia la terminación (diferentes opciones producen el mismo concepto de secuencia de Cauchy, por lo tanto, la misma terminación). Es conveniente, cuando el campo residuo D / P es finito, tomar para c el tamaño de D / P .
Por ejemplo, cuando E es un cuerpo numérico , el teorema de Ostrowski dice que todo valor absoluto no trivial no de Arquímedes en E surge como algún |⋅| PAG . Los valores absolutos restantes no triviales de E surgen de las diferentes incrustaciones de E en números reales o complejos. (De hecho, los valores absolutos no de Arquímedes pueden considerarse simplemente como las diferentes incrustaciones de E en los campos C p , poniendo así la descripción de todos los valores absolutos no triviales de un campo numérico en una base común.)
A menudo, es necesario realizar un seguimiento simultáneo de todas las completaciones mencionadas anteriormente cuando E es un campo numérico (o más generalmente un campo global ), que se considera que codifica información "local". Esto lo logran los anillos adele y los grupos idele .
Los enteros p -ádicos se pueden extender a solenoides p -ádicos . Hay un mapa desde al grupo circular cuyas fibras son los enteros p -ádicos , en analogía con cómo hay un mapa desde hasta el círculo cuyas fibras son .