Algebras and modules
Model category presentations
Geometry on formal duals of algebras
For any prime number , the ring of -adic integers (which, to avoid possible confusion with the ring used in modular arithmetic, is also written as ) may be described in one of several ways:
To the person on the street, it may be described as (the ring of) numbers written in base , but allowing infinite expansions to the left. Thus, numbers of the form
where , added and multiplied with the usual method of carrying familiar from adding and multiplying ordinary integers.
More abstractly, it is the limit , in the category of (unital) rings, of the diagram
This is also a limit in the category of topological rings, taking the rings in the diagram to have discrete topologies.
Alternatively, it is the metric completion? of the ring of integers with respect to the -adic absolute value. Since addition and multiplication of integers are uniformly continuous with respect to the -adic absolute value, they extend uniquely to a uniformly continuous addition and multiplication on . Thus is a topological ring.
Also , see at analytic completion.
Hence one also speaks of the -adic completion of the integers. See completion of a ring (which generalizes 2&3).
The ring of -adic integers has the following properties:
Relation to profinite completion of the integers
The profinite completion of the integers is
This is isomorphic to the product of the -adic integers for all
(e.g. Lenstra, example 2.2)
The ring of integral adeles is the product of the profinite completion of the integers, example 1, with the real numbers
The group of units of the ring of adeles is called the group of ideles.
As the formal neighbourhood of a prime
The formal spectrum of may be understood as the formal neighbourhood of the point corresponding to the prime in the prime spectrum of the integers. The inclusion
is the formal dual of the canonical projection maps .
Introductions and surveys include
Bernard Le Stum, One century of -adic geometry – From Hensel to Berkovich and beyond talk notes, June 2012 (pdf)
Hendrik Lenstra, Profinite groups (pdf)
Revised on April 11, 2014 11:30:43
by Urs Schreiber