Hyperelliptinen käyrä

Malline:Korjattava Matematiikassa hyperelliptinen käyrä on aritmeettisen geometrian termi. Olkoon $X$ sileä, geometrisesti yhtenäinen projektiivinen käyrä, jonka genus on vähintään yksi, yli kunnan k. Tällöin X on hyperelliptinen jos X:ssä on olemassa Cartierin divisori D jolle $l(D)=\mathrm{deg}D=2$. Tässä määritellään jokaiselle Cartierin divisorille $D\in \mathrm{Div}(X)$ ensiksi $L(D):=H^0(X,{𝒪}_X(D))$ ja $l(D):={\dim }_{k}L(D)$..