Gitter/Komplexe Zahlen/Untergitter/Isogenie/Charakterisierung/Fakt/Beweis

Beweis

Von (1) nach (2), (3). Nach Fakt können wir $s{\Gamma }_1$ durch ${\Gamma }_1$ ersetzen, da dies den Quotienten mit seiner holomorphen Struktur nicht ändert. Die Aussage (2) und (3) folgen somit aus Fakt und Fakt. Aus (2) bzw. (3) folgt direkt (4). Es sei also (4) erfüllt. Wir betrachten den zusammengesetzten holomorphen Gruppenhomomorphismus

$ℂ\stackrel{{\pi }_1}{⟶}ℂ/{\Gamma }_1\stackrel{\phi }{⟶}ℂ/{\Gamma }_2.$

Der Kern dieser Abbildung umfasst ${\Gamma }_1$. Nach Fakt besitzt diese Gesamtabbildung eine Faktorisierung

$ℂ\stackrel{\cdot s}{⟶}ℂ\stackrel{{\pi }_2}{⟶}ℂ/{\Gamma }_2$

mit einer komplexen Zahl $s$. Somit gilt  $s\cdot {\Gamma }_1\subseteq {\Gamma }_2$  und wegen der Nichtkonstanz ist  $s\ne 0$. 

Zur bewiesenen Aussage