Bourbaki

Exercise 16, § 1

Commutative Algebra, VIII, p. 83

The notation of the preceding exercise is retained, and BB is identified with the quotient of the polynomial ring A[U]A[U] by the prime ideal pp generated by U2+U−πT(πT−1)U^2 + U - \pi T(\pi T - 1). Let qiq_i be the ideal of A[U]A[U] such that ni=qi/pn_i = q_i/p. Then ht(q1)=3\mathrm{ht}(q_1) = 3, ht(p)=1\mathrm{ht}(p) = 1 and the chain p⊂q1p \subset q_1 is saturated. In particular, A[U]A[U] and A[U]q1A[U]_{q_1} are not catenary.

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.