Bourbaki

Exercise 1, § 2

Commutative Algebra, X, p. 154

Let AA be a local noetherian ring, and let 0→M′→M→M′′→00 \to M' \to M \to M'' \to 0 be an exact sequence of Macaulay A-modules. Now prove that one has dim⁡(M′)=dim⁡(M)\dim(M') = \dim(M) and that dim⁡(M′′)\dim(M'') is equal to dim⁡(M)\dim(M) or to dim⁡(M)−1\dim(M) - 1.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.