Is R under addition isomorphic to R\{0} under multiplication?

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
2 replies · 11K views
3029298
Messages
56
Reaction score
0

Homework Statement


Is [tex]\mathbb{R}[/tex] under addition isomorphic to [tex]\mathbb{R}\backslash{0}[/tex] under multiplication?

The Attempt at a Solution


It is true that [tex]\mathbb{R}[/tex] under addition is isomorphic to [tex]\mathbb{R}_{>0}[/tex] under multiplication, by using the bijection [tex]\phi : \mathbb{R}\rightarrow\mathbb{R}_{>0}[/tex] with [tex]\phi\left(x\right)=e^x[/tex]. But we cannot use this isomorphism for [tex]\mathbb{R}\backslash{0}[/tex] since the exponential is positive everywhere, and if we define it to be negative for [tex]x<0[/tex] then we cannot map to the interval [tex](0,1)[/tex]. Intuitively this gives a hint that there is no isomorphism possible... Can I do something with the fact that we know that if there is an isomorphism, it must map inverses to inverses, therefore [tex]\phi(0)=1[/tex]? I really need a hint to be able to find the answer... Thanks for any help!
 
Last edited:
Physics news on Phys.org
Let [itex]\varphi : (\mathbb{R},+) \to (\mathbb{R}\setminus \{0\},\times)[/itex] be such an isomorphism. For an arbitrary element [itex]x \in \mathbb{R}[/itex] we have:
[tex]\varphi(x) = \varphi(x/2 + x/2) = \varphi(x/2)^2 \geq 0[/tex]
 
Beautiful argument! Didn't think of that... thanks!