Commutative algebra 58: System of parameters versus Krull

Item: Commutative algebra 58: System of parameters versus Krull
Rating: 4
Author: PostSingularity Institute

by Richard E Borcherds

Formal & Physical Sciences Mathematics PBMathematics PBFAlgebra

🎙 Richard E Borcherds 👥 82K 📅 December 13, 2020 ⏱ 18 min 👁 1K 📄 lecture 🧭 2026-08-17

Available in: English (current) Français

Keywords

commutative algebraKrull dimensionsystem of parametersprime avoidanceNoetherian local ring

Summary

This lecture is part of an online commutative algebra course. The goal is to prove the equivalence of three definitions of dimension for a Noetherian local ring: Krull dimension, dimension via Hilbert polynomials, and dimension via minimal size of a system of parameters. The previous lectures established two inequalities; this lecture proves the third: the minimal size of a system of parameters is at most the Krull dimension. The proof uses the prime avoidance lemma, which states that if an ideal is not contained in any of a finite collection of prime ideals, then there exists an element in the ideal not in any of those primes. The lecture first proves the lemma, then applies it to construct a system of parameters of size equal to the Krull dimension. The construction ensures that each successive element avoids the minimal primes of the previous ones, thereby increasing the codimension of the intersection. Finally, the lecture shows that the constructed set is indeed a system of parameters, completing the equivalence proof.

169 words

Critical Evaluation

Value of the Information & Strength of the Argument

The lecture provides a rigorous and complete proof of a central result in commutative algebra. The argumentation is clear and well-structured, building on previous lectures. The use of the prime avoidance lemma is motivated and explained, and the geometric intuition is helpful. The proof is self-contained within the lecture, assuming only prior knowledge from the course.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is based on the textbook ‘Commutative algebra with a view toward algebraic geometry’ by David Eisenbud, which is a standard reference. The mathematical reasoning is rigorous and follows standard techniques. The title accurately reflects the content, and the lecture is part of a coherent series.

118 words

Title / Content Match

The title accurately reflects the content: the lecture focuses on proving the relationship between systems of parameters and Krull dimension.

Quality & Reliability

8/10

The lecture is part of a formal course by a recognized mathematician, following a standard textbook. The proof is rigorous and complete, with clear logical steps. The content is technical and assumes prior knowledge, but the reasoning is sound.

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 textbook by David Eisenbud.

Concurring Sources

Commutative algebra with a view toward algebraic geometry — The lecture follows this textbook, which is a standard reference.

Contribution & Novelties

This lecture provides a clear and rigorous proof of the equivalence of three definitions of dimension in Noetherian local rings, specifically focusing on the role of systems of parameters. The approach is pedagogical, breaking down the proof into manageable steps and using the prime avoidance lemma effectively.

Pour aller plus loin :

Prime avoidance lemma — The lemma is a fundamental tool in commutative algebra.
Krull dimension — The concept of dimension in commutative algebra.
System of parameters — Definition and properties.
Noetherian ring — The setting for the results.

90 words

Radar Profile

The radar profile shows high scores in quality and technical level, with slightly lower but still strong scores in quantity and reliability. This indicates a dense, rigorous lecture that is highly informative but may be challenging for beginners.

Reliability 8/10