Bourbaki

Exercise 2, § 1

Commutative Algebra, X

Let AA be a valuation ring of height 1, non-noetherian, mm its maximal ideal, nn a principal ideal of AA, distinct from (0)(0) and from AA. Exercise prove that one has profA(n;A)=1\mathrm{prof}_A(n; A) = 1 and profA(m;A)≥2\mathrm{prof}_A(m; A) \geq 2, although one has V(m)=V(n)V(m) = V(n). (Observe that ExtA1(A/m,A/n)\mathrm{Ext}_A^1(A/m, A/n) is isomorphic to HomA(A/m,A)\mathrm{Hom}_A(A/m, A).)

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.