賦值環

設 為一個非阿基米德域。其賦值環 定義為

賦值環具有極大理想

且域 被稱為剩餘域、類域或數字域。例如，如果 (p-adic 數)，則 (-adic 整數)， (-adic 整數 模 餘 0)，且 = GF()，階數為 的有限域。