Zahlbereich/Nenneraufnahme/Element/Rang/Aufgabe

Es sei ein Zahlbereich mit reellen und Paaren von komplexen Einbettungen. Es sei , , ein Element mit der Primidealzerlegung

Zeige, dass die Einheitengruppe der Nenneraufnahme isomorph zu ist.