1
$\begingroup$

Suppose $G$ and $H$ are two divisible abelian groups. Futhermore we have $G\oplus G$=$H\oplus H$. Is $G$ isomorphic to $H$?

  • 1
    If this is homework, what have you tried?2011-05-10
  • 1
    Do you know the structure theorem for divisible abelian groups?2011-05-10
  • 0
    @Tyler: @Arturo:What I have tried is to write them as a direct sum of variouus Q and some prufer groups. So I think, I can delete the same ones from two sides.2011-05-10
  • 0
    Related: http://math.stackexchange.com/questions/277442016-08-22

1 Answers 1

4

If $A$ is a divisible abelian group, and we let $\delta_{\infty}(A) = \dim_{\mathbb{Q}}(A/A_{\mathrm tor})$, and $\delta_p=\dim_{\mathbf{F}_p}(A[p])$, where $p$ is a prime and $A[p] = \{a\in A\mid pa = 0\}$, then two divisible groups $A$ and $B$ are isomorphic if and only if $\delta_{\infty}(A)=\delta_{\infty}(B)$ and $\delta_p(A)=\delta_p(B)$ for all primes $p$. Apply it to $G$ and $H$, using the fact that $G\oplus G \cong H\oplus H$.

  • 0
    As you advised, I cosidered $G$/$t$($G$) and $H$/$t$($G$) and the fact that if G⊕G≅H⊕H then we have, $G$/$t$($G$)⊕$G$/$t$($G$)=$H$/$t$($G$)⊕$H$/$t$($G$). Since each term in previous equality is a direct sum of some $Q$, so we have for example a+a=b+b where "a" indicates the number of $Q$ in direct sum(for $G$/$t$($G$)) and b is for $H$/$t$($H$). The question for ending this problem is, does a+a=b+b imply a=b here? Thanks.2011-05-19
  • 0
    @Basil: Yes: either both $a$ and $b$ are finite, in which case you have $2a=2b$, hence $a=b$; or else both are infinite, in which case you have $a = a+a = b+b= b$ (since for infinite cardinals, $\kappa+\kappa=\kappa$).2011-05-19