Eisenbud’s Commutative Algebra

Target entity: Eisenbud’s Commutative Algebra
Context triple: [Castelnuovo–Mumford regularity, studiedIn, Eisenbud’s Commutative Algebra]

• A. Castelnuovo–Mumford regularity
  Castelnuovo–Mumford regularity is an invariant in commutative algebra and algebraic geometry that measures the complexity of the minimal graded free resolution of a module or sheaf, often used to control vanishing of cohomology and bounds on generators.
• B. Hilbert’s syzygy theorem
  Hilbert’s syzygy theorem is a fundamental result in commutative algebra that describes the finite length and structure of free resolutions of modules over polynomial rings.
• C. Auslander–Buchsbaum formula
  The Auslander–Buchsbaum formula is a fundamental result in commutative algebra that relates the projective dimension of a finitely generated module over a Noetherian local ring to the depth of the module and the depth of the ring.
• D. Lasker–Noether theorem on primary decomposition
  The Lasker–Noether theorem on primary decomposition is a fundamental result in commutative algebra stating that every ideal in a Noetherian ring can be expressed as a finite intersection of primary ideals, generalizing the factorization of integers into prime powers.
• E. Krull–Gabriel dimension
  Krull–Gabriel dimension is a refinement of Krull dimension used in the representation theory of rings and abelian categories to measure the complexity of their subobject lattices and module categories.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Eisenbud’s Commutative Algebra
Target entity description: Eisenbud’s *Commutative Algebra* is a widely used graduate-level textbook that develops modern commutative algebra with strong connections to algebraic geometry, featuring topics such as free resolutions, syzygies, and Castelnuovo–Mumford regularity.

• A. Castelnuovo–Mumford regularity
  Castelnuovo–Mumford regularity is an invariant in commutative algebra and algebraic geometry that measures the complexity of the minimal graded free resolution of a module or sheaf, often used to control vanishing of cohomology and bounds on generators.
• B. Hilbert’s syzygy theorem
  Hilbert’s syzygy theorem is a fundamental result in commutative algebra that describes the finite length and structure of free resolutions of modules over polynomial rings.
• C. Auslander–Buchsbaum formula
  The Auslander–Buchsbaum formula is a fundamental result in commutative algebra that relates the projective dimension of a finitely generated module over a Noetherian local ring to the depth of the module and the depth of the ring.
• D. Lasker–Noether theorem on primary decomposition
  The Lasker–Noether theorem on primary decomposition is a fundamental result in commutative algebra stating that every ideal in a Noetherian ring can be expressed as a finite intersection of primary ideals, generalizing the factorization of integers into prime powers.
• E. Krull–Gabriel dimension
  Krull–Gabriel dimension is a refinement of Krull dimension used in the representation theory of rings and abelian categories to measure the complexity of their subobject lattices and module categories.
• F. None of above. chosen