P進付値

"p"-進付値（ぴーしんふち、）とは、数学において、素数 "p" に対して有理数体あるいは "p"-進数体に定義される付値の一種である。"p"-進付値は "p"-進距離と呼ばれる距離を定める。
有理数 "x" に対して、負の指数を許した次のような素因数分解
（"p""i" は"i"番目に小さい素数）を考えたときの "e""i" が "x" の "p""i"-進付値である。ただし、sgn は符号関数。
定義.
素数 "p" をとる。0 でない任意の有理数 "x" に対し、次を満たすような整数 "n", "a", "b" が一意的に存在する。
すなわち、"n" は "x" を割り切るような "p"-冪のうちの最大の冪指数である。このとき、"n" を "x" の "p"-進付値 とよび、"n" = "v""p"("x") などと表す。また、0 の付値は ∞ であると定める。"p"-進付値は "x" = lim"n"→∞ "xn" ("xn" ∈ Q) に対し、
とおくことにより、有理数体 Q から "p"-進数体 Q"p" に延長される。これは次のようにも言い換えられる。つまり、環 "R" を有理整数環 Z の素数 "p" における局所化 Z("p")（あるいは "p"-進整数環 Z"p"）とすると、"R" の極大イデアル m は "p" の生成する単項イデアル ("p") = "pZ("p")（あるいは "pZ"p"）であり、他の任意のイデアルは極大イデアルの冪 m"n" = ("p""n") として得られることが確かめられるが、このことを用いて "R" の元 "x", "y" ("y" ≠ 0) に対して
と定めた "v""p" は "p"-進付値を与えるのである。
性質.
"p"-進賦値 "v""p" は加法賦値である。すなわち、
を満たす。
"P" = {"p" | "p" は素数または ∞} とおくと、0 でない任意の有理数 "x" に対し、
が成り立つ。ただし、|·|∞ は通常の絶対値のこととする。これを、Q において積公式が成り立つといい表す。
非アルキメデス距離.
"p"-進付値 "v""p" が与えられたとき、
と定めて、これを "x" の "p"-進絶対値 と呼ぶ。"p"-進絶対値は乗法賦値であり、任意の二つの有理数（あるいは "p"-進数） "x", "y" に対し、二変数の関数 "dp"("x", "y") を
と定義すると、"dp"("x", "y") は有理数体 Q（あるいは "p"-進数体 Q"p"）の上に 距離位相を与える。これを "p"-進距離とよぶ。"p"-進距離は超距離（非アルキメデス距離）である。
数列 {"pn"} は（通常の距離 "d"∞("x", "y") = | "x" - "y" | に関しては無限大に発散するが）、"p"-進距離に関して 0 に収束する。つまり、"p"-進距離の入った空間では "p" の高い冪を含むほどに小さいと認識されるのである。また、
が成立する。
一般化.
代数体には、その整数環の唯一の極大イデアル p により p-進付値が定義される。同様のことは任意の単項イデアル整域とその商体において定義できる。もっと一般に局所環 ("R", m) の極大イデアル m とその冪から m-進付値が定義される。