Abstract. Given a field F and a subgroup S of F × there is a minimal group S ≤ H S ≤ F × for which there exists an S-compatible valuation whose units are contained in H S . Assuming that S has finite index in F × and contains (F × ) p for p prime, we describe H S in computable K-theoretic terms.