Math 2.0

Commutative algebra Definition

Multiplicity of a local ring

Builds on Local ringHilbert–Samuel functionKrull dimensionPrimary idealNoetherian ring

Definition

Let (R,𝔪)(R, \mathfrak m) be a Noetherian local ring of Krull dimension dd, and let II be an 𝔪\mathfrak m-primary ideal. Let PP be the polynomial that agrees with the Hilbert–Samuel function n↦ℓ(R/In)n \mapsto \ell(R/I^n) for all large nn. It has degree dd, and its leading coefficient has the form e/d!e/d! for a positive integer ee. The integer e=e(I,R)e = e(I, R) is the multiplicity of II. The multiplicity of RR is e(R)=e(𝔪,R)e(R) = e(\mathfrak m, R).

Remarks

Example: let R=k[x,y](x,y)/(y2−x3)R = k[x, y]_{(x, y)}/(y^2 - x^3), with kk a field. For n≥2n \ge 2, ℓ(R/𝔪n)=2n−1\ell(R/\mathfrak m^n) = 2n - 1, since the monomials of degree <n< n in k[x,y]k[x, y] number n(n+1)/2n(n+1)/2 and those divisible by y2y^2 number (n−2)(n−1)/2(n-2)(n-1)/2. So d=1d = 1, the leading coefficient is 2=e/1!2 = e/1!, and e(R)=2e(R) = 2. Non-example: the function n↦ℓ(R/In)n \mapsto \ell(R/I^n) for an ideal II that is not 𝔪\mathfrak m-primary, such as I=(y)I = (y) in k[x,y](x,y)k[x, y]_{(x, y)}, takes infinite values, so it has no multiplicity in this sense. A regular local ring has multiplicity 11, and an Artinian local ring RR has e(R)=ℓ(R)e(R) = \ell(R).

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Hilbert–Samuel function concept
  2. Krull dimension concept
  3. Local ring concept
  4. Noetherian ring concept
  5. Primary ideal concept
  6. Multiplicity of a local ring definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Hilbert–Samuel_function
About this page
TagB7CV5DZPRK
URIm2://B7CV5DZPRK
Kinddefinition
WritingW0 stub
MSC13H15, 13D40
DefinesMultiplicity of a local ring
UsesLocal ring, Hilbert–Samuel function, Krull dimension, Primary ideal, Noetherian ring
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.