Riemannin–Rochin lause

Matematiikassa Riemannin–Rochin lause on funktioteoriaan ja algebralliseen geometriaan liittyvä tulos.

Lause

Olkoon annettu kompakti Riemannin pinta, jonka genus on g ja kanoninen divisori K. Olkoon D pinnan piste, joka on siis vapaan Abelin ryhmän alkio. Tällöin

l(D) − l(K − D) = deg(D) − g + 1.

Yhtäpitävästi divisori on äärellinen kokonaiskertoiminen lineaarikombinaatio pinnan pisteistä.