Bourbaki

Exercise 23, § 7

Commutative Algebra, VIII, p. 108

a) Let AA be a local noetherian ring such that e(A) = 1. Prove that AA possesses a single minimal prime ideal p such that dim(A) = dim(A/p). Prove that moreover one has long(A_p) = 1 and e(A/p) = 1 (§ 7, No. 1, remark 4). b) Recall (p. 82, Exercise 10) that a local ring is equidimensional if, for every minimal prime ideal q of AA, one has dim(A/q) = dim(A) and that it has no embedded prime ideals if the AA-module A_s does not possess embedded associated prime ideals (IV, § 2, No. 3, remark). (It will be seen in chapter X that the completions of integral quotients of local Macaulay rings possess these two properties.) \ Let AA be a local, noetherian, equidimensional ring without embedded prime ideals, such that e(A) = 1. Prove that AA is integral.*

Solution

No solution has been written yet.

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