Riemannsche Flächen/Basisfläche/Endliche Körpererweiterung/Fakt

Es sei ${}\pi \colon Y\rightarrow X$ eine endliche holomorphe Abbildung zwischen zusammenhängenden riemannschen Flächen der Blätterzahl ${}n$.

Dann ist

${}{\mathcal {M}}(X)\subseteq {\mathcal {M}}(Y)\,$

eine endliche Körpererweiterung vom Grad ${}\leq n$.

Zum Beweis, Alternativen Beweis erstellen