Weil group (source code)

= Weil group
{c}
{title2=$W_K$}
{wiki}

For a non-Archimedean local field $K$, the Weil group is the inverse image of the infinite cyclic subgroup generated by Frobenius under $\operatorname{Gal}(\overline K/K)\to\operatorname{Gal}(\overline k/k)\cong\widehat{\mathbb Z}$. It is dense in the absolute Galois group with its profinite topology.