Description structurelle du groupe des unités O_K^× de l'anneau des entiers d'un corps de nombres K : O_K^× est le produit direct du groupe fini des racines de l'unité dans K et d'un groupe abélien libre de rang r+s−1, où r est le nombre d'immersions réelles de K et s le nombre de paires d'immersions complexes.

Principe

Les unités se décomposent en une partie de torsion (racines de l'unité) et une partie infinie dont le rang est déterminé par la signature du corps ; les plongements réels et complexes contrôlent le rang via la formule rang = r + s − 1.

Démonstration

Exemple : pour K=Q(√2) on a r=2, s=0, donc le groupe des unités est μ(K)×Z avec μ(K)={±1} ; une unité fondamentale est 1+√2 générant la partie cyclique infinie.

Mauvaise application

Supposer que le groupe des unités est fini pour tout corps de nombres ou que le théorème fournit des générateurs explicites et de petites unités fondamentales en général ; le théorème est structurel et ne donne pas à lui seul des générateurs minimaux effectifs dans tous les cas.

Conséquence

Il fournit l'existence d'une description finiment engendrée de O_K^×, sous-tend la définition du régulateur, et constitue une donnée de base pour la formule du nombre de classes et pour des méthodes effectives en géométrie arithmétique et équations diophantiennes.

Inversion

La perspective inverse met en évidence les corps de rang zéro (par exemple les quadratiques imaginaires), où le groupe des unités est fini et se réduit aux racines de l'unité ; la partie infinie disparaît et l'arithmétique se comporte différemment.

Limite

S'applique uniquement aux corps de nombres (extensions finies de Q) et à leurs anneaux d'entiers ; il ne s'applique pas sans adaptation aux corps de fonctions globaux (où la signature change) ni aux anneaux qui ne sont pas de Dedekind ou de degré infini.

Tension sémantique

Tension avec les attentes naïves d'effectivité : le théorème donne le rang et la structure de torsion mais pas des unités fondamentales uniformément petites, distinction souvent confondue avec la construction effective de générateurs.

Synthèse

Le Théorème des Unités de Dirichlet affirme que le groupe multiplicatif des entiers algébriques se décompose en un sous-groupe de torsion fini et un réseau abélien libre de rang fixé par les places réelles et complexes, fournissant un invariant structurel canonique (le régulateur) pour l'étude arithmétique.