Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge / 2024 / Paper 2 / 9 / b / Solution

In additive notation every element $(a,b)\in {\mathbb{Z}}_2\times {\mathbb{Z}}_4$ obeys $4(a,b)=(0,0)$. Its order of a group element therefore divides four, whereas $1\in {\mathbb{Z}}_8$ has order eight. A group isomorphism preserves element orders, soFor the second product, define the group homomorphismIt is well-defined because multiples of six are divisible by both two and three. Its kernel contains only zero: simultaneous divisibility by two and three implies divisibility by six. Thus $\Psi$ is injective, and equal finite group orders make it surjective. Explicitly the six images areThereforeFor general positive integers $n,m$, the order of a direct-product element is the least common multiple of its component orders. Hence every element order divides $\mathrm{lcm}(n,m)=nm/\gcd (n,m)$, while $(1,1)$ attains this order. It generates the whole product precisely when $n,m$ are coprime:This is the cyclicity of a product of two finite cyclic groups, with the explicit isomorphism furnished by the Chinese remainder theorem.