Is there a isomorphism between the additive group of real algebraic numbers and the multiplicative group of positive real algebraic numbers, which is order preserving.
Asked
Active
Viewed 616 times
1 Answers
21
Any such isomorphism would have to extend to a continuous morphism from the additive group of the real numbers to the multiplicative group of the positive real numbers because the order-preserving condition means convergent sequences get sent to convergent sequences. Any such morphism is $a^x$ for some positive real $a$, and this is impossible e.g. by the Gelfond-Schneider theorem.
Qiaochu Yuan
- 419,620