Kanonieke ring

In de algebraïsche meetkunde, een deelgebied van de wiskunde, is de plurikanonieke ring van een algebraïsche variëteit V (dat is niet-singuliere) of van een complexe variëteit de gegradeerde ring

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

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

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

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