子概形的圈

设 $X$ 是一个概形， $X_1,\dots,X_t$ 是它的不可约分支。它们对应的局部环 $\calO_{X_i,X}$ 都是零维的。$X_i$ 在 $X$ 中的几何重数定义为 $\calO_{X_i,X}$ 的长度，即 $$m_i = l_{\calO_{X_i,X}} (\calO_{X_i,X}).$$

$X$ 的圈 $[X]$ 定义为 $$[X] = \sum_{i=1}^t m_i [X_i].$$