Fact-checked by Grok 2 weeks ago

Primary decomposition

In commutative algebra, primary decomposition is the process of expressing a proper ideal in a ring as the finite intersection of primary ideals, providing a fundamental tool for analyzing the structure of ideals analogous to prime factorization in the integers.^[1] A primary ideal q in a commutative ring A with identity is defined as a proper ideal such that if xy \in q for elements x, y \in A, then either x \in q or y^n \in q for some positive integer n; equivalently, every zero-divisor in the quotient ring A/q is nilpotent.^[1] Every prime ideal is primary, but the converse holds only if the nilpotency index is 1.^[1] The existence of primary decompositions is guaranteed in Noetherian rings—commutative rings where every ascending chain of ideals stabilizes—by the Lasker–Noether theorem, which states that every proper ideal admits such a decomposition into finitely many primary ideals.^[1] This theorem was originally established by Emanuel Lasker in 1905 for ideals in polynomial rings over fields or power series rings.^[2] Emmy Noether extended it in 1921 to all ideals in arbitrary commutative Noetherian rings, marking a pivotal advancement in ideal theory.^[3] Among all primary decompositions of an ideal a, a minimal (or irredundant) one is characterized by having distinct radicals p_i = \sqrt{q_i} for the primary components q_i, with no q_i containing the intersection of the others, ensuring the decomposition is as concise as possible.^[1] The radicals p_i in a minimal decomposition are precisely the associated prime ideals of a, which are the prime ideals appearing as annihilators of elements in the quotient module A/a; notably, the minimal associated primes (corresponding to isolated components) are unique and independent of the choice of decomposition.^[1] Primary decomposition plays a crucial role in broader algebraic structures, such as the primary decomposition theorem for finitely generated modules over Noetherian rings, and has profound implications in algebraic geometry, where it corresponds to the decomposition of subschemes into irreducible components with embedded structure.^[1]

Core Concepts

Definition of Primary Ideals

In commutative algebra, a proper ideal q in a commutative ring R with identity is called primary if, whenever ab \in q for elements a, b \in R, either a \in q or there exists a positive integer n such that b^n \in q.^[4] This condition ensures that the quotient ring R/q has the property that every zero-divisor is nilpotent.^[5] Every prime ideal is primary, since if ab \in p with p prime, then a \in p or b \in p, and thus b^1 \in p.^[6] The radical of a primary ideal q, denoted \sqrt{q} = \{ r \in R \mid r^k \in q \text{ for some } k \geq 1 \}, forms a prime ideal p, and q is said to be p-primary.^[4] This prime p is the unique minimal prime ideal containing q, and q contains some power p^n for n \geq 1.^[5] Examples of primary ideals include powers of prime ideals. In the polynomial ring k over a field k, the ideal (x^n) is (x)-primary for any n \geq 1, as its radical is the prime ideal (x).^[4] Similarly, in a local ring (R, m) with maximal ideal m, the powers m^n are m-primary.^[6] A non-prime-power example is the ideal (x, y^2) in k[x, y], which is (x, y)-primary with radical (x, y), since it contains (x, y)^2 = (x^2, xy, y^2) but not all elements of higher powers.^[4] The concept of primary ideals was introduced by Wolfgang Krull in the 1930s as part of his development of abstract ideal theory in commutative rings.^[7]

Primary Decomposition Theorem

In a Noetherian ring R, every proper ideal I admits a primary decomposition, meaning I = q_1 \cap q_2 \cap \cdots \cap q_n for some positive integer n and primary ideals q_1, \dots, q_n \subseteq R.^[5]^[8] This result, known as the Lasker–Noether theorem, establishes the existence of such decompositions and relies fundamentally on the Noetherian condition, which ensures the ascending chain condition on ideals.^[2] The proof proceeds by Noetherian induction on the ideal lattice. Consider the ascending chain I \subseteq (I : r) \subseteq (I : r^2) \subseteq \cdots in R, where r \in R is chosen such that r acts as a zero-divisor modulo I to isolate an associated prime; the chain stabilizes at some primary ideal q = (I : r^k) for sufficiently large k, and then I = q \cap (I + r^k R), with I + r^k R decomposing inductively into primary components, yielding the full intersection.^[5] Minimal primary components are constructed via saturation or localization techniques, ensuring the decomposition is irredundant by omitting any superfluous primaries that contain the intersection of the others.^[8] A key uniqueness aspect is that the radicals \sqrt{q_i} of the primary components in any minimal decomposition are precisely the associated primes of I, denoted \operatorname{Ass}(R/I), and these primes are unique up to ordering.^[5] Irredundant decompositions exclude redundant components, where a primary q is redundant if I = q \cap J implies q \supseteq J for the intersection of the remaining primaries.^[8] The minimal primary decomposition can thus be expressed as I = \bigcap_{p \in \operatorname{Ass}(R/I)} q_p, where each q_p is a p-primary ideal serving as the p-primary component of I.^[5]

