1,662
edits
(→Examples: added example of profinite integers) 

* Finite groups are profinite, if given the [[discrete topology]].
* The group of [[padic number''p''adic integers]] <math>\Z_p</math> under addition is profinite (in fact [[procyclic (mathematics)procyclic]]). It is the inverse limit of the finite groups <math>\Z/p^n\Z</math> where ''n'' ranges over all natural numbers and the natural maps <math>\Z/p^n\Z \to \Z/p^m\Z</math>
* The group of [[profinite integers]] <math>\widehat{\Z}</math> is the inverse limit of the finite groups <math>\Z/n\Z</math> where <math>n = 1,2,3,\dots</math> and we use the maps <math>\Z/n\Z \to \Z/m\Z</math> for <math>nm</math> are used in the limit process. This group is the product of all the groups <math>\Z_p</math>, and it is the absolute Galois group of any finite field.
* The [[Galois theory]] of [[field extension]]s of infinite degree gives rise naturally to Galois groups that are profinite. Specifically, if ''L''/''K'' is a [[Galois extension]], we consider the group ''G'' = Gal(''L''/''K'') consisting of all field automorphisms of ''L'' which keep all elements of ''K'' fixed. This group is the inverse limit of the finite groups Gal(''F''/''K''), where ''F'' ranges over all intermediate fields such that ''F''/''K'' is a ''finite'' Galois extension. For the limit process, we use the restriction homomorphisms Gal(''F''<sub>1</sub>/''K'') → Gal(''F''<sub>2</sub>/''K''), where ''F''<sub>2</sub> ⊆ ''F''<sub>1</sub>. The topology we obtain on Gal(''L''/''K'') is known as the '''Krull topology''' after [[Wolfgang Krull]]. {{harvtxtWaterhouse1974}} showed that ''every'' profinite group is isomorphic to one arising from the Galois theory of ''some'' field ''K'', but one cannot (yet) control which field ''K'' will be in this case. In fact, for many fields ''K'' one does not know in general precisely which [[finite group]]s occur as Galois groups over ''K''. This is the [[inverse Galois problem]] for a field ''K''. (For some fields ''K'' the inverse Galois problem is settled, such as the field of rational functions in one variable over the complex numbers.) Not every profinite group occurs as an [[absolute Galois group]] of a field.<ref name=FJ497>Fried & Jarden (2008) p. 497</ref>
