Gitter/Komplexe Zahlen/Streckung/Isogenie/Kernanzahl und Determinante/Aufgabe/Lösung


Nach Fakt ist die Anzahl des Kernes der Isogenie gleich der Anzahl von . Es liegt ein kommutatives Diagramm

wobei die vertikalen Abbildungen Isomorphismen sind. Die Aussage folgt somit mit dem Betrag der Determinante aus Aufgabe. Es ist noch zu zeigen, dass die Determinante stets positiv ist. Es sei und eine Basis des Gitters. Nach Voraussetzung gilt

und

mit . Als Isomorphismus des reellen Vektorraumes wird die Multiplikation mit einerseits bezüglich der Standardbasis durch die reelle Matrix mit der positiven Determinante und andererseits bezüglich der reellen Basis durch die Matrix

beschrieben, die somit auch eine positive Determinante besitzt.