Teorema de Unidades de Dirichlet

La descripción estructural del grupo de unidades O_K^× del anillo de enteros de un cuerpo de números K: O_K^× es el producto directo del grupo finito de raíces de la unidad en K y de un grupo abeliano libre de rango r+s−1, donde r es el número de inmersiones reales de K y s el número de pares de inmersiones complejas.