Commutative algebra 28 Geometry of associated primes

Item: Commutative algebra 28 Geometry of associated primes
Rating: 5
Author: PostSingularity Institute

by Richard E Borcherds

Formal & Physical Sciences Mathematics PBMathematics PBFAlgebra

🎙 Richard E Borcherds 👥 82K 📅 August 28, 2020 ⏱ 28 min 👁 3K 📄 lecture 🧭 2026-08-17

Available in: English (current) Français

Keywords

associated primessupportSpec(R)embedded primecoprimary decomposition

Summary

This lecture, part of an online course on commutative algebra, explores the geometry of associated primes of a finitely generated module over a Noetherian ring. The speaker begins by reviewing the definition of associated primes and their role in module decompositions, noting that not every module can be built from quotients by associated primes, as illustrated by torsion-free modules over non-UFDs. The main focus is on the relationship between the set of associated primes Ass(M) and the support Supp(M) in the prime spectrum Spec(R). It is shown that the support is the Zariski closure of the associated primes. Examples include Z-modules and the module R/(y^2, xy) over k[x,y], which exhibits an embedded prime. The lecture then introduces coprimary decomposition, a refined way to decompose a module into submodules each with a single associated prime, and discusses the historical Lasker-Noether theorem for ideals, which states that every ideal in a Noetherian ring is a finite intersection of primary ideals. The speaker also provides biographical notes on Lasker, a former world chess champion, and contrasts his lengthy proof with Noether’s concise one.

180 words

Critical Evaluation

Value of the Information & Strength of the Argument

The lecture provides valuable insights into the geometric interpretation of associated primes, a key concept in commutative algebra. The argumentation is rigorous and well-supported by proofs and examples. The speaker clearly explains the difference between associated primes and support, and the role of embedded primes. The introduction to coprimary decomposition and the Lasker-Noether theorem is well-motivated and sets the stage for further study. The examples are chosen to illustrate subtle points, such as the non-uniqueness of decompositions due to embedded primes.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is based on the standard textbook ‘Commutative Algebra with a View Toward Algebraic Geometry’ by David Eisenbud, and the speaker follows its structure. The mathematical content is accurate and presented with clarity. The title accurately reflects the content, focusing on the geometry of associated primes. The lecture is part of a well-regarded series by a leading mathematician, ensuring high reliability. No external sources are cited in the video, but the textbook reference is implicit.

172 words

Title / Content Match

The title accurately reflects the content, which focuses on the geometric interpretation of associated primes.

Quality & Reliability

9/10

Lecture by a renowned mathematician, based on a standard textbook (Eisenbud), with rigorous proofs and examples. The content is accurate and well-structured.

Key Moments

Markers derived by PSI from the transcript: the creator did not define chapters.

Cited Sources

Commutative Algebra with a View Toward Algebraic Geometry — The course follows this book by David Eisenbud; the lecture covers Section 3.2.

Concurring Sources

Commutative Algebra with a View Toward Algebraic Geometry — The lecture follows this textbook, which is a standard reference for commutative algebra.

Contribution & Novelties

This lecture provides a clear geometric interpretation of associated primes, linking them to the support of a module in the prime spectrum. It introduces the concept of embedded primes and explains their role in causing non-uniqueness in decompositions. The discussion of coprimary decomposition and the Lasker-Noether theorem offers a historical perspective and sets the stage for further study.

Pour aller plus loin :

Associated prime — Wikipedia article providing definitions and properties.
Support of a module — Wikipedia article on the support of a module.
Primary decomposition — Wikipedia article on primary decomposition and the Lasker-Noether theorem.

97 words

Radar Profile

The radar profile shows high scores in all dimensions, with particularly strong performance in quality of information, technical level, and reliability. The quantity of information is slightly lower, but still substantial. This indicates a lecture that is both rigorous and informative, suitable for an advanced audience.

Reliability 9/10