离散赋值

离散赋值是一种特殊的赋值，即值域为实数集的离散子集的非阿基米德赋值。离散赋值环对应于离散赋值。设(R，m)是一个维数为1的诺特局部环，如果m可以由一个元素生成，则称R是离散赋值环。离散赋值环一定是整环。