典範環(canonical ring)是代數簇的雙有理不變數之一,當X是光滑射影簇時,x是其典範層。 定義X的典範環為對於一般的代數簇,它的典範環就是與它雙有理等價的光滑射影簇的典範環.典範環是否有限生成是一個重要而又困難的問題,這一問題直接聯繫到X的典範模型的存在性.當X是2維或3維的一般型代數簇時,有限生成性已被證明,更高維數的情形則尚未解決.