Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Are the groups $\mathbb{C}$ and $\mathbb{R}$ isomorphic under addition?

And how could I prove this ?

What about $\mathbb{Q}$ and $\mathbb{Q}[i]$ ?

share|cite|improve this question
$\bf C$ and $\bf R$ are isomorphic as vector spaces over $\bf Q$ (take uncountably infinite transcendence bases) so they are isomorphic as additive groups. The latter are not isomorphic as $\bf Q$ vector spaces so they are not isomorphic as groups either - alternatively, the two elements $1$ and $i$ in ${\bf Q}(i)$ do not generate a cyclic subgroup, whereas every finitely generated subgroup of $\bf Q$ is cyclic. – anon Mar 21 '13 at 17:31
But don't try to write down an explicit additive isomorphism of $\mathbb C$ and $\mathbb R$ (you can't). This isomorphism cannot be proved in ZF, it requires choice. – GEdgar Mar 21 '13 at 17:34
The first one is a duplicate:… – Asaf Karagila Mar 21 '13 at 17:49
@anon:You want Hamel bases, not transcendence bases. – Andreas Blass Mar 21 '13 at 17:59
Err, yes, that's right. – anon Mar 21 '13 at 18:09

$\mathbb Q$ and $\mathbb Q[i]$ are not isomorphic as additive groups. Any two elements of $\mathbb Q$ have a "common divisor" ...

share|cite|improve this answer
I'm not quite sure how this proves that they're not isomorphic. – Kasper Mar 21 '13 at 17:50
In $\mathbb Q[i]$, the two elements $i$ and $1$ have no commonn divisor: there is no $u$ so that both of them belong to the subgroup generated by $u$. – GEdgar Mar 21 '13 at 17:53

In fact, you can also show that : $$\frac{\mathbb C^+}{\mathbb R^+}\cong\mathbb R^+$$ by setting the following surjective homomorphism: $$f:\mathbb C^+\to\mathbb R^+,~~~(a+ib)\to a$$

share|cite|improve this answer

Yes, they are isomorphic as additive groups.

They are in fact isomorphic as vector spaces over $\mathbb{Q}$ as they have the same dimension.

share|cite|improve this answer

The groups in question are all additive groups of fields of characteristic zero. In general the additive group $(F,+)$ of a field of characteristic zero is a uniquely divisible group: for all positive integers $n$, the map $[n]: F \rightarrow F$ given by $x \mapsto nx$ is an isomorphism. Indeed, it's a homomorphism for any commutative group and its inverse is $x \mapsto \left(\frac{1}{n}\right) x$.

I claim that any uniquely divisible commutative group $M$ admits the structure of a $\mathbb{Q}$-vector space in a unique way. For any nonzero rational number $\frac{p}{q}$ and any $x \in M$, we must define $\frac{p}{q} x$ to be the unique element $y$ of $M$ such that $qy = px$. It is easy to check that this works.

The only invariant of a vector space $V$ over any field $K$ is its dimension. Further, when the cardinality of $V$ is greater than the cardinality of $K$, the dimension of $V$ is equal to the cardinality of $V$. Thus:

$\mathbb{R}$ and $\mathbb{C}$ are both $\mathbb{Q}$-vector spaces of continuum cardinality; since $\mathbb{Q}$ is countable, they must have continuum dimension. Therefore their additive groups are isomorphic.

$\mathbb{Q}$ is a one-dimensional $\mathbb{Q}$-vector space whereas $\mathbb{Q}[i]$ is a two-dimensional $\mathbb{Q}$-vector space, so their additive groups are not isomorphic. (Note that the dimension of a $\mathbb{Q}$-vector space is the maximum cardinality of a $\mathbb{Z}$-linearly independent set. This leas to GEdgar's answer.)

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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