"p"-進付値（ぴーしんふち、）とは、数学において、素数 "p" に対して有理数体あるいは "p"-進数体に定義される付値の一種である。"p"-進付値は "p"-進距離と呼ばれる距離を定める。有理数 "x" に対して、負の指数を許した次のような素因数分解（"p" はそれぞれ異なる素数）を考えたときの "e" が "x" の "p"-進付値である。ただし、sgn は符号関数。素数 "p" をとる。0 でない任意の有理数 "x" に対し、次を満たすような整数 "n

出典:wikipedia