Representation galoisienne

Representation galoisienne

Représentation galoisienne

La théorie des représentations galoisiennes est l'application naturelle de la théorie des représentations à la théorie algébrique des nombres. Un module galoisien est un module sur lequel agit un groupe de Galois G. Ces modules seront par exemple des groupe d'unité, des groupes des classes, ou des groupes de Galois eux-mêmes.

Base normale d'entiers

En théorie algébrique des nombres classique, soit L une extension de corps K, et soit G le groupe de Galois correspondant. Alors l'anneau OL d'entiers de L peut être considéré comme un OK[G]-module. Le théorème de la base normale assure que L est un K[G]-module libre de rang 1 ; c'est un résultat de théorie des corps. La question arithmétique analogue peut donc s'énoncer : OL est-il un OK[G]-module de rang 1. C'est la question de l'existence d'une base normale d'entiers, c'est-à-dire d'\alpha\, dans OK tel que ses éléments conjugués sous G donnent une OK-base de OL. Cette question se pose particulièrement dans le cas où K est le corps \mathbb{Q}\, des nombres rationnels.

En fait, tous les sous-corps des corps cyclotomiques, c'est-à-dire des Qp) où ζp est une racine p-ième de l'unité pour p un nombre premier, ont des bases normales d'entiers (sur \mathbb{Z}\,) ; ceci se déduit de la théorie des périodes de Gauss. En revanche, le corps de Gauss Q(i) n'en admet pas. En fait, ces exemples s'insrivent dans le cadre plus général d'une condition nécessaire trouvée par la mathématicienne Emmy Noether : en prenant K = \mathbb{Q}\, le théorème de Noether établit que le fait que la ramification soit modérée est nécessaire et suffisante pour que OL soit un module projectif sur Z[G]. C'est par conséquent une condition nécessaire pour qu'il soit un module libre. Cela laisse en suspens la question de la différence entre libre et projectif, pour lequel beaucoup de travail a maintenant été fait.

Cohomologie étale

Dans le cas d'un groupe G profini, c'est-à-dire si G est groupe de Galois d'une extension infinie, il existe une grande quantité de G-modules disponibles en théorie cohomologie étale, qui est une théorie algébrique (et par conséquent exhibe la 'covariance' en ce qui concerne la symétrie de Galois). Une découverte de base des années 1960 montre que de tels modules sont comme non-triviaux comme ils peuvent être, en général; de sorte que la théorie des plutôt riche.

Programme de Langlands

Ce document provient de « Repr%C3%A9sentation galoisienne ».

Wikimedia Foundation. 2010.

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

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

Regardez d'autres dictionnaires:

  • Représentation galoisienne — La théorie des représentations galoisiennes est l application naturelle de la théorie des représentations à la théorie algébrique des nombres. Un module galoisien est un module sur lequel agit un groupe de Galois G. Ces modules seront par exemple …   Wikipédia en Français

  • Représentation des groupes finis — Représentations d un groupe fini En mathématiques, un groupe est une structure algébrique dont la définition est remarquablement simple. Elle consiste en un ensemble muni d une unique opération. Cette opération possède de bonnes propriétés, elle… …   Wikipédia en Français

  • Module de Galois — Représentation galoisienne La théorie des représentations galoisiennes est l application naturelle de la théorie des représentations à la théorie algébrique des nombres. Un module galoisien est un module sur lequel agit un groupe de Galois G. Ces …   Wikipédia en Français

  • Module galoisien — Représentation galoisienne La théorie des représentations galoisiennes est l application naturelle de la théorie des représentations à la théorie algébrique des nombres. Un module galoisien est un module sur lequel agit un groupe de Galois G. Ces …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Théorème de la base normale — En mathématiques, le théorème de la base normale s inscrit dans la théorie de Galois. Il énonce que si est une extension finie galoisienne de corps commutatifs, de groupe de Galois G, alors il existe un élément x de L dont l orbite Gx est une… …   Wikipédia en Français

  • Theoreme d'Abel (algebre) — Théorème d Abel (algèbre) Pour les articles homonymes, voir Théorème d Abel. Niels Henrik Abel (1802 …   Wikipédia en Français

  • Théorème d'Abel-Ruffini — Théorème d Abel (algèbre) Pour les articles homonymes, voir Théorème d Abel. Niels Henrik Abel (1802 …   Wikipédia en Français

  • Théorème d'Abel (Algèbre) — Pour les articles homonymes, voir Théorème d Abel. Niels Henrik Abel (1802 …   Wikipédia en Français

  • Théorème d'abel (algèbre) — Pour les articles homonymes, voir Théorème d Abel. Niels Henrik Abel (1802 …   Wikipédia en Français

Share the article and excerpts

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