這裏以代數麯綫為例。
設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. |