It is a well known fact that the Galois group GG of a Galois extension KLK\subseteq L is a profinite group, as GG is equal to the inverse limit of the Galois groups of the finite subextensions of ...