Théorème 90 de Hilbert

En théorie de Galois, le théorème 90 de Hilbert est une propriété algébrique d'énoncé simple et de grande portée par son interprétation homologique.

Ce théorème tire son nom de l'ouvrage paru en 1897, Zahlbericht (en), par David Hilbert, dans lequel il est énoncé, et démontré, comme théorème 90. Il a été ensuite généralisé par Emmy Noether.

Énoncé

Théorème 90 de Hilbert — Considérant une extension cyclique de corps de nombres L/K, et $g$ un générateur de son groupe de Galois G, un élément $a$ de L est de norme 1 si, et seulement si, il est de la forme :

a={\frac {b}{g(b)}}

pour un certain élément $b$ du corps L[1].

Cette propriété traduit en fait très exactement l'annulation du premier groupe de cohomologie galoisienne H¹(G, L^×)[2].

Voir aussi

Notes et références

Serge Lang, Algèbre [détail des éditions], § VI.6.
Lang, § VI.10.

Portail de l’algèbre

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] Serge Lang, Algèbre [détail des éditions], § VI.6.

[2] Lang, § VI.10.