The p-adic integers as a quotient of a ring of power series
DOI:
https://doi.org/10.15381/pesquimat.v25i1.21522Keywords:
p-adic Integers, Power Seies, Projective Limit, isomorphism, quotientAbstract
Let p a prime number. The most familiar construction of the ring of p-adic integers ℤp, is as the projective limit of quotients of powers of the ideal (p)◁ℤ. There is another description of ℤp as a quotient of the power series ring ℤ[[X]], which can be found in some texts of p-adic analysis (see e.g. [3]). More specifically, there exists a ring isomorphism.
Ψ : ℤ[[X]]/〈p − X〉 → ℤp.
However, this isomorphism is also topological in nature, but there is no proof of this fact in the corresponding literature. In this article we will prove in sufficient detail that the above description is also valid in the context of topological rings.
Downloads
Published
Issue
Section
License
Copyright (c) 2022 Napoleón Caro Tuesta, Alex Molina Sotomayor, Mario Enrique Santiago Saldaña
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
THE AUTHORS RETAIN THEIR RIGHTS:
a) The authors retain their trademark and patent rights, and also on any process or procedure described in the article.
b) The authors retain the right to share, copy, distribute, execute and publicly communicate the article published in Pesquimat magazine (for example, place it in an institutional repository or publish it in a book), with recognition of its initial publication in the Pesquimat magazine.
c) The authors retain the right to make a later publication of their work, to use the article or any part of it (for example: a compilation of their works, notes for conferences, thesis, or for a book), provided that they indicate the source of publication (authors of the work, magazine, volume, number and date).