Loading…
Define determinants carefully through minors and cofactors, then learn how cofactor expansion turns one scalar into a precise summary of square-matrix structure.
Elimination detects invertibility by reducing a square matrix to pivot equations. A determinant records the same distinction in one scalar: its value is nonzero exactly when the matrix is invertible. To construct this scalar and justify how it changes under elimination, begin with signed expansions into smaller square matrices.
The construction is recursive. A determinant of size is expressed using determinants of size , and the recursion stops at the case. The sign attached to each smaller determinant matters: omitting one minus sign can change the final value even when every minor has been computed correctly.
Concept lensStructural
The recursive expansion is an algorithmic way to calculate a number: choose an entry, delete its row and column, and continue on the smaller determinant. The same number also has a structural role: zero rows, repeated rows, and triangular shape force predictable values. These structural rules follow from the expansion. A cofactor is a signed scalar, not a new row or column of the matrix.
Definition 7.1.1
(Submatrix, minor, and cofactor)
Let be an matrix with . For indices , delete row and column simultaneously. The resulting matrix is the submatrix .
The minor belonging to is the scalar
The cofactor belonging to is the signed scalar
The signs form a checkerboard whose upper-left sign is positive:
The notation names a matrix, is a determinant of that matrix, and is that scalar after the sign has been attached. Keeping these three objects distinct prevents a common double-sign error.
Definition 7.1.2
(Recursive definition of the determinant)
For a matrix , define
For an matrix with , define its determinant by expansion along the first row:
This is a definition, not yet a theorem about other rows or columns. Each minor in the sum has size , so repeated use of the definition eventually reaches the base case. No determinant convention is needed: the submatrix and minor definitions are used only for .
Follow cofactor expansion turn one determinant into smaller signed branches, then see how zeros prune the tree and triangular matrices collapse to diagonal products.
Minor, sign, cofactor
Delete row i and column j and take the remaining determinant to obtain the minor. Multiplying that scalar by (-1)^{i+j} gives the cofactor.
Expansion branches
For B=[[3,2,-1],[4,1,6],[-3,-1,2]], expansion along the first row has coefficients 3, -2, and -1 multiplying the three minors.
Combine branch values
The three minors are 8, 26, and -1. Including the entries and checkerboard signs gives 3(8)-2(26)+(-1)(-1)=-27.
Zeros prune work
A zero entry contributes a zero cofactor term, so choosing a sparse row or column removes branches immediately.
One nonzero entry
If a row or column has only one nonzero entry, the determinant collapses to one signed smaller determinant.
Triangular read-off
For a triangular matrix, repeated one-branch expansion leaves the product of the diagonal entries.
Cofactor expansion is both a recursive definition and a computation strategy: choose sparse rows or columns so zero branches disappear before they cost work.
Theorem 7.1.3
(Expansion along an arbitrary row or column)
For a square matrix of size , and every fixed row index ,
The corresponding column statement is: for every fixed column index ,
Thus the first-row formula is the recursive definition, while an arbitrary-row or arbitrary-column formula is a theorem saying that the same determinant is independent of the chosen expansion line. The consequences below use this theorem as stated. The complete proof is in MATH1550: arbitrary cofactor expansion from the recursive determinant. Read it after the recursive definition here: grouping the Leibniz sum by gives the same base case and first-row recurrence, so induction identifies the two definitions; deleting changes the sign by ; grouping again gives any row or column. It does not assume the row-swap or product laws that follow here. Return to the zero-row and triangular consequences below once this bridge is clear.
Theorem 7.1.4
(A zero row or zero column gives determinant zero)
If every entry in one row or one column of a square matrix is zero, then its determinant is zero.
Theorem 7.1.5
(A row or column with one possible nonzero entry)
For a square matrix of size , suppose all entries in row are zero except possibly . Then
The same formula holds when all entries in column are zero except possibly . The formula includes the case .
For , a matrix with a zero row is , whose determinant is by the base definition. For , expand along that row using the arbitrary-row theorem. Every term has a zero entry as its factor, so every term is zero and hence .
The zero-column statement can be proved directly by induction, which makes the inheritance of the zero column explicit. For , the only matrix with a zero column is , and its determinant is . Assume the statement for . Let be a matrix with zero column . Expand along the first row. The term from column is zero. In every other term, delete row and a column ; the original zero column survives as a zero column of the resulting submatrix (with its index shifted when ). By the induction hypothesis each such submatrix has determinant zero. Hence every term is zero, proving .
For the one-support theorem, the row case follows by expanding along row : all terms except the -term vanish. For the column case, expand along row . The -term remains. For each , the submatrix inherits a zero column from column of , so its determinant is zero by the zero-column result. Therefore only remains. This is the precise reason that a sparse row or column collapses the calculation to one minor.
Theorem 7.1.6
(Triangular determinant theorem)
If is upper triangular or lower triangular, then
We prove the upper-triangular statement by induction on . For , it is the determinant definition. Suppose it holds for upper-triangular matrices, and let be upper triangular of size . Its last row has zero entries except possibly . Expanding along that last row gives
because the sign is . The retained submatrix is still upper triangular, with diagonal . By induction its determinant is , giving the required product through . For a lower-triangular matrix, expand along the first row, whose only possible nonzero entry is ; the retained submatrix is lower triangular with diagonal , and the same induction proves the result.
Theorem 7.1.7
(Multilinearity in one fixed row)
Fix every row except row . If the new row is , then
For , the base definition gives
For , fix every row except row . Let matrices agree in all those fixed rows, and suppose their th rows satisfy . For each column , deleting row gives the same submatrix:
Expanding along row and using the entrywise relation gives
The equality works precisely because every other row is held fixed; changing two rows at once is a different statement.
Theorem 7.1.8
(Repeated rows force determinant zero)
If a square matrix has two identical rows, then its determinant is .
Let have adjacent rows , and let be obtained by swapping those two physical rows. Expand along row . Expand along row , where the row has moved. For each column , the retained submatrix in the two expansions is the same matrix: deleting the position occupied by leaves the other row in the same order. However, the signs differ:
The entries and minors therefore match term by term with the opposite sign, so . Swapping rows in positions can be realised by adjacent swaps, an odd number, and hence also changes the sign.
If rows and of are identical, the matrix obtained by swapping them is still . The swap result then gives . Since the entries are real, this implies and therefore . This proof does not rely on a later row-replacement rule.
For each term, keep three objects visible: the selected entry, its submatrix after deleting one row and one column, and the minor obtained by taking that submatrix determinant. Write the checkerboard sign from the original row and column positions before evaluating the minor. When a minor is expanded again, its local indices guide the inner sign; they do not replace the outer sign.
The arbitrary-row and arbitrary-column theorem makes the choice of expansion line strategic. Choose a line with many zeros or simple surviving minors, and state that choice before calculating. A zero entry removes a branch immediately, whereas a zero minor must be established by its own calculation. The recursive first-row formula defines the determinant; arbitrary-line expansion is the theorem that permits this computational choice.
Worked example 7.1.9
(The 2×2 formula is the first recursive case)
Let
Deleting row and column leaves , while deleting row and column leaves . Their minors are and , so the checkerboard signs give
The definition now yields
The rule is therefore the instance of the recursive definition, not an unrelated formula to be memorised separately.
Worked example 7.1.10
(A 3×3 expansion with the signs made explicit)
Let
The first-row entries are , and the first-row signs are . Writing the third contribution as avoids losing the plus before the negative entry:
The three minors are, respectively,
and
Consequently,
There are two separate signs in the last term: the checkerboard sign is positive, and the matrix entry itself is .
Worked example 7.1.11
(A sparse 4×4 matrix: finish every surviving minor)
Consider the matrix
The second row has one zero, and its checkerboard signs are . Expand along that row:
The required minors are
Expanding each of these minors along its first row gives
Thus the signed second-row sum is
The zero in the first position removes a branch, but it is still necessary to keep the minus sign on the term and to verify the remaining minors.
Worked example 7.1.12
(Triangular determinants collapse to the diagonal)
For
the triangular theorem gives
The induction proof explains why the entries above the diagonal do not appear: the last row leaves only in its expansion, and its retained minor is the upper-triangular matrix . Expanding that minor leaves and then . A diagonal matrix is the special case in which all off-diagonal entries are already zero, so .
Counterexample mode
It is false in general that . With ,
The valid repair is multilinearity in one fixed row. For a row , let , and let and . Then
while
The other row stayed fixed in both terms. That fixed-row condition is the content of multilinearity.
Common mistake
(Mixing up submatrix, minor, and cofactor)
The submatrix is a matrix. The minor is the determinant of that submatrix. The cofactor is . If you write the checkerboard sign in the expansion and also use a cofactor that already contains it, you have multiplied the sign twice.
Common mistake
(A determinant belongs to a square matrix)
The determinant is defined here only for square matrices. A matrix does not have a determinant in this construction, because deleting one row and one column from a rectangular matrix does not produce the recursive square problem required by the definition.
Quick check
(Compute from the recursive definition.)
Write the two first-row cofactors, including the checkerboard sign, before multiplying by the entries.
The cofactors from the first row are and . Hence
Quick check
(Compute by expanding along the best row or column.)
Choose the second row, which has two zero entries, and keep its middle sign.
Expand along the second row:
Quick check
(Write the second-row cofactor expansion and justify its signs.)
Keep each minor indexed by its position in the original matrix.
For row , the signs are . The expansion is therefore ; the middle minus sign is attached to the entry in column .
Quick check
(Explain why a square matrix with two identical rows has determinant zero.)
Use the row-swap sign change and the fact that swapping identical rows leaves the matrix unchanged.
Swapping the two equal rows changes the determinant to its negative, but the matrix itself is unchanged. Thus , so over the real numbers and .
Quick check
(What is ?)
Use the base case of the recursive definition.
It is , because the determinant of a matrix equals its only entry.
Quick check
(Why is it wise to expand along a row with many zeros?)
Count how many nonzero terms remain in the expansion.
Every zero entry contributes zero times its cofactor, so fewer nonzero terms and fewer smaller determinants need to be evaluated.
Quick check
(If a diagonal matrix has diagonal entries , , and , what is its determinant?)
Apply the triangular determinant theorem.
The determinant is .
Quick check
(Explain why a matrix with one zero row cannot be invertible.)
Connect the zero-row theorem with the determinant criterion for invertibility in the next note.
A zero row forces determinant . The next note shows that an invertible matrix has nonzero determinant, so a matrix with a zero row cannot be invertible.
Read 2.1 Matrix basics to review square matrices and indexing language.
Continue with 7.2 Row operations, products, and invertibility to see how determinants behave under elimination.
Keep 5.1 Invertible matrices nearby, because determinants soon become one more equivalent test for invertibility.