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 basis
of . 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 .
For the given subspace, row reduction of the coefficient matrix gives
Taking and therefore gives
Hence
is a basis of .
The dual space is
the vector space of linear functionals on . If is a basis of a finite-dimensional , define . Every has the unique expansion
so the dual basis proves
For , its annihilator of a vector subspace is
If is a basis of and is extended to a basis of , then
Consequently
If , this dimension is positive, giving a nonzero functional that vanishes on .
For a linear map , the dual map is
Now
so
Every vanishes on , hence
The two spaces have the same dimension, since
Thus
Let be the quotient map. Since is onto, is injective, and the preceding identity gives
Therefore
For the inclusion , the map is restriction to . It is onto and has kernel
The first isomorphism theorem now gives the other duals of a subspace and its quotient:
The characteristic polynomial is
To 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 put
Then
The 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
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.
The column rank of is the dimension of the span of its columns, and its row rank is the dimension of the span of its rows. If represents , its column rank is . The transpose represents the dual map
so the row rank is .
If , then
whose dimension is : extend a basis of to one of and use the dual basis. Rank-nullity now gives . This proves the equality of row rank and column rank.
For , the independent vectors lie in the coordinate subspace supported on
which 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 which
Thus . 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. Consequently
is a basis of . This is the simultaneous basis exchange from a nonzero minor.
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 gives
These are vector spaces over the field , so equality of dimension gives . This proves invariant basis number for a commutative ring.
A direct summand of a free module need not be free. Take . Its ideals and satisfy
so . But has three elements, whereas a finite-rank free -module has elements; hence is not free.
Let be free with basis . Given a surjection and a map , choose satisfying . There is a unique linear map with , and on every basis vector
Thus , proving that free modules are projective.
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 gives
Thus every is simultaneously an eigenvector of every shift, with eigenvalue for .
A complex representation of is a complex vector space together with a homomorphism
It is faithful when , equivalently when is injective. Every finite group has a faithful complex representation: in the regular representation, permutes the basis by
and 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 values
in 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.