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

By an argument which is not entirely trivial we know that if $G,H$ are finite groups and $G \times G \cong H \times H$, then $G \cong H$. I was wondering if this result holds if $G, H$ are infinite, and if not, then what a counterexample is.

share|cite|improve this question
up vote 4 down vote accepted

According to the wikipedia entry Rank of an abelian group there are rank 2 abelian groups $A=A_{m,n}$ and $B=B_{m,n}$ ($m,n\in\mathbb{N}$) such that $A^n$ is isomorphic to $B^n$ if and only if $m$ divides $n$. If this is so, then of course taking $m=n=2$ gives a counterexample. This result appears to be due to A.L.S. Corner who has various striking results that show that non-finitely generated abelian groups behave very strangely.

share|cite|improve this answer
I've found the paper where this result appears: Corner, A. L. S. On endomorphism rings of primary abelian groups. Quart. J. Math. Oxford Ser. (2) 20 1969 277–296. – Shane O Rourke Apr 5 '12 at 21:25

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.