Find all group homomorphisms from $\mathbb{Q}$ to $GL_n(\mathbb{C})$

abelian-groupsabstract-algebragroup-homomorphismgroup-theory

I have been looking at finding group homomorphisms from various groups into $GL_n(\mathbb{C})$. For example, I think I understand all homomorphisms from $\mathbb{Z} \to GL_n(\mathbb{C})$. I believe that one just picks an invertible matrix $A$ and map $1$ to this. Since $\mathbb{Z}$ is a cyclic group this gives all homomorphisms.

Now I am wondering how to do this for $\mathbb{Q}$ and $\mathbb{R}$ (both groups under addition). I thought I had worked this out for $\mathbb{Q}$. I thought that if one knew $\phi(1)$ then one would know $\phi(m)$ for any $m\in\mathbb{Z}$ and then this would extend to $\mathbb{Q}$, but I see now that this probably wouldn't fix say $\phi(1/m)$.

Best Answer

In order to appreciate the complexity of the set of homomorphisms ${\mathbb Q}\to GL(n, {\mathbb C})$, consider the simpler problem of describing homomorphisms of additive groups ${\mathbb Q}\to {\mathbb R}$. By regarding ${\mathbb R}$ as a rational vector space and choosing (using the Axiom of Choice) a basis (of the cardinality of continuum), we obtain: $$ {\mathbb R} \cong \bigoplus_{\alpha \in {\mathbb R}} {\mathbb Q}. $$
Every nonzero group homomorphism $h: {\mathbb Q}\to {\mathbb R}$ then corresponds to finitely many nonzero group homomorphisms $$ h_i: {\mathbb Q}\to {\mathbb Q}, i=1,...,n, $$ compositions of $h$ with coordinate projections
$$ \bigoplus_{\alpha \in {\mathbb R}} {\mathbb Q}\to {\mathbb Q}.$$ Each nonzero homomorphism $h_i: {\mathbb Q}\to {\mathbb Q}$ has the form $$ h_i(q)= a_i q, q\in {\mathbb Q}, a_i\in {\mathbb Q}^\times, $$ see here. Thus, describing homomorphisms ${\mathbb Q}\to {\mathbb R}$ amounts to describing tuples of nonzero rational numbers and finite subsets of ${\mathbb R}$.