Past exam of the mathematics course of the University of Cambridge 2024 ib Paper 1 1G Solution Created 2026-09-23 Updated 2026-09-25
For a linear map , its rank is and its nullity is . The rank-nullity theorem states that, when is finite-dimensional,To prove it, take a basis of and extend it to a basisof . The vectors span . They are also linearly independent: if , then , and independence of the chosen basis forces every to vanish. Thus the rank is and the nullity is .
Past exam of the mathematics course of the University of Cambridge 2024 ib Paper 1 8G a Solution Created 2026-09-24 Updated 2026-09-25
The dual space isthe vector space of linear functionals on . If is a basis of a finite-dimensional , define . Every has the unique expansionso the dual basis proves
For , its annihilator of a vector subspace isIf is a basis of and is extended to a basis of , thenConsequentlyIf , this dimension is positive, giving a nonzero functional that vanishes on .
For a linear map , the dual map isNowsoEvery vanishes on , henceThe two spaces have the same dimension, sinceThus
Let be the quotient map. Since is onto, is injective, and the preceding identity givesThereforeFor the inclusion , the map is restriction to . It is onto and has kernelThe first isomorphism theorem now gives the other duals of a subspace and its quotient:
Past exam of the mathematics course of the University of Cambridge 2024 ib Paper 2 8G a Solution Created 2026-09-24 Updated 2026-09-25
The characteristic polynomial isTo prove triangularizability, use induction on . The result is immediate for . Over , has a root , so has an eigenvector . Extend it to a basis. In this basis,By induction, a change among the remaining basis vectors makes upper triangular. Thus the triangularization over an algebraically closed field gives
The minimal polynomial is the monic polynomial of least degree satisfying . To establish existence without quoting the Cayley-Hamilton theorem, let be an upper-triangular matrix similar to , with diagonal entries , and putThenThe factors commute, so applying all of them successively lowers the invariant flag to zero:Similarity gives the same polynomial identity for . Hence a nonzero monic annihilating polynomial of degree exists, and a least-degree one exists.
If and were two monic annihilating polynomials of the same least degree, then would be an annihilating polynomial of smaller degree unless it were zero. Thus the minimal polynomial is unique, and the minimal polynomial bound from a triangular invariant flag gives
Past exam of the mathematics course of the University of Cambridge 2024 ib Paper 4 8G a Solution Created 2026-09-24 Updated 2026-09-25
Two matrices are equivalent when for invertible matrices and of the appropriate sizes. A change of basis in the codomain multiplies a matrix on the left, while a change of basis in the domain multiplies it on the right. Hence two matrices of the same linear map in two pairs of bases are equivalent.
Conversely, start with the map having matrix in the standard bases. Given , choose domain and codomain bases whose change-of-coordinate matrices produce and ; then represents the same map in those bases. This proves the equivalence.
Past exam of the mathematics course of the University of Cambridge 2024 ib Paper 4 8G b Solution Created 2026-09-24 Updated 2026-09-25
For , the independent vectors lie in the coordinate subspace supported onwhich has dimension . Hence , and the stated form of Hall marriage theorem gives an injection with .
Let be the matrix whose th column is . Its column rank is . By equality of row and column rank, it has linearly independent rows. Let be their indices. The submatrix is invertible, so its columns are independent. Those columns are exactly the nonzero coordinates of , and therefore these truncated vectors are linearly independent.
Expanding gives a permutation for whichThus . Finally, order the coordinates with first. The matrix whose columns are the together with the for is block triangular, with diagonal blocks and an identity matrix. Its determinant is nonzero. Consequentlyis a basis of . This is the simultaneous basis exchange from a nonzero minor.
Past exam of the mathematics course of the University of Cambridge 2024 ib Paper 4 9E a Solution Created 2026-09-24 Updated 2026-09-25
An -module is free if it has a basis: a subset such that every element has a unique expression as a finite -linear combination of elements of .
Choose a maximal ideal of the nonzero ring . If , quotienting by givesThese are vector spaces over the field , so equality of dimension gives . This proves invariant basis number for a commutative ring.
Past exam of the mathematics course of the University of Cambridge 2024 ib Paper 4 9E b i Solution Created 2026-09-24 Updated 2026-10-03
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 324 1 b Solution Created 2026-09-25 Updated 2026-10-03
A shift-invariant basis is a common eigenbasis of all cyclic shift operators . For the displayed Fourier states, orthonormality follows from the root-of-unity filter:There are vectors in this orthonormal set in the -dimensional Hilbert space, so they form a basis. Reindexing the finite sum givesThus every is simultaneously an eigenvector of every shift, with eigenvalue for .
Past exam of the mathematics course of the University of Cambridge 2024 ii Paper 1 19H Solution Created 2026-09-23 Updated 2026-09-25
A complex representation of is a complex vector space together with a homomorphismIt is faithful when , equivalently when is injective. Every finite group has a faithful complex representation: in the regular representation, permutes the basis byand a group element fixing every basis vector must be the identity.
If is conjugate to , then is similar to . Thus the two matrices have the same spectrum, while an eigenvalue of gives the eigenvalue of . Hence
Now take a -cycle . It is conjugate to for every . Faithfulness makes have order , so its spectrum contains a nontrivial th root of unity . The preceding implication puts all the distinct valuesin the spectrum. Therefore . This is the spectrum orbit bound for a faithful symmetric-group representation.
Finally let be the group of all permutations of . It has no faithful finite-dimensional complex representation. For every , contains a subgroup generated by disjoint transpositions. In a -dimensional complex representation, commuting involutions are simultaneously diagonalizable and hence map into the group of diagonal sign matrices, which has order . A faithful restriction would require for every , an impossibility.