The rank of a matrix is the dimension of its column space, equivalently the dimension of the image of a linear map represented by the matrix. For , the rank-nullity theorem gives
An injective endomorphism of a finite-dimensional vector space is surjective, hence invertible. By the adjugate matrix identity
is invertible when ; conversely, multiplicativity of the determinant shows that an invertible has nonzero determinant. Therefore
Let be the matrix unit with its only nonzero entry at . The following matrices are all nonsingular:
Indeed, is an elementary shear when , while is diagonal with one diagonal entry equal to two. Their linear span contains every except initially , because , and it then contains
Thus spans the -dimensional space and, having members, is a basis. This also covers , when .
Now let be a nonsingular zero-one matrix. If it had fewer than zero entries, at least two rows would contain no zero at all. Those two rows would both be the all-one row, contradicting linear independence. Hence every such matrix has at most
ones. The bound is attained. Let be the all-one matrix and set
where there are initial diagonal ones. If and , the first row equations give , while the last gives . Hence every , so is nonsingular and has exactly ones. Therefore
Fix and write for the complementary column indices. Over , decompose and . The equation is equivalent to
Matrix inversion is smooth on the invertible matrices, so
is a smooth, fiberwise-linear trivialization . The sets cover the base, proving that is a vector bundle of rank . It is the kernel bundle of a constant-rank family of linear maps, and its rank also follows from the rank-nullity theorem.
An elementary row operation is one of three reversible changes: interchange two rows; multiply one row by a nonzero scalar; or add a scalar multiple of one row to a different row. Their inverses are, respectively, the same interchange, multiplication by the reciprocal, and addition of the negative scalar multiple.
Applied to an augmented matrix, these changes interchange linear equations, rescale an equation by a nonzero factor, or add a multiple of one equation to another. Every old solution satisfies the new equations. Applying the inverse elementary row operation gives the converse, so the solution set is unchanged at every step. Equivalently, all the operations together give
where is an invertible matrix, a product of elementary matrices.
A system of linear equations is solvable exactly when . If is one solution, then
so its solution set is , a translate of the kernel of a linear map.
For , the matrix is an invertible matrix, and
Every is in the image of a linear map and has exactly one preimage. For , its first two columns span the image of a linear map, while the corresponding homogeneous linear system gives the kernel of a linear map:
The prescribed satisfies the displayed condition precisely when . If , it lies outside the image of a linear map and there is no solution. If , it lies in the image of a linear map, and the nonzero kernel of a linear map supplies infinitely many solutions.
Choose an ordered basis of and let . Define the characteristic polynomial by
If a different basis gives for an invertible matrix , multiplicativity of the determinant gives
Thus the definition is independent of the chosen basis. The alternate convention differs by the constant factor and gives the same roots.
For any matrix and compatible invertible matrix , the linear map maps onto : a linear combination of rows of is sent to the same linear combination of rows of . Its inverse function is , so these row spaces have equal dimensions. Hence right matrix multiplication by also preserves row rank.
If , ii now gives
This proves the required matrix similarity invariant without needing to assume equality of row rank and column rank.
When is an invertible matrix, . Apply i first to and then to :
Thus the two row spaces are equal. In particular, invertible left matrix multiplication preserves row rank.
For the given real matrix , direct matrix multiplication gives the eigenvectors
Put these eigenvectors into the columns of
Since , is an invertible matrix. The three column identities give , so
In particular, the matrix similarity is established by an explicit change-of-basis matrix.
For an matrix, the corresponding elementary matrices are , because the operation is implemented by left matrix multiplication. Apply the desired elementary row operation to the identity matrix . Writing for the matrix unit with its only nonzero entry, , in position gives:
Indeed, these matrix products interchange rows , scale row , and add times row to row , respectively. The displayed inverses undo precisely those operations. Algebraically, when , so ; the other two inverse identities follow immediately from their row actions. Thus every elementary matrix is an invertible matrix.
If is an invertible matrix, then
If instead is an invertible matrix, then
Thus in either case and are similar matrices. Explicitly, whenever and with , one has and . Applying the same argument with in place of proves equality of the sets of eigenvalues, including zero.
Parametrize the matrices by
Direct matrix multiplication gives
This proves closure. The identity matrix is , and the formula
gives both a left and a right inverse, as substitution in the product formula verifies. Thus each element is an invertible matrix, and the subgroup test shows that is a subgroup of . It is the unitriangular group and has elements.
Use and from part (a). The proposed unreversed product is
which differs from the actual inverse . Both original matrices are invertible matrices, so this is a valid counterexample. The universally valid order is .
Take , which are invertible matrices. Then , whereas . This proves that the determinant is not additive. Being a multilinear map of separate columns does not imply additivity in the entire matrix.
A two-sided matrix inverse requires a square matrix, so is necessary. It exists only if that square matrix is also an invertible matrix, equivalently ; choosing the dimension alone does not ensure invertibility.
False. The cyclic property of the trace permits , but not an arbitrary interchange. Even with and both invertible matrices, take
Then and , providing a counterexample.
Write the linear system as with
Expansion along the first row gives . Since , is an invertible matrix, and is the unique solution for this right side.
For the two-by-two matrix, take the product of the diagonal entries minus the product of the off-diagonal entries:
In particular, is an invertible matrix.
The coefficient matrix has determinant , so it is an invertible matrix. Its homogeneous linear system therefore has only the zero solution:
One can also subtract the first equation from the second to get , then subtract the first from the third to get , giving and finally . Thus there are no nonzero solutions.
Suppose . The given quadratic form bound then gives
so . Thus the kernel of is trivial. A square matrix with trivial kernel is an invertible matrix, proving the assertion. No symmetry assumption on is needed.