# Is every homomorphism from $\langle(0,+\infty),\,\cdot\,,{}^{-1}\rangle$ into $\langle\{-1,1\},\,\cdot\,,{}^{-1}\rangle$ a constant valued function?

Let $f$ be a homomorphism from $\langle(0,+\infty),\,\cdot\,,{}^{-1}\rangle$ into $\langle\{-1,1\},\,\cdot\,,{}^{-1}\rangle$. Must $f$ be a constant valued function, i.e. is $f(x)=1$ for all $x$?

-

Yes, the only group homomorphism is $f(x)=1$. The reason why is very simple:
$$f(x)=f(\sqrt{x} \sqrt{x})=[f(\sqrt{x})]^2 \,.$$
$f(1)=[f(1)]^2\Rightarrow f(1)=1$ –  Bunuelian Trick Jan 26 '13 at 7:38
@Panu Well I proved that $f(x)=1$ for ALL $x$ ;) –  N. S. Jan 26 '13 at 7:43
@Panu $f(\sqrt(x))$ is $\pm 1$ because that is the range of $f$ ;) –  N. S. Jan 26 '13 at 7:47