Zahlbereich/Gitter-Einbettung/Ideal/Diskriminante und Grundmasche/Fakt
Es sei ein Zahlbereich mit reellen Einbettungen und Paaren von komplexen Einbettungen. Es sei ein von verschiedenes Ideal und es sei eine Grundmasche des vollständigen Gitters .
Dann ist das Volumen von (bezüglich der euklidischen Standardmetrik des ) gleich