Illustrative Examples

Basic Examples and Comparisons

In commutative algebra, a fundamental distinction arises between ideals formed as intersections and those as products of simpler ideals, which helps clarify the role of primary decomposition. Consider the polynomial ring k[x, y] over a field k. The intersection of the prime ideals (x) and (y) yields I = (x) \cap (y) = (xy), where both (x) and (y) are primary since primes are primary. In this case, the product (x)(y) = (xy) equals the intersection, but I = (xy) itself is not primary, as xy \in (xy) while neither x \notin (xy) nor any power y^n \in (xy). This decomposition (xy) = (x) \cap (y) exemplifies how primary ideals arise in intersections, countering the misconception that such generated ideals are inherently primary without decomposition. Primary ideals include powers of prime ideals but extend beyond them, providing a broader class for decompositions. For instance, in the polynomial ring k, the ideal (x^2) is (x)-primary because its radical is the prime (x), and if f g \in (x^2) with f \notin (x^2), then some power of g lies in (x^2); however, it is not prime unless the exponent is 1. Similarly, in the integers \mathbb{Z}, the ideal (4) = (2)^2 is (2)-primary, as products entering it force powers of the other factor into it, illustrating how prime powers serve as basic primary ideals in principal ideal domains. These cases highlight that while prime powers are primary, the converse does not hold in general rings, though it does in principal ideal domains. A straightforward polynomial example of primary decomposition occurs in k[x, y, z], where the ideal I = (xy, xz) decomposes as I = (x) \cap (y, z). Here, (x) is prime (hence primary) with radical (x), and (y, z) is also prime with quotient k[x, y, z]/(y, z) \cong k, a domain. Elements of I are precisely those vanishing on the union of the varieties defined by (x) and (y, z), but the decomposition reveals the primary components directly. This minimal decomposition demonstrates the theorem's application without redundancy.^[9] To compute explicit primary decompositions in polynomial rings, algorithms leveraging factorization for monomial ideals or Gröbner bases for general cases are effective, reducing ideals to monomial form via term orders and then isolating primary components through saturation and colon ideals. For example, the Gianni-Trager-Zacharias algorithm uses Gröbner bases to iteratively compute the decomposition by factoring over principal ideal domains and handling zero-dimensional cases. These methods, implemented in systems like Singular or Macaulay2, provide practical verification for the examples above.^[10]

Non-Uniqueness and Embedded Primes

