Skip to content

MATH1030 · 7

Chapter outline · Determinants

Definitions and theorem statements recorded in the web, in note order, with the exact proof steps behind their recorded connections.

3 of 3 public sections have indexed statements. This outline covers only those statements, not every theorem in the chapter. Recorded connections are still being reviewed.

7.1

Determinants and cofactor expansion

6 recorded theorems · 2 recorded definitions

  • DefinitionSubmatrix, minor, and cofactor

    Let A=[aij]A=[a_{ij}] be an n×nn\times n matrix with n≥2n\ge 2. For indices 1≤i,j≤n1\le i,j\le n, delete row ii and column jj simultaneously. The resulting (n−1)×(n−1)(n-1)\times(n-1) matrix is the submatrix A(i∣j)A(i\mid j).

    The minor belonging to aija_{ij} is the scalar

    Mij=det⁡(A(i∣j)).M_{ij}=\det\bigl(A(i\mid j)\bigr).

    The cofactor belonging to aija_{ij} is the signed scalar

    Cij=(−1)i+jMij.C_{ij}=(-1)^{i+j}M_{ij}.

    The signs form a checkerboard whose upper-left sign is positive:

    [+−+⋯−+−⋯+−+⋯⋮⋮⋮⋱].\begin{bmatrix} +&-&+&\cdots\\ -&+&-&\cdots\\ +&-&+&\cdots\\ \vdots&\vdots&\vdots&\ddots \end{bmatrix}.

    The notation A(i∣j)A(i\mid j) names a matrix, MijM_{ij} is a determinant of that matrix, and CijC_{ij} is that scalar after the sign has been attached. Keeping these three objects distinct prevents a common double-sign error.

    Read the statement in context →
    UsesDependencies are not fully reviewed.Used byNo later use recorded yet.
  • DefinitionRecursive definition of the determinant

    For a 1×11\times1 matrix [a11][a_{11}], define

    det⁡([a11])=a11.\det([a_{11}])=a_{11}.

    For an n×nn\times n matrix with n>1n>1, define its determinant by expansion along the first row:

    det⁡(A)=∑j=1na1jC1j=∑j=1n(−1)1+ja1jM1j.\det(A)=\sum_{j=1}^{n}a_{1j}C_{1j} =\sum_{j=1}^{n}(-1)^{1+j}a_{1j}M_{1j}.

    This is a definition, not yet a theorem about other rows or columns. Each minor in the sum has size n−1n-1, so repeated use of the definition eventually reaches the 1×11\times1 base case. No 0×00\times0 determinant convention is needed: the submatrix and minor definitions are used only for n≥2n\ge2.

    Read the statement in context →
    UsesDependencies are not fully reviewed.Used byNo later use recorded yet.
  • TheoremExpansion along an arbitrary row or column

    For a square matrix A=[aij]A=[a_{ij}] of size n≥2n\ge2, and every fixed row index ii,

    det⁡(A)=∑j=1n(−1)i+jaijMij.\det(A)=\sum_{j=1}^{n}(-1)^{i+j}a_{ij}M_{ij}.

    The corresponding column statement is: for every fixed column index jj,

    det⁡(A)=∑i=1n(−1)i+jaijMij.\det(A)=\sum_{i=1}^{n}(-1)^{i+j}a_{ij}M_{ij}.

    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 σ(1)\sigma(1) gives the same base case and first-row recurrence, so induction identifies the two definitions; deleting σ(i)=j\sigma(i)=j changes the sign by (−1)i+j(-1)^{i+j}; 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.

    Read the statement in context →
    UsesDependencies are not fully reviewed.Used byNo later use recorded yet.
  • TheoremA 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.

    Read the statement in context →
    UsesDependencies are not fully reviewed.Used byNo later use recorded yet.
  • TheoremA row or column with one possible nonzero entry

    For a square matrix of size n≥2n\ge2, suppose all entries in row kk are zero except possibly ckℓc_{k\ell}. Then

    det⁡(C)=ckℓ(−1)k+ℓdet⁡(C(k∣ℓ)).\det(C)=c_{k\ell}(-1)^{k+\ell}\det\bigl(C(k\mid\ell)\bigr).

    The same formula holds when all entries in column ℓ\ell are zero except possibly ckℓc_{k\ell}. The formula includes the case ckℓ=0c_{k\ell}=0.

    Read the statement in context →
    UsesDependencies are not fully reviewed.Used byNo later use recorded yet.
  • TheoremTriangular determinant theorem

    If TT is upper triangular or lower triangular, then

    det⁡(T)=t11t22⋯tnn.\det(T)=t_{11}t_{22}\cdots t_{nn}.

    Read the statement in context →
    UsesDependencies are not fully reviewed.Used byNo later use recorded yet.
  • TheoremMultilinearity in one fixed row

    Fix every row except row pp. If the new row is αu+βv\alpha u+\beta v, then

    det⁡(same rows except αu+βv)=αdet⁡(same rows except u)+βdet⁡(same rows except v).\det(\text{same rows except }\alpha u+\beta v) =\alpha\det(\text{same rows except }u) +\beta\det(\text{same rows except }v).

    Read the statement in context →
    UsesDependencies are not fully reviewed.Used byNo later use recorded yet.
  • TheoremRepeated rows force determinant zero

    If a square matrix has two identical rows, then its determinant is 00.

    Read the statement in context →
    UsesDependencies are not fully reviewed.Used byNo later use recorded yet.
