Los enteros p-ádicos como un cociente de un anillo de series de potencias

Autores/as

  • Napoleón Caro Tuesta Universidad Federal da Paraíba, Departamento de Matemática. Brasil https://orcid.org/0000-0001-5610-7091
  • Alex Molina Sotomayor Universidad Nacional Mayor de San Marcos, Facultad de Matemáticas. Lima, Perú
  • Mario Enrique Santiago Saldaña Universidad Nacional Mayor de San Marcos, Facultad de Matemáticas. Lima, Perú https://orcid.org/0000-0002-3453-4153

DOI:

https://doi.org/10.15381/pesquimat.v25i1.21522

Palabras clave:

Enteros p-ádicos, Series de Potencias, Límite Proyectivo, isomorfismo, cociente

Resumen

Sea p un número primo. La construcción más familiar del anillo de los enteros p-ádicos ℤp, es como un límite proyectivo de cocientes de potencias del ideal (p) ◁ ℤ. Existe otra descripción de ℤp como un cociente del anillo de series de potencias ℤ[[X]], que aparece en algunos textos sobre análisis p-ádico (ver por ejemplo [3]). Más específicamente, existe un isomorfismo de anillos.

Ψ : ℤ[[X]]/〈p − X〉 → ℤp.

Sin embargo, este isomorfismo también es de carácter topológico, pero no existe una demostración de tal hecho en la literatura correspondiente. En este artículo probaremos, con suficiente detalle, que la descripción citada arriba también es válida en el contexto de los anillos topológicos.

Biografía del autor/a

  • Napoleón Caro Tuesta, Universidad Federal da Paraíba, Departamento de Matemática. Brasil

    Profesor de la Universidad de Paraiba - Brasil.

  • Alex Molina Sotomayor, Universidad Nacional Mayor de San Marcos, Facultad de Matemáticas. Lima, Perú

    Profesor de FCM - UNMSM.

Descargas

Publicado

2022-06-30

Número

Sección

Artículos originales

Cómo citar

Los enteros p-ádicos como un cociente de un anillo de series de potencias. (2022). Pesquimat, 25(1), 50-58. https://doi.org/10.15381/pesquimat.v25i1.21522