Айзенбад коммутативная алгебра с прицелом на алгебраическую геометрию

Springer GTM 150.

Commutative Algebra

«It has seemed to me for a long time that commutative algebra is best practiced with knowledge of the geometric ideas that played a great role in its formation: in short, with a view toward algebraic geometry.»

Part O Elementary Definitions[]

Part I Basic Constructions[]

Chapter 1: Roots of Commutative Algebra[]

Chapter 2 Localization[]

Chapter 3 Associated Primes and Primary Decomposition[]

Section 3.1 Associated Primes[]

Section 3.2 Prime Avoidance[]

• Lemma 3.3 (Prime Avoidance): If on the other hand n > 2, … Suppose J is contained in the union of n ideals, at most two of which are not prime, but is not contained in any one of the ideals. Any subset of (n-1) ideals contains at most two non-primes. If J were contained in the union of any such subset of (n-1) ideals, then by the inductive hypothesis J would equal one of these ideals, so J is not contained in the union of any proper subset of these ideals. Thus we can pick . Then carry out the rest of the proof from the book. The reason we need all but two ideals prime (as opposed to just one prime ideal, as it may first appear) is that we’re applying the inductive hypothesis to *all* the (n-1)-element subsets of the ideals, and hence recursively to subsets of that subset, so in the worst case we may be throwing away a prime ideal at each step until we get down to the n=2 case, at which point we don’t need a prime ideal to make it work.

This is one of the strangest-stated and strangest-proved results I’ve seen. I think the main problem is a failure to factor some of the technical details out of the main argument. Let me try my hand at breaking this up in a far more reasonable way:

Lemma a: Suppose that are ideals of a k-algebra R, where k is an infinite field, and suppose is an ideal of R. Then for some j.

Proof: (Proof as in book)

Lemma b: Suppose that are ideals of a ring R and is an ideal of R. Either or .

Proof: (Proof as in book)

Lemma c: Suppose that are ideals of a ring R, and that P is a prime ideal of R. If , then either or .

Proof: Suppose not; then we can find and . Let . Since , either or . In the former case, we have , so some since P is prime. But of course this contradicts the way we chose . In the latter, we have , contradicting the choice of .

Corollary to lemma c: If at most two of the aren’t prime, we can iterate the lemma to reduce either to one ideal or two the hypothesis of lemma b. In either case, it turns out that J is contained in one of the ideals in the union.

Section 3.3 Primary Decomposition[]

Section 3.4 Primary Decomposition and Factoriality[]

Section 3.5 Primary Decomposition in the Graded Case[]

[]

Section 3.7 Why Primary Decomposition is not Unique[]

Section 3.8 Geometric Interpretation of Primary Decomposition[]

Section 3.9 Symbolic Powers and Functions Vanishing to High Order[]

Section 3.10 Exercises[]

Chapter 4 Integral Dependence and the Nullstellensatz[]

Section 4.1 The Cayley-Hamilton Theorem and Nakayama’s Lemma[]

• So far as I can tell, many of the results in this section dealing with integral elements are much simpler if we base the arguments on minimal polynomials rather than characteristic polynomials; the Cayley-Hamilton theorem doesn’t seem to be logically necessary here.

• Corollary 4.8 (Nakayama’s Lemma): Warning: It is tempting, but in general wrong, to use Nakayama’s lemma to prove that a module M is finitely generated by exhibiting finitely many generators for M/IM. (Notice that M being finitely generated was already a hypothesis of Nakayama’s lemma.)

Section 4.2 Normal Domains and the Normalization Process[]

• Normal domains are defined on page 118. They are integral domains which are integrally closed in their field of fractions.

• Proposition 4.10: factorial: This is defined on page 14, and is a synonym for «unique factorization domain» (UFD).

Section 4.3 Normalization in the Analytic Case[]

Section 4.4 Primes in an Integral Extension[]

• Proposition 4.15 (Lying over and going up): we may assume that R is local with maximal ideal P.

We have a commutative diagram

Since the contraction (i.e., preimage) of to is just , if we can find an ideal Q’ of whose contraction in is , then the contraction to R is P, as desired. By commutativity of the diagram, the contraction Q of Q’ to S would then also contract to P. In pictures,

Section 4.5 The Nullstellensatz[]

• Lemma 4.20 (Rabinowitch’s Trick): … S is Jacobson, and since S is a domain, it follows that the intersection of the maximal ideals of S is 0. In a Jacobson ring, the Jacobson radical is the same as the nilradical (this is immediate from the definitions), and in a domain the nilradical is of course zero.

• Lemma 4.20 (Rabinowitch’s Trick): b is contained in all nonzero prime ideals that S may have. Thus the ideal (0) must be a maximal ideal. Otherwise, b would be contained in the Jacobson radical of R, which we ruled out previously.

Chapter 5 Filtrations and the Artin-Rees Lemma[]

Chapter Chapter 6 Flat Families[]

Chapter 7 Completions and Hensel’s Lemma[]

Part II Dimension Theory[]

Part III Homological Methods[]

Appendices[]