Primary decompositions of ideals in Noetherian rings are generally not unique, although certain aspects, such as the associated primes in minimal decompositions, are. A classic illustration occurs in the polynomial ring k[x, y] over a field k, where the ideal I = (x^2, xy) admits the primary decomposition I = (x) \cap (x, y)^2, with (x) being (x)-primary and (x, y)^2 = (x^2, xy, y^2) being (x, y)-primary.^[5] An alternative decomposition is I = (x) \cap (x^2, y), where (x^2, y) is also (x, y)-primary.^[11] More strikingly, I = (x) \cap (x^2, xy, y^n) holds for any integer n \geq 1, yielding infinitely many distinct primary decompositions that differ in the (x, y)-primary component.^[5] Embedded primes arise in primary decompositions when a prime ideal properly contains another associated prime, typically a minimal one, leading to non-minimal components in the support. In the example above, (x, y) is an embedded prime over the minimal associated prime (x), as (x, y) properly contains (x).^[5] Another demonstration is the equality (x, y^2) \cap (x^2, y) = (x^2, xy, y^2), where both (x, y^2) and (x^2, y) are (x, y)-primary, illustrating non-uniqueness specifically for embedded components corresponding to the prime (x, y), which embeds the minimal prime (x) in broader contexts like the decomposition of (x^2, xy).^[11] Non-irredundant decompositions may include superfluous primary components whose radicals are not associated primes of the module or ideal, but such extras can be eliminated to obtain minimal forms where all radicals are precisely the associated primes—the unique set of primes appearing as radicals in any irredundant primary decomposition.^[5] A more intricate case appears in the ring k[x, y, z], where the ideal I = (x^3, x^2 y, x y^2, y^3 + x^2 z) exhibits multiple embedded primes in its decomposition, reflecting geometric embeddings along the variety defined by the generators; one possible form involves a minimal (x)-primary component intersected with (x, y, z)-primary and additional (x, y)-primary components, highlighting layered non-minimal primes.^[5] To ensure a decomposition I = \bigcap q_i is irredundant, each primary component q_i must be necessary, meaning the intersection without q_i properly contains I. A component q_i is redundant if I : (I : q_i) = [R](/page/R), where R is the ring and the colon ideal I : q_i = \{ r \in [R](/page/R) \mid r q_i \subseteq I \}; this condition detects when removing q_i does not alter the intersection.^[12]

Associated Primes

Definition and Extraction from Decompositions

In commutative algebra, the associated primes of a quotient module R/I, where R is a commutative ring and I an ideal, are defined as the set

\operatorname{Ass}(R/I) = \{ \mathfrak{p} \text{ [prime ideal](/page/Prime_ideal) of } R \mid \mathfrak{p} = \operatorname{Ann}_R(f + I) \text{ for some } f \in R \}

.^[13] This set consists of prime ideals that arise precisely as the annihilators of elements in the module R/I. Equivalently, in the context of primary decomposition, the associated primes of R/I are the radicals of the primary ideals appearing in any primary decomposition of I.^[14] To extract the associated primes from a primary decomposition, suppose I = \bigcap_{i=1}^n q_i is an irredundant primary decomposition of I into primary ideals q_i, each with radical \sqrt{q_i} = \mathfrak{p}_i a prime ideal. Then \operatorname{Ass}(R/I) = \{ \mathfrak{p}_1, \dots, \mathfrak{p}_n \}, where duplicates are removed; this set is independent of the choice of decomposition, as guaranteed by the uniqueness theorem for associated primes in primary decompositions.^[14] The primary decomposition theorem provides the foundation for this extraction, ensuring the existence of such a decomposition in Noetherian rings. Associated primes link directly to the zero-divisors in R/I, as they are the prime ideals containing the annihilators of nonzero elements in the module; specifically, an element g + I \in R/I is a zero-divisor if and only if its annihilator is contained in some associated prime.^[13] For a concrete computation, consider the ideal I = (xy) in the polynomial ring R = k[x,y] over a field k. A minimal primary decomposition is I = (x) \cap (y), where both (x) and (y) are prime (hence primary) ideals. Thus, \operatorname{Ass}(R/I) = \{ (x), (y) \}, the radicals of these components.^[15] In Noetherian rings, the set \operatorname{Ass}(R/I) is always finite for any finitely generated module R/I.^[16]

Key Properties

