赋值环

设 为一个非阿基米德域。其赋值环 定义为

赋值环具有极大理想

且域 被称为剩余域、类域或数字域。例如，如果 (p-adic 数)，则 (-adic 整数)， (-adic 整数 模 余 0)，且 = GF()，阶数为 的有限域。