Théorème 90 de Hilbert

Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant l'algèbre.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

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, de par son interprétation homologique.

Ce théorème tire son nom de l'ouvrage paru en 1897, Zahlbericht, 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.

Considérant une extension cyclique de corps de nombres L/K, et g un générateur de son groupe de Galois G, ce théorème stipule que tout élément a de L de norme 1 est de la forme :

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

pour un certain élément b du corps L. Cette propriété traduit en fait très exactement l'annulation du premier groupe de cohomologie galoisienne H^1(G,L^\times).

Autres langues