Math 2.0

Commutative algebra Definition

Primary decomposition

Builds on Commutative ringIdealPrimary idealRadical of an ideal

Definition

Let RR be a commutative ring and let II be an ideal of RR. A primary decomposition of II is an expression I=Q1∩⋯∩QnI = Q_1 \cap \cdots \cap Q_n, with n≥1n \ge 1, in which each QiQ_i is a primary ideal. The decomposition is minimal if these two conditions hold:

  1. The radicals Q1,…,Qn\sqrt{Q_1}, \dots, \sqrt{Q_n} are pairwise distinct.
  2. For each ii, the intersection of the QjQ_j with j≠ij \ne i is not contained in QiQ_i.

Remarks

Example: in k[x,y]k[x, y] over a field kk, (x2,xy)=(x)∩(x2,y)(x^2, xy) = (x) \cap (x^2, y), where (x)(x) is prime and (x2,y)(x^2, y) is (x,y)(x, y)-primary; the radicals differ and neither term contains the other, so the decomposition is minimal. Non-example: (6)=(2)∩(6)(6) = (2) \cap (6) in ℤ\Z is not a primary decomposition, because (6)(6) is not primary. The decomposition (x2,xy)=(x)∩(x2,xy,y2)(x^2, xy) = (x) \cap (x^2, xy, y^2) is another minimal one, so the primary components need not be unique. In the same way one defines a primary decomposition of a submodule NN of a module MM, with primary submodules.

Reading path

To understand this page from the ground up, read these 8 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. Group concept
  2. Radical of an ideal concept
  3. Ring definition
  4. Commutative ring definition
  5. Ideal definition
  6. Prime ideal definition
  7. Primary ideal definition
  8. Primary decomposition definition

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Primary_decomposition
About this page
TagM2VPVJH33K
URIm2://M2VPVJH33K
Kinddefinition
WritingW0 stub
MSC13A15, 13C05
DefinesPrimary decomposition
UsesCommutative ring, Ideal, Primary ideal, Radical of an ideal
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • 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

Used by