4
$\begingroup$

Serre wrote in his letter to Grothendieck(Oct. 25,1959) that valuation rings are coherent. How do you prove it?

1 Answers 1

6

The valuation takes values in a totally ordered group. So any finitely generated ideal is principal (take one of the generators with the smallest valuation), hence finitely presented.

  • 0
    For readers who may not know the following fact. Let $L_1, L_2$ be finitely generareted free modules over a ring. Let $f\colon L_1 \rightarrow L_2$ be an epimorphism. Since $L_2$ is free, the exact sequence $0 \rightarrow Ker(f) \rightarrow L_1 \rightarrow L_2 \rightarrow 0$ splits. Hence $Ker(f)$ is finitely generated.2012-11-20