Théorème des Unités de Dirichlet

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.