|
|
|
|
p-adic valuation
|
(Definition)
|
|
|
Let be a positive prime number. For every non-zero rational number there exists a unique integer such that
with some integers and indivisible by . We define
obtaining a non-trivial non-archimedean valuation, the so-called -adic valuation
of the field
.
The value group of the -adic valuation consists of all integer-powers of the prime number . The valuation ring of the valuation is called the ring of the -integral rational numbers;
their denominators, when reduced to lowest terms, are not divisible by .
The field of rationals has the 2-adic, 3-adic, 5-adic, 7-adic and so on valuations (which may be called, according to Greek, dyadic, triadic, pentadic, heptadic and so on). They all are non-equivalent with each other.
If one replaces the base number
by any positive constant less than 1, one obtains an equivalent -adic valuation; among these the valuation with
is sometimes called the normed -adic valuation. Analogously we can say that the absolute value is the normed archimedean valuation of
which corresponds the infinite prime of
.
The product of all normed valuations of
is the trivial valuation
, i.e.
|
"p-adic valuation" is owned by pahio.
|
|
(view preamble)
Cross-references: trivial valuation, product, infinite prime, absolute value, dyadic, rationals, divisible, lowest terms, denominators, rational numbers, integral, ring, valuation ring, value group, field, valuation, non-archimedean, integer, rational number, prime number, positive
There are 8 references to this entry.
This is version 10 of p-adic valuation, born on 2005-01-04, modified 2007-03-27.
Object id is 6619, canonical name is PAdicValuation.
Accessed 6769 times total.
Classification:
| AMS MSC: | 13A18 (Commutative rings and algebras :: General commutative ring theory :: Valuations and their generalizations) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|