Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2012/paper-2/10/ii/solution

Let be the lower block. Then
The defining relation requires , so for real constants . Both possibilities ensure invertibility.
If , the generator matrix has order four, because its square is not the identity while its fourth power is. Its four powers are distinct, giving a faithful representation. If , its square is the identity but it is not itself the identity; its lower diagonal entries are zero. The image then has order two and the kernel of a group homomorphism is . Thus the faithfulness criterion for a block representation of the cyclic group of order four gives
Other parameter values give no representation of , not additional unfaithful cases; also makes the assigned matrix singular. No orthogonality of these matrices was required.
For the final construction take
Multiplication adds exponents, so and . The representing matrix is the identity exactly for even exponents. Therefore this is a two-dimensional representation with kernel , as required. It factors through the quotient cyclic group of order two.

New to topics? Read the docs here!