Associated primes play a central role in the structure theory of modules over Noetherian rings. For a commutative Noetherian ring R and a finitely generated R-module M \neq 0, the set \operatorname{Ass}_R(M) of associated primes is nonempty and finite.^[13] This set consists of all prime ideals \mathfrak{p} such that there exists a nonzero element m \in M with \operatorname{Ann}_R(m) = \mathfrak{p}, or equivalently, such that R/\mathfrak{p} \hookrightarrow M.^[13] The minimal elements among \operatorname{Ass}_R(M) are precisely the prime ideals that are minimal with respect to inclusion in the support \operatorname{Supp}_R(M) = \{\mathfrak{p} \in \operatorname{Spec} R \mid M_\mathfrak{p} \neq 0\}. These minimal associated primes are called isolated primes, while the non-minimal ones, which properly contain some minimal associated prime, are known as embedded primes.^[9] The isolated primes thus characterize the "essential" components of the module, and the embedded primes reflect additional structural complexities. A key persistence property governs how associated primes behave under submodule extensions. For submodules N \subseteq M, the associated primes satisfy \operatorname{Ass}_R(M) \subseteq \operatorname{Ass}_R(N) \cup \operatorname{Ass}_R(M/N). In the context of ideals, if J \subseteq I are ideals of R, this implies \operatorname{Ass}_R(R/I) \subseteq \operatorname{Ass}_R(J/I) \cup \operatorname{Ass}_R(R/J), where J/I is viewed as an R/I-module (with associated primes lifted to R). This inclusion captures how the associated primes of a quotient module are constrained by those of the original module and the submodule. The prime avoidance lemma provides a fundamental tool for interacting with associated primes. Let \mathfrak{p}_1, \dots, \mathfrak{p}_n be distinct prime ideals of R and I an ideal such that I \not\subseteq \mathfrak{p}_i for each i. Then I \not\subseteq \bigcup_{i=1}^n \mathfrak{p}_i. Since \operatorname{Ass}_R(R/I) is finite in the Noetherian setting, if an ideal K satisfies K \not\subseteq \mathfrak{p} for every \mathfrak{p} \in \operatorname{Ass}_R(R/I), then K \not\subseteq \bigcup_{\mathfrak{p} \in \operatorname{Ass}_R(R/I)} \mathfrak{p}, ensuring the existence of elements in K outside all associated primes.^[13] Associated primes interact usefully with colon ideals. For an ideal I \subseteq R and f \in R, consider the short exact sequence

$0 \to R/(I : f) \xrightarrow{\cdot f} R/I \to R/(I + (f)) \to 0.

The associated primes satisfy \operatorname{Ass}_R(R/I) = \operatorname{Ass}_R(R/(I : f)) \cup \operatorname{Ass}_R(R/(I + (f))), and moreover, this union is disjoint: \operatorname{Ass}_R(R/(I : f)) consists exactly of those primes in \operatorname{Ass}_R(R/I) not containing f, while \operatorname{Ass}_R(R/(I + (f))) consists of those containing f.^[13] Finally, minimal associated primes connect directly to homological invariants like depth and dimension. The Krull dimension of M is given by \dim M = \sup \{ \dim R/\mathfrak{p} \mid \mathfrak{p} \in \operatorname{Ass}_R(M), \ \mathfrak{p} \text{ minimal} \}, measuring the "size" of the support via the isolated components.^[17] The depth of M is the length of a maximal M-regular sequence in R (or ∞ if no such sequence exists). It equals the infimum of the local depths depth_{R_{\mathfrak{m}}}(M_{\mathfrak{m}}) over all maximal ideals \mathfrak{m} in the support of M. The associated primes p ∈ Ass_R(M) are precisely those for which depth_{R_p}(M_p) = 0, linking local vanishing of depth (and related Ext modules) to the global structure.^[17] These relations underpin applications in homological algebra and resolution theory.^[17]

Geometric Perspectives

Interpretation in Affine Space

