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

Es sei ${}A_{D}$ ein reell-quadratischer Zahlbereich zu quadratfreiem ${}D\geq 2$ und sei ${}A_{D}\subseteq \mathbb {R}$ eine fixierte reelle Einbettung.

Dann besitzt ${}A_{D}^{\times }\cap \mathbb {R} _{>1}$ ein Minimum und dieses ist eine Fundamentaleinheit.