Proposition

Let RR be a DVR with valuation vv. Then RR is a PID.

Proof

Let tRt \in R be such that v(t)=1.v(t) = 1. Such tt necessarily exists by surjectivity of vv and v(x)0v(x) \geq 0 construction as in 2.19.

Let II be an ideal of R.R. If I=(0)I = (0) or I=R,I = R, then II is principal and we are done. Suppose otherwise, that II is a proper non-zero ideal.

Let iIi \in I be a non-zero element minimizing v.v. Let n=v(i).n = v(i).

Note that since v(i)=v(tn),v(i) = v(t^n), v(i/tn)=0v(i/t^n) = 0 and hence i/tni/t^n is a unit. Thus (i)=(tn).(i) = (t^n).

Let aIa \in I be non-zero. Since v(a)n,v(a) \geq n, there exists a/iR.a/i \in R. Hence (a/i)i=a,(a/i) \cdot i = a, thus I=(i).I = (i).

\blacksquare