##  [Primary Decomposition](/primary-decomposition-2) 

 Definition

The expression of a suitably finitary substructure (typically an ideal in a Noetherian ring) as an intersection of primary substructures, where each primary component has an associated prime controlling its nilpotent behavior.

 

 

 

 

 

 





## Principle

Principle

Decompose by isolating components whose radicals are prime: an ideal I is written as I = ⋂ Q_i with each Q_i primary and rad(Q_i) = P_i; associated primes P_i are intrinsic and record geometric or combinatorial multiplicity, while primary components may not be unique but have uniquely determined minimal parts.

 

 

 

 

 





## Demonstration

Demonstration

In Z the ideal (12) admits the primary decomposition (12) = (4) ∩ (3), where (4) is 2-primary and (3) is 3-primary. In k[x,y], an ideal defining intersecting curves decomposes into components corresponding to the branches and embedded points.

 

 

 

 

## Misapplication

Misapplication

Assuming uniqueness of primary components without distinguishing minimal versus embedded components, or attempting primary decomposition in non-Noetherian rings where existence may fail, leads to invalid conclusions.

 

 

 

 

 





## Consequence

Consequence

Primary decomposition reveals the associated primes, primary multiplicities, and embedded structure of the object; it enables localization, computation of radicals and primary parts, and geometric interpretation of components and singularities.

 

 

 

 

## Reversal

Reversal

The opposite is forming sums or products of primary components to create non-intersective combinations; reversing the intersection typically loses the fine primary information (embedded primes, multiplicities) that decomposition exposes.

 

 

 

 

 





## Boundary

Boundary

Primary decomposition requires finiteness hypotheses (Noetherian rings) for existence and algorithmic computability; the uniqueness statement applies only to minimal primary components and associated primes, while embedded components are non-unique and sensitive to choices.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Primary decomposition is close to but distinct from prime decomposition and radical decomposition: prime decomposition (factorization into prime ideals) often fails, radical decomposition records only radicals (primes) while primary decomposition retains nilpotent and multiplicity data.

 

 

 

 

 





## Synthesis

Synthesis

Primary decomposition is the canonical intersection representation of a finitary substructure as primary components whose radicals are primes, exposing both the prime support and nilpotent multiplicity structure and serving as a bridge between algebraic and geometric descriptions.