A student came to me showing a question from his exam in basic group theory, in which they are asked to prove that $\mathbb{C}^*$ modulo the subgroup of roots of unity is isomorphic to $\mathbb{R}^+$ (in both cases we mean the multiplicative groups).
Now this seems to me to be a simple error in the question. I believe they meant to ask to prove that $\mathbb{C}^*$ modulo all the elements of absolute value 1 is isomorphic to $\mathbb{R}^+$ which is very easy to prove (take the homomorphism mapping $z$ to $|z|$ and use the first homomorphism theorem). However, I couldn't prove the claim about the roots of unity is wrong; is there an easy way to show this?
For the sake of completeness: $\mathbb{C}^{\ast}$ is isomorphic to $\mathbb{R}^{+} \oplus \mathbb{R}/\mathbb{Z}$ in the obvious way, and $\mathbb{C}^{\ast}$ modulo the roots of unity is then isomorphic to $\mathbb{R}^{+} \oplus \mathbb{R}/\mathbb{Q}$. As a $\mathbb{Q}$-vector space this is abstractly isomorphic to $\mathbb{R}^{+}$, but the construction of such an isomorphism is likely to require the axiom of choice.