P-进赋值
p进赋值 | |
---|---|
术语名称 | p进赋值 |
英语名称 | p-adic valuation |
别名 | p-adic order |
[math]\displaystyle{ p }[/math] 进赋值([math]\displaystyle{ p }[/math]-adic valuation)是关于一个质数和一个整数,在恰整除时的最高指数的数论函数。
由于技术原因,标题首字母会被大写。这一术语通常应当以小写字母开头。
在实数的构造中,对于实数与 [math]\displaystyle{ p }[/math] 进数之间,实数的绝对值和 [math]\displaystyle{ p }[/math] 进数的 [math]\displaystyle{ p }[/math] 进绝对值是对应的结构,而 [math]\displaystyle{ p }[/math] 进绝对值就可以根据 [math]\displaystyle{ p }[/math] 进赋值定义。
定义
P-进赋值 | |
---|---|
函数名称 | p 进赋值 |
函数符号 | [math]\displaystyle{ \nu_\bullet() }[/math] |
Latex | \nu
|
类型 | 完全乘性函数 |
定义域 | [math]\displaystyle{ \mathbb{N} }[/math] |
陪域 | [math]\displaystyle{ \mathbb{N}\cup\{\infty\} }[/math] |
对质数 [math]\displaystyle{ p }[/math] 和整数 [math]\displaystyle{ n }[/math] ,定义函数 [math]\displaystyle{ \nu_p(n) = \begin{cases} k &, n\neq 0, p^k \| n \\ \infty &, n = 0 \end{cases} }[/math] 称为整数 [math]\displaystyle{ n }[/math] 的 [math]\displaystyle{ p }[/math] 进赋值([math]\displaystyle{ p }[/math]-adic valuation)。
也可以定义在有理数集上, [math]\displaystyle{ \nu_p(m/n) = \nu_p(m) - \nu_p(n) }[/math] 。