Are $(\mathbb{R},+)$ and $(\mathbb{C},+)$ isomorphic as additive groups?

Question

I know that there is a bijection between $\mathbb{R}$ and $\mathbb{C}$, and this question asks whether they are isomorphic as abelian groups, are they referring to the additive abelian group? If so is there any simple isomorphism I can find? I know nothing about Hamel basis. Thanks.

NB: There is no continuous isomorphism. This illustrates the relevance of topological groups (as compared to abstract groups) in analytical contexts. — Martin Brandenburg, Feb 13 '13 at 22:59

score 38 · Accepted Answer · answered Feb 13 '13 at 22:55

38

Assuming the axiom of choice, yes.

Observe that both these abelian groups are actually $\mathbb Q$-vector spaces, and they have the same dimension, so they must be isomorphic as vector spaces, and such isomorphism is also a group isomorphism. This is in fact a stronger requirement than just group isomorphism, but nevermind that.

It is consistent with the failure of the axiom of choice that these two are not isomorphic, though. So one cannot give an explicit isomorphism between them.

answered Feb 13 '13 at 22:55

Asaf Karagila

393,674

From what you saying, do you imply that there is a way to construct $\mathbb{R}$ without accepting AC? – mez Feb 15 '13 at 08:39
2

@mezhang: Sorry about the previous comment. The real numbers are constructed without choice, yes. – Asaf Karagila Feb 15 '13 at 08:52
ok, what about this: With the failure of AC, existence of real numbers provide no contradiction? – mez Feb 15 '13 at 13:05
@mezhang: We can construct the real numbers in ZF. Their existence is not only consistent, but provable. – Asaf Karagila Feb 15 '13 at 15:28
And in this manner $\mathbb{R}\simeq\mathbb{R}/\mathbb{Q}$. – Ash GX Nov 12 '13 at 15:18
@Ash: That is also true. – Asaf Karagila Nov 12 '13 at 15:57
@Asaf: What is this 'ZF'? I saw it at least two comments. – Groups Jul 18 '15 at 03:25
1

@Groups: It's ZFC but without the axiom of choice. – Asaf Karagila Jul 18 '15 at 07:05

Are $(\mathbb{R},+)$ and $(\mathbb{C},+)$ isomorphic as additive groups?

1 Answers1

Linked

Related