show · nf.dirichlet_group all 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:
  • Review status: reviewed
  • Last edited by Alina Bucur on 2018-07-08 00:48:07
Referred to by:
History: (expand/hide all)