nf.dirichlet_groupall knowls · up · search:
If $K$ is an abelian number field, then $K\subseteq \Q(\zeta_n)$ for some positive integer $n$. Take the minimal such $n$, i.e., the conductor of $K$.
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$.
Knowl status:(expand/hide all)
- 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)