2
$\begingroup$

Let G be a finite group and $\phi$ a homomorphism from G to $\mathbb{C}-\{0\}$ such that $\phi(G)\neq \{1\}$. It is claimed, in a book Im studying, that $\phi(G)=\{\zeta_n^r : 1\leq r \leq n\}$, $n\geq 2$. Prove this.

  • 2
    Your title says "cube roots" but you apparently meant "$n^\text{th}$ roots". It is generally preferred that in your question you ask a question rather than give directions.2011-03-21

1 Answers 1

2

If $g\in G$ then $g^n=1$ for some $n$ (for instance, $|G|$). Then $1=\phi(1)=\phi(g^n)=\phi(g)^n$. This shows that the image of $\phi$ consists of roots of unity. Since there are only a finite number of them, you can take them to be powers of a single primitive root of unity.

  • 0
    @Jason: No. $n=|G|$ will never work unless $G$ is cyclic, and even if $G$ is cyclic this would only hold if $\phi$ is injective. E.g., you could have $\phi:\mathbb{Z}/4\mathbb{Z}\to\{-1,1\}$. Consider $(\mathbb{Z}/2\mathbb{Z})^2$ for a case where the order of the group must be larger than $n$.2011-03-21