Assume a complex number $z=a+bi$ has the length $|z|=\sqrt{a^2+b^2}$, and it has the property that $|z_1z_1|=|z_1||z_2|$. A function $\phi$ from the multiplicative group $\mathbb{C^*}$ of non-zero complex numbers to the additive group $\mathbb{R}$ of real numbers by $\phi(z)=ln(|z|)$.
a). Show that $\phi$ is a group homomorphism
I came up with $\phi(z_1)\phi(z_2)=\phi(z_1+z_2)$ for $\phi$ to be homomorphism. Is this correct? Then I got stuck with $ln(|z_1|)ln(z_2)=ln(|z_1+z_2|)$. I don't know how to show that this equation is true.
b). Describe the Kernel K of $\phi$
Is it true that K=$(z\in G|\phi(x)=0)$ since the identity in the group of all real numbers is zero?
c). Explain why $\mathbb{C^*}/K\approx\mathbb{R}$
Have no clue how to do this one.....
For the first one, you got it backward and it should be $$\varphi(z_1 z_2)=\ln (|z_1 z_2|)=\ln (|z_1||z_2|)=\ln |z_1|+\ln |z_2|=\varphi(z_1)+\varphi(z_2)$$ which shows it is a homomorphism.
Second when is $\ln |z|=0$? when $|z|=1$ which is the unit circle on the complex plane
Third, a wordy explination is that if $a,b\in\mathbb{C}^\ast/\ker \varphi$ and $a=b$ then we have that $ab^{-1}\in\ker\varphi$, which means that $ab^{-1}$ is on the unit circle, when does that happen? when $a=\lambda b$ and $\lambda=\frac{1}{|a|}$, this means that if you view them as vectors that they are scalar multiple of each other and as that is the difference it makes the group in question, but scalars for complex numbers are real numbers, so they are isomorphic.