Serre wrote in his letter to Grothendieck(Oct. 25,1959) that valuation rings are coherent. How do you prove it?
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
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.