In the context of affine algebraic geometry over an algebraically closed field k, an ideal I in the polynomial ring k[x_1, \dots, x_n] corresponds to the affine variety V(I) \subseteq \mathbb{A}^n_k, the set of points where all polynomials in I vanish. A primary decomposition I = \bigcap_i q_i, where each q_i is p_i-primary, translates geometrically to V(I) = \bigcup_i V(q_i). Since V(q_i) = V(p_i) for each i, this expresses the variety as a union of the varieties associated to its associated prime ideals p_i.^[18]^[5] The minimal associated primes among the p_i determine the irreducible components of V(I), which are the irreducible subvarieties whose union is V(I). These minimal primes correspond to the "essential" geometric pieces, while any embedded associated primes (non-minimal) may reflect additional structure but do not affect the set-theoretic decomposition into irreducibles.^[18] For a concrete illustration, consider I = (xy) in k[x,y]. This ideal admits the primary decomposition I = (x) \cap (y), where (x) and (y) are prime (hence primary). The variety V(I) is the union of the x-axis V(x) and the y-axis V(y), the two irreducible lines through the origin.^[5]^[19] Beyond set-theoretic aspects, primary components capture scheme-theoretic information, such as multiplicities along components. For instance, the ideal I = (x^2) in k is (x)-primary, and V(I) = \{0\} as a set, but the primary ideal encodes a multiplicity of 2 at the origin, interpretable as a "fat point" or non-reduced structure supported at that point. In general, the exponent in a primary power like p^m reflects the multiplicity m of the component V(p).^[5] Hilbert's Nullstellensatz provides the foundational link between ideals and points in affine space, stating that for an ideal I, the radical \sqrt{I} is the intersection of all maximal ideals containing I, each corresponding to a point in V(I). Combined with primary decomposition, this yields \sqrt{I} = \bigcap_i p_i, tying the radical (and thus the reduced variety) directly to the associated primes, with maximal ideals parametrizing the actual points over algebraically closed k.^[19]^[20]

Embedded Components in Geometry

In the geometric interpretation of primary decomposition, embedded components represent additional scheme-theoretic structure superimposed on the main variety, often appearing as lower-dimensional subschemes with multiplicity or nilpotents supported within higher-dimensional isolated components. These embedded components capture "extra" features, such as thickened points or lines within a curve or surface, that are not visible in the classical variety but are essential for understanding multiplicities and singularities.^[11] A concrete example occurs in the polynomial ring k[x,y] over a field k, where the ideal I = (x^2, xy) admits the primary decomposition I = (x) \cap (x,y)^2. Here, the (x)-primary component corresponds to the line V(x) with reduced structure, while the (x,y)^2-primary component introduces an embedded point at the origin V(x,y), effectively embedding a nilpotent structure (multiplicity 2) along that point within the line. Geometrically, V(I) is the line V(x), but the scheme \mathrm{Spec}(k[x,y]/I) includes this extra thickening at the origin, illustrating how embedded components add infinitesimal structure not apparent in the set-theoretic union.^[11] In scheme-theoretic terms, each primary ideal q_i in a decomposition I = \bigcap q_i defines a subscheme \mathrm{Spec}(R/q_i) whose underlying reduced space is the variety V(\sqrt{q_i}), but whose structure sheaf incorporates multiplicity determined by the length of the localizations or the powers in q_i. The full scheme \mathrm{Spec}(R/I) is then the fiber product (or scheme-theoretic union) of these subschemes, where embedded components manifest as subschemes whose supports are proper subvarieties of the supports of isolated components, often encoding higher-order infinitesimal neighborhoods. This perspective, rooted in the primary decomposition theorem, allows the decomposition to describe non-reduced schemes precisely.^[21] Isolated components arise from primary ideals whose associated primes are minimal over I, corresponding geometrically to the irreducible components of the variety V(I) with their inherent multiplicities. In contrast, embedded components stem from non-minimal associated primes, whose supports lie entirely within those of the isolated components, such as a point embedded in a curve or a line embedded in a surface. This distinction highlights how primary decomposition separates the "main" geometric features from subordinate structures that affect local properties like singularities.^[11] An illustrative case in projective geometry is the primary decomposition of an ideal related to the twisted cubic curve in \mathbb{P}^3, where the structure reveals an embedded line component supported along a line within the curve's scheme, adding multiplicity and capturing intersections or tangency conditions not visible in the reduced variety.^[22] Reducing a primary decomposition to its minimal form—intersecting only the primary components for minimal associated primes—eliminates embedded components geometrically, yielding a scheme that reflects solely the isolated varieties with their multiplicities, akin to a normalization process that strips away subordinate infinitesimal features while preserving the core geometric union.^[21]

Extensions

Non-Noetherian Settings

