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

Show that $\mathbb{R}\oplus\mathbb{R}$ is not ring isomorphic to $\mathbb{C}$.

This is my first abstract algebra class and therefore if the explanation could be kept as simple as possible that would be very much appreciated. I dont even know how to approach this problem.

share|cite|improve this question
The first thing I would think about is: is $\mathbf{R} \oplus \mathbf{R}$ even a field? – Dylan Moreland Nov 28 '11 at 5:56
When you want to show that two rings are not isomorphic, the usual approach is to find some property which is enjoyed by one of them and not by the other, and which is preserved by isomorphisms. For example, the properties «being a field» or, more simply, «being an integral domain» or «containing an element whose square is the additive inverse of $1$» do the trick here. – Mariano Suárez-Alvarez Nov 28 '11 at 6:19
  • Nontrivial direct sums always have zero divisors, and $\mathbb C$ doesn't.
  • $\mathbb C$ has other algebraic properties that $\mathbb R\oplus \mathbb R$ doesn't have, like existence of solutions to polynomial equations, which would be preserved under ring isomorphism. For example, $\mathbb R\oplus \mathbb R$ has no element whose square is $(-1,-1)$, whereas $z^2=-1$ does have solutions in $\mathbb C$.
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.