In abstract algebra, a valuation ring is an integral domain D such that for every non-zero element x of its field of fractions F, at least one of x or x⁻¹ belongs to D. Given a field F, if D is a subring ... Wikipedia