P進付値
代数体には、その整数環の唯一の極大イデアル p により p-進付値が定義される。同様のことは任意の単項イデアル整域とその商体において定義できる。もっと一般に局所環 (R, m) の極大イデアル m とその冪から m-進付値が定義される。