Absolute Galois group (source code)

= Absolute Galois group
{title2=$G_K=\operatorname{Gal}(K^{\mathrm{sep}}/K)$}
{wiki}

The absolute <Galois group> of a field $K$ is $G_K=\operatorname{Gal}(K^{\mathrm{sep}}/K)$. It is a <profinite group>, the inverse limit of the <Galois groups> of finite <Galois extensions>. Its continuous actions on discrete <modules> are the coefficients for <Galois cohomology>.