In abstract algebra, multiplicity theory concerns the multiplicity of a module M at an ideal I (often a maximal ideal)
eI(M).
The main focus of the theory is to detect and measure a singular point of an algebraic variety (cf. resolution of singularities). Because of this aspect, valuation theory, Rees algebras and integral closure are intimately connected to multiplicity theory.
Let R be a positively graded ring such that R is finitely generated as an R0-algebra and R0 is Artinian. Note that R has finite Krull dimension d. Let M be a finitely generated R-module and FM(t) its Hilbert–Poincaré series. This series is a rational function of the form
P(t) | |
(1-t)d |
,
where
P(t)
e(M)=P(1).
The series may be rewritten
F(t)=
d | |
\sum | |
1 |
{ad-i\over(1-t)d}+r(t).
where r(t) is a polynomial. Note that
ad-i
e(M)=a0.
As Hilbert–Poincaré series are additive on exact sequences, the multiplicity is additive on exact sequences of modules of the same dimension.
The following theorem, due to Christer Lech, gives a priori bounds for multiplicity.[1] [2]