Satz 25.9
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 25 Zahlbereich/Gitter-Einbettung/Ideal/Diskriminante und Grundmasche/Fakt