The additive group of reals (R,+) and the multipilicative group of positive reals (R+,⋅) are isomorphic, and x↦exp(x) is one isomorphism from (R,+) onto (R+,⋅). This is probably an elementary example of group isomorphism that every beginning learner knows. But I wonder something more.
Problem:
How to decide the cardinality of {all group isomorphisms from (R,+) onto (R+,⋅)}?
Every function of the form x↦cx in which c∈(0,∞)∖{1} is one continuous group isomorphism from (R,+) onto (R+,⋅). But is every continuous group isomorphism from (R,+) onto (R+,⋅) is exactly of this form?
How to consider those group isomorphisms that contains discontinuities?
I have got hinted with something like that the/an answer to this problem depends on whether we have the axiom of choice or NOT. I got people hinted me on the freenode IRC in channel ##math, but that place (IRC) is not a good place to elaborate on things about this problem to a beginning learner. So I am asking more detailed elaboration on things about this problem here.
Thank you in advance for any possible help you may give!🙂🙂🙂
No comments:
Post a Comment