Bourbaki

Exercise 14, § 1

Commutative Algebra, VIII, p. 83

Let VV be a discrete valuation ring, and let π\pi be a uniformizer of VV. In the ring V[T]V[T], the ideal m1=(πT−1)m_1 = (\pi T - 1) is maximal and has height 1, the ideal m2=(π)+(T)m_2 = (\pi) + (T) is maximal and has height 2. The fields V[T]/m1V[T]/m_1 and V[T]/m2V[T]/m_2 are isomorphic to the field of fractions of V and the residue field of V respectively. We have dim⁡(V[T])=2\dim(V[T]) = 2, but dim⁡(V[T]/m1)+dim⁡(V[T]m1)=1\dim(V[T]/m_1) + \dim(V[T]_{m_1}) = 1 and dim⁡(grm1(V[T]))=1\dim(\mathrm{gr}_{m_1}(V[T])) = 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.