show · character.dirichlet.field_cut_out all knowls · up · search:

Let $\chi:\mathbb{Z}\to \mathbb{C}$ be a Dirichlet character with modulus $q$. Then $\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_n)=\zeta_n^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$.

The fixed field of $\chi$ is $\mathbb{Q}(\zeta_q)^{\ker(\chi)}$.

Authors:
Knowl status:
• Review status: beta
• Last edited by John Cremona on 2018-11-28 10:22:39
Referred to by:
History: