这里以代数曲线为例。
设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. |