In non-Noetherian rings, the existence of finite primary decompositions for ideals fails in general, primarily because infinite ascending chains of ideals violate the conditions required for the finiteness guaranteed by the Primary Decomposition Theorem in the Noetherian case. For instance, the polynomial ring k[x_1, x_2, \dots] over a field k in countably infinitely many variables is non-Noetherian due to the ascending chain of ideals generated by the first n variables for each n, and certain ideals in this ring, such as those involving infinite supports, do not admit finite primary decompositions. A concrete algebraic counterexample occurs in the Boolean ring given by the power set algebra P(X) for an infinite set X, where the ideal of finite subsets lacks a primary decomposition.^[23] Partial results exist under additional hypotheses that relax the Noetherian condition while ensuring decompositions, albeit possibly infinite. In Prüfer domains, every nonzero ideal admits a representation as a (possibly infinite) intersection of quasi-primary ideals, with shortest such representations being unique; this extends classical primary decompositions by incorporating quasi-primary components that behave analogously to primaries in finitely generated cases. For example, in valuation domains—a special class of Prüfer domains—ideals are totally ordered and often primary to their radicals, allowing countable intersections to capture the structure.^[24] Recent developments include S-primary decompositions in S-Noetherian rings and modules, where S is a multiplicative set. An ideal is S-primary if for xy in the ideal, either s x in the ideal for some s in S or s y in the radical for some s in S. In S-Noetherian rings, every ideal has a unique finite S-primary decomposition, extending the classical theorem to these non-Noetherian settings while providing an example where standard primary decomposition fails.^[25] Associated primes remain definable in general commutative rings via the annihilators of elements in a module M, specifically as primes \mathfrak{p} such that \mathfrak{p} = \mathrm{Ann}_R(m) for some nonzero m \in M, but in non-Noetherian settings, the set \mathrm{Ass}_R(M) may be infinite or even empty for nonzero modules. This contrasts with Noetherian rings, where \mathrm{Ass}_R(M) is finite and nonempty for finitely generated nonzero M. For instance, certain nonfinitely generated modules over non-Noetherian rings exhibit infinitely many associated primes corresponding to distinct annihilators.^[13]^[26] Cohen's structure theorem characterizes complete Noetherian local rings as quotients of complete regular local rings by finitely generated ideals, ensuring that primary decompositions in such rings inherit regularity properties and remain finite; however, extensions to noncomplete or non-Noetherian local rings must be approached cautiously, as completion may alter associated primes or introduce infinite components not present in the original ring.^[27] Modern developments in non-Noetherian commutative algebra, particularly post-1960s, leverage constructions like Nagata idealization—where a ring R is extended by a module M to form R \ltimes M—to study primary decompositions in settings beyond Noetherian rings, facilitating the transfer of ideal-theoretic results to module contexts and enabling analysis of ideals in rings with infinite Krull dimension. These tools have been applied to Nagata rings, a class of non-Noetherian domains where localizations at primes are Noetherian, allowing partial primary decompositions under controlled global conditions.^[28]

Connections to Additive Ideal Theory

In commutative algebra, the collection of all ideals in a ring forms a commutative monoid under intersection, with the unit ideal serving as the identity element. This monoidal structure allows primary decomposition to be interpreted as a form of factorization within the monoid, where an ideal is expressed as an intersection (or "product") of primary ideals, analogous to irreducible factorizations in integral domains. Primary ideals play the role of "primary" or nearly irreducible elements in this setting, and the uniqueness of minimal primary decompositions ensures a controlled factorization theory, particularly in Noetherian rings. This perspective extends classical results to abstract ideal theory in multiplicative lattices, where intersection corresponds to the meet operation.^[29] An important extension arises in the context of Krull's principal ideal theorem, which bounds the height of minimal primes over a principal ideal and generalizes to primary components within additive ideal structures. In lattices or monoids admitting primary decompositions, the theorem implies that principal ideals generated by a single element have primary components whose radicals have height at most one, preserving dimensional control even in settings where additivity (via graded or filtered structures) interacts with the monoidal operation. This has implications for dimension theory in non-standard rings, linking the additive generation of ideals to their primary factorizations.^[30] In non-commutative settings, the Gabriel-Rentschler theorem provides a classification of primitive ideals in the enveloping algebras of solvable Lie algebras, establishing a bijection with coadjoint orbits under the action of the Lie algebra. This theorem yields unique decompositions of primitive ideals, which are the annihilators of simple modules, and connects to additive filtrations via the Poincaré-Birkhoff-Witt (PBW) theorem, where the algebra admits a filtration by symmetric powers that behaves additively. The resulting structure allows primary-like decompositions in filtered modules over these algebras, bridging commutative primary theory to non-commutative representation theory. Modern connections extend to derived and triangulated categories, where associated primes generalize to supports via Balmer's spectrum of tensor triangulated categories. In this framework, the spectrum Spc(\mathcal{T}) of a tensor triangulated category \mathcal{T} consists of prime tensor ideals, and the support of an object captures its "associated primes" in a homotopical sense, unifying classical associated primes with geometric supports. This generalization applies to the derived category of modules, where primary decompositions inform the decomposition of supports into irreducible components.^[31] In algebraic geometry, these ideas manifest in additive decompositions of coherent sheaves on schemes, developed from the 1960s onward. For a coherent sheaf \mathcal{F} on a Noetherian scheme X, the annihilator ideal in the structure sheaf admits a primary decomposition, corresponding to a filtration of \mathcal{F} by subsheaves whose supports are primary components, revealing embedded and isolated components geometrically. This approach, foundational in Hartshorne's treatment, enables cohomology computations and resolves sheaves into primary pieces, with applications to intersection theory and derived categories of coherent sheaves. Associated primes here act as atoms in the monoid of ideals under intersection.^[32]

