Suppose $G$ and $H$ are two divisible abelian groups. Futhermore we have $G\oplus G$=$H\oplus H$. Is $G$ isomorphic to $H$?
Does $G\oplus G$=$H\oplus H$ imply $G$=$H$ for divisible abelian groups?
1
$\begingroup$
abelian-groups
-
1If this is homework, what have you tried? – 2011-05-10
-
1Do 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
-
0Related: http://math.stackexchange.com/questions/27744 – 2016-08-22
1 Answers
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$.
-
0As 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