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

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

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

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

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

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

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

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

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.