References

[1]
[PDF] Primary Decomposition
+ Primary Decomposition. The decomposition of an ideal into primary ideals is a traditional pillar of ideal. theory. It provides the algebraic foundation for ...
[2]
Zur Theorie der Moduln und Ideale - EuDML
Lasker, E.. "Zur Theorie der Moduln und Ideale." Mathematische Annalen 60 (1905): 20-116. <http://eudml.org/doc/158174>. @article{Lasker1905,Missing: Emanuel decomposition
[3]
Idealtheorie in Ringbereichen - EuDML
Noether, E.. "Idealtheorie in Ringbereichen." Mathematische Annalen 83 (1921): 24-66. <http://eudml.org/doc/158855>.Missing: pdf | Show results with:pdf
[4]
https://raphaelponge.org/wp-content/uploads/2023/11/chap4-1.pdf
[5]
[PDF] Commutative Algebra Chapter 4: Primary Decomposition
Primary Decomposition. Definition (Primary Decomposition). A primary decomposition of an ideal a in A is of the form, a = ⋂. 1≤i≤n qi , qi primary ideal. We ...
[6]
[PDF] Irena Swanson Primary decompositions - Purdue Math
A primary decomposition of N is an expression of N as a finite intersection of primary sub- modules of M.
[7]
Ideal Theory of Commutative Rings - Northern Illinois University
5. Definition. Let I be an ideal of the commutative ring R. We say that I is a primary ideal if for all elements a,b R we have the following condition: ab I ...
[8]
https://www.maths.usyd.edu.au/u/de/AGR/CommutativeAlgebra/pp806-850.pdf
[9]
[PDF] 4.4 Noetherian Rings
Theorem: Every proper ideal of a Noetherian ring has a primary decomposition. We can refine the First Uniqueness Theorem for primary decompositions, in this ...
[10]
[PDF] 4. Primary decomposition - Brandeis
primary decomposition. Definition 4.4. A primary decomposition of an ideal a is defined. to be an expression of the form: a =
[11]
Gröbner bases and primary decomposition of polynomial ideals
We present an algorithm to compute the primary decomposition of any ideal in a polynomialring over a factorially closed algorithmic principal ideal domain R.
[12]
[PDF] 8. Prime Factorization and Primary Decompositions
I = Q1 ∩Q2 = (y)∩(x2,xy,y2) and I = Q1 ∩Q′. 2 = (y)∩(x,y2) are two different minimal primary decompositions of I. In fact, both equations can be checked ...
[13]
[PDF] Effective Localization Using Double Ideal Quotient and Its ... - arXiv
Feb 29, 2020 · (A) Q is a P-primary component for some primary decomposition of I. ... (B) (I : (I : Q)∞) = Q. Proof. Show (A) implies (B). Let S = K[X]\ ...
[14]
Section 10.63 (00L9): Associated primes—The Stacks project
A prime \mathfrak p of R is associated to M if there exists an element m \in M whose annihilator is \mathfrak p. The set of all such primes is denoted \text{Ass}_ ...
[15]
[PDF] Commutative Algebra - MIT
Sep 1, 2013 · ... Associated Primes . . . . . . . . . . . . . . . . . . . 101. 18 ... radicals of the primary components, and then characterized as the ...
[16]
[PDF] primary ideals - UiO
The remaining ones are called embedded prime ideals belonging to a. Example. In our decompositions of (y², xy) ≤ k[x, y], we will always have two.
[17]
https://stacks.math.columbia.edu/tag/00LE
[18]
Section 10.72 (00LE): Depth—The Stacks project
... dimensions of A/\mathfrak r taken over the minimal primes \mathfrak r of A). Pick n as in Lemma 10.72.8 so that \mathfrak q is an associated prime of M/x^ nM.
[19]
[PDF] Primary Decomposition: Algorithms and Comparisons - kluedo
Geometrically it corresponds to the decomposition of an affine variety into irreducible components and is, therefore, also an important geometric concept.Missing: interpretation | Show results with:interpretation
[20]
[PDF] atiyahmacdonald.pdf
Introduction. Commutative algebra is essentially the study of commutative rings. Roughly speaking, it has developed from two sources: (1) algebraic geometry ...
[21]
[2309.14024] Early proofs of Hilbert's Nullstellensatz - arXiv
Sep 25, 2023 · Lasker obtained a new proof using primary decomposition. We describe these early proofs and place them in the development of commutative algebra ...
[22]
[PDF] Commutative Algebra Chapter 4: Primary Decomposition
Let A = k[x,y] and a = (x2,xy)=(x) ∩ (x,y)2. The only minimal prime ideal is (x), since (x) ⊂ (x,y). 14 / 24. Page 15. Primary Decomposition. Reminder (see ...
[23]
[PDF] math 137 notes: undergraduate algebraic geometry
Jan 25, 2016 · Primary Decomposition. Proposition 15.10. Let I ⊂ k[x1,...,xn] be a radical ideal. Then, we can express I as I = ∩m i=1 pi with pi prime ...
[24]
[1707.07783] Primary Decomposition in Boolean Rings - arXiv
Jul 25, 2017 · In this article, we excise the unnecessary connection to topology by finding a purely algebraic counterexample in the power set P(X) of a set X, ...
[25]
Ideal theory in Prüfer domains —An unconventional approach
Zur Theorie der Moduln und Ideale. Math. Ann., 60 (1905), pp. 20-116. View ... Rings in which the unique primary decomposition theorem holds. Proc. Amer ...
[26]
[PDF] A Survey of Associated and Coassociated Prirnes*
For not necessarily Noetherian modules, the associated primes do not behave so well. For example, there exist non-trivial modules without associated primes.
[27]
10.160 The Cohen structure theorem - Stacks Project
Hence the Cohen structure theorem implies that any Noetherian complete local ring is a quotient of a regular local ring. In particular we see that a Noetherian ...
[28]
Section 10.162 (032E): Nagata rings—The Stacks project
It is clear that a Noetherian universally Japanese ring is a Nagata ring. It is our goal to show that a Nagata ring is universally Japanese.
[29]
[PDF] Monoid Congruences, Binomial Ideals, and Their Decompositions
Just as primary decomposition of ideals in R generalizes to primary decomposition of finitely gen- ... (1998), Computational methods in commutative algebra and ...
[30]
[PDF] Abstract Ideal Theory from - Krull to the Present - ResearchGate
In [71], Dilworth is able to obtain not only the primary decomposition theorems of. E. Noether, but also the much deeper Krull Principal Ideal Theorem and ...
[31]
[PDF] the spectrum of prime ideals in tensor triangulated categories
Abstract. We define the spectrum of a tensor triangulated category χ as the set of so-called prime ideals, endowed with a suitable topology. In this very.
[32]
[PDF] The Algebra of Coherent Algebraic Sheaves
... algebra and algebraic geometry? What sort of hubris might inspire him to ... Now Hartshorne makes it pretty clear that he expects a strong background in algebra ...