Bourbaki

Exercise 6, § 1

Commutative Algebra, X

Let AA be a local noetherian ring, PP a complex of flat AA-modules, of finite length ℓ\ell, such that Supp(H(P))={mA}\mathrm{Supp}(H(P)) = \{m_A\}. Prove that every AA-module MM such that κA⊗AM≠0\kappa_A \otimes_A M \neq 0 is of depth ≤ℓ\leq \ell (apply prop. 3 to the complex P⊗AMP \otimes_A M, observing that this complex is not exact and using exerc. 4).

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.