El grupo de Galois de la extensión abeliana maximal es un grupo topológico compacto abeliano de grado infinito sobre K.