0
$\begingroup$

Let $G$ be the real numbers under addition and G' the positive real numbers under multiplication. Prove that $G$ and G' are isomorphic under the mapping $x\phi = 2^x$

  • 1
    The homomorphism property is just a law of exponents. You can show the function is bijective by demonstrating there is an inverse (which is $\mathrm{log}_2(y)$).2011-11-09

1 Answers 1

5

These things might be of some use.

  • Show that $\phi$ satisfies: $\phi(x+y) = \phi(x) \cdot \phi(y)$

  • Show that if $\phi(x) = \phi(y)$, then $x =y$.

  • And for showing $\phi$ is onto note that for any $x > 0 \in \mathbb{R}^{\ast}$ $\exists$ $y =(\: \log_{2}(x)\: ) \in \mathbb{R}$ such that $\phi(y) = x$.

  • 1
    @Chandrasekhar: There is nothing inherently wrong; it's just I get frustrated with students who try to check injectivity the way you suggest, when the extra structure provides such a useful short-cut. Of *course* you can always prove injectivity by showing $\phi(x)=\phi(y)\Rightarrow \phi(x)\phi(y)^{-1}=1\Rightarrow \phi(xy^{-1})=1$ and then showing $xy^{-1}=1$, but then why bother proving the theorem characterising injectivity in terms of the kernel if the first place?2011-11-09