# Are valuation rings coherent?

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

-
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. –  Makoto Kato Nov 20 '12 at 14:04