Profinite integer

Last updated July 24, 2024

In mathematics, a profinite integer is an element of the ring (sometimes pronounced as zee-hat or zed-hat)

indicates the profinite completion of $\mathbb {Z}$ , the index $p$ runs over all prime numbers, and $\mathbb {Z} _{p}$ 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 ${\widehat {\mathbb {Z} }}$ can be constructed as the set of sequences $\upsilon$ of residues represented as $\upsilon =(\upsilon _{1}{\bmod {1}},~\upsilon _{2}{\bmod {2}},~\upsilon _{3}{\bmod {3}},~\ldots )$ such that $m\ |\ n\implies \upsilon _{m}\equiv \upsilon _{n}{\bmod {m}}$ .

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$ where $n\mapsto (n{\bmod {1}},n{\bmod {2}},\dots ).$ It is canonical since it satisfies the universal property of profinite groups that, given any profinite group $H$ and any group homomorphism $f:\mathbb {Z} \rightarrow H$ , there exists a unique continuous group homomorphism $g:{\widehat {\mathbb {Z} }}\rightarrow H$ with $f=g\eta$ .

Using Factorial number system

Every integer $n\geq 0$ has a unique representation in the factorial number system as $n=\sum _{i=1}^{\infty }c_{i}i!\qquad {\text{with }}c_{i}\in \mathbb {Z}$ where $0\leq c_{i}\leq i$ for every $i$ , and only finitely many of $c_{1},c_{2},c_{3},\ldots$ are nonzero.

Its factorial number representation can be written as $(\cdots c_{3}c_{2}c_{1})_{!}$ .

In the same way, a profinite integer can be uniquely represented in the factorial number system as an infinite string $(\cdots c_{3}c_{2}c_{1})_{!}$ , where each $c_{i}$ is an integer satisfying $0\leq c_{i}\leq i$ .^[1]

The digits $c_{1},c_{2},c_{3},\ldots ,c_{k-1}$ determine the value of the profinite integer mod $k!$ . More specifically, there is a ring homomorphism ${\widehat {\mathbb {Z} }}\to \mathbb {Z} /k!\,\mathbb {Z}$ sending $(\cdots c_{3}c_{2}c_{1})_{!}\mapsto \sum _{i=1}^{k-1}c_{i}i!\mod k!$ 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 $n$ with prime factorization $n=p_{1}^{a_{1}}\cdots p_{k}^{a_{k}}$ of non-repeating primes, there is a ring isomorphism $\mathbb {Z} /n\cong \mathbb {Z} /p_{1}^{a_{1}}\times \cdots \times \mathbb {Z} /p_{k}^{a_{k}}$ from the theorem. Moreover, any surjection $\mathbb {Z} /n\to \mathbb {Z} /m$ will just be a map on the underlying decompositions where there are induced surjections $\mathbb {Z} /p_{i}^{a_{i}}\to \mathbb {Z} /p_{i}^{b_{i}}$ since we must have $a_{i}\geq b_{i}$ . It should be much clearer that under the inverse limit definition of the profinite integers, we have the isomorphism ${\widehat {\mathbb {Z} }}\cong \prod _{p}\mathbb {Z} _{p}$ with the direct product of p-adic integers.

Explicitly, the isomorphism is ${\displaystyle \phi$ by $\phi ((n_{2},n_{3},n_{5},\cdots ))(k)=\prod _{q}n_{q}\mod k$ where $q$ ranges over all prime-power factors $p_{i}^{d_{i}}$ of $k$ , that is, $k=\prod _{i=1}^{l}p_{i}^{d_{i}}$ for some different prime numbers $p_{1},...,p_{l}$ .

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 ${\widehat {\mathbb {Z} }}\subset \prod _{n=1}^{\infty }\mathbb {Z} /n\mathbb {Z}$ which is compact with its product topology by Tychonoff's theorem. Note the topology on each finite group $\mathbb {Z} /n\mathbb {Z}$ is given as the discrete topology.

The topology on ${\widehat {\mathbb {Z} }}$ can be defined by the metric,^[1] $d(x,y)={\frac {1}{\min\{k\in \mathbb {Z} _{>0}:x\not \equiv y{\bmod {(k+1)!}}\}}}$

Since addition of profinite integers is continuous, ${\widehat {\mathbb {Z} }}$ is a compact Hausdorff abelian group, and thus its Pontryagin dual must be a discrete abelian group.

In fact, the Pontryagin dual of ${\widehat {\mathbb {Z} }}$ is the abelian group $\mathbb {Q} /\mathbb {Z}$ equipped with the discrete topology (note that it is not the subset topology inherited from $\mathbb {R} /\mathbb {Z}$ , which is not discrete). The Pontryagin dual is explicitly constructed by the function^[2] $\mathbb {Q} /\mathbb {Z} \times {\widehat {\mathbb {Z} }}\to U(1),\,(q,a)\mapsto \chi (qa)$ where $\chi$ is the character of the adele (introduced below) $\mathbf {A} _{\mathbb {Q} ,f}$ induced by $\mathbb {Q} /\mathbb {Z} \to U(1),\,\alpha \mapsto e^{2\pi i\alpha }$ .^[3]

Relation with adeles

The tensor product ${\widehat {\mathbb {Z} }}\otimes _{\mathbb {Z} }\mathbb {Q}$ is the ring of finite adeles $\mathbf {A} _{\mathbb {Q} ,f}={\prod _{p}}'\mathbb {Q} _{p}$ of $\mathbb {Q}$ where the symbol $'$ 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 $\mathbf {A} _{\mathbb {Q} }\cong \mathbb {R} \times ({\hat {\mathbb {Z} }}\otimes _{\mathbb {Z} }\mathbb {Q} )$

Applications in Galois theory and Etale homotopy theory

For the algebraic closure ${\overline {\mathbf {F} }}_{q}$ of a finite field $\mathbf {F} _{q}$ of order q, the Galois group can be computed explicitly. From the fact ${\text{Gal}}(\mathbf {F} _{q^{n}}/\mathbf {F} _{q})\cong \mathbb {Z} /n\mathbb {Z}$ where the automorphisms are given by the Frobenius endomorphism, the Galois group of the algebraic closure of $\mathbf {F} _{q}$ is given by the inverse limit of the groups $\mathbb {Z} /n\mathbb {Z}$ , so its Galois group is isomorphic to the group of profinite integers^[5] $\operatorname {Gal} ({\overline {\mathbf {F} }}_{q}/\mathbf {F} _{q})\cong {\widehat {\mathbb {Z} }}$ 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 $\pi _{1}^{et}(X)$ as the profinite completion of automorphisms $\pi _{1}^{et}(X)=\lim _{i\in I}{\text{Aut}}(X_{i}/X)$ where $X_{i}\to X$ is an Etale cover. Then, the profinite integers are isomorphic to the group $\pi _{1}^{et}({\text{Spec}}(\mathbf {F} _{q}))\cong {\hat {\mathbb {Z} }}$ 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 ${\hat {\mathbb {Z} }}\hookrightarrow \pi _{1}^{et}(\mathbb {G} _{m})$ since the covering maps come from the polynomial maps $(\cdot )^{n}:\mathbb {G} _{m}\to \mathbb {G} _{m}$ from the map of commutative rings $f:\mathbb {Z} [x,x^{-1}]\to \mathbb {Z} [x,x^{-1}]$ sending $x\mapsto x^{n}$ since $\mathbb {G} _{m}={\text{Spec}}(\mathbb {Z} [x,x^{-1}])$ . If the algebraic torus is considered over a field $k$ , then the Etale fundamental group $\pi _{1}^{et}(\mathbb {G} _{m}/{\text{Spec(k)}})$ contains an action of ${\text{Gal}}({\overline {k}}/k)$ 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 $\mathbb {Q}$ , the abelianization of its absolute Galois group ${\text{Gal}}({\overline {\mathbb {Q} }}/\mathbb {Q} )^{ab}$ is intimately related to the associated ring of adeles $\mathbb {A} _{\mathbb {Q} }$ and the group of profinite integers. In particular, there is a map, called the Artin map ^[6] $\Psi _{\mathbb {Q} }:\mathbb {A} _{\mathbb {Q} }^{\times }/\mathbb {Q} ^{\times }\to {\text{Gal}}({\overline {\mathbb {Q} }}/\mathbb {Q} )^{ab}$ which is an isomorphism. This quotient can be determined explicitly as

${\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}}$

