Can someone give me a hand on this problem? I want to show that for all . Given that are abelian groups such that
Suppose . We have and .
But we know each of and can be decomposed into a product of cyclic groups. So, where is a cyclic group of order x.
So, I try to show that
But I don't really know how to apply the hypothesis to prove this here.