Kanonieke ring

In de algebraïsche meetkunde, een deelgebied van de wiskunde, is de plurikanonieke ring van een niet-singuliere algebraïsche variëteit $V$ de gegradeerde ring

$R(V,K)=R(V,K_V)$

van secties van de machten van de kanonieke bundel $K$. Zijn $n$-de gegradeerde component ($n\ge 0$) is:

$R_n=H^0(V,K^n)$

dat wil zeggen, de ruimte van secties van het $n$-de tensorproduct $K^n$ van de kanonieke bundel $K$.