group of profinite integers
::
:The Frobenius automorphism is a canonical (topological) generator of . If has elements, the map is given by for all in .
* The absolute Galois group of the field of rational functions with complex coefficients is free (as a profinite group). This result is due to Adrien Douady and has its origins in Riemann's existence theorem.