Friday, 7 June 2013

abstract algebra - How to decide the cardinality of textallgroupisomorphismsfrom(mathbbR,+)textonto(mathbbR+,cdot)?

The additive group of reals (R,+) and the multipilicative group of positive reals (R+,) are isomorphic, and xexp(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 xcx 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

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...