Consider normal Sylow subgroups $G_1, \ldots, G_r$ of a finite abelian group $G$. Let's set up the homomorphism $\phi: G_1 \times \ldots \times G_r \to G$ s.t. $(g_1, \ldots, g_r) \mapsto g_1\ldots g_r$ as in this question. How to show that the homomorphism is injective, i.e., the kernel is trivial?
I understand that $g_1, \ldots, g_n$ raised to their respective orders is certainly in the kernel but I'm not sure how to show that no other $r$-tuple is in the kernel too. I think the fact that "in abelian groups, the order product of commuting elements with relatively prime orders is equal to the product of their orders" needs to be used somehow but I'm not sure how.