# Is the group isomorphism $\exp(\alpha x)$ from the group $(\mathbb{R},+)$ to $(\mathbb{R}_{>0},\times)$ unique? [duplicate]

I'm having a problem trying to find the simplest way of proving this, which has most probably been solved a hundred of times but I am unable to find a good reference.

I have two groups, $(\mathbb{R},+)$ and $(\mathbb{R}_{>0},\times)$. I am trying to prove that the only class of isomorphisms between them is the class $F = \{f: f(x) = \exp(\alpha x),$ for all $\alpha \in \mathbb{R}_{>0}\}$. Existence is easy to prove: what I'm having trouble with is a clean algebraic uniqueness proof.

Does anyone know the proof or a reference containing this proof?

-

## marked as duplicate by Mikko Korhonen, Paul, Did, Daniel Rust, Old JohnDec 27 '13 at 11:58

You can find some facts about the functional equation $f(x+y)=f(xy)$ in this post. –  Martin Sleziak Dec 27 '13 at 10:21

Consider $(\Bbb R,+)$ as an infinite (continuum) dimension vector space over $\Bbb Q$, and fix a basis (Hamel basis).
Then, any automorphism of this vector space (for example permuting the basis) will be an automorphism of $(\Bbb R,+)$, and you can compose this with any exponential.