P進付値
出典: フリー百科事典『ウィキペディア（Wikipedia）』
数学において、p-進付値（ぴーしんふち、p-adic valuation）とは、素数 p に対して有理数全体の集合あるいは p-進数体に定義される付値の一種である。p-進付値は p-進距離と呼ばれる距離を定める。
目次 |
[編集] 定義
素数 p をとる。0 でない任意の有理数 x に対し、次を満たすような整数 n, a, b が一意的に存在する。
- a と b と p はどの二つも互いに素、
- a ≥ 0、
。
このとき、n を x の p-進付値 とよび、n = vp(x) などと表すことがある。また、0 の付値は ∞ であると定める。p-進付値は x = limn→∞ xn (xn ∈ Q) に対し、
とおくことにより、有理数体 Q から p-進数体 Qp に延長される。これは次のようにも言い換えられる。つまり、環 R を有理整数環 Z の素数 p における局所化 Z(p)（あるいは p-進整数環 Zp）とすると、R の極大イデアル m は p の生成する単項イデアル (p) = pZ(p)（あるいは pZp）であり、他の任意のイデアルは極大イデアルの冪 mn = (pn) として得られることが確かめられるが、このことを用いて R の元 x, y (y ≠ 0) に対して
- vp(x / y): = vp(x) − vp(y)
と定めた vp は p-進付値を与えるのである。
[編集] 非アルキメデス距離
p-進付値 vp が与えられたとき、
と定めて、これを x の p-進絶対値 と呼ぶ。また、任意の二つの有理数（あるいは p-進数） x, y に対し、二変数の関数 dp(x, y) を
- dp(x,y) = | x − y | p
と定義すると、dp(x, y) は有理数体 Q（あるいは p-進数体 Qp）の上に 距離位相を与える。これを p-進距離とよぶ。p-進距離は超距離である。
数列 {pn} は（通常の距離 d∞(x, y) = | x - y | に関しては無限大に発散するが）、p-進距離に関して 0 に収束する。つまり、p-進距離の入った空間では p の高い冪を含むほどに小さいと認識されるのである。また、
が成立する。
[編集] 性質
有理数 x に対して、負の指数を許した次のような素因数分解を考える（pi は互いに相異なる素数とする）。
。
このときの ei が x の pi-進付値である。 ただし、sgn は符号関数。すなわち、
。
またこのことから P = {p | p は素数または ∞} とおくと、0 でない任意の有理数 x に対し、
が成り立つことがわかる。ただし、|·|∞ は通常の絶対値のこととする。 これを、Q において積公式が成り立つといい表す。
[編集] 一般化
代数体には、その整数環の唯一の極大イデアル p により p-進付値が定義される。同様のことは任意の単項イデアル整域とその商体において定義できる。もっと一般に局所環 (R, m) の極大イデアル m とその冪から m-進付値が定義される。