7.2

Row operations, products, and invertibility

5 recorded theorems · 1 recorded definitions

  • DefinitionElementary row operations and elementary matrices

    Work over the real numbers. Let AA be an n×nn\times n matrix. An elementary row operation is one of the following, with the indicated row indices distinct when two rows occur:

    Rp↔RqR_p\leftrightarrow R_q: interchange rows pp and qq;

    Rp←βRpR_p\leftarrow\beta R_p, where β≠0\beta\ne0;

    Rq←Rq+αRpR_q\leftarrow R_q+\alpha R_p.

    The corresponding elementary matrix EE is obtained by applying that operation to InI_n. Left multiplication gives the same operation on every n×mn\times m matrix XX: the transformed matrix is EXEX. The restriction β≠0\beta\ne0 is essential for an elementary operation because it makes the operation reversible.

    Read the statement in context →
    UsesDependencies are not fully reviewed.Used byNo later use recorded yet.
  • TheoremThe three row-operation determinant rules

    For an n×nn\times n matrix AA, with 1≤p,q≤n1\le p,q\le n and p≠qp\ne q whenever two row indices occur:

    If BB results from AA by Rp↔RqR_p\leftrightarrow R_q, then det⁡(B)=−det⁡(A)\det(B)=-\det(A).

    If BB results from AA by Rp←βRpR_p\leftarrow\beta R_p, then det⁡(B)=βdet⁡(A)\det(B)=\beta\det(A), including the identity at β=0\beta=0.

    If BB results from AA by Rq←Rq+αRpR_q\leftarrow R_q+\alpha R_p with p≠qp\ne q, then det⁡(B)=det⁡(A)\det(B)=\det(A).

    Read the statement in context →
    UsesDependencies are not fully reviewed.Used byNo later use recorded yet.
  • TheoremThe mixed-operation ledger

    Suppose a sequence of elementary operations changes AA into UU. If the sequence contains ss swaps and scales rows by nonzero factors β1,…,βq\beta_1,\ldots,\beta_q, then

    det⁡(U)=(−1)s(∏j=1qβj)det⁡(A).\det(U)=(-1)^s\left(\prod_{j=1}^{q}\beta_j\right)\det(A).

    Consequently,

    det⁡(A)=det⁡(U)(−1)s∏j=1qβj.\det(A)=\frac{\det(U)}{(-1)^s\prod_{j=1}^{q}\beta_j}.

    Row replacements do not appear in the product because their multiplier is 11.

    Read the statement in context →
    UsesDependencies are not fully reviewed.Used byNo later use recorded yet.
  • TheoremDeterminant of a product

    If AA and BB are square matrices of the same size, then

    det⁡(AB)=det⁡(A)det⁡(B).\det(AB)=\det(A)\det(B).

    Read the statement in context →
    UsesDependencies are not fully reviewed.Used by
  • TheoremDeterminant criterion for invertibility

    For a square matrix AA,

    A is invertible⟺det⁡(A)≠0.A\text{ is invertible}\quad\Longleftrightarrow\quad\det(A)\ne0.

    Read the statement in context →
    UsesDependencies are not fully reviewed.Used by
  • TheoremInverse determinants and integral powers

    If AA is invertible, then

    det⁡(A−1)=1det⁡(A).\det(A^{-1})=\frac1{\det(A)}.

    For every positive integer mm and every square AA,

    det⁡(Am)=(det⁡A)m.\det(A^m)=(\det A)^m.

    If AA is invertible, the same identity holds for every integer mm, including negative mm.

    Read the statement in context →
    UsesDependencies are not fully reviewed.Used byNo later use recorded yet.
7.3

Transpose, column operations, and Cramer's rule

