Kompakte riemannsche Fläche/Divisorenklassengruppe Grad 0/Jacobische Varietät/Abel-Jacobi/Fakt/Beweis

Beweis

Die Abbildung ist nach Fakt ein wohldefinierter Gruppenhomomorphismus. Aus Fakt folgt, dass er surjektiv ist.