Module galoisien

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 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 Module galoisien de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • 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

  • 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

  • Variété abélienne — En mathématiques, et en particulier, en géométrie algébrique et en analyse complexe, une variété abélienne A est une variété algébrique projective qui est un groupe algébrique. La condition de « projectivité » est l équivalent de… …   Wikipédia en Français

  • 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 …   Wikipédia en Français

  • NOMBRES (THÉORIE DES) - Nombres algébriques — Les mathématiciens grecs avaient découvert que certains rapports de grandeurs ne sont pas rationnels, c’est à dire qu’ils ne sont pas égaux au rapport de deux entiers: il en est ainsi du rapport de la diagonale d’un carré à son côté, puisque… …   Encyclopédie Universelle

  • Logarithme Complexe — Courbe de densité représentant la branche principale de la fonction logarithme complexe. En mathématiques, le logarithme complexe est une fonction généralisant la fonction logarithme naturel (définie sur …   Wikipédia en Français

  • Logarithme complexe — Courbe de densité représentant la branche principale de la fonction logarithme complexe. En mathématiques, le logarithme complexe est une fonction généralisant la fonction logarithme naturel (définie sur ) au domaine des nombres comple …   Wikipédia en Français

  • Representations d'un groupe fini — 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

  • 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

  • Représentations d'un groupe fini — En mathématiques, un groupe est une structure algébrique qui consiste en un ensemble muni d une unique opération. Cette opération possède de bonnes propriétés, elle est associative, il existe un élément neutre et tout élément admet un inverse. Un …   Wikipédia en Français

Share the article and excerpts

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