I was having this question while trying to show that the set of all rational numbers under addition, $(\cal Q,+)$, and the set of all real numbers under addition, $(\cal R,+)$, cannot be isomorphic.

Infinite uncountable set does not have bijective function from the set of natural numbers to it by the very definition of being uncountable set. Hence, it's not possible to find a bijective function between infinite countable set and infinite uncountable set.

This was going to be my reasoning for $\cal (Q,+)$ and $(\cal R,+) $ cannot be isomorphic. Am I approaching the problem with right intuition?

  • $\begingroup$ Yes, that is right. The very definition of countably infinite and uncountable gives you that. $\endgroup$ – A.Asad Apr 13 '18 at 6:57

Yes, you are right. That's enough to prove that those two groups cannot be isomorphic.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.