Past exam of the mathematics course of the University of Oxford / 2021 / Prelims / Mathematics I / 7 / b / iii / Solution

A smallest example is the Klein four-groupwith coordinatewise addition modulo $2$. Every nonidentity element has order of a group element $2$, so none generates all four elements; hence this group is not a cyclic group.

A group of group order $1$ is a cyclic group. A group of group order $2$ or $3$ is also a cyclic group: choose a nonidentity element; by Lagrange's theorem, its order of a group element is a nontrivial divisor of that prime number, so equals the whole group order. Thus no smaller example exists, and the smallest possible group order is $4$.