1
$\begingroup$

Let $(a_1,a_2,\cdots,a_n) \in G_1 \oplus \cdots \oplus G_n$. Give a necessary and sufficient condition for $|(a_1,a_2,\dots,a_n)| = \infty$.

I think if one $a_i$ has order $\infty$, then this would give a necessary condition. It is sufficient for the order of the direct product to be $\infty$ when only one of the $a_i$ has order $\infty$?

Thanks,

1 Answers 1

2

The order of $(a_{1},a_{2}, \cdots , a_{n}) \in \oplus_{i} G_{i}$ is the least common multiple of the orders of the $a_{i} \in G_i$, so it is bounded by the product of the orders. Does this help you answer your question?

  • 0
    That is correct.2012-09-23