既约

这里以代数曲线为例。

设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.