Localization and dimension

Hilbert's Nullstellensatz

Commutative algebra · Theoretical / proof-based

Graduate Commutative Algebra — scope drawn from open commutative algebra notes and typical US graduate commutative algebra syllabi.