Dirichlets Einheitensatz
Definition
Strukturbeschreibung der Einheitengruppe O_K^× des Ganzheitsrings eines Zahlkörpers K: O_K^× ist das direkte Produkt der endlichen Gruppe der Einheitswurzeln in K und einer freien abelschen Gruppe vom Rang r+s−1, wobei r die Zahl der reellen Einbettungen und s die Zahl der Paare komplexer Einbettungen ist.