Proposition 1Théorie algébrique des nombres
Norme et unités
(i) La norme est multiplicative : .
(ii) Un élément est inversible dans si et seulement si .
(iii) Pour , les unités sont en nombre fini : en général, pour , et les six racines sixièmes de l'unité pour .
(iv) Pour , est une unité d'ordre infini : a une infinité d'unités.
Démonstration
(i) La conjugaison est un automorphisme de , puisque et ont le même polynôme minimal (Corps de décomposition) ; donc .
(ii) Si avec , avec des normes entières (Corps quadratiques). Réciproquement, si , , et est entier, ayant même trace et même norme que .
(iii) Pour , , avec , et les unités sont les solutions de par (ii).
Si , alors , et force et , sauf pour , où s'ajoutent .
Si , donc , on écrit avec et . Alors et , ou bien et , ce qui donne les six racines sixièmes de l'unité.
(iv) . Comme , ses puissances sont strictement croissantes, donc deux à deux distinctes.
□Les unités de donnent toutes les solutions de l'équation de Pell-Fermat : , , et .
Le théorème des unités de Dirichlet décrit en général le groupe des unités d'un corps de nombres ; il est admis ici.