A group $H:=(\mathbb R,\boxplus)$, is given to be
- Ordered as per the canonical order of $\mathbb R$.
- Archimedean as per order in 1.
- Topological as per canonical topology of $\mathbb R$.
Can it be deduced that $H$ is group isomorphic to $(\mathbb R,+)$?
If not, what additional properties would be sufficient?
I have found that, by a theorem of Hölder, any Archimedean group is group isomorphic to a subgroup of $(\mathbb R, +)$. Hence the question above reduces to whether, as a result of the fact that the set itself is $\mathbb R$ and $H$ topological, the case of $H$ being isomorphic to a proper subgroup of $(\mathbb R,+)$ can be excluded.