# Entier profini

En mathématiques, un entier profini est un élément de l'anneau ${\widehat {\mathbb {Z} }}=\varprojlim \mathbb {Z} /n\mathbb {Z}$ (parfois prononcé Z chapeau), limite projective des anneaux quotient $\mathbb {Z} /n\mathbb {Z}$, où les entiers $n$ sont partiellement ordonnés par la relation de divisibilité. Cet anneau est donc, par définition, la complétion profinie de l'anneau $\mathbb {Z}$ des entiers relatifs. D'après le théorème des restes chinois, ${\widehat {\mathbb {Z} }}$ peut aussi être vu comme un produit d'anneaux : ${\widehat {\mathbb {Z} }}=\prod _{p}\mathbb {Z} _{p},$ où l'indice $p$ parcourt les nombres premiers, et où $\mathbb {Z} _{p}$ est l'anneau des entiers $p$-adiques. Cet anneau a d'importantes relations avec la théorie de Galois et l'anneau des adèles. C'est aussi un exemple caractéristique de groupe profini.

## Construction

${\widehat {\mathbb {Z} }}$, l'ensemble des entiers profinis, peut être construit comme l'ensemble des suites de restes de la forme $\upsilon =(\upsilon _{1}{\bmod {1}},~\upsilon _{2}{\bmod {2}},~\upsilon _{3}{\bmod {3}},~\ldots )$ tels que $m\ |\ n\implies \upsilon _{m}\equiv \upsilon _{n}{\bmod {m}}$.
L'addition et la multiplication terme à terme de ces suites font de ${\widehat {\mathbb {Z} }}$ un anneau commutatif, dans lequel l'anneau des entiers ${\mathbb {Z} }$ est plongé par l'injection canonique $i:$ $m\mapsto (m{\bmod {1}},~m{\bmod {2}},~m{\bmod {3}},~\ldots )$. $i$ est canonique car elle satisfait une propriété universelle pour les groupes profinis : pour tout groupe profini $H$ et tout morphisme de groupes $f:\mathbb {Z} \rightarrow H$, il existe un unique morphisme de groupe continu $g:{\widehat {\mathbb {Z} }}\rightarrow H$ tel que $f=g\circ i$.

### Avec la représentation factorielle des entiers

Tout entier $n\geq 0$ a une représentation unique en numération factorielle (en) de la forme $n=\sum _{i=1}^{\infty }c_{i}i!\qquad {\text{avec }}c_{i}\in \mathbb {Z}$ où $0\leq c_{i}\leq i$ pour tout $i$, et où seuls un nombre fini des $c_{1},c_{2},c_{3},\ldots$ sont non nuls ; cette représentation s'écrit parfois $n=(\cdots c_{3}c_{2}c_{1})_{!}$.
Les entiers profinis correspondent alors à des sommes formelles $n=\sum _{i=1}^{\infty }c_{i}i!=(\cdots c_{3}c_{2}c_{1})_{!}$ sans aucune restriction sur les $c_{i}$ autre que $0\leq c_{i}\leq i$.
Les "chiffres" $c_{1},c_{2},c_{3},\ldots ,c_{k-1}$ déterminent la valeur de l'entier profini mod $k!$. Plus précisément, il y a un morphisme d'anneaux ${\widehat {\mathbb {Z} }}\to \mathbb {Z} /k!\,\mathbb {Z}$ envoyant $(\cdots c_{3}c_{2}c_{1})_{!}\ {\text{ vers }}\ \sum _{i=1}^{k-1}c_{i}i!\mod k!$ ; ${\widehat {\mathbb {Z} }}$ est donc la limite projective du système des anneaux ${\widehat {\mathbb {Z} }}\to \mathbb {Z} /k!\,\mathbb {Z}$.

### Avec le théorème des restes chinois

Une autre façon de construire ${\widehat {\mathbb {Z} }}$ est d'utiliser le théorème des restes chinois. On sait que pour tout entier $n$ dont la factorisation en nombres premiers est $n=p_{1}^{a_{1}}\cdots p_{k}^{a_{k}}$, ce théorème permet de construire un isomorphisme d'anneaux $\mathbb {Z} /n\cong \mathbb {Z} /p_{1}^{a_{1}}\times \cdots \times \mathbb {Z} /p_{k}^{a_{k}}$. De plus, toute surjection $\mathbb {Z} /n\to \mathbb {Z} /m$ induit des surjections $\mathbb {Z} /p_{i}^{a_{i}}\to \mathbb {Z} /p_{i}^{b_{i}}$ sur chacun des facteurs de $m$ et $n$, puisqu'on doit avoir $a_{i}\geq b_{i}$; on en déduit un isomorphisme de ${\widehat {\mathbb {Z} }}$ avec le produit direct des anneaux des entiers $p$-adiques $\prod _{p}\mathbb {Z} _{p}$ défini par $\phi :\prod _{p}\mathbb {Z} _{p}\to {\widehat {\mathbb {Z} }}$ tel que $\phi ((n_{2},n_{3},n_{5},\cdots ))(k)=\prod _{q}n_{q}\mod k$, où $q$ parcourt les facteurs de $k$ de la forme $p_{i}^{d_{i}}$, autrement dit $k=\prod _{i=1}^{l}p_{i}^{d_{i}}$ pour une suite de nombre premiers distincts $p_{1},...,p_{l}$.

## Relations
### Propriétés topologiques

