アルティン環
Thus formula_63 is an Artinian ring, which is a -vector space of dimension , and Jordan–Hölder theorem may be used for proving that is the degree of the algebraic set . In fact, the multiplicity of a point is the number of occurrences of the corresponding maximal ideal in a composition series.