Let $\chi:\mathbb{Z}\to \mathbb{C}$ be a Dirichlet character with modulus $q$. The fixed field of $\chi$ is $\mathbb{Q}(\zeta_q)^{\ker(\chi)}$. By definition, this is the subfield of elements fixed under Galois morphisms $\zeta_q\mapsto \zeta_q^k$ for all $k$ such that $\chi(k)=1$.
In fact $\chi$ determines a homomorphism $\chi:(\mathbb{Z}/q\mathbb{Z})^\times\to \mathbb{C}^\times$. Identifying $(\mathbb{Z}/q\mathbb{Z})^\times$ with $\textrm{Gal}(\mathbb{Q}(\zeta_q)/\mathbb{Q})$ by $a\mapsto \sigma_a$ with $\sigma_a(\zeta_q)=\zeta_q^a$, we then identify $\ker(\chi)$ with a subgroup of $\textrm{Gal}(\mathbb{Q}(\zeta_q)/\mathbb{Q})$. By the Galois correspondence, the fixed field $\mathbb{Q}(\zeta_q)^{\ker(\chi)}$ of this subgroup is a subfield of $\mathbb{Q}(\zeta_q)$ whose Galois group is isomorphic to $\textrm{Im}(\chi)$, which is cyclic of order $n$ where $n$ is the order of $\chi$.
- Review status: reviewed
- Last edited by Pascal Molin on 2019-04-30 11:51:03
- 2019-04-30 11:51:03 by Pascal Molin (Reviewed)
- 2019-04-29 05:46:55 by Pascal Molin
- 2019-04-29 05:39:39 by Pascal Molin
- 2019-04-29 05:38:45 by Pascal Molin
- 2018-11-28 10:22:39 by John Cremona