Zahlbereich/Logarithmische Gesamtabbildung/Grundlegende Eigenschaften/Fakt
Es sei der Ganzheitsring zu einer endlichen Körpererweiterung mit reellen Einbettungen und Paaren von komplexen Einbettungen.
Dann besitzt die logarithmische Gesamtabbildung
die folgenden Eigenschaften.
- Der Kern von eingeschränkt auf ist die Gruppe der Einheitswurzeln und insbesondere eine endliche zyklische Gruppe.
- Das Bild liegt in der Hyperebene .
- Das Bild ist eine diskrete Untergruppe von .