A one-dimensional Artin representation $\rho:\Gal(\overline{\Q}/\Q)\to \GL_1(\C)\cong \C^\times$. Since the image is abelian and every Artin representation factors through the Galois group of a number field, we can view $\rho$ as a map $\Gal(K/\Q)\to \C^\times$ for an abelian number field $K$.
By the Kronecker-Weber theorem, $K$ is contained in a cyclotomic extension $\Q(\zeta_n)$ for some positive integer $n$. Using the canonical isomorphism $\Gal(\Q(\zeta_n)/\Q)\cong(\Z/n\Z)^\times$, the Artin representation corresponds to a homomorphism $(\Z/n\Z)^\times\to \C^\times$.
Extending it to $\Z/n\Z$ by defining it to be $0$ off of $(\Z/n\Z)^\times$, and then viewing it as a function on $\Z$ via the natural map $\Z\to\Z/n\Z$, we get the corresponding Dirichlet character, whose modulus is the same as that of the one-dimensional Artin representation.
- Review status: reviewed
- Last edited by Kiran S. Kedlaya on 2019-05-02 23:52:13
- 2019-05-02 23:52:13 by Kiran S. Kedlaya (Reviewed)
- 2019-05-02 23:51:00 by Kiran S. Kedlaya
- 2019-05-02 23:50:43 by Kiran S. Kedlaya
- 2016-03-27 15:26:03 by John Jones