giving the desired relation. There is an analogous statement for local class field theory since every finite abelian extension of $K/\mathbb {Q} _{p}$ is induced from a finite field extension $\mathbb {F} _{p^{n}}/\mathbb {F} _{p}$ .

Notes

1 2 Lenstra, Hendrik. "Profinite number theory" (PDF). Mathematical Association of America. Retrieved 11 August 2022.
↑ Connes & Consani 2015 , § 2.4.
↑ K. Conrad, The character group of Q
↑ Questions on some maps involving rings of finite adeles and their unit groups.
↑ Milne 2013 , Ch. I Example A. 5.
↑ "Class field theory - lccs". www.math.columbia.edu. Retrieved 2020-09-25.

Related Research Articles

In mathematics, in the area of abstract algebra known as Galois theory, the Galois group of a certain type of field extension is a specific group associated with the field extension. The study of field extensions and their relationship to the polynomials that give rise to them via Galois groups is called Galois theory, so named in honor of Évariste Galois who first discovered them.

In mathematics, a profinite group is a topological group that is in a certain sense assembled from a system of finite groups.

In mathematics, a reciprocity law is a generalization of the law of quadratic reciprocity to arbitrary monic irreducible polynomials $with integer coefficients. Recall that first reciprocity law, quadratic reciprocity, determines when an irreducible polynomial splits into linear terms when reduced mod . That is, it determines for which prime numbers the relation$

In mathematics, the adele ring of a global field is a central object of class field theory, a branch of algebraic number theory. It is the restricted product of all the completions of the global field and is an example of a self-dual topological ring.

In mathematics, specifically algebraic geometry, a scheme is a structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities and allowing "varieties" defined over any commutative ring.

In mathematics, a congruence subgroup of a matrix group with integer entries is a subgroup defined by congruence conditions on the entries. A very simple example is the subgroup of invertible 2 × 2 integer matrices of determinant 1 in which the off-diagonal entries are even. More generally, the notion of congruence subgroup can be defined for arithmetic subgroups of algebraic groups; that is, those for which we have a notion of 'integral structure' and can define reduction maps modulo an integer.

In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil conjectures. Étale cohomology theory can be used to construct ℓ-adic cohomology, which is an example of a Weil cohomology theory in algebraic geometry. This has many applications, such as the proof of the Weil conjectures and the construction of representations of finite groups of Lie type.

In mathematics, an algebraic torus, where a one dimensional torus is typically denoted by $,, or, is a type of commutative affine algebraic group commonly found in projective algebraic geometry and toric geometry. Higher dimensional algebraic tori can be modelled as a product of algebraic groups . These groups were named by analogy with the theory of tori in Lie group theory. For example, over the complex numbers the algebraic torus is isomorphic to the group scheme, which is the scheme theoretic analogue of the Lie group . In fact, any -action on a complex vector space can be pulled back to a -action from the inclusion as real manifolds.$

Chebotarev's density theorem in algebraic number theory describes statistically the splitting of primes in a given Galois extension K of the field $of rational numbers. Generally speaking, a prime integer will factor into several ideal primes in the ring of algebraic integers of K . There are only finitely many patterns of splitting that may occur. Although the full description of the splitting of every prime p in a general Galois extension is a major unsolved problem, the Chebotarev density theorem says that the frequency of the occurrence of a given pattern, for all primes p less than a large integer N, tends to a certain limit as N goes to infinity. It was proved by Nikolai Chebotaryov in his thesis in 1922, published in.$

