Direct matrix multiplication givesConsequently , the Cayley-Hamilton theorem for its characteristic polynomial . Rearranging gives , so
For the specified coordinate vectors,Choose the orthogonal matrix representing a quarter-turn,Then and direct matrix multiplication gives . Thus these two shear mappings are orthogonally similar.
Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2003 Paper 1 5 a i Solution Created 2026-10-18 Updated 2026-10-20
Direct matrix multiplication givesSubtracting verifies . This is also the Cayley-Hamilton theorem for the characteristic polynomial .
A vector perpendicular to has the form . Direct matrix multiplication givesThus every nonzero such vector is an eigenvector with . The zero vector must be excluded from the literal claim about “any” perpendicular vector, since an eigenvector is nonzero. The eigenspace is two-dimensional. Equivalently, exhibits the spectrum of a scalar matrix plus a rank-one projector.
The determinant is multiplicative under matrix multiplication:This also holds when is singular, in which case both sides vanish.
Use Einstein notation, with repeated suffixes summed. The matrix multiplication and transpose giveInterchange the free indices, then relabel the dummy indices :The negative sign uses . Therefore is skew-symmetric. No orthogonality of is needed for this part: matrix congruence preserves skew-symmetry.
Adding the diagonal entries gives . Expansion along the first row gives . For the remaining trace, direct matrix multiplication givesThus . By multiplicativity of the determinant, . Altogether,
Expand the right-hand side in the orthonormal basis from part (b). Its coefficients areThus . If , then matrix multiplication gives . Matching coefficients fixes and , while is arbitrary. Consequently all solutions areGeometrically, the solution set is an affine line in a vector space parallel to the kernel of . The zero eigenvalue makes the component in that direction invisible to ; the other two components are uniquely determined. The displayed particular solution is perpendicular to the kernel, so it is also the point of this line closest to the origin.
Direct matrix multiplication givesThus is diagonal. The columns of are eigenvectors of with eigenvalues one and four.
Subtracting the second row from the third gives a third row , so expansion along it shows . Thus the matrix inverse exists and every right-hand side has a unique solution.
By the definition of matrix multiplication and trace, with all indices summed from to ,The entries are scalars, so their multiplication commutes. Reordering them and renaming the summed indices givesEquivalently, in Einstein notation, . This proves the cyclic property of the trace.
Apply matrix multiplication to obtainSince is a unit vector, the subtracted term is the orthogonal projection of along . Hence is the orthogonal projection onto a plane through the origin with normal vector . It fixes every vector perpendicular to and sends every scalar multiple of to zero. In particular .
From part (f), . To obtain , choose the Householder transformation that reverses only the third coordinate:Indeed , so , and direct matrix multiplication gives . The alternative vector produces the same matrix. Geometrically reflects in the plane , completing the reversal of all three coordinates.
Choose the unnormalized eigenvectorsTheir linear combination giving the specified vector isApplying the reciprocal eigenvalues of the inverse matrix therefore yieldsIn Cartesian coordinates, this is , and direct matrix multiplication gives .
By the definitions of matrix multiplication, transpose and trace,Relabelling the summed indices givesthe Frobenius inner product of these real matrices.
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2001 Paper 2 10 Solution Created 2026-10-18 Updated 2026-10-20
Representations. A complex group representation is a group homomorphism to the invertible linear maps on a vector space. It is an irreducible representation when and the only invariant subspaces are and .
Group table. The supplied matrices satisfy , , and . Their multiplication table isThe table proves closure and gives identity and an inverse for every element; associativity is inherited from matrix multiplication. The table is symmetric, so the group is abelian. It is the Klein four-group .
Dimensions and conjugacy. The sum of squares of irreducible representation dimensions is . A two-dimensional irreducible would alone contribute four, leaving no room for the ever-present one-dimensional trivial representation. Hence the given two-dimensional representation is reducible. Since the group is abelian, every conjugacy class is a singleton. There are therefore four inequivalent complex irreducible representations, each of dimension one:Taking the trace of the given matrices gives their character of a representation:
Irreducible characters. In a one-dimensional representation, the values on and must each be , since both elements square to . Their values determine the value on . The four choices give the complete character table:Each row is a character because it respects the generating relations, and the rows have unit norm and pairwise zero character inner product. The multiplicities of these rows in are respectively , by character orthogonality. Thus
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2001 Paper 2 8 Solution Created 2026-10-18 Updated 2026-10-20
Cosets and Lagrange. A left coset is . The left cosets of a subgroup partition a group, each with elements. Lagrange's theorem states for a finite group, so every subgroup order divides the group order.
The 64-element group. Work in the commutative ring , which has zero divisors. Denote the displayed lower triangular matrix by , where are its three entries below the diagonal. Direct matrix multiplication givesAll arithmetic is modulo four, so the set is closed. Associativity comes from matrix multiplication, the identity element is , andThe formula works in either multiplication order and requires no division. Hence these matrices form a group of order . This is the lower triangular version of the Heisenberg group over a commutative ring.
The abelian subgroup. If , write . ThenThe identity is and the inverse is , proving an abelian subgroup. Its two independent entries give and , in accordance with Lagrange's theorem. This is the abelian plane subgroup of the Heisenberg group modulo four.
More explicitly, is a surjective group homomorphism to the additive group of , with kernel . The four left cosets are exactly the four sets with fixed , ; representatives are . Thus is also a normal subgroup.
Matrices squaring to the identity. The product formula givesThe first and third coordinates vanish only when . Then modulo four, so the middle coordinate vanishes exactly when . Therefore the complete set isIt is a subgroup: multiplying two such elements keeps all three entries even, and their cross term vanishes modulo four, so the product simply adds the three even coordinates. The identity is included and each element is its own inverse. In fact is isomorphic to the direct product of groups . The seven nonidentity elements are involutions.