A square matrix can send different inputs to the same output, or leave some outputs unreachable. An inverse must undo its action completely: every output must come from exactly one input. This requirement connects reversibility to the solution sets of . Entries are real unless another field is specified.
Before you start
Use matrix multiplication in its given order and recall that each elementary row operation is reversible. A system has a unique solution exactly when it is consistent and every variable column is a pivot column after reduction. Invertibility will guarantee this for every right-hand side of the appropriate dimension.
Left and right inverses
Definition
Left inverse and right inverse
Let be a matrix.
- A matrix is a left inverse of if .
- A matrix is a right inverse of if .
For rectangular matrices, a left inverse or a right inverse can exist alone. If both exist, however, they must coincide. The square case will give the stronger conclusion that either one-sided inverse already guarantees the other.
Definition
Invertible matrix
Let be a square matrix. We say that is invertible if there exists a matrix such that
The matrix is called the inverse of , and we write .
Theorem
The inverse is unique
Let be and let be . If is a left inverse of and is a right inverse, then . In particular, an invertible square matrix has exactly one inverse.
Proof
Why the inverse is unique
The assumptions are and . Associativity gives
No factors were interchanged. For an invertible square matrix, any two inverses satisfy these hypotheses, so they coincide.
What invertibility means
The equations defining an inverse restore every input vector. Diagonal matrices make that action especially transparent.
Worked example
A diagonal matrix is easy to invert
Let
Then
This works because each diagonal entry is replaced by its reciprocal, and the off-diagonal zeros stay zero. Multiplying by gives .
Equivalent formulations
Theorem
Equivalent ways to recognize invertibility
Let be a real matrix. The following conditions are equivalent:
- is invertible.
- is row-equivalent to .
- is a product of elementary row-operation matrices of order .
- has a left inverse.
- has a right inverse.
- is nonsingular: has only the zero solution.
- For every , the system is consistent.
- For every , the system has exactly one solution.
Equivalently, the columns of are linearly independent, or they span . When these conditions hold, the unique solution is .
Proof
Where the square hypothesis enters the equivalence proof
A left inverse forces the homogeneous solution to be zero: if , then . Conversely, suppose the homogeneous system has only the zero solution. In any RREF of , a free variable would produce a nonzero homogeneous solution. Thus every column has a pivot. Because is square, there are also exactly pivot rows, and the RREF is .
If a row-operation product satisfies , the reverse chain shows that is invertible and . Hence is invertible and is itself a product of elementary matrices. Conversely, any such product is invertible, and an inverse is in particular a left inverse. This connects conditions 1–4 and 6 without assuming uniqueness of RREF.
Now suppose . Then is a left inverse of the square matrix . The already proved left-inverse criterion makes invertible, and is invertible. This proves the right-inverse criterion without silently reversing a product.
If every is consistent, choose solutions of , where is column of . Their matrix satisfies , so the right-inverse criterion applies. Finally, when is invertible, proves existence, and any solution satisfies , proving uniqueness. Uniqueness for every right-hand side implies consistency for every right-hand side.
The column statements are translations: independence means that has only the zero coefficient vector, and spanning means that every has a representation . Thus no additional assumption about the columns is being introduced.
Row reduction and the inverse
Each elementary row-operation matrix is invertible; its inverse encodes the reverse operation, as proved in 3.5 Elementary row-operation matrices. If the chronological operations have matrices , their combined left multiplier is .
Apply every operation across the entire augmented matrix. Then
If the left block becomes , then . Since is invertible, and the right block is . If reduction leaves a missing pivot in the left block, the square matrix fails the equivalent conditions above. The method tests invertibility as well as computing an inverse; a complicated right block cannot compensate for a missing left pivot.
How to use the invertibility dictionary
Choose the criterion matching the given evidence: pivots, a one-sided identity, a nonzero null-space vector, or information about all right-hand sides.
Worked example
A nonzero null-space vector proves non-invertibility
Suppose is a square matrix and
Then cannot be invertible. Indeed, if existed, multiplying on the left by would give
The left side is , while the right side is . This would force , contradicting the given vector. Therefore the existence of one nonzero solution of already proves that is singular.
Worked example
Use an inverse to solve a system
Suppose
If , then multiply both sides by :
The inverse is not just a symbol for undoing ; it is an explicit formula for the unique solution.
Row-equivalence through invertible matrices
Theorem
Row-equivalence is left multiplication by an invertible matrix
Suppose and are matrices with rows. Then the following are equivalent:
- and are row-equivalent.
- There exists an invertible matrix such that
Moreover, once , we also have
A row-operation chain supplies such a product . Conversely, the dictionary expresses any invertible as a product of elementary matrices, so is obtained from by those row operations. Multiplying by recovers .
Worked example
Reading a row-equivalence as one matrix equality
Let
The matrix is the row-operation matrix for the move
So
If we call this new matrix , then . That single equation records the entire row operation. Since is invertible, and are row-equivalent.
Theorem
Row operations preserve linear relations among corresponding columns
Let and be row-equivalent matrices, and write their columns as
If
then
In particular, linear dependence and linear independence among corresponding columns are preserved by row-equivalence.
Multiplying by carries each relation forward; multiplying by recovers it. Thus the same coefficient relations hold in both directions, which also proves preservation of dependence and independence. The columns themselves generally change. The full RREF uniqueness argument and its role in rank are developed in 5.2 Rank and uniqueness of RREF.
Products and inverse order
Theorem
A square product is invertible exactly when its factors are
Let be real matrices. Then is invertible if and only if both and are invertible. In that case,
Proof
Construct the inverse before using its name
First assume the factors are invertible and set . Check both sides using associativity:
Only now may we conclude that . The reversed order places the inverse pairs next to each other; no commutativity is used.
For the converse, assume is invertible and write . We cannot yet use or . Instead,
Thus has a right inverse and has a left inverse. Both factors are square of the same order, so the previously proved one-sided criteria make them invertible. This use of the dictionary is essential to the converse.
By induction, a finite product of square matrices of the same order is invertible exactly when every factor is invertible, and
Why the transpose also matters
Theorem
Transpose, scalar multiples, and powers
If is invertible, then and . For a nonzero real scalar , .
Every integer power is invertible, with . Here , and for a positive integer , .
The transpose formula follows by transposing both inverse identities, which reverses their factor order. The scalar formula follows by cancelling and in both products. Positive powers follow from the product theorem; negative powers apply it to , and the zero power is the identity. For a positive integer , invertibility of also implies invertibility of . That converse is false for , since even for singular square .
Products that equal the identity
Theorem
A one-sided identity is enough in the square case
Let and be square matrices of the same size. If
then both and are invertible, and
Worked example
Cyclic identities from
Suppose are matrices and
Group the product as
By the one-sided identity theorem, and are inverses of each other. Therefore
Next group the same original product cyclically:
after using the already justified cyclic identities. This gives
So , , and are forced to equal . Arbitrary reorderings such as or are not forced by ; matrix multiplication still does not commute.
Compute an inverse by row reduction
Worked example
Find an inverse by row reduction
Let
Start from :
Eliminate the entry below the first pivot:
Now scale the second row and clear the entry above the second pivot:
So
A family of inverse matrices
Worked example
A parameterized inverse from row reduction
For a real number , let
Row-reducing the augmented matrix gives
Since the left block is for every real , the matrix is invertible for every real , and
Notice what this conclusion does and does not say. The parameter remains in the inverse; it is not a value to be solved for. The row reduction has shown that no value of creates a missing pivot in the left block.
Common mistake
Do not treat every parameter as a restriction
Sometimes a parameter appears because the answer is a family of inverses, not because the matrix fails for special values. The restriction comes from a missing pivot or an illegal division by zero, not from the mere presence of a symbol.
Reading supplied row-reduction tables
Worked example
An inverse pair and a transposed system
Suppose a reduction table shows that is row-equivalent to , where
Then the row-reduction result itself already says
The corresponding coefficient matrix is
Direct multiplication gives , which verifies this inverse pair. Now let
To solve , do not row-reduce again from the beginning. Since is invertible, is also invertible and
Therefore
The computation is short because the reduction table has already done the hard work.
Worked example
Four inverse computations read by pivot columns
For each matrix below, the method is the same: row-reduce , look only at the pivot pattern of the left block first, and read the inverse from the right block only if the left block becomes .
Case (a). For
one echelon stage has left block
There is no pivot in the fourth column. Hence is not invertible.
Case (b). Take from the preceding inverse-pair example. Its reduction reaches , so all four columns have pivots and . The same matrix used there to solve the transposed system provides an invertible case here.
Case (c). For
one echelon stage has left block
Again a pivot column is missing, so is not invertible.
Case (d). For
the reduction reaches , with
The identity left block certifies invertibility in cases (b) and (d). The missing pivots in cases (a) and (c) rule it out, regardless of the entries in the right block.
Worked example
A final identity block controls the whole chain
Suppose a row-operation chain carries through an intermediate matrix and finally to . After the last few operations, the final augmented matrix is
The left block is , so and
It follows immediately that is invertible and
The same chain can also be read as one left multiplication. Let be the product of all row-operation matrices in the chain. Since and , we have . Therefore, if the same row operations carry to , then
Multiplying by on the left gives
so
The same row-operation chain acts on every matrix by the same left multiplier . This is why the numerical reduction also determines the equation for .
Prove or disprove invertibility without determinants
Worked example
A vector identity that proves invertibility
Suppose is a matrix and
for every vector . Move the terms involving to the left:
Since , this says
Two matrices that agree on every vector are the same matrix, so
Thus is a left inverse of . Because is square, a one-sided identity is enough: is invertible, and its inverse is .
Worked example
A contradiction proof for non-invertibility
Suppose and are distinct matrices, and
We prove that is not invertible. Let
First compare and :
while
Using the assumptions and , we obtain
If were invertible, multiplying by on the left would give , contradicting the assumption that and are distinct. Therefore is not invertible.
Common mistakes
Common mistake
Do not confuse one-sided inverses in the rectangular case
For a non-square matrix, a left inverse need not come with a right inverse, and a right inverse need not come with a left inverse. If both exist, they coincide. For a square matrix, the equivalence theorem proves that either one-sided inverse guarantees a unique two-sided inverse.
Common mistake
Do not guess invertibility from appearance
A matrix can look simple and still fail to be invertible. The correct test is to row-reduce it, or to use one of the equivalent conditions above.
Common mistake
Do not permute factors without justification
From , it is legitimate to derive certain cyclic identities such as by using inverse theory. It is not legitimate to rearrange the factors as if commute.
Quick checks
Checkpoint
If is invertible, what is ?
Use the defining property of an inverse.
Solution · Answer
It is .
Checkpoint
If is invertible, can the homogeneous system have a nonzero solution?
Use the unique-solution statement.
Solution · Answer
No. Since has the unique solution , the homogeneous case has only the trivial solution .
Checkpoint
If is invertible, is invertible?
Use the transpose rule above.
Solution · Answer
Yes. is invertible, and .
Checkpoint
If with invertible and the columns of satisfy , what relation must hold among the columns of ?
Keep the same coefficients and use .
Solution · Answer
The corresponding columns of satisfy
Row-equivalence changes the columns themselves, but not the coefficient pattern in a linear relation.
Checkpoint
Suppose are square matrices and . Which cyclic identity is forced: or ?
Group the original product as .
Solution · Answer
is forced. Since , the square one-sided identity theorem implies that is the inverse of , so . The equality would reverse the order of the factors and is not forced in general.
Checkpoint
In the parameterized inverse above, what is the entry of when ?
Substitute into the first row, fourth column.
Solution · Answer
The entry is , so when it equals .
Checkpoint
If for every vector , which matrix acts as the inverse of ?
Move all terms to one side and look for a factorization involving .
Solution · Answer
The inverse is . Indeed, the vector identity gives ; for square matrices, this one-sided identity is enough to conclude that is invertible.
Checkpoint
If row operations transform into , what is ?
Read the right block only after confirming the left block is the identity.
Solution · Answer
. The same row operations that turn into turn into the inverse of .
Checkpoint
Row operations take to , where is square. Explain why follows as well as .
Distinguish what the row-operation product gives directly from what the square one-sided inverse theorem adds.
Solution · Answer
If is the product of the elementary matrices, the two blocks give and . Hence and directly. Because and are square of the same order, a left inverse is also a right inverse. Thus and . The square hypothesis is essential to this last implication.
Exercise
Checkpoint
Suppose is invertible and . Prove that .
Use the fact that the inverse of is unique.
Solution · Guided solution
Since is invertible, it has an inverse . Multiply the equation on the left by :
By associativity,
Because , this becomes
So any right inverse of an invertible square matrix must be the inverse itself.
Checkpoint
Suppose for square matrices and . Prove that and commute.
First use the square one-sided identity theorem, then expand .
Solution · Guided solution
Since , the square one-sided identity theorem gives
Now compute the commutator:
Regroup the two parts:
and
Therefore
So , which means and commute.
Related notes
This page depends especially on 2.3 Gaussian elimination and RREF, 3.2 Matrix multiplication, identity matrices, and linear systems, and 3.3 Transpose, symmetric, and skew-symmetric matrices.
The connection between a zero null space and uniqueness is developed in 4.1 Homogeneous systems and null space.