p-adic number

(redirected from P-adic integers)

p-adic number

(mathematics)
For a fixed prime number p, a fraction of the form a / p k , where a is a p-adic integer and k is a nonnegative integer; two such fractions, a / p k and b / p m , are considered equal if ap m and bp k are the same p-adic integer.
References in periodicals archive ?
This edition has been updated to incorporate new approaches on p-adic integers and modules and on the determinability of a module by its automorphism group.
Throughout this paper, [Z.sub.p], [Q.sub.p], and [C.sub.p] denote the ring of p-adic integers, the field of p-adic rational numbers, and the completion of the algebraic closure of [Q.sub.p], respectively.
If p is an odd prime, then every integer n [equivalent to] 1 mod [p.sup.1/p(g)+1] is a gth power in the ring [Z.sub.p] of p-adic integers. The same holds if p = 2 under the stronger hypothesis that n = 1 mod p[sup.[nu]p(g)+2].
These modules play important roles in various areas of algebra, primarily commutative algebra, including rings of p-adic integers and certain power series rings over division rings.
Let [Z.sub.p], [Q.sub.p] and [C.sub.p] be denoted by the ring of p-adic integers, the field of p-adic rational numbers and the completion of algebraic closure of [Q.sub.p] and let U D([Z.sub.p], [C.sub.p]) be denoted by the space of uniformly differentiable functions from [Z.sub.p] to [C.sub.p], cf.[2, 3, 5].
Let [[mu].sub.q] be the group of q-th roots of unity in the ring [Z.sub.p] of p-adic integers. For each integer b with 0 [less than or equal to] b [less than or equal to] p - 1 and each p-adic integer [alpha] [member of] [Z.sub.p] with [alpha] [equivalent to] 1 mod p, we put
(iv) A p-adic integer r with [[upsilon].sub.p](r) = l can always be written as r = [p.sup.l]([e.sub.0] + [[summation].sup.[infinity].sub.j=1] [e.sub.j][p.sup.lj]) with [e.sub.0] [member of] [Z.sup.*.sub.p].