2，并设formula_13。
"p"进赋值.设"p"为正质数。对于所有非零的有理数，存在一且唯一一个整数formula_14使得 formula_15 ，其中formula_16均非formula_17的倍数。"p"进赋值就是函数formula_18。它给出一个p进绝对值 formula_19，定义为"p"进赋值是个非阿基米得赋值。其值群是 formula_20。