离散赋值环

离散赋值环（discrete valuation ring）是1993年公布的数学名词。若赋值v的值群G为，则称v为离散赋值，相应的赋值环为离散赋值环。