In mathematics, a duality translates concepts, theorems or mathematical structures into other concepts, theorems or structures in a one-to-one fashion, often by means of an involution operation: if the dual of $A$ is $B$ , then the dual of $B$ is $A$ . In other cases the dual of the dual – the double dual or bidual – is not necessarily identical to the original. Such involutions sometimes have fixed points, so that the dual of $A$ is $A$ itself. For example, Desargues' theorem is self-dual in this sense under the standard duality in projective geometry.

In commutative algebra and field theory, the Frobenius endomorphism is a special endomorphism of commutative rings with prime characteristic $p$ , an important class that includes finite fields. The endomorphism maps every element to its $p$ -th power. In certain contexts it is an automorphism, but this is not true in general.

In mathematics, the interplay between the Galois group G of a Galois extension L of a number field K, and the way the prime ideals P of the ring of integers O_K factorise as products of prime ideals of O_L, provides one of the richest parts of algebraic number theory. The splitting of prime ideals in Galois extensions is sometimes attributed to David Hilbert by calling it Hilbert theory. There is a geometric analogue, for ramified coverings of Riemann surfaces, which is simpler in that only one kind of subgroup of G need be considered, rather than two. This was certainly familiar before Hilbert.

In mathematics, Hensel's lemma, also known as Hensel's lifting lemma, named after Kurt Hensel, is a result in modular arithmetic, stating that if a univariate polynomial has a simple root modulo a prime number $p$ , then this root can be lifted to a unique root modulo any higher power of $p$ . More generally, if a polynomial factors modulo $p$ into two coprime polynomials, this factorization can be lifted to a factorization modulo any higher power of $p$ .

The Artin reciprocity law, which was established by Emil Artin in a series of papers, is a general theorem in number theory that forms a central part of global class field theory. The term "reciprocity law" refers to a long line of more concrete number theoretic statements which it generalized, from the quadratic reciprocity law and the reciprocity laws of Eisenstein and Kummer to Hilbert's product formula for the norm symbol. Artin's result provided a partial solution to Hilbert's ninth problem.

The étale or algebraic fundamental group is an analogue in algebraic geometry, for schemes, of the usual fundamental group of topological spaces.

In mathematics, a quasi-finite field is a generalisation of a finite field. Standard local class field theory usually deals with complete valued fields whose residue field is finite, but the theory applies equally well when the residue field is only assumed quasi-finite.

In mathematics, a Witt vector is an infinite sequence of elements of a commutative ring. Ernst Witt showed how to put a ring structure on the set of Witt vectors, in such a way that the ring of Witt vectors $over the finite field of order is isomorphic to, the ring of -adic integers . They have a highly non-intuitive structure upon first glance because their additive and multiplicative structure depends on an infinite set of recursive formulas which do not behave like addition and multiplication formulas for standard p-adic integers.$

In commutative algebra, an element b of a commutative ring B is said to be integral over a subring A of B if b is a root of some monic polynomial over A.

In mathematics, field arithmetic is a subject that studies the interrelations between arithmetic properties of a field and its absolute Galois group. It is an interdisciplinary subject as it uses tools from algebraic number theory, arithmetic geometry, algebraic geometry, model theory, the theory of finite groups and of profinite groups.

In mathematics, an algebraic number field is an extension field $of the field of rational numbers such that the field extension has finite degree . Thus is a field that contains and has finite dimension when considered as a vector space over .$

References

Connes, Alain; Consani, Caterina (2015). "Geometry of the arithmetic site". arXiv: 1502.05580 [math.AG].
Milne, J.S. (2013-03-23). "Class Field Theory" (PDF). Archived from the original (PDF) on 2013-06-19. Retrieved 2020-06-07.

External links

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[lenstra-1] 1 2 Lenstra, Hendrik. "Profinite number theory" (PDF). Mathematical Association of America. Retrieved 11 August 2022.

[2] Connes & Consani 2015 , § 2.4.

[3] K. Conrad, The character group of Q

[4] Questions on some maps involving rings of finite adeles and their unit groups.

[5] Milne 2013 , Ch. I Example A. 5.

[6] "Class field theory - lccs". www.math.columbia.edu. Retrieved 2020-09-25.

[1]

[2]

[3]

[4]

[5]

[6]