In mathematics, a profinite group is a topological group that is in a certain sense assembled from a system of finite groups. The idea of using a profinite group is to provide a "uniform", or "synoptic", view of an entire system of finite groups. Properties of the profinite group are generally speaking uniform properties of the system. For example, the profinite group is finitely generated (as a topological group) if and only if there exists d ∈ N {\displaystyle d\in \mathbb {N} } such that every group in the system can be generated by d {\displaystyle d} elements. Many theorems about finite groups can be readily generalised to profinite groups; examples are Lagrange's theorem and the Sylow theorems. To construct a profinite group one needs a system of finite groups and group homomorphisms between them. Without loss of generality, these homomorphisms can be assumed to be surjective, in which case the finite groups will appear as quotient groups of the resulting profinite group; in a sense, these quotients approximate the profinite group. Important examples of profinite groups are the additive groups of p {\displaystyle p} -adic integers and the Galois groups of infinite-degree field extensions. Every profinite group is compact and totally disconnected. A non-compact generalization of the concept is that of locally profinite groups. Even more general are the totally disconnected groups.
Definition Profinite groups can be defined in either of two equivalent ways.
First definition (constructive) A profinite group is a topological group that is isomorphic to the inverse limit of an inverse system of discrete finite groups. In this context, an inverse system consists of a directed set ( I , ≤ ) , {\displaystyle (I,\leq ),} an indexed family of finite groups { G i : i ∈ I } , {\displaystyle \{G_{i}:i\in I\},} each having the discrete topology, and a family of homomorphisms { f i j : G j → G i ∣ i , j ∈ I , i ≤ j } {\displaystyle \{f_{i}^{j}:G_{j}\to G_{i}\mid i,j\in I,i\leq j\}} such that f i i {\displaystyle f_{i}^{i}} is the identity map on G i {\displaystyle G_{i}} and the collection satisfies the composition property f i j ∘ f j k = f i k {\displaystyle f_{i}^{j}\circ f_{j}^{k}=f_{i}^{k}} whenever i ≤ j ≤ k . {\displaystyle i\leq j\leq k.} The inverse limit is the set:
lim ← G i = { ( g i ) i ∈ I ∈ ∏ i ∈ I G i : f i j ( g j ) = g i for all i ≤ j } {\displaystyle \varprojlim G_{i}=\left\{(g_{i})_{i\in I}\in {\textstyle \prod \limits _{i\in I}}G_{i}:f_{i}^{j}(g_{j})=g_{i}{\text{ for all }}i\leq j\right\}}
equipped with the relative product topology. One can also define the inverse limit in terms of a universal property. In categorical terms, this is a special case of a cofiltered limit construction.
Second definition A profinite group is a Hausdorff, compact and totally disconnected topological group: that is, a topological group that is also a Stone space.
… excerpt ends here. Continue reading the full article.