5 recorded theorems · 1 recorded definitions

  • TheoremDeterminant of a transpose

    For every square matrix AA,

    det⁡(AT)=det⁡(A).\det(A^T)=\det(A).

    Read the statement in context →
    UsesUsed byNo later use recorded yet.
  • TheoremCofactor expansion along any column

    For any fixed column jj of a square matrix A=[aij]A=[a_{ij}], with n≥2n\ge2, where MijM_{ij} is the minor determinant and Cij=(−1)i+jMijC_{ij}=(-1)^{i+j}M_{ij} is the cofactor,

    det⁡(A)=a1jC1j+a2jC2j+⋯+anjCnj,\det(A)=a_{1j}C_{1j}+a_{2j}C_{2j}+\cdots+a_{nj}C_{nj},

    Equivalently,

    det⁡(A)=∑i=1n(−1)i+jaijMij.\det(A)=\sum_{i=1}^n (-1)^{i+j}a_{ij}M_{ij}.

    Read the statement in context →
    UsesDependencies are not fully reviewed.Used byNo later use recorded yet.
  • TheoremHow column operations change determinant

    Let BB be obtained from a square matrix AA by one elementary column operation.

    Swapping two distinct columns pp and qq multiplies the determinant by −1-1.

    Multiplying column pp by β\beta multiplies the determinant by β\beta. For a reversible elementary operation, β≠0\beta\neq0.

    Replacing column qq by Cq+cCpC_q+cC_p, with p≠qp\neq q, leaves the determinant unchanged.

    Read the statement in context →
    UsesDependencies are not fully reviewed.Used byNo later use recorded yet.
  • DefinitionAdjoint matrix

    For an n×nn\times n matrix A=[aij]A=[a_{ij}] with n≥2n\ge2, let CijC_{ij} denote the cofactor of aija_{ij}, and first form the cofactor matrix

    [C11C12⋯C1nC21C22⋯C2n⋮⋮⋱⋮Cn1Cn2⋯Cnn].\begin{bmatrix} C_{11}&C_{12}&\cdots&C_{1n}\\ C_{21}&C_{22}&\cdots&C_{2n}\\ \vdots&\vdots&\ddots&\vdots\\ C_{n1}&C_{n2}&\cdots&C_{nn} \end{bmatrix}.

    The adjoint matrix is the transpose of that cofactor matrix:

    adj⁡(A)=[C11C21⋯Cn1C12C22⋯Cn2⋮⋮⋱⋮C1nC2n⋯Cnn].\operatorname{adj}(A)= \begin{bmatrix} C_{11}&C_{21}&\cdots&C_{n1}\\ C_{12}&C_{22}&\cdots&C_{n2}\\ \vdots&\vdots&\ddots&\vdots\\ C_{1n}&C_{2n}&\cdots&C_{nn} \end{bmatrix}.

    For the 1×11\times1 base case, define det⁡([a])=a\det([a])=a and adj⁡([a])=[1]\operatorname{adj}([a])=[1]. Then [a][1]=[a]=det⁡([a])I1[a][1]=[a]=\det([a])I_1. The cofactor identity proof below handles n≥2n\ge2.

    Read the statement in context →
    UsesDependencies are not fully reviewed.Used byNo later use recorded yet.
  • TheoremAdjoint identity and inverse formula

    For every square matrix AA, including singular matrices,

    A adj⁡(A)=det⁡(A)I.A\,\operatorname{adj}(A)=\det(A)I.

    If det⁡(A)≠0\det(A)\neq0, then AA is invertible and

    A−1=1det⁡(A)adj⁡(A).A^{-1}=\frac{1}{\det(A)}\operatorname{adj}(A).

    Read the statement in context →
    UsesDependencies are not fully reviewed.Used byNo later use recorded yet.
  • TheoremCramer's rule

    Let A∈Mn(R)A\in M_n(\mathbb{R}) satisfy det⁡(A)≠0\det(A)\ne0, and let b∈Rnb\in\mathbb{R}^n. For each jj, let MjM_j be the matrix obtained by replacing the jjth column of AA with bb.

    If xx is the unique solution of

    Ax=b,Ax=b,

    then

    xj=det⁡(Mj)det⁡(A).x_j=\frac{\det(M_j)}{\det(A)}.

    Read the statement in context →

Optional Vercel visit statistics stay off until you accept. Website functions remain available whichever choice you make.

Website function storage (used when needed)

Security, sign-in and your chosen preferences use storage when needed. This is separate from optional statistics.

Withdrawing stops future statistics. The page reloads if analytics code needs unloading. It does not delete data already sent.

Read Cookie and storage details