A theorem of Lichtenbaum states, that every proper, regular curve [Formula: see text] over a discrete valuation domain [Formula: see text] is projective. This theorem is generalized to the case of an arbitrary valuation domain [Formula: see text] using the following notion of regularity for non-noetherian rings introduced by Bertin: the local ring [Formula: see text] of a point [Formula: see text] is called regular, if every finitely generated ideal [Formula: see text] has finite projective dimension. The generalization is a particular case of a projectivity criterion for proper, normal [Formula: see text]-curves: such a curve [Formula: see text] is projective if for every irreducible component [Formula: see text] of its closed fiber [Formula: see text] there exists a closed point [Formula: see text] of the generic fiber of [Formula: see text] such that the Zariski closure [Formula: see text] meets [Formula: see text] and meets [Formula: see text] in regular points only.
Regular submodules of torsion modules over a discrete valuation domain
