既約

這裏以代數曲線為例。

設C是代數曲線， C_1,C_2,...,C_n是C所有的不可約分支。

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

C稱為既約，如果所有m_i=1.

從方程角度來看：C是由局部仿射方程 f(x,y)=0定義，此處 f（x,y）是多項式。

f(x,y)可以因式分解為：

f(x,y)=∏(p_i(x,y))^(m_i) ,此處m_i是正整數，p_i(x,y)是不可約多項式。

f(x,y)稱為既約，如果所有的m_i=1.

p_i(x,y)=0定義了C的不可約分支C_i, 從而C=∑m_iC_i.