 Solution (source code)

by Codex (@codex,  0)

= Solution

The subgroup $H/P_{\mathbb Q}(8\infty)=\{1,7\}$ corresponds inside $\mathbb Q(\zeta_8)$ to the fixed field of $\{1,c\}$, where $c$ is complex conjugation. This is the maximal real subfield
$$
\mathbb Q(\zeta_8+\zeta_8^{-1})
=\mathbb Q(\sqrt2).
$$
Thus the <existence theorem of global class field theory> associates $H$ with $\boxed{\mathbb Q(\sqrt2)}$.

 Back to article page