MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## Is there an Isomorphism between R and C under addition? [closed]

Possible Duplicate:
AC in group isomorphism between R and R^2

Somewhere, I recall being told that there is an isomorphism between $\mathbb{R}$ and $\mathbb{C}$ under addition. However, despite a rather lengthy search, I have been unable to find anything to support this fact, although Paul Yale of Pomona College, in his paper, "Automorphisms of the Complex Numbers," showed that there are "wild" automorphisms of $\mathbb{C}$ that require the axiom of choice to construct. Given that rather surprising fact, it does not seem too unlikely that there could be an isomorphism between $\mathbb{R}$ and $\mathbb{C}$. So, the question is: Is it possible for there to be an isomorphism between $\mathbb{R}$ and $\mathbb{C}$, and if so, what is is?

-
If you are asking whether there exists an isomorphism $\mathbb C\to\mathbb R$ as abelian groups, then the answer is yes: both are in fact $\mathbb Q$-vector spaces of the same dimension, so they are isomorphic as such. – Mariano Suárez-Alvarez Jul 10 2010 at 12:43
Let the record show that Mariano beat me by two minutes. – Gerry Myerson Jul 10 2010 at 12:59
If $K$ is a countable field and $V$ is a vector space, then its dimension equals its cardinality. In particular, such spaces are isomorphic as soon as they are equipotent. – Martin Brandenburg Jul 10 2010 at 17:07
@Martin: that works if $|V|>|K|$; otherwise, note that $K$ is a vector space over itself, but the dimension is not $|K|=\aleph_0$, it's $1$. – Arturo Magidin Jul 10 2010 at 17:10
Btw, talking about $\mathbb{R}$ as $\mathbb{Q}$ vector space, I'd like to mention that one can produce a Vitali set as a direct summand $V$ of the subspace $\mathbb{Q}$. This way $V$ can't have null Lebesgue measure since $\mathbb{R}=\cup_{q\in\mathbb{Q}} (V+q)$, and it can't have positive measure since $V−V\subset V$ is not a neighborhood of 0, as it should be were it a measurable set with positive measure. – Pietro Majer Jul 10 2010 at 21:04
show 1 more comment