In mathematics, a profinite integer is an element of the ring (sometimes pronounced as zee-hat or zed-hat)
![{\displaystyle {\widehat {\mathbb {Z} }}=\varprojlim \mathbb {Z} /n\mathbb {Z} =\prod _{p}\mathbb {Z} _{p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7c0747deb28687ba340c3a988d551469155a250)
where the inverse limit
![{\displaystyle \varprojlim \mathbb {Z} /n\mathbb {Z} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f8da1307b8e74add8f4cb60e4a06efc25be2cde)
indicates the profinite completion of
, the index
runs over all prime numbers, and
is the ring of p-adic integers. This group is important because of its relation to Galois theory, étale homotopy theory, and the ring of adeles. In addition, it provides a basic tractable example of a profinite group.
Construction
The profinite integers
can be constructed as the set of sequences
of residues represented as
![{\displaystyle \upsilon =(\upsilon _{1}{\bmod {1}},~\upsilon _{2}{\bmod {2}},~\upsilon _{3}{\bmod {3}},~\ldots )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fa365471ca8ab542016efec560a7d4abc6d986d)
such that
![{\displaystyle m\ |\ n\implies \upsilon _{m}\equiv \upsilon _{n}{\bmod {m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/712ce36247e3bcb09f191b6256c24898d5aebcf1)
.
Pointwise addition and multiplication make it a commutative ring.
The ring of integers embeds into the ring of profinite integers by the canonical injection:
![{\displaystyle \eta :\mathbb {Z} \hookrightarrow {\widehat {\mathbb {Z} }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5a0c45a89fb5aa4cb5b99d66d004688d9056b0c8)
where
![{\displaystyle n\mapsto (n{\bmod {1}},n{\bmod {2}},\dots ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/edeb6e5a8cee3e865c5c1614d35dcacebe8d74cc)
It is canonical since it satisfies the
universal property of profinite groups that, given any profinite group
![{\displaystyle H}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75a9edddcca2f782014371f75dca39d7e13a9c1b)
and any group homomorphism
![{\displaystyle f:\mathbb {Z} \rightarrow H}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8038c4211856116aced38250767d07b0ec4a4dc6)
, there exists a unique
continuous group homomorphism
![{\displaystyle g:{\widehat {\mathbb {Z} }}\rightarrow H}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f810a32d128c0433668bc78d322a6e93eaf4b2ab)
with
![{\displaystyle f=g\eta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3ff8c87661a4a4f4a2b87d139e86170d3d12006)
.
Using Factorial number system
Every integer
has a unique representation in the factorial number system as
![{\displaystyle n=\sum _{i=1}^{\infty }c_{i}i!\qquad {\text{with }}c_{i}\in \mathbb {Z} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b6cc24a36e68dfd8b7110e686a245120182bffb)
where
![{\displaystyle 0\leq c_{i}\leq i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b1dedfc686e031863663efc712355ec5a8f2934)
for every
![{\displaystyle i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/add78d8608ad86e54951b8c8bd6c8d8416533d20)
, and only finitely many of
![{\displaystyle c_{1},c_{2},c_{3},\ldots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef1e9b4e0270189ea89608e6a68cc6d3164eb075)
are nonzero.
Its factorial number representation can be written as
.
In the same way, a profinite integer can be uniquely represented in the factorial number system as an infinite string
, where each
is an integer satisfying
.[1]
The digits
determine the value of the profinite integer mod
. More specifically, there is a ring homomorphism
sending
![{\displaystyle (\cdots c_{3}c_{2}c_{1})_{!}\mapsto \sum _{i=1}^{k-1}c_{i}i!\mod k!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c01f85689970ac5a081f4bfe5d7d6b0903af7dca)
The difference of a profinite integer from an integer is that the "finitely many nonzero digits" condition is dropped, allowing for its factorial number representation to have infinitely many nonzero digits.
Using the Chinese Remainder theorem
Another way to understand the construction of the profinite integers is by using the Chinese remainder theorem. Recall that for an integer
with prime factorization
![{\displaystyle n=p_{1}^{a_{1}}\cdots p_{k}^{a_{k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3a0b9fa24964d5354f56263c05bd4b3056ac9d4)
of non-repeating primes, there is a
ring isomorphism
![{\displaystyle \mathbb {Z} /n\cong \mathbb {Z} /p_{1}^{a_{1}}\times \cdots \times \mathbb {Z} /p_{k}^{a_{k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0f354e172ff1b60c35eb05cb92bec192bce11aa)
from the theorem. Moreover, any
surjection
![{\displaystyle \mathbb {Z} /n\to \mathbb {Z} /m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b8f13873035c9b8716b57a171a15a04ba7c2054)
will just be a map on the underlying decompositions where there are induced surjections
![{\displaystyle \mathbb {Z} /p_{i}^{a_{i}}\to \mathbb {Z} /p_{i}^{b_{i}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/309fcb547282ed7f6caa4a3df32f782c6fc0546c)
since we must have
![{\displaystyle a_{i}\geq b_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15f253e3b777e5d60cd6926f0e278bed128cda79)
. It should be much clearer that under the inverse limit definition of the profinite integers, we have the isomorphism
![{\displaystyle {\widehat {\mathbb {Z} }}\cong \prod _{p}\mathbb {Z} _{p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ee5a78afe32a9bac736c6fbcff651978e1d2fdd)
with the direct product of
p-adic integers.
Explicitly, the isomorphism is
by
![{\displaystyle \phi ((n_{2},n_{3},n_{5},\cdots ))(k)=\prod _{q}n_{q}\mod k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6ec380143a7de932369f023a8919e06956c42d6)
where
![{\displaystyle q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06809d64fa7c817ffc7e323f85997f783dbdf71d)
ranges over all prime-power factors
![{\displaystyle p_{i}^{d_{i}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cbad61e1b83632b179243e662394641718a7e7f)
of
![{\displaystyle k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
, that is,
![{\displaystyle k=\prod _{i=1}^{l}p_{i}^{d_{i}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d24f5539dde9acbe205f6c91a6e19fb329fb2de4)
for some different prime numbers
![{\displaystyle p_{1},...,p_{l}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3bbea3990b3acd968f304ddfdf2efac963400ae7)
.
Relations
Topological properties
The set of profinite integers has an induced topology in which it is a compact Hausdorff space, coming from the fact that it can be seen as a closed subset of the infinite direct product
![{\displaystyle {\widehat {\mathbb {Z} }}\subset \prod _{n=1}^{\infty }\mathbb {Z} /n\mathbb {Z} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6ae235bd0d3d9c866a91e04fa168122e3ded2b6)
which is compact with its
product topology by
Tychonoff's theorem. Note the topology on each finite group
![{\displaystyle \mathbb {Z} /n\mathbb {Z} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2120ebbc85f91df66c6de5446367bf9fd620844)
is given as the
discrete topology.
The topology on
can be defined by the metric,[1]
![{\displaystyle d(x,y)={\frac {1}{\min\{k\in \mathbb {Z} _{>0}:x\not \equiv y{\bmod {(k+1)!}}\}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21729f8b5e4b69ae125d8f36566aedc75588d35c)
Since addition of profinite integers is continuous,
is a compact Hausdorff abelian group, and thus its Pontryagin dual must be a discrete abelian group.
In fact, the Pontryagin dual of
is the abelian group
equipped with the discrete topology (note that it is not the subset topology inherited from
, which is not discrete). The Pontryagin dual is explicitly constructed by the function[2]
![{\displaystyle \mathbb {Q} /\mathbb {Z} \times {\widehat {\mathbb {Z} }}\to U(1),\,(q,a)\mapsto \chi (qa)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f16c135aa083e74c3b4d97fabc3368ee26921d59)
where
![{\displaystyle \chi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/656111758322ace96d80a9371771aa6d3de25437)
is the character of the adele (introduced below)
![{\displaystyle \mathbf {A} _{\mathbb {Q} ,f}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6570c187bc253f5d15768f4f4d206741577aab1)
induced by
![{\displaystyle \mathbb {Q} /\mathbb {Z} \to U(1),\,\alpha \mapsto e^{2\pi i\alpha }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e1501475a218e0f9371aac1e68a50fdc1b207ac)
.
[3]
Relation with adeles
The tensor product
is the ring of finite adeles
![{\displaystyle \mathbf {A} _{\mathbb {Q} ,f}={\prod _{p}}'\mathbb {Q} _{p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69d693696289ab4b91e15079c318c30fdb3aa61a)
of
![{\displaystyle \mathbb {Q} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5909f0b54e4718fa24d5fd34d54189d24a66e9a)
where the symbol
![{\displaystyle '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/761bf83727fb142497cfbee036fd61b368d4fbf0)
means
restricted product. That is, an element is a sequence that is integral except at a finite number of places.
[4] There is an isomorphism
![{\displaystyle \mathbf {A} _{\mathbb {Q} }\cong \mathbb {R} \times ({\hat {\mathbb {Z} }}\otimes _{\mathbb {Z} }\mathbb {Q} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/277e092ac5868a38035b7a5a1cd8a073307f8bab)
Applications in Galois theory and Etale homotopy theory
For the algebraic closure
of a finite field
of order q, the Galois group can be computed explicitly. From the fact
where the automorphisms are given by the Frobenius endomorphism, the Galois group of the algebraic closure of
is given by the inverse limit of the groups
, so its Galois group is isomorphic to the group of profinite integers[5]
![{\displaystyle \operatorname {Gal} ({\overline {\mathbf {F} }}_{q}/\mathbf {F} _{q})\cong {\widehat {\mathbb {Z} }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b4f08b3cbeacc774fb50e699090918d8d2153a8)
which gives a computation of the
absolute Galois group of a finite field.
Relation with Etale fundamental groups of algebraic tori
This construction can be re-interpreted in many ways. One of them is from Etale homotopy theory which defines the Etale fundamental group
as the profinite completion of automorphisms
![{\displaystyle \pi _{1}^{et}(X)=\lim _{i\in I}{\text{Aut}}(X_{i}/X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/42612814b0ba787d134efaeb03481855c5d9a3d2)
where
![{\displaystyle X_{i}\to X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/64f861cefe82cfd39fe6d84cd43964277c54ec00)
is an
Etale cover. Then, the profinite integers are isomorphic to the group
![{\displaystyle \pi _{1}^{et}({\text{Spec}}(\mathbf {F} _{q}))\cong {\hat {\mathbb {Z} }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f6801ca1152d96e187306a66af2e7b31e61108a)
from the earlier computation of the profinite Galois group. In addition, there is an embedding of the profinite integers inside the Etale fundamental group of the
algebraic torus
![{\displaystyle {\hat {\mathbb {Z} }}\hookrightarrow \pi _{1}^{et}(\mathbb {G} _{m})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f367353a1cf400b3fb5f03a4157f17e9743c26f)
since the covering maps come from the
polynomial maps
![{\displaystyle (\cdot )^{n}:\mathbb {G} _{m}\to \mathbb {G} _{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e3fc6dd93c3224af61f7e36a12721d4a5091394)
from the map of
commutative rings
![{\displaystyle f:\mathbb {Z} [x,x^{-1}]\to \mathbb {Z} [x,x^{-1}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a285de37cb2ef3aeb20609fc6c797d04a7d9ae7)
sending
![{\displaystyle x\mapsto x^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/098425d2bbb3800078c191d5872c631469a88963)
since
![{\displaystyle \mathbb {G} _{m}={\text{Spec}}(\mathbb {Z} [x,x^{-1}])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcdb2711b0c19dd71924b6ad6118609e5f1bf231)
. If the algebraic torus is considered over a field
![{\displaystyle k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
, then the Etale fundamental group
![{\displaystyle \pi _{1}^{et}(\mathbb {G} _{m}/{\text{Spec(k)}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e295aae9cd4d1bbb83515db485028e1de4573bd)
contains an action of
![{\displaystyle {\text{Gal}}({\overline {k}}/k)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ccdb511d817294e08566cd05696f9c477a05238)
as well from the
fundamental exact sequence in etale homotopy theory.
Class field theory and the profinite integers
Class field theory is a branch of algebraic number theory studying the abelian field extensions of a field. Given the global field
, the abelianization of its absolute Galois group
![{\displaystyle {\text{Gal}}({\overline {\mathbb {Q} }}/\mathbb {Q} )^{ab}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb33fc85da4d5b1722ebc835bb20846022aa42d7)
is intimately related to the associated ring of adeles
![{\displaystyle \mathbb {A} _{\mathbb {Q} }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af9d3468eef6e7ce070ec0c3125ba4bf03ad145d)
and the group of profinite integers. In particular, there is a map, called the
Artin map[6]
![{\displaystyle \Psi _{\mathbb {Q} }:\mathbb {A} _{\mathbb {Q} }^{\times }/\mathbb {Q} ^{\times }\to {\text{Gal}}({\overline {\mathbb {Q} }}/\mathbb {Q} )^{ab}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b797f7b98c29ec5c2d0f6f397d4e59799c4f36cd)
which is an isomorphism. This quotient can be determined explicitly as
![{\displaystyle {\begin{aligned}\mathbb {A} _{\mathbb {Q} }^{\times }/\mathbb {Q} ^{\times }&\cong (\mathbb {R} \times {\hat {\mathbb {Z} }})/\mathbb {Z} \\&={\underset {\leftarrow }{\lim }}\mathbb {(} {\mathbb {R} }/m\mathbb {Z} )\\&={\underset {x\mapsto x^{m}}{\lim }}S^{1}\\&={\hat {\mathbb {Z} }}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75ba1b6902f02a4d8cd6165cb380707bdefd444f)
giving the desired relation. There is an analogous statement for local class field theory since every finite abelian extension of
is induced from a finite field extension
.
See also
Notes
References
External links