Let be a DVR and be a free -module of rank .
If is a surjective -linear map then is an isomorphism.
look at the chain of submodules
,which has to stop at some point because is Noetherian. so
,for some positive integer . now suppose that , for some . we have , for some , because is surjective. thus and hence . so . this proves that is injective, which is what we need.