Groupe profini

Modèle:Ébauche En théorie des groupes, un groupe profini est un groupe topologique obtenu comme limite projective de groupes finis discrets. La notion de groupe profini est particulièrement utile en théorie de Galois, pour pouvoir travailler avec des extensions infinies.

Comme plus généralement en théorie des catégories, cette limite projective est uniquement définie à unique isomorphisme près. Elle peut être interprétée comme objet final d'une bonne catégorie.

Définition

Les groupes profinis peuvent être définis de deux manières équivalentes.

Première définition (constructive)

Un groupe profini est un groupe topologique isomorphe à la limite projective d’un système projectif de groupes finis discrets. Dans ce contexte, un système projectif est constitué de : un ensemble partiellement ordonné $(I,\le )$, une famille indexée par $I$ de groupes finis $G_i:i\in I$ munis de la topologie discrète, une famille d’homomorphismes $f_i^j:G_j\to G_i\mid i,j\in I,i\le j$ où $f_i^i$ est l’application identité sur $G_i$, satisfaint la propriété de composition $f_i^j\circ f_j^k=f_i^k$ pour tout $i\le j\le k$. La limite projective est alors définie comme l’ensemble $\underleftarrow{\lim }{G}_i=\{(g_i{)}_{i\in I}\in \prod _{i\in I}{G}_i:f_i^j(g_j)=g_i\text{ pour tout }i\le j\}$ muni de la topologie relative. Cette limite peut également être définie en termes de théorie des catégories, ou encore à l’aide d’une propriété universelle, comme un objet initial pour une catégorie convenable.

Deuxième définition (axiomatique)

Un groupe profini est un groupe compact et totalement discontinu, c’est-à-dire un groupe topologique qui est également un espace de Stone.

Complétion profinie

Pour tout groupe arbitraire $G$, on peut lui associer un groupe profini $\hat{G}$, appelé la complétion profinie de $G$. La complétion profinie est définie comme la limite projective des groupes $G/N$, où $N$ parcourt les sous-groupes normaux d'indice fini dans $G$. Ces sous-groupes normaux sont ordonnés par inclusion, ce qui induit un système projectif d’homomorphismes naturels entre les quotients. Il existe un homomorphisme naturel $\eta :G\to \hat{G}$, dont l’image de $G$ dans $\hat{G}$ est dense. Cet homomorphisme est injectif si et seulement si $G$ est un groupe résiduellement fini (c’est-à-dire que $\bigcap N=1$, où l’intersection est prise sur tous les sous-groupes normaux $N$ d’indice fini). $\eta$ vérifie la propriété universelle suivante : pour tout groupe profini $H$ et tout homomorphisme de groupes continu $f:G\to H$ (où $G$ est muni de la topologie la plus grossière compatible avec ses opérations et où les sous-groupes normaux d’indice fini sont ouverts), il existe un unique homomorphisme continu $g:\hat{G}\to H$ tel que $f=g\eta$.

Équivalence

Tout groupe construit par la première définition satisfait les axiomes de la deuxième définition. Réciproquement, tout groupe $G$ vérifiant les axiomes de la deuxième définition peut être construit comme une limite projective, selon la première définition, en prenant $\underleftarrow{\lim }G/N$, où $N$ parcourt les sous-groupes normaux ouverts de $G$ ordonnés par inclusion inverse. Si $G$ est topologiquement de type fini, il est également égal à sa propre complétion profinie.

Systèmes surjectifs

En pratique, le système projectif des groupes finis est presque toujours surjectif, c’est-à-dire que toutes ses applications sont surjectives. Sans perte de généralité, il suffit de considérer des systèmes surjectifs, car il est toujours possible de construire un groupe profini $G$ à partir d’un système quelconque, puis de le reconstruire comme sa propre complétion profinie.

Exemples

Pour tout nombre premier p, le groupe additif de l'anneau ${\mathbb{Z}}_p=\underleftarrow{\lim }\mathbb{Z}/p^n\mathbb{Z}$ des [[Nombre p-adique#Constructions de ℤp|entiers Modèle:Math-adiques]] est profini, comme limite projective de groupes cycliques finis. Ce groupe peut être considéré comme le Modèle:Lien de $\mathbb{Z}$.

En particulier, les entiers peuvent être vus comme des éléments de ce groupe profini : tout entier peut s'écrire comme une somme finie $\alpha =\sum _i{a}_i{p}^i,$ avec a_i inférieur à p. On pose alors ${\alpha }_n=\sum _{i\le n}{a}_i{p}^i$.

On peut de même construire le complété profini $\hat{\mathbb{Z}}$ du groupe des entiers relatifs en considérant le système projectif formé à partir de tous les $\mathbb{Z}/n\mathbb{Z}$ (l'idéal $n\mathbb{Z}$ étant considéré comme un sous-groupe du groupe additif de $\mathbb{Z}$).

Topologie

Par le théorème de Tykhonov, on constate qu'un groupe profini est compact pour la topologie initiale, chacun des groupes finis du système projectif étant muni de la topologie discrète.

On a en fait la caractérisation suivante : Modèle:Énoncé

Théorie de Sylow

Les groupes profinis ont une structure suffisamment proche de celle des groupes finis pour que la théorie de Sylow s'y énonce de manière analogue au cas classique ; la démonstration se faisant par un simple passage à la limite.

Théorie de Galois

Le groupe de Galois d'une extension de corps infinie admet une structure naturelle de groupe profini: en effet, ses quotients finis (qui correspondent via la correspondance de Galois aux sous-extensions finies de l'extension considérée) munis de leur topologie discrète forment, avec les morphismes canoniques entre eux, un système projectif de groupes topologiques, dont ledit groupe est isomorphe à celui sous-jacent à la limite.

Le cas du Modèle:Lien ${\mathbb{Z}}_p$ de $\mathbb{Z}$ apparaît notamment en théorie d'Iwasawa.

Bibliographie

• Modèle:RibesZalesskii
• Modèle:JSWilson1

Articles connexes

• Modèle:Lien
• Entier profini