Past exam of the mathematics course of the University of Oxford / 2017 / Prelims / Mathematics I / 6 / c

By Lagrange's theorem, every nonidentity group element has order $5$, $7$, or $35$. If some element has order $35$, its seventh and fifth powers have orders $5$ and $7$, respectively, and we are done.

Otherwise every nonidentity element has order $5$ or $7$. Distinct subgroups of a given prime number order intersect only in the identity: a shared nonidentity element generates both. If there were no element of order $5$, the $34$ nonidentity elements would therefore partition into sets of six, the nonidentity elements of the cyclic subgroups of order seven. This would force $6\mid 34$, a contradiction. If there were no element of order $7$, the analogous partition into sets of four would force $4\mid 34$, again a contradiction. Thus elements of both orders exist.

Let $P$ and $Q$ be subgroups of orders five and seven, which exist by i. Their normalizers contain $P$ and $Q$, respectively. By Lagrange's theorem, $N_G(P)$ has order $5$ or $35$, and $N_G(Q)$ has order $7$ or $35$. If either has order $35$, its subgroup is normal by iv.

Suppose neither is normal. Then iv gives at least seven distinct subgroups of order five and at least five distinct subgroups of order seven. Distinct subgroups of the same prime order intersect only in the identity, and a subgroup of order five and one of order seven also intersect only in the identity by Lagrange's theorem. Thus $G$ would have at leastnonidentity elements, contradicting $|G|-1=34$. Hence at least one of $P,Q$ is a normal subgroup.

Choose a normal subgroup $N$ of prime order $p\in \{5,7\}$ as in ii, and choose a subgroup $H$ of the other prime order $q$. Their intersection is trivial by Lagrange's theorem. Both are cyclic groups, and ii gives $|\mathrm{Aut}(N)|=p-1$.

The image of a group homomorphism $\pi :H\to \mathrm{Aut}(N)$ from iii has order dividing $q$, because its kernel of a group homomorphism partitions $H$ into equally sized cosets. Its order also divides $p-1$ by Lagrange's theorem. Butso $\pi$ is trivial in either case. By iii, $⟨N,H⟩\cong C_p\times C_q$ has order $pq=35$ and therefore equals $G$.

If $n$ and $h$ generate $N$ and $H$, the element $(n,h)$ has order $\mathrm{lcm}(p,q)=pq=35$, since its $k$th power is the identity exactly when both $p$ and $q$ divide $k$. Thus this direct product of groups is cyclic, and