16
votes
4answers
1k views

What is the geometric object corresponding to a subalgebra in a polynomial ring

Many introductory texts on algebraic geometry set up some sort of algebra-geometry dictionary in which radical ideals correspond to varieties, and so on. I am wondering if there is a geometric way to ...
40
votes
11answers
3k views

How to introduce notions of flat, projective and free modules?

In the coming spring semester I will be teaching for the first time an introductory (graduate) course in Commutative Algebra. As many people know, I have been plugging away for a while at this ...
6
votes
3answers
999 views

The localization of a regular local ring is regular

I've heard, as I'm sure many have, that the theorem that the localization of a regular local ring at any prime ideal is regular is one of the first major applications of homological methods to pure ...
5
votes
2answers
501 views

Gaining intuition for how submodules behave

I'm studying elementary commutative algebra this semester, largely following Atiyah-MacDonald. I often find myself in a situation where I'm interested in whether some property of an R-module M is ...
15
votes
2answers
1k views

What does primary decomposition of (sub) modules mean geometrically?

I want to know how I should visualize modules in algebraic geometry. The way we visualize rings, via their spectra, automatically (or by the beauty of its design) depicts primary decomposition of ...
24
votes
3answers
3k views

What is the “intuition” behind “brave new algebra”?

Y.I. Manin mentions in a recent interview the need for a “codification of efficient new intuitive tools, such as … the “brave new algebra” of homotopy theorists”. This makes me puzzle, because I ...