Groupe profini

Groupe profini

En théorie des groupes, un groupe profini est un groupe topologique obtenu comme limite projective de groupes finis. 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.

Sommaire

Exemples

L'exemple le plus simple de groupe profini provient certainement de la famille des \Z/p^n\Z, où p est un nombre premier fixé, n variant parmi les entiers naturels. Il est bien connu qu'il existe des morphismes surjectifs \phi_{m,n}\Z/p^m\Z\to\Z/p^n\Z pour m plus grand que n ; avec de bonne propriétés de composition entre eux. Un élément du groupe profini associé à ce système projectif est alors la donnée d'une famille n)n où chaque αn est dans \Z/p^n\Z, et tel que deux coordonnées vérifient toujours : ϕm,nm) = αn. On note \Z_p ce groupe profini, qui peut par ailleurs être obtenu comme un anneau d'entiers dans la théorie des corps de nombres p-adiques. Ce groupe est en fait le pro-p-complété du groupe des entiers relatifs.

En particulier, les entiers relatifs peuvent être vus comme des éléments de ce groupe profini : tout entier peut s'écrire comme une somme finie

α = aipi,
i

avec ai inférieur à p. On pose alors \alpha_n=\sum_{i\leq n} a_ip^i.

On peut de même construire le complété profini \hat{\Z} du groupe des entiers relatifs en considérant le système projectif formé à partir de tous les \Z/n\Z.

Topologie

Par le théorème de Tychonov, 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 : un groupe compact est profini si et seulement s'il est totalement discontinu.

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 infinie peut facilement être vu comme un groupe profini : en effet, ses quotients finis (qui correspondent via la correspondance de Galois aux sous-extensions finies), forment un système projectif, dont la limite est le groupe considéré.

Le cas du pro-p-complété \Z_p de \Z apparaît notamment en théorie d'Iwasawa.

Bibliographie

  • (en) Luis Ribes et Pavel Zalesskii, Profinite Groups [détail des éditions] 
  • (en) John S. Wilson, Profinite groups [détail des éditions] 

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Groupe profini de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Groupe Profini — En théorie des groupes, un groupe profini est une généralisation de la notion de groupes finis. Elle est particulièrement utile en théorie de Galois, pour pouvoir travailler avec des extensions infinies. Par définition, un groupe profini est la… …   Wikipédia en Français

  • Groupe De Galois Absolu — En mathématiques, le groupe de Galois absolu d un corps commutatif K est le groupe de Galois de l extension séparable maximale, la clôture séparable, Ksep du corps K. Dans le cas d un corps parfait (et donc en particulier en caractéristique… …   Wikipédia en Français

  • Groupe de galois absolu — En mathématiques, le groupe de Galois absolu d un corps commutatif K est le groupe de Galois de l extension séparable maximale, la clôture séparable, Ksep du corps K. Dans le cas d un corps parfait (et donc en particulier en caractéristique… …   Wikipédia en Français

  • Groupe de Galois absolu — Pour les articles homonymes, voir Absolu. En mathématiques, le groupe de Galois absolu d un corps commutatif K est le groupe de Galois d une clôture séparable (extension algébrique séparable maximale) Ksep du corps K. Dans le cas d un corps… …   Wikipédia en Français

  • Groupe compact — En mathématiques, et plus particulièrement en analyse harmonique abstraite, un groupe compact est un groupe topologique dont l espace topologique sous jacent est compact. Les groupes compacts sont des groupes unimodulaires, dont la compacité… …   Wikipédia en Français

  • Groupe topologique — En mathématiques, un groupe topologique est un groupe muni d une topologie compatible avec la structure de groupe, c est à dire lorsque la loi de composition interne du groupe et le passage à l inverse sont deux applications continues. L étude… …   Wikipédia en Français

  • Theorie de Galois inverse — Théorie de Galois inverse En mathématiques et plus précisément en algèbre la Théorie de Galois inverse est une branche de la Théorie de Galois. L objet de la théorie est de répondre à la question : Soit G un groupe et K un corps, existe t il …   Wikipédia en Français

  • Théorie de Galois inverse — En mathématiques et plus précisément en algèbre la théorie de Galois inverse est une branche de la théorie de Galois. L objet de la théorie est de répondre à la question : Soit G un groupe et K un corps, existe t il une extension de corps de …   Wikipédia en Français

  • Théorie de galois inverse — En mathématiques et plus précisément en algèbre la Théorie de Galois inverse est une branche de la Théorie de Galois. L objet de la théorie est de répondre à la question : Soit G un groupe et K un corps, existe t il une extension de corps de …   Wikipédia en Français

  • TOPOLOGIQUE (ALGÈBRE) — L’algèbre topologique est consacrée à l’étude d’ensembles munis d’une topologie et d’une structure algébrique définie par des lois de composition continues (cf. TOPOLOGIE, ALGÈBRE). Les exemples les plus importants sont les groupes topologiques,… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”