Profinite integer

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

${\widehat {\mathbb {Z} }}=\prod _{p}\mathbb {Z} _{p}$

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

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

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

$\mathbb {Z} \hookrightarrow {\widehat {\mathbb {Z} }},\,n\mapsto (n,n,\dots ).$

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

There is a canonical pairing

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

where $\chi$ is the character of $\mathbf {A} _{\mathbb {Q} ,f}$ induced by $\mathbb {Q} /\mathbb {Z} \to U(1),\,\alpha \mapsto e^{2\pi i\alpha }$. The pairing identifies ${\widehat {\mathbb {Z} }}$ with the Pontrjagin dual of $\mathbb {Q} /\mathbb {Z}$.

See also

• Supernatural number

References

• Connes, Alain; Consani, Caterina (2015). "Geometry of the arithmetic site". arXiv:1502.05580.
• Milne, Class Field Theory

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/