L'ensemble des entiers profinis peut être vu comme un sous-ensemble fermé du produit direct infini $\prod _{n=1}^{\infty }\mathbb {Z} /n\mathbb {Z}$ muni de la topologie produit des topologies discrètes sur chacun des $\mathbb {Z} /n\mathbb {Z}$. Ce produit (et par conséquent ${\widehat {\mathbb {Z} }}$ également) est un espace séparé compact d'après le théorème de Tychonov.
Cette topologie sur ${\widehat {\mathbb {Z} }}$ peut être définie directement par la distance $d(x,y)={\frac {1}{\min\{k\in \mathbb {Z} _{>0}:x\not \equiv y{\bmod {(k+1)!}}\}}}$
L'addition sur ${\widehat {\mathbb {Z} }}$ étant continue, ${\widehat {\mathbb {Z} }}$ est un groupe abélien compact et donc son dual de Pontriaguine doit être un groupe abélien discret ; effectivement ce dual est le groupe $\mathbb {Q} /\mathbb {Z}$ muni de la topologie discrète.
Il est explicitement construit par la fonction $\mathbb {Q} /\mathbb {Z} \times {\widehat {\mathbb {Z} }}\to U(1),\,(q,a)\mapsto \chi (qa)$, où $\chi$ est le caractère de l'adèle $\mathbf {A} _{\mathbb {Q} ,f}$ induit par $\mathbb {Q} /\mathbb {Z} \to U(1),\,\alpha \mapsto e^{2\pi i\alpha }$(voir ci-dessous).

### Relation aux adèles

Le produit tensoriel ${\widehat {\mathbb {Z} }}\otimes _{\mathbb {Z} }\mathbb {Q}$ est l'anneau des adèles finies de $\mathbb {Q}$, $\mathbf {A} _{\mathbb {Q} ,f}={\prod _{p}}'\mathbb {Q} _{p}$, où le symbole $'$ veut dire produit restreint, c'est-à-dire qu'on ne prend que les suites entières sauf en un nombre fini de places. Il y a un isomorphisme entre l'anneau des adèles et le produit de l'anneau des adèles finies par $\mathbb {R}$ : $\mathbf {A} _{\mathbb {Q} }\cong \mathbb {R} \times ({\hat {\mathbb {Z} }}\otimes _{\mathbb {Z} }\mathbb {Q} )$.

## Applications
### Groupe de Galois absolu des corps finis

Le groupe de Galois de la clôture algébrique ${\overline {\mathbf {F} }}_{q}$ du corps fini $\mathbf {F} _{q}$ d'ordre q (puissance d'un nombre premier) peut être calculé explicitement : comme ${\text{Gal}}(\mathbf {F} _{q^{n}}/\mathbf {F} _{q})\cong \mathbb {Z} /n\mathbb {Z}$ (les automorphismes étant les puissances de l'automorphisme de Frobenius), le groupe de Galois de la clôture algébrique de $\mathbf {F} _{q}$ est la limite projective des $\mathbb {Z} /n\mathbb {Z}$, et donc isomorphe au groupe des entiers profinis : $\operatorname {Gal} ({\overline {\mathbf {F} }}_{q}/\mathbf {F} _{q})\cong {\widehat {\mathbb {Z} }}$ ; ceci donne donc une détermination explicite du groupe de Galois absolu des corps finis.

### Relation au groupe fondamental étale des tores algébriques

Une interprétation de ces constructions vient de la théorie de l'homotopie étale (en), qui définit le groupe fondamental étale (en) $\pi _{1}^{et}(X)$ comme une complétion profinie d'automorphismes :$\pi _{1}^{et}(X)=\lim _{i\in I}{\text{Aut}}(X_{i}/X)$ où les $X_{i}\to X$ forment un recouvrement étale (en).Le calcul précédent montre alors que les entiers profinis sont isomorphes au groupe $\pi _{1}^{et}({\text{Spec}}(\mathbf {F} _{q}))\cong {\hat {\mathbb {Z} }}$. De plus, il y a un plongement des entiers profinis dans le groupe fondamental étale du tore algébrique ${\hat {\mathbb {Z} }}\hookrightarrow \pi _{1}^{et}(\mathbb {G} _{m})$, puisque $\mathbb {G} _{m}={\text{Spec}}(\mathbb {Z} [x,x^{-1}])$.

### Les entiers profinis et la théorie des corps de classes

La théorie des corps de classes est une branche de la théorie algébrique des nombres qui étudie les extensions abéliennes des corps. Partant du corps global $\mathbb {Q}$, l'abélianisé de son groupe de Galois absolu ${\text{Gal}}({\overline {\mathbb {Q} }}/\mathbb {Q} )^{ab}$ est étroitement relié à l'anneau adélique associé $\mathbb {A} _{\mathbb {Q} }$ et au groupe des entiers profinis. En particulier, il y a une application, due à Artin, $\Psi _{\mathbb {Q} }:\mathbb {A} _{\mathbb {Q} }^{\times }/\mathbb {Q} ^{\times }\to {\text{Gal}}({\overline {\mathbb {Q} }}/\mathbb {Q} )^{ab}$, qui est un isomorphisme. Ce quotient peut de plus être déterminé explicitement : $\mathbb {A} _{\mathbb {Q} }^{\times }/\mathbb {Q} ^{\times }\cong (\mathbb {R} \times {\hat {\mathbb {Z} }})/\mathbb {Z} ={\underset {\leftarrow }{\lim }}\mathbb { {\mathbb {R} }/m\mathbb {Z} )={\underset {x\mapsto x^{m}}{\lim }}S^{1}={\hat {\mathbb {Z} }}$, ce qui donne la relation annoncée. Un résultat analogue existe pour la théorie du corps de classes local, puisque chaque extension abélienne finie de $K/\mathbb {Q} _{p}$ est induite par une extension de corps $\mathbb {F} _{p^{n}}/\mathbb {F} _{p}$.