Loading…
Loading…
Track exactly how row operations change determinants, then connect that behavior to multiplicativity, inverse matrices, and invertibility tests.
The previous note defined the determinant by cofactor expansion. That definition is fundamental, but expanding every large determinant is rarely the best calculation. Row reduction gives a second route: replace a matrix by a simpler one, record the exact determinant multiplier at every step, and read the final triangular determinant from its diagonal.
The row-operation multipliers lead to the following identities:
Every matrix in this note is square when a determinant is written. For a product, the factors have the same size, so that the product is again square.
Row reduction changes entries, but the determinant does not respond to all changes in the same way. A row swap changes its sign; scaling one row multiplies it by the same scalar; adding a multiple of a distinct row leaves it unchanged.
Concept lensAlgorithmic
At each arrow, write the operation and its determinant multiplier beside the matrix. The three entries are , , and for a swap, a nonzero scaling, and a row replacement respectively. The diagonal product belongs to the final triangular matrix; the ledger tells you how to transfer that value back to the starting matrix.
Definition
Work over the real numbers. Let be an matrix. An elementary row operation is one of the following, with the indicated row indices distinct when two rows occur:
The corresponding elementary matrix is obtained by applying that operation to . Left multiplication gives the same operation on every matrix : the transformed matrix is . The restriction is essential for an elementary operation because it makes the operation reversible.
The determinant scaling rule itself still holds for : a zero row gives determinant zero. However, zero scaling is not reversible and therefore is not an elementary factor in a product that is being undone. Keeping these two facts separate prevents a zero factor from being cancelled later.
Theorem
For an matrix , with and whenever two row indices occur:
The first rule is the alternating property of the determinant. For the second, hold every row except row fixed and use linearity in that row. If is replaced by , the determinant is multiplied by .
For a replacement, the row indices must be distinct. If , the new row is , so the determinant is multiplied by .
Proof
Write the rows of as , and let be obtained by replacing row by , where . Construct by replacing row of by . The th row of is
All other rows of , , and agree. Therefore multilinearity in row gives
Rows and of are identical, so the alternating property gives . Hence . This proof also shows exactly which distinct-row assumption makes the extra term vanish.
Theorem
Suppose a sequence of elementary operations changes into . If the sequence contains swaps and scales rows by nonzero factors , then
Consequently,
Row replacements do not appear in the product because their multiplier is .
If is a square row-echelon matrix, it is upper triangular and is the product of its diagonal entries. A zero row makes this product zero, so the ledger immediately gives because its denominator contains only nonzero factors. If this row-echelon matrix has no zero row, each of its diagonal positions is a pivot, so the diagonal product is nonzero. An arbitrary upper triangular matrix need not have this property: for example, is upper triangular but has zero determinant. The row-echelon qualification is therefore essential.
Before starting, write the matrix size and mark the roles of the rows. At each stage, use only a legal elementary operation: the two row indices in a swap or replacement must be distinct, and every scaling factor recorded in the ledger must be nonzero. Then follow this sequence:
This algorithm permits different valid elimination choices. Two reduction paths may produce different triangular matrices and different intermediate pivots, but their ledgers must return the same determinant. That agreement is a useful check on arithmetic, while the theorem explains why it is guaranteed. The same discipline also applies to an augmented matrix: when solving , an elementary operation acts on as a whole, whereas determinant bookkeeping concerns the square coefficient matrix .
For one elementary operation, let be its matrix. When is also square of the same size, is square. Since is the result of applying the operation to , the row rules say is respectively , , or . Applying the same rule to gives
If is a sequence, induction on the number of factors gives
Now suppose is invertible. The earlier row-reduction theorem supplies a factorization . Applying the last formula first to and then to yields
Thus in the invertible case.
For the singular case, row-reduce to an echelon form . The invertibility dictionary from the earlier notes says that a singular square matrix has a zero row in . Let and set . Every factor is nonzero because every operation is reversible. The zero row of remains a zero row in , so
Since , cancellation gives and . The equality again follows, now with both sides zero.
The notation also records the order of operations. The rightmost factor acts first, then , and so on. No commutativity of matrices is being used in this argument. The factors are all , while is an matrix, so each intermediate product is defined. This dimensional condition is part of the theorem, not a cosmetic convention.
Theorem
If and are square matrices of the same size, then
This statement was proved by the two cases above. It is stronger than a calculation trick: although and can be different matrices, scalar multiplication commutes, so
Theorem
For a square matrix ,
The proof of the product theorem already establishes both directions: an invertible matrix factors into elementary matrices with nonzero determinants, while a singular matrix reduces to an echelon matrix with a zero row. The nonzero reduction multiplier transfers that zero determinant to the original matrix.
Worked example
Let
Use replacements in the stated order:
Each operation adds a multiple of one distinct row to another, so each ledger entry is . The final matrix is upper triangular. Therefore
The order matters for producing the displayed states: the second replacement uses the already updated row . It changes no determinant factor.
Worked example
Let
Continue all the way to the identity:
The three multipliers are , , and . Hence
The triangular intermediate matrix has determinant , which is consistent with the first line . The final replacement removes the remaining off-diagonal entry while preserving the already corrected determinant value of the scaled matrix.
Worked example
Let
Expanding along the first column, with the cofactor sign at position equal to , gives
For the first minor, expand along its second row. Only the third entry can be nonzero, and its cofactor sign is :
For the second minor, expand along its first row:
Consequently
so is singular exactly when . At that value, direct row equations give a nonzero kernel vector:
This verifies singularity independently. For every other , the determinant is nonzero, so the determinant criterion says the homogeneous system has only the zero solution.
Theorem
If is invertible, then
For every positive integer and every square ,
If is invertible, the same identity holds for every integer , including negative .
Indeed, and multiplicativity give . Positive powers follow by finite repeated application of the product theorem. We define for every square matrix, including singular matrices. When is singular, this says ; we do not assert the scalar expression , since that would invite the undefined case . For negative , is defined only when is invertible, and the result follows from and the inverse formula.
Common mistake
Row operations preserve the solution set only when they are applied to the entire augmented matrix , including the right-hand side. It is not a valid unqualified statement that row-equivalent coefficient matrices have the same solution set. For example, is represented by , whereas is represented by ; changing the coefficient from to while keeping the right-hand side fixed changes the solution. For a homogeneous system, the augmented column is zero and remains zero, which is why row operations on alone are harmless in that special setting.
Other frequent errors are forgetting that a scaling factor must be divided out, counting a swap only once when it occurs twice in different stages, and using as though it were a determinant-preserving row replacement. The last operation is actually scaling by .
Checkpoint
Use the row-scaling rule directly.
The determinant is multiplied by .
Checkpoint
Read the determinant of the echelon form and then use the nonzero ledger multiplier to return to the original matrix.
. The echelon determinant is zero, and the nonzero swap/scaling ledger factor cannot change that conclusion when it is cancelled.
Checkpoint
Use the equivalence theorem.
No. A square matrix is invertible exactly when its determinant is nonzero.
Checkpoint
Try to avoid row scaling so the bookkeeping stays short.
Subtract from , then subtract the new from :
Only row replacements were used, so .
Checkpoint
Use multiplicativity.
Checkpoint
Assume A is invertible.
Return to 7.1 Determinants and cofactor expansion if the basic definition still feels too symbolic.
Continue with 7.3 Transpose, column operations, and Cramer's rule to see the column viewpoint and the adjoint formula.
Keep 5.1 Invertible matrices in view, because this note upgrades that chapter with a determinant criterion.