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$.

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by Alina Bucur on 2018-07-08 00:48:07

**History:**(expand/hide all)

- 2018-07-08 00:48:07 by Alina Bucur (Reviewed)