既約

這裡以代數曲線為例。

設C是代數曲線， 是C所有的不可約分支。

我們知道C總可以寫成 (是正整數).

C稱為既約，如果所有

從方程角度來看：C是由局部仿射方程 定義，此處是多項式。

可以因式分解為：

,此處是正整數，是不可約多項式。

稱為既約，如果所有的

定義了C的不可約分支, 從而