Quadratischer Zahlbereich/Reell/Fundamentaleinheit/Größer 1/Fakt/Beweis

Beweis

Die Einheitengruppe von ist nach Fakt isomorph zu , alle Einheiten sind von der Form mit und einer Fundamentaleinheit . Diese Beschreibung gilt auch in der Einbettung nach . Mit ist genauso und eine Fundamentaleinheit. Damit können wir annehmen. Zwischen und kann es keine weitere Einheit aus geben, da sie ja die Form besitzt, was bei negativem Vorzeichen negativ ist und bei (positivem Vorzeichen und) zwischen und liegt. Für ist .