Profinite integer

In mathematics, a profinite integer is an element of the ring

${\displaystyle {\widehat {\mathbb {Z} }}=\varprojlim \mathbb {Z} /n\mathbb {Z} =\prod _{p}\mathbb {Z} _{p}}$

where ${\displaystyle \varprojlim \mathbb {Z} /n\mathbb {Z} }$ indicates the profinite completion of ${\displaystyle \mathbb {Z} }$, the index p runs over all prime numbers, and ${\displaystyle \mathbb {Z} _{p}}$ is the ring of p-adic integers.

Concretely the profinite integers will be the set of sequences ${\displaystyle \upsilon }$ such that ${\displaystyle \upsilon (n)\in \mathbb {Z} /n\mathbb {Z} }$ and ${\displaystyle m\ |\ n\implies \upsilon (m)\equiv \upsilon (n){\bmod {m}}}$. Pointwise addition and multiplication makes it a commutative ring. If a sequence of integers converges modulo n for every n then the limit will exist as a profinite integer.

Example: Let ${\displaystyle {\overline {\mathbf {F} }}_{q}}$ be the algebraic closure of a finite field ${\displaystyle \mathbf {F} _{q}}$ of order q. Then ${\displaystyle \operatorname {Gal} ({\overline {\mathbf {F} }}_{q}/\mathbf {F} _{q})={\widehat {\mathbb {Z} }}}$.[1]

A usual (rational) integer is a profinite integer since there is the canonical injection

${\displaystyle \mathbb {Z} \hookrightarrow {\widehat {\mathbb {Z} }},\,n\mapsto (n{\bmod {1}},n{\bmod {2}},\dots ).}$

The tensor product ${\displaystyle {\widehat {\mathbb {Z} }}\otimes _{\mathbb {Z} }\mathbb {Q} }$ is the ring of finite adeles ${\displaystyle \mathbf {A} _{\mathbb {Q} ,f}=\prod _{p}{}^{'}\mathbb {Q} _{p}}$ of ${\displaystyle \mathbb {Q} }$ where the prime ' means restricted product.[2]

The set of profinite integers has a topology in which it is a compact Hausdorff space, coming from the fact that it can be seen as a closed subset of the product ${\displaystyle \prod _{n}\mathbb {Z} /n\mathbb {Z} }$, which is compact with its product topology by Tychonoff's theorem. Addition of profinite integers is continuous, so ${\displaystyle {\widehat {\mathbb {Z} }}}$ becomes a compact Hausdorff abelian group, and thus its Pontryagin dual must be a discrete abelian group.

In fact the Pontryagin dual of ${\displaystyle {\widehat {\mathbb {Z} }}}$ is the discrete abelian group ${\displaystyle \mathbb {Q} /\mathbb {Z} }$. This fact is exhibited by the pairing

${\displaystyle \mathbb {Q} /\mathbb {Z} \times {\widehat {\mathbb {Z} }}\to U(1),\,(q,a)\mapsto \chi (qa)}$[3]

where ${\displaystyle \chi }$ is the character of ${\displaystyle \mathbf {A} _{\mathbb {Q} ,f}}$ induced by ${\displaystyle \mathbb {Q} /\mathbb {Z} \to U(1),\,\alpha \mapsto e^{2\pi i\alpha }}$.[4]

See also

• p-adic number
• Supernatural number

Notes

1. Milne 2013, Ch. I Example A. 5.
2. Questions on some maps involving rings of finite adeles and their unit groups.
3. Connes & Consani 2015, § 2.4.
4. K. Conrad, The character group of Q

References

• Connes, Alain; Consani, Caterina (2015). "Geometry of the arithmetic site". arXiv:1502.05580.
• Milne, J.S. (2013-03-23). "Class Field Theory" (PDF). Archived from the original (PDF) on 2013-06-19. Retrieved 2020-06-07.

External links

• http://ncatlab.org/nlab/show/profinite+completion+of+the+integers
• https://web.archive.org/web/20150401092904/http://www.noncommutative.org/supernatural-numbers-and-adeles/