Upgrade subject to access all content

Which of the following statements is true about direct products?

If $G, H, \text{ and} K$ are abelian groups, such that $G\times H\cong G\times K$, then $H\cong K$.

$\mathbb{Z}_2\times \mathbb{Z}_{n}\cong\mathbb{Z}_{2m}$ for all integer $m\geq 2$.

The direct product of two groups is an abelian group.

The direct product of finite groups is a finite group.

$\mathbb{Z}\times\mathbb{Z}$ is not cyclic.