The Galois group $\Gal(\Q(\zeta_n)/\Q)$ is canonically isomorphic to $\Z_n^\times$. The Dirichlet characters modulo $n$ form the dual group of homomorphisms $\chi:\Z_n^\times\to\C^\times$. Since $\Gal(K/\Q)$ is a quotient group of $\Gal(\Q(\zeta_n)/\Q)$, its dual group is a subgroup of the group of Dirichlet characters modulo $n$, called the Dirichlet character group of $K$.
- Review status: reviewed
- Last edited by Alina Bucur on 2018-07-08 00:48:07
- 2018-07-08 00:48:07 by Alina Bucur (Reviewed)