Proposition
Let R be a DVR with valuation v. Then R is a PID.
Proof
Let t∈R be such that v(t)=1. Such t necessarily exists by surjectivity of v and v(x)≥0 construction as in 2.19.
Let I be an ideal of R. If I=(0) or I=R, then I is principal and we are done. Suppose otherwise, that I is a proper non-zero ideal.
Let i∈I be a non-zero element minimizing v. Let n=v(i).
Note that since v(i)=v(tn), v(i/tn)=0 and hence i/tn is a unit. Thus (i)=(tn).
Let a∈I be non-zero. Since v(a)≥n, there exists a/i∈R. Hence (a/i)⋅i=a, thus I=(i).
■