En matemáticas , el sistema numérico p -ádico para cualquier número primo p extiende la aritmética ordinaria de los números racionales de una manera diferente desde la extensión del sistema numérico racional a los sistemas numérico real y complejo . La extensión se logra mediante una interpretación alternativa del concepto de "cercanía" o valor absoluto . En particular, dos números p -ádicos se consideran cercanos cuando su diferencia es divisible por una potencia alta de p : cuanto mayor es la potencia, más cercanos están. Esta propiedad habilita p-números ádicos para codificar información de congruencia de una manera que resulte tener aplicaciones poderosas en la teoría de números , incluida, por ejemplo, en la famosa demostración del último teorema de Fermat de Andrew Wiles . [1]
Estos números fueron descritos por primera vez por Kurt Hensel en 1897, [2] aunque, en retrospectiva, algunos de los trabajos anteriores de Ernst Kummer pueden interpretarse como utilizando implícitamente números p -ádicos. [nota 1] Los números p -ádicos fueron motivados principalmente por un intento de llevar las ideas y técnicas de los métodos de series de potencia a la teoría de números . Su influencia ahora se extiende mucho más allá de esto. Por ejemplo, el campo del análisis p -ádico proporciona esencialmente una forma alternativa de cálculo .
Más formalmente, para un primo p dado , el campo Q p de números p -ádicos es una terminación de los números racionales . El campo Q p también recibe una topología derivada de una métrica , que a su vez se deriva del orden p -ádico , una valoración alternativa de los números racionales. Este espacio métrico está completo en el sentido de que cada secuencia de Cauchy converge a un punto en Q p . Esto es lo que permite el desarrollo del cálculo sobre Q p , y es la interacción de esta estructura analítica y algebraica lo que da a los sistemas numéricos p -ádicos su poder y utilidad.
La p en " p -adic" es una variable y puede ser reemplazada con un primo (produciendo, por ejemplo, "los números 2-ádicos") u otra variable de marcador de posición (para expresiones como "los números ℓ-ádicos"). El "adic" de " p -adic" proviene de la terminación que se encuentra en palabras como diádica o triádica .
expansiones p -ádicas
Cuando se trata de números naturales, si p se toma como un número primo fijo, entonces cualquier entero positivo se puede escribir como una expansión de base p en la forma
donde a i son números enteros en {0, ..., p - 1 }. [3] Por ejemplo, la expansión binaria de 35 es 1 · 2 5 + 0 · 2 4 + 0 · 2 3 + 0 · 2 2 + 1 · 2 1 + 1 · 2 0 , a menudo escrito en la notación abreviada 100011 2 .
El enfoque familiar para extender esta descripción al dominio más amplio de los racionales [4] [5] (y, en última instancia, a los reales) es usar sumas de la forma:
Se les da un significado definido a estas sumas basadas en secuencias de Cauchy , usando el valor absoluto como métrica. Así, por ejemplo, 1/3 se puede expresar en base 5 como el límite de la secuencia 0.1313131313 ... 5 . En esta formulación, los enteros son precisamente aquellos números para los cuales a i = 0 para todo i <0.
Con los números p -ádicos, por otro lado, elegimos extender las expansiones base p de una manera diferente. A diferencia de los enteros tradicionales, donde la magnitud está determinada por qué tan lejos están de cero, el "tamaño" de los números p -ádicos está determinado por el valor absoluto p -ádico , donde las altas potencias positivas de p son relativamente pequeñas en comparación con las altas potencias negativas de p .
Considere las sumas infinitas de la forma:
donde k es un número entero (no necesariamente positivo), y cada coeficientees un número entero tal que 0 ≤ a i < p , que se puede llamar un dígito p -ádico . [6] Esto define el p expansiones -adic de los p números -adic. Los números p -ádicos para los cuales a i = 0 para todo i <0 también se denominan enteros p -ádicos , y forman un subconjunto de los números p -ádicos comúnmente denotados
A diferencia de las expansiones de números reales que se extienden hacia la derecha como sumas de potencias cada vez más pequeñas y cada vez más negativas de la base p , los números p -ádicos pueden expandirse hacia la izquierda para siempre, una propiedad que a menudo puede ser cierta para los enteros p -ádicos. Por ejemplo, considere la expansión p -ádica de 1/3 en base 5. Se puede demostrar que es ... 1313132 5 , es decir, el límite de la secuencia 2 5 , 32 5 , 132 5 , 3132 5 , 13132 5 , 313132 5 , 1313132 5 , ...:
Multiplicar esta suma infinita por 3 en base 5 da ... 0000001 5 . Como no hay potencias negativas de 5 en esta expansión de 1/3 (es decir, no hay números a la derecha del punto decimal), vemos que 1/3 satisface la definición de ser un entero p -ádico en base 5.
Más formalmente, las expansiones p -ádicas se pueden usar para definir el campo Q p de p -números ádicos, mientras que los enteros p -ádicos forman un subanillo de Q p , denotado Z p . (No debe confundirse con el anillo de números enteros módulo p, que a veces también se escribe Z p . Para evitar la ambigüedad, Z / p Z o Z / ( p ) se utilizan a menudo para representar los números enteros módulo p .)
Si bien es posible utilizar el enfoque anterior para definir los números p -ádicos y explorar sus propiedades, al igual que en el caso de los números reales, generalmente se prefieren otros enfoques. Por lo tanto, queremos definir una noción de suma infinita que haga que estas expresiones sean significativas, y esto se logra más fácilmente mediante la introducción de la métrica p -ádica. En la sección Construcciones a continuación se presentan dos soluciones diferentes pero equivalentes a este problema .
Notación
Hay varias convenciones diferentes para escribir expansiones p -ádicas. Hasta ahora, este artículo ha utilizado una notación para expansiones p -ádicas en las que las potencias de p aumentan de derecha a izquierda. Con esta notación de derecha a izquierda, la expansión 3-ádica de 1 ⁄ 5 , por ejemplo, se escribe como
Al realizar operaciones aritméticas en esta notación, los dígitos se llevan a 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 a la derecha. Con esta notación de izquierda a derecha, la expansión 3-ádica de 1 ⁄ 5 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 3-adic de 1 / 5 se puede escribir usando equilibradas ternarias dígitos { 1 , 0,1} como
De hecho, cualquier conjunto de p 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 a veces se utilizan como dígitos. [7]
Construcciones
Enfoque analítico
p = 2 | ← distancia = 1 → | ||||||||
← d = 1 ⁄ 2 → | ← d = 1 ⁄ 2 → | ||||||||
‹D = 1 ⁄ 4 › | ‹D = 1 ⁄ 4 › | ‹D = 1 ⁄ 4 › | ‹D = 1 ⁄ 4 › | ||||||
‹ 1 ⁄ 8 › | ‹ 1 ⁄ 8 › | ‹ 1 ⁄ 8 › | ‹ 1 ⁄ 8 › | ‹ 1 ⁄ 8 › | ‹ 1 ⁄ 8 › | ‹ 1 ⁄ 8 › | ‹ 1 ⁄ 8 › | ||
................................................ | |||||||||
17 | 10001 | J | |||||||
dieciséis | 10000 | J | |||||||
15 | 1111 | L | |||||||
14 | 1110 | L | |||||||
13 | 1101 | L | |||||||
12 | 1100 | L | |||||||
11 | 1011 | L | |||||||
10 | 1010 | L | |||||||
9 | 1001 | L | |||||||
8 | 1000 | L | |||||||
7 | 111 | L | |||||||
6 | 110 | L | |||||||
5 | 101 | L | |||||||
4 | 100 | L | |||||||
3 | 11 | L | |||||||
2 | 10 | L | |||||||
1 | 1 | L | |||||||
0 | 0 ... 000 | L | |||||||
−1 | 1 ... 111 | J | |||||||
−2 | 1 ... 110 | J | |||||||
−3 | 1 ... 101 | J | |||||||
−4 | 1 ... 100 | J | |||||||
dic | Compartimiento | ········································································································································· | |||||||
---|---|---|---|---|---|---|---|---|---|
| Disposición 2-ádica ( p = 2 ) de números enteros, de izquierda a derecha. Esto muestra un patrón de subdivisión jerárquica común para espacios ultramétricos . Los puntos dentro de una distancia de 1/8 se agrupan en una franja de color. Un par de tiras a una distancia de 1/4 tienen el mismo croma , cuatro tiras a una distancia de 1/2 tienen el mismo tono . El tono está determinado por el bit menos significativo , la saturación , por el siguiente (2 1 ) bit, y el brillo depende del valor de 2 2 bit. Los bits (lugares de dígitos) que son menos significativos para la métrica habitual son más significativos para la distancia p -ádica. |
Los números reales pueden definirse como clases de equivalencia de secuencias de Cauchy de números racionales ; esto nos permite, por ejemplo, escribir como 1 = 1.000 ... 0.999 ... . Sin embargo, la definición de una secuencia de Cauchy se basa en la métrica elegida, por lo que si elegimos una diferente, podemos construir números distintos a los números reales. La métrica habitual que produce los números reales se llama métrica euclidiana .
Para un primo p dado , definimos el valor absoluto p-ádico en Q de la siguiente manera: para cualquier número racional distinto de cero x , hay un entero único n que nos permite escribir x = p n ( a / b ) , donde ninguno de los enteros una y b es divisible por p . A menos que el numerador o denominador de x en términos más bajos contenga p como factor, n será 0. Ahora defina | x | p = p - n . También definimos | 0 | p = 0 .
Por ejemplo, con x = 63/550 = 2 −1 · 3 2 · 5 −2 · 7 · 11 −1
Esta definición de | x | p tiene el efecto de que las altas potencias de p se vuelven "pequeñas". Según el teorema fundamental de la aritmética , para un número racional x distinto de cero dado, existe un conjunto finito único de primos distintos y una secuencia correspondiente de enteros distintos de cero tal que:
Luego se sigue que para todos , y para cualquier otro primo
El valor absoluto p -ádico define una métrica d p en Q estableciendo
El campo Q p de p -números ádicos puede definirse entonces como la finalización del espacio métrico ( Q , d p ); sus elementos son clases de equivalencia de secuencias de Cauchy, donde dos secuencias se denominan equivalentes si su diferencia converge a cero. De esta manera, se obtiene un espacio métrico completo, que es también un campo y contiene Q . Con este valor absoluto, el campo Q p es un campo local .
Se puede demostrar que en Q p , cada elemento x puede escribirse de una manera única como
donde k es un número entero tal que a k ≠ 0 y cada a i está en {0, ..., p - 1 }. Esta serie converge a x con respecto a la métrica d p . Los p -enteros ádicos Z p son los elementos donde k no es negativo. En consecuencia, Q p es isomorfo a Z [1 / p] + Z p . [8]
El teorema de Ostrowski establece que cada valor absoluto de Q es equivalente al valor absoluto euclidiano, el valor absoluto trivial , oa uno de los valores absolutos p -ádicos para algún primo p . Cada valor absoluto (o métricas) conduce a una conclusión diferente de Q . (Con el valor absoluto trivial, Q ya está completo).
Enfoque algebraico
En el enfoque algebraico, primero definimos el anillo de los números p -ádicos y luego construimos el campo de fracciones de este anillo para obtener el campo de los números p -ádicos.
Comenzamos con el límite inverso de los anillos Z / p n Z (ver aritmética modular ): un entero p -ádico m es entonces una secuencia ( a n ) n ≥1 tal que a n está en Z / p n Z , y si n ≤ l , entonces a n ≡ a l (mod p n ) .
Cada número natural m define dicha secuencia ( a n ) por a n ≡ m (mod p n ) y, por lo tanto, puede considerarse como un entero p -ádico. Por ejemplo, en este caso 35 como un número entero 2-ádico se escribiría como la secuencia (1, 3, 3, 3, 3, 35, 35, 35, ...).
Los operadores del anillo equivalen a la suma y multiplicación puntuales de tales secuencias. Esto está bien definido porque la suma y la multiplicación conmutan con el operador " mod "; ver aritmética modular .
Además, toda secuencia ( a n ) n ≥1 con el primer elemento a 1 ≢ 0 (mod p ) tiene un inverso multiplicativo. En ese caso, para cada n , a n y p son coprimos , por lo que a n y p n son relativamente primos. Por lo tanto, cada una n tiene una inversa mod p n , y la secuencia de estos inversos, ( b n ) , es la inversa buscado de ( un n ) . Por ejemplo, considere el entero p -ádico correspondiente al número natural 7; como un número 2-adic, se escribiría (1, 3, 7, 7, 7, 7, 7, ...). La inversa de este objeto se escribiría como una secuencia cada vez mayor que comienza (1, 3, 7, 7, 23, 55, 55, 183, 439, 439, 1463 ...). Naturalmente, este número entero 2-ádico no tiene un número natural correspondiente.
Cada secuencia de este tipo se puede escribir alternativamente como una serie . Por ejemplo, en los 3-adics, la secuencia (2, 8, 8, 35, 35, ...) se puede escribir como 2 + 2 · 3 + 0 · 3 2 + 1 · 3 3 + 0 · 3 4 + ... Las sumas parciales de esta última serie son los elementos de la secuencia dada.
El anillo de enteros p -ádicos no tiene divisores de cero, por lo que podemos tomar el campo de fracciones para obtener el campo Q p de números p -ádicos. Tenga en cuenta que en este campo de fracciones, cada número p -ádico no entero se puede escribir de forma única como p - n u con un número natural n y una unidad u en los enteros p -ádicos. Esto significa que
Tenga en cuenta que S −1 A , donde es un subconjunto multiplicativo (contiene la unidad y cerrado bajo multiplicación) de un anillo conmutativo (con unidad) , es una construcción algebraica llamada anillo de fracciones o localización de por .
Propiedades
Cardinalidad
Z p es el límite inverso de los anillos finitos Z / p k Z , que es incontable [9]; de hecho, tiene la cardinalidad del continuo . En consecuencia, el campo Q p es incontable. El anillo endomorphism de la Prüfer p -Grupo de rango n , denotado Z ( p ∞ ) n , es el anillo de n × n matrices más de Z p ; esto a veces se denomina módulo Tate .
El número de p números -adic con terminación p representaciones -adic es infinito numerable . Y, si los dígitos estándarson tomadas, sus coincide valor y la representación en Z p y R .
Topología
Definir una topología en Z p tomando como base de conjuntos abiertos todos los conjuntos de la forma
donde a es un número entero no negativo yn es un número entero en [1, p a ]. Por ejemplo, en los enteros diádicos, U 1 (1) es el conjunto de números impares. U a ( n ) es el conjunto de todos los enteros p -ádicos cuya diferencia de n tiene un valor absoluto p -ádico menor que p 1− a . Entonces Z p es un compactificación de Z , en la topología de derivado (que es no una compactación de Z con su topología discreta habitual). La topología relativa en Z como un subconjunto de Z p se denomina p topología -adic en Z .
La topología de Z p es la de un conjunto de Cantor . [10] Por ejemplo, podemos hacer un mapeo continuo 1 a 1 entre los enteros diádicos y el conjunto de Cantor expresado en base 3 por
dónde
La topología de Q p es la de un conjunto de Cantor menos cualquier punto. [ cita requerida ] En particular, Z p es compacto mientras que Q p no lo es; es sólo localmente compacto . Como espacios métricos , tanto Z p como Q p están completos . [11]
Completaciones métricas y cierres algebraicos
Q p contiene Q y es un campo de característica 0 .Este campo no se puede convertir en un campo ordenado .
R tiene una sola extensión algebraica propia: C ; en otras palabras, esta extensión cuadrática ya está algebraicamente cerrada . Por el contrario, el cierre algebraico de Q p , denotadotiene grado infinito, [12] es decir, Q p tiene infinitas extensiones algebraicas no equivalentes. También contrasta el caso de los números reales, aunque hay una extensión única de la valoración p -ádica paraeste último no es (métricamente) completo. [13] [14] Su finalización (métrica) se llama C p o Ω p . [14] [15] Aquí se llega a un final, ya que C p es algebraicamente cerrado. [14] [16] Sin embargo, a diferencia de C, este campo no es localmente compacto. [15]
C p y C son isomorfos como anillos, por lo que podemos considerar a C p como C dotado 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 K es una extensión de Galois finita de Q p , el grupo de Galois es solucionable . Así, el grupo Galoises prosoluble .
Grupo multiplicativo de Q p
Q p contiene el n - ésimo campo ciclotómico ( n > 2 ) si y solo si n | p - 1 . [17] Por ejemplo, el n -ésimo campo ciclotómico es un subcampo de Q 13 si y solo si n = 1, 2, 3, 4, 6 o 12 . En particular, no hay p - torsión multiplicativaen Q p , si p > 2 . Además, −1 es el único elemento de torsión no trivial en Q 2 .
Dado un número natural k , el índice del grupo multiplicativo de las k -ésimas potencias de los elementos distintos de cero de Q p en 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 e p ∈ Q p ( p ≠ 2) . Para p = 2 se debe tomar al menos la cuarta potencia. [18] (Por lo tanto, un número con propiedades similares a e , es decir, una p -ésima raíz de e p , es miembro depara todos p .)
Aritmética racional
Eric Hehner y Nigel Horspool propusieron en 1979 el uso de una representación p -ádica para números racionales en computadoras [19] llamada notación de comillas . La principal ventaja de tal representación es que la suma, resta y multiplicación se pueden hacer de una manera sencilla, análoga a métodos similares para enteros binarios; y la división es aún más simple, se asemeja a la multiplicación. Sin embargo, tiene la desventaja de que las representaciones pueden ser mucho más grandes que simplemente almacenar el numerador y el denominador en binario (para obtener más detalles, consulte Notación de comillas § Espacio ).
Los reales y los números p -ádicos son las terminaciones de los racionales; también es posible completar otros campos, por ejemplo campos numéricos algebraicos generales , de forma análoga. Esto se describirá ahora.
Suponga que D es un dominio de Dedekind y E es su campo de fracciones . Elija un no-cero prime ideales P de D . Si x es un elemento no nulo de E , entonces xD es un ideales fraccional y puede ser un factor de forma única como producto de potencias positivas y negativas de los ideales que no sea cero primos de D . Escribimos ord P ( x ) para el exponente de P en esta factorización, y para cualquier elección del número c mayor que 1 podemos establecer
Completando con respecto a este valor absoluto |. | P produce un campo E P , la generalización adecuada del campo de los números p -ádicos a 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 que la misma terminación). Es conveniente, cuando el campo residuo D / P es finito, a dar por c el tamaño de D / P .
Por ejemplo, cuando E es un campo numérico , el teorema de Ostrowski dice que todo valor absoluto no trivial no arquimediano en E surge como algún |. | P . Los restantes valores absolutos no triviales de E surgen de las diferentes incrustaciones de E en los números reales o complejos. (De hecho, los valores absolutos que no son de Arquímedes se pueden considerar simplemente como las diferentes incrustaciones de E en los campos C p , colocando 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 finalizaciones 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 se logra mediante los anillos adele y los grupos idele .
Los números enteros p -ádicos se pueden extender a solenoides p -ádicos . Hay un mapa deal anillo circular cuyas fibras son los enteros p -ádicos, en analogía a cómo hay un mapa de al anillo circular cuyas fibras son .
Principio local-global
Se dice que el principio local-global de Helmut Hasse es válido para una ecuación si puede resolverse sobre los números racionales si y solo si puede resolverse sobre los números reales y sobre los p -números ádicos para cada primo p . Este principio es válido, por ejemplo, para ecuaciones dadas por formas cuadráticas , pero falla para polinomios superiores en varios indeterminados.
Ver también
- 1 + 2 + 4 + 8 + ...
- notación k -ádica
- Teoría C-mínima
- Lema de Hensel
- Campo localmente compacto
- Teorema de mahler
- p -mecánica cuántica ádica
- Entero profinito
- Integral de Volkenborn
Notas al pie
Notas
- ^ Introducción del traductor, página 35 : "De hecho, en retrospectiva, se hace evidente que una valoración discreta está detrás del concepto de números ideales de Kummer" ( Dedekind & Weber 2012 , p. 35).
Citas
- ^ ( Gouvêa 1994 , págs. 203–222)
- ↑ ( Hensel 1897 )
- ^ ( Kelley 2008 , págs. 22-25)
- ↑ Bogomolny, Alexander . "Expansiones p-adic" .
- ^ Koç, Çetin. "Un tutorial sobre aritmética p-adic" (PDF) .
- ^ Madore, David. "Una primera introducción a los números p-adic" (PDF) .
- ↑ ( Hazewinkel 2009 , p. 342)
- ^ Bump, Daniel (1998). Representaciones y formas automórficas . Estudios de Cambridge en Matemáticas Avanzadas. 55 . Prensa de la Universidad de Cambridge. pag. 277. ISBN 9780521658188.
- ↑ ( Robert 2000 , Capítulo 1 Sección 1.1)
- ↑ ( Robert 2000 , Capítulo 1, Sección 2.3)
- ↑ ( Gouvêa 1997 , Corolario 3.3.8)
- ↑ ( Gouvêa 1997 , Corolario 5.3.10)
- ↑ ( Gouvêa 1997 , Teorema 5.7.4)
- ↑ a b c ( Cassels 1986 , p. 149)
- ↑ a b ( Koblitz 1980 , p. 13)
- ↑ ( Gouvêa 1997 , Proposición 5.7.8)
- ↑ ( Gouvêa 1997 , Proposición 3.4.2)
- ^ ( Robert 2000 , sección 4.1)
- ^ ( Hehner y Horspool 1979 , págs. 124-134)
Referencias
- Cassels, JWS (1986), Local Fields , London Mathematical Society Student Texts, 3 , Cambridge University Press , ISBN 0-521-31525-5, Zbl 0595.12006
- Dedekind, Richard ; Weber, Heinrich (2012), Teoría de las funciones algebraicas de una variable , Historia de las matemáticas, 39 , American Mathematical Society, ISBN 978-0-8218-8330-3. - Traducción al inglés de John Stillwell de Theorie der algebraischen Functionen einer Veränderlichen (1882).
- Gouvêa, FQ (marzo de 1994), "A Marvelous Proof", American Mathematical Monthly , 101 (3): 203–222, doi : 10.2307 / 2975598 , JSTOR 2975598
- Gouvêa, Fernando Q. (1997), p -adic Numbers: An Introduction (2nd ed.), Springer, ISBN 3-540-62911-4, Zbl 0874.11002
- Hazewinkel, M., ed. (2009), Handbook of Algebra , 6 , Holanda Septentrional, pág. 342, ISBN 978-0-444-53257-2
- Hehner, Eric CR ; Horspool, R. Nigel (1979), "Una nueva representación de los números racionales para aritmética rápida y fácil" , SIAM Journal on Computing , 8 (2): 124-134, CiteSeerX 10.1.1.64.7714 , doi : 10.1137 / 0208011
- Hensel, Kurt (1897), "Über eine neue Begründung der Theorie der algebraischen Zahlen" , Jahresbericht der Deutschen Mathematiker-Vereinigung , 6 (3): 83–88
- Kelley, John L. (2008) [1955], Topología general , Nueva York: Ishi Press, ISBN 978-0-923891-55-8
- Koblitz, Neal (1980),p -análisis ádico: un curso breve sobre trabajos recientes , Serie de notas de conferencia de la London Mathematical Society, 46 , Cambridge University Press , ISBN 0-521-28060-5, Zbl 0439.12011
- Robert, Alain M. (2000), Un curso de análisis p -ádico , Springer, ISBN 0-387-98669-3
Otras lecturas
- Bachman, George (1964), Introducción a los números p- ádicos y la teoría de la valoración , Academic Press, ISBN 0-12-070268-1
- Borevich, ZI ; Shafarevich, IR (1986), Teoría de números , Matemáticas puras y aplicadas, 20 , Boston, MA: Academic Press, ISBN 978-0-12-117851-2, MR 0195803
- Koblitz, Neal (1984),p Números -adic, p Análisis -adic, y Zeta-Funciones , Graduate Textos en Matemáticas , 58 (2ª ed.), Springer, ISBN 0-387-96017-1
- Mahler, Kurt (1981),p -números ádicos y sus funciones , Cambridge Tracts in Mathematics, 76 (2a ed.), Cambridge: Cambridge University Press , ISBN 0-521-23102-7, Zbl 0444.12013
- Steen, Lynn Arthur (1978), Contraejemplos en topología , Dover, ISBN 0-486-68735-X
enlaces externos
- Weisstein, Eric W. "Número p-adic" . MathWorld .
- número p -adic en la Enciclopedia de Matemáticas en línea de Springer
- Finalización del cierre algebraico : notas de clase en línea de Brian Conrad
- Una introducción a la p Números -adic y p Análisis -adic - en línea Lecture Notes por Andrew Baker, 2007
- Aritmética p-ádica eficiente (diapositivas)
- Introducción a los números p-ádicos
- Houston-Edwards, Kelsey (19 de octubre de 2020), Un universo infinito de sistemas numéricos , Revista Quanta