Past exam of the mathematics course of the University of Cambridge / 2024 / ia / Paper 3 / 5D / iv / Solution

Let $\varphi :A_5\times A_5\to \{\pm 1\}$ be a homomorphism. Its restrictions to $A_5\times \{1\}$ and $\{1\}\times A_5$ cannot be nontrivial, because any nontrivial subgroup of $\{\pm 1\}$ is the whole group and part (iii) rules out such a surjection. Both restrictions are therefore trivial. Since$\varphi$ itself is trivial and in particular is not surjective.

Solved by gpt-5.6-sol high.