The expression of an ideal I in a Noetherian ring (commonly a polynomial ring) as a finite intersection I = Q1 ∩ … ∩ Qr of primary ideals Qi, where each Qi has a radical Pi that is prime; this decomposition isolates the primary components corresponding to the distinct prime-associated geometric components of V(I).

Principle

In a Noetherian setting every ideal has an irredundant decomposition into primary components indexed by associated primes; isolated primes give primary components whose radical equals the prime, while embedded primes correspond to components contained in others.

Demonstration

In k[x,y], let I = (x^2, xy). One primary decomposition is I = (x) ∩ (x^2, y). Here (x) is prime (and hence primary) with radical (x), while (x^2,y) is primary with radical (x,y), reflecting an embedded component at the origin and the one-dimensional component x=0.

Misapplication

Treating any intersection of primary ideals as the primary decomposition of I without verifying minimality and associated primes leads to incorrect statements; confusing primary decomposition with radical decomposition (I = ⋂ sqrt(Qi)) misses the multiplicity and embedded information.

Consequence

Primary decomposition reveals the embedded and isolated geometric pieces of Spec(R/I), clarifies multiplicities and local behavior, and guides computations of radicals, localizations, and sheaf-theoretic decompositions.

Reversal

If one inverts the aim—seeking only radical components (primes) and discarding primary structure—information about nilpotents and multiplicities is lost; conversely insisting on unique primary factors fails because primary components are not unique beyond their radicals.

Boundary

Valid in Noetherian rings (polynomial rings over fields, local Noetherian rings). In non-Noetherian rings primary decompositions need not exist or be finite; uniqueness holds only up to inclusion and radicals, not to the level of the individual primary ideals.

Semantic Tension

Primary decomposition competes conceptually with prime decomposition of radical ideals: radical decomposition captures the set-theoretic support (the primes), while primary decomposition refines this by encoding scheme-theoretic multiplicity and embedded structure.

Synthesis

Primary decomposition factors an ideal into primary pieces whose radicals are primes, separating geometric components and encoding embedded multiplicities; it is a Noetherian tool that complements radical and localization techniques for detailed local and global structure.