Determinant and Invertibility

Can you tell whether a linear map has an inverse? You can do this without actually trying to solve for one. This question sits at the heart of linear algebra. Invertibility governs whether a system of equations has a unique solution. It also governs whether a change of basis is legitimate. Finally, it governs whether a linear operator preserves or destroys information. The determinant answers this question with a single number. An operator is invertible precisely when that number is nonzero. This fact turns an existence question — does an inverse exist? — into a computation. One does not need to perform Gaussian Elimination. One also does not need to search for a matrix that undoes another's action. Instead, one computes a scalar, the determinant. This scalar is built from multiplicativity and its interaction with row operations. If that scalar vanishes, no inverse can exist. If it does not vanish, an inverse is guaranteed. Moreover, it can be produced explicitly using cofactors. The big picture is this: the determinant bridges two ideas. One is the algebraic notion of invertibility (existence of a two-sided inverse). The other is the geometric notion of volume distortion. Volume distortion means how much a linear map stretches, shrinks, or collapses a region. A determinant of zero signals that some direction gets crushed to a lower dimension. This is exactly the geometric symptom of a singular map. This article makes that bridge precise. It proves the bridge rigorously, using only two prerequisites. These are the multiplicativity of the determinant and its behavior under row operations. By the end, you will have several things. First, a complete proof of the equivalence between invertibility and nonvanishing determinant. Second, worked examples testing the boundary cases. Third, a careful counterexample. This counterexample shows why the field of scalars and the finite-dimensionality hypothesis matter. Finally, a preview of how this result powers Cramer's Rule and The Adjugate and Cofactor Matrix.

Key takeaways
  • An operator TT on a finite-dimensional vector space is invertible if and only if det⁡(T)≠0\det(T) \neq 0.
  • The same statement holds for square matrices: AA is invertible iff det⁡(A)≠0\det(A) \neq 0.
  • The proof uses row reduction: every square matrix reduces to an upper triangular matrix or reveals a zero row.
  • Multiplicativity of the determinant, det⁡(AB)=det⁡(A)det⁡(B)\det(AB) = \det(A)\det(B), is the algebraic engine behind the "only if" direction.
  • The determinant of a triangular matrix is the product of its diagonal entries, which pins down exactly when it is zero.
  • Key idea: vanishing determinant is the algebraic signature of a linear map collapsing dimension, hence failing to be invertible.

Where this lives today

The determinant–invertibility criterion is a workhorse across mathematics and its applications. In numerical linear algebra, checking whether a matrix arising from discretizing a differential equation is invertible (hence whether a physical system has a well-posed unique solution) reduces in principle to a determinant check, though in practice condition numbers refine this for stability. In statistics, the invertibility of a covariance matrix (needed to compute a multivariate normal density or to solve normal equations in regression) is exactly governed by its determinant being nonzero; a vanishing determinant signals collinearity among predictors. In cryptography, the Hill cipher encrypts blocks of text using an invertible matrix modulo a prime, and the sender must verify the determinant is a nonzero (invertible) residue mod that prime for decryption to be possible. In computer graphics and robotics, the Jacobian determinant of a transformation controls whether a coordinate change or a robot configuration is locally invertible (non-degenerate), directly generalizing this theorem to nonlinear maps via the inverse function theorem. In quantum mechanics, unitary evolution operators are always invertible, and determinant computations feature in normalizing wavefunctions and computing partition functions via functional determinants. Within linear algebra itself, this theorem is the gateway to The Adjugate and Cofactor Matrix, which gives an explicit formula A−1=1det⁡(A)adj⁡(A)A^{-1} = \frac{1}{\det(A)}\operatorname{adj}(A) valid precisely when det⁡(A)≠0\det(A)\neq 0, and to Cramer's Rule, which solves Ax=bAx=b via ratios of determinants under the same nonvanishing hypothesis.

Ask the tutor: Why does the multiplicativity property det⁡(AB)=det⁡(A)det⁡(B)\det(AB)=\det(A)\det(B) alone fail to prove this theorem without also invoking row-operation properties?

DefinitionInvertibility and determinant

Let VV be a finite-dimensional vector space over a field F\mathbb{F}, and let T:V→VT : V \to V be a linear operator. We say TT is invertible if there exists a linear operator S:V→VS : V \to V such that

ST=TS=I,ST = TS = I,

where II is the identity operator on VV. Equivalently, in matrix terms, a square matrix A∈Fn×nA \in \mathbb{F}^{n \times n} is invertible if there exists B∈Fn×nB \in \mathbb{F}^{n \times n} with AB=BA=InAB = BA = I_n. The determinant det⁡(A)\det(A) of a square matrix AA is the scalar-valued function characterized by: 1. Multilinearity in the rows (or columns) of AA. 2. Alternating: det⁡(A)=0\det(A) = 0 if two rows of AA are equal. 3. Normalization: det⁡(In)=1\det(I_n) = 1. For an operator TT on VV, det⁡(T)\det(T) is defined as det⁡([T]B)\det([T]_{\mathcal{B}}) for any basis B\mathcal{B} of VV; this is well-defined (basis-independent) because similar matrices have equal determinants, a consequence of multiplicativity.

Intuition

Think of a square matrix AA as a machine that takes the unit cube (or, in 22 dimensions, the unit square) and maps it to some parallelepiped. The determinant is, up to sign, the volume of that image. If AA is invertible, it maps a basis to a basis — a linearly independent spanning set to another linearly independent spanning set — and the image parallelepiped has genuine nn-dimensional volume, so the determinant is nonzero. If AA is singular, then AA collapses the cube onto a lower-dimensional slice: a plane, a line, or a point. A flattened object has zero volume in the ambient dimension, and correspondingly the determinant is zero. This geometric picture is made rigorous algebraically via row reduction. Every square matrix can be brought to (upper) triangular form using row operations whose effect on the determinant is completely known: swapping rows flips the sign, scaling a row scales the determinant, and adding a multiple of one row to another leaves the determinant unchanged. Triangular matrices are transparent: their determinant is the product of the diagonal entries, and invertibility of a triangular matrix is equally transparent — it holds exactly when every diagonal entry is nonzero. Chaining these two transparent facts together produces the theorem.

Figure
The unit square under an invertible map (left) versus a singular map (right)
Invertible: A = [[2,1],[0,1.5]], det(A)=3 unit square image: parallelogram, area 3 Singular: B = [[2,1],[4,2]], det(B)=0 unit square image collapses to a segment

Central theorem

TheoremDeterminant Criterion for Invertibility

Let VV be a finite-dimensional vector space over a field F\mathbb{F}, with dim⁡V=n≥1\dim V = n \geq 1, and let T:V→VT : V \to V be a linear operator. Equivalently, let A∈Fn×nA \in \mathbb{F}^{n \times n} be a square matrix. Then:

T is invertible  ⟺  det⁡(T)≠0,T \text{ is invertible} \iff \det(T) \neq 0,
A is invertible  ⟺  det⁡(A)≠0.A \text{ is invertible} \iff \det(A) \neq 0.
LemmaTriangular determinant

Let A=(aij)∈Fn×nA = (a_{ij}) \in \mathbb{F}^{n\times n} be upper triangular, meaning aij=0a_{ij} = 0 whenever i>ji > j. Then

det⁡(A)=a11a22⋯ann.\det(A) = a_{11} a_{22} \cdots a_{nn}.

(The analogous statement holds for lower triangular matrices by the same argument applied to columns, or by using det⁡(A)=det⁡(AT)\det(A) = \det(A^T).)

Proof

We use the Determinant Properties and Row Operations (multilinearity and alternating property of the determinant as a function of rows) together with induction on nn.

Base case n=1n = 1. Here A=(a11)A = (a_{11}) and det⁡(A)=a11\det(A) = a_{11} by normalization, matching the product of the single diagonal entry.

Inductive step. Suppose the result holds for (n−1)×(n−1)(n-1)\times(n-1) upper triangular matrices. Let AA be n×nn \times n upper triangular. Expand det⁡(A)\det(A) along the first column using cofactor expansion (a standard consequence of multilinearity in the rows, established alongside the row-operation properties). Since AA is upper triangular, every entry in the first column below row 11 is zero: a21=a31=⋯=an1=0a_{21} = a_{31} = \cdots = a_{n1} = 0. Cofactor expansion along the first column gives

det⁡(A)=∑i=1n(−1)i+1ai1det⁡(Ai1)=a11det⁡(A11),\det(A) = \sum_{i=1}^n (-1)^{i+1} a_{i1} \det(A_{i1}) = a_{11}\det(A_{11}),

where A11A_{11} is the (n−1)×(n−1)(n-1)\times(n-1) matrix obtained by deleting row 11 and column 11 of AA; all other terms vanish because ai1=0a_{i1} = 0 for i≥2i \geq 2. The submatrix A11A_{11} is again upper triangular, with diagonal entries a22,…,anna_{22}, \dots, a_{nn}. By the inductive hypothesis,

det⁡(A11)=a22a33⋯ann.\det(A_{11}) = a_{22}a_{33}\cdots a_{nn}.

Combining, det⁡(A)=a11a22⋯ann\det(A) = a_{11}a_{22}\cdots a_{nn}, completing the induction. ■\blacksquare

∎
Proof

Proof of the main theorem. We prove the matrix version; the operator version follows immediately by choosing any basis B\mathcal{B} of VV, setting A=[T]BA = [T]_{\mathcal{B}}, and using det⁡(T):=det⁡(A)\det(T) := \det(A) together with the matrix statement AA invertible   ⟺  T\iff T invertible (a linear operator is invertible iff its matrix in any fixed basis is invertible, since [S]B[T]B=[ST]B[S]_{\mathcal B}[T]_{\mathcal B} = [ST]_{\mathcal B} and [I]B=In[I]_{\mathcal B} = I_n).

Step 1: Row reduce AA to echelon form. By Gaussian elimination, there is a finite sequence of elementary row operations transforming AA into an upper triangular matrix UU. Each elementary row operation is one of three types:

  • (Swap) interchange two rows,
  • (Scale) multiply a row by a nonzero scalar c∈Fc \in \mathbb{F},
  • (Add) add a scalar multiple of one row to another row.

By the row-operation properties of the determinant (prerequisite Determinant Properties and Row Operations):

  • A swap multiplies the determinant by −1-1.
  • A scale by c≠0c \neq 0 multiplies the determinant by cc.
  • An add operation leaves the determinant unchanged.

Each elementary row operation is itself realized by left-multiplication by an elementary matrix EE, so that after kk operations,

U=EkEk−1⋯E1A,U = E_k E_{k-1} \cdots E_1 A,

and each EiE_i is invertible (swap and add matrices are their own or explicit inverses; scale matrices have inverse scaling by c−1c^{-1}). Consequently each det⁡(Ei)≠0\det(E_i) \neq 0: det⁡(Ei)=−1\det(E_i) = -1 for a swap, det⁡(Ei)=c≠0\det(E_i) = c \neq 0 for a scale, and det⁡(Ei)=1\det(E_i) = 1 for an add operation.

Step 2: Relate det⁡(A)\det(A) to det⁡(U)\det(U) via multiplicativity. By the Multiplicativity of the Determinant, det⁡(EiM)=det⁡(Ei)det⁡(M)\det(E_iM) = \det(E_i)\det(M) for any square matrix MM. Applying this repeatedly,

det⁡(U)=det⁡(Ek)det⁡(Ek−1)⋯det⁡(E1)det⁡(A).\det(U) = \det(E_k)\det(E_{k-1}) \cdots \det(E_1)\det(A).

Since each det⁡(Ei)≠0\det(E_i) \neq 0, the product det⁡(Ek)⋯det⁡(E1)\det(E_k)\cdots\det(E_1) is a nonzero scalar, call it c∗∈F∖{0}c^\ast \in \mathbb{F}\setminus\{0\}. Thus

det⁡(U)=c∗det⁡(A),det⁡(A)=(c∗)−1det⁡(U).\det(U) = c^\ast \det(A), \qquad \det(A) = (c^\ast)^{-1}\det(U).

In particular, det⁡(A)=0\det(A) = 0 if and only if det⁡(U)=0\det(U) = 0, since c∗≠0c^\ast \neq 0.

Step 3: Determinant of the echelon form controls its diagonal. By the Lemma above, since UU is upper triangular,

det⁡(U)=u11u22⋯unn,\det(U) = u_{11}u_{22}\cdots u_{nn},

where u11,…,unnu_{11}, \dots, u_{nn} are the diagonal entries of UU. This product is nonzero if and only if every uii≠0u_{ii} \neq 0.

Step 4: Diagonal entries of UU all nonzero   ⟺  \iff AA invertible. We now show these two conditions are equivalent, which will complete the proof via Steps 2–3. (⇐\Leftarrow) Suppose AA is invertible. Since U=Ek⋯E1AU = E_k \cdots E_1 A is a product of invertible matrices (E1,…,EkE_1, \dots, E_k are invertible as noted, and AA is invertible by hypothesis), UU is invertible (a product of invertible matrices is invertible, with inverse the product of inverses in reverse order — this is immediate from the definition of invertibility and associativity of matrix multiplication). An upper triangular matrix UU is invertible if and only if all its diagonal entries are nonzero: if some uii=0u_{ii} = 0, consider the smallest such index ii; then row ii of UU has zeros in positions 1,…,i1,\dots,i (positions 1,…,i−11,\dots,i-1 automatically zero by upper triangularity, position ii zero by assumption), so the first ii rows of UU lie in the span of the last n−in-i standard coordinate directions restricted to columns 1,…1,\ldots — more directly, the rows 1,…,i1,\dots,i of UU all have zero entries in columns 1,…,i1,\dots,i is false in general, so instead we argue via rank: if uii=0u_{ii}=0 for some ii, then columns 1,…,i1,\dots,i of UU have nonzero entries only in rows 1,…,i−11,\dots,i-1 (since UU is upper triangular, entries below the diagonal are zero, and the diagonal entry uiiu_{ii} itself is zero). Hence the ii columns 1,…,i1,\dots,i of UU, each an nn-dimensional vector, actually have all their possibly-nonzero coordinates confined to the i−1i-1 positions 1,…,i−11,\dots,i-1. That is, these ii column vectors lie in an (i−1)(i-1)-dimensional subspace of Fn\mathbb{F}^n (spanned by the first i−1i-1 standard basis vectors), so they must be linearly dependent (any ii vectors in an (i−1)(i-1)-dimensional space are dependent). Linear dependence of columns of UU means UU is not invertible (a matrix with linearly dependent columns cannot have a left inverse, since an invertible matrix maps a basis, the standard basis, to a linearly independent set, namely its columns). This contradicts invertibility of UU. So no diagonal entry of UU is zero. (⇒\Rightarrow) Suppose all diagonal entries uii≠0u_{ii} \neq 0. We construct an explicit inverse of UU by back-substitution, and hence of AA. Since UU is upper triangular with nonzero diagonal, for each standard basis vector eje_j the system Ux=ejUx = e_j can be solved uniquely: the last equation reads unnxn=(ej)nu_{nn}x_n = (e_j)_n, solvable for xnx_n since unn≠0u_{nn}\neq 0; substituting back, each subsequent equation uiixi+(known terms)=(ej)iu_{ii}x_i + (\text{known terms}) = (e_j)_i is solvable uniquely for xix_i since uii≠0u_{ii}\neq 0. This produces, for each jj, a unique vector x(j)x^{(j)} with Ux(j)=ejUx^{(j)} = e_j; assembling these as columns of a matrix CC gives UC=InUC = I_n. A square matrix with a right inverse also has that same matrix as a two-sided inverse (standard fact for finite-dimensional square matrices, following from rank-nullity: UC=IUC = I forces UU to be surjective as a linear map, hence injective since domain and codomain have equal finite dimension nn, hence bijective, hence CC is also the left inverse). So UU is invertible. Then A=E1−1⋯Ek−1UA = E_1^{-1}\cdots E_k^{-1} U is a product of invertible matrices, hence invertible. This establishes: all diagonal entries of UU are nonzero   ⟺  \iff AA is invertible.

Step 5: Assemble. Chaining Steps 2–4:

A invertible  ⟺  all uii≠0  ⟺  det⁡(U)≠0  ⟺  det⁡(A)≠0.A \text{ invertible} \iff \text{all } u_{ii}\neq 0 \iff \det(U) \neq 0 \iff \det(A) \neq 0.

This is exactly the claimed equivalence. ■\blacksquare

∎
CorollaryDeterminant of the inverse

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

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

Since AA is invertible, AA−1=InAA^{-1} = I_n. By Multiplicativity of the Determinant, det⁡(A)det⁡(A−1)=det⁡(In)=1\det(A)\det(A^{-1}) = \det(I_n) = 1. By the theorem, det⁡(A)≠0\det(A) \neq 0, so we may divide to get det⁡(A−1)=det⁡(A)−1\det(A^{-1}) = \det(A)^{-1}. ■\blacksquare

∎

Worked examples

Example 1: A 3×33\times 3 matrix with asymmetric entries. Let

A=(2031−14520).A = \begin{pmatrix} 2 & 0 & 3 \\ 1 & -1 & 4 \\ 5 & 2 & 0 \end{pmatrix}.

We test invertibility by computing det⁡(A)\det(A) via cofactor expansion along the first row:

det⁡(A)=2det⁡(−1420)−0⋅det⁡(1450)+3det⁡(1−152).\det(A) = 2\det\begin{pmatrix}-1 & 4\\ 2 & 0\end{pmatrix} - 0\cdot\det\begin{pmatrix}1&4\\5&0\end{pmatrix} + 3\det\begin{pmatrix}1&-1\\5&2\end{pmatrix}.

Compute each 2×22\times 2 minor:

det⁡(−1420)=(−1)(0)−(4)(2)=−8,\det\begin{pmatrix}-1&4\\2&0\end{pmatrix} = (-1)(0) - (4)(2) = -8,
det⁡(1−152)=(1)(2)−(−1)(5)=2+5=7.\det\begin{pmatrix}1&-1\\5&2\end{pmatrix} = (1)(2) - (-1)(5) = 2+5 = 7.

So

det⁡(A)=2(−8)−0+3(7)=−16+21=5.\det(A) = 2(-8) - 0 + 3(7) = -16 + 21 = 5.

Since det⁡(A)=5≠0\det(A) = 5 \neq 0, the theorem guarantees AA is invertible — without solving any linear system or attempting elimination to construct an inverse. As a cross-check via row reduction (illustrating the proof mechanism): swap R1↔R2R_1 \leftrightarrow R_2 (multiplies determinant by −1-1):

(1−14203520),det⁡ so far=−det⁡(A) (sign flipped, magnitude tracked).\begin{pmatrix}1 & -1 & 4\\ 2 & 0 & 3 \\ 5 & 2 & 0\end{pmatrix}, \quad \det \text{ so far} = -\det(A)\ (\text{sign flipped, magnitude tracked}).

Eliminate below the pivot: R2→R2−2R1R_2 \to R_2 - 2R_1, R3→R3−5R1R_3 \to R_3 - 5R_1 (these "Add" operations do not change the determinant):

(1−1402−507−20).\begin{pmatrix}1 & -1 & 4\\ 0 & 2 & -5 \\ 0 & 7 & -20\end{pmatrix}.

Eliminate second column: R3→R3−72R2R_3 \to R_3 - \tfrac{7}{2}R_2 (Add operation, no change):

(1−1402−500−20+352)=(1−1402−500−52).\begin{pmatrix}1 & -1 & 4\\ 0 & 2 & -5 \\ 0 & 0 & -20 + \tfrac{35}{2}\end{pmatrix} = \begin{pmatrix}1 & -1 & 4\\ 0 & 2 & -5 \\ 0 & 0 & -\tfrac{5}{2}\end{pmatrix}.

The diagonal product is 1⋅2⋅(−52)=−51 \cdot 2 \cdot (-\tfrac52) = -5, and since we performed one swap, the original determinant is det⁡(A)=−(−5)=5\det(A) = -(-5) = 5, matching the cofactor computation. All diagonal pivots (1,2,−521, 2, -\tfrac52) are nonzero, confirming invertibility directly from Step 4 of the proof.

Example 2: A singular 3×33\times 3 matrix, verifying the "only if" direction concretely. Let

B=(123456789).B = \begin{pmatrix} 1 & 2 & 3 \\ 4 & 5 & 6 \\ 7 & 8 & 9 \end{pmatrix}.

Row reduce: R2→R2−4R1R_2 \to R_2 - 4R_1, R3→R3−7R1R_3 \to R_3 - 7R_1 (Add operations, determinant unchanged):

(1230−3−60−6−12).\begin{pmatrix}1&2&3\\0&-3&-6\\0&-6&-12\end{pmatrix}.

Now R3→R3−2R2R_3 \to R_3 - 2R_2 (Add, unchanged):

(1230−3−6000).\begin{pmatrix}1&2&3\\0&-3&-6\\0&0&0\end{pmatrix}.

The diagonal product is 1⋅(−3)⋅0=01\cdot(-3)\cdot 0 = 0, so det⁡(B)=0\det(B) = 0. By the theorem, BB is not invertible. Geometrically, the third row became entirely zero after elimination, meaning the rows of BB are linearly dependent: indeed R3−2R2−R1=0R_3 - 2R_2 - R_1 = 0 confirms row 33 is a linear combination of rows 11 and 22 (checking: 2(4,5,6)+(1,2,3)=(9,12,15)≠(7,8,9)2(4,5,6) + (1,2,3) = (9,12,15) \ne (7,8,9), so let's instead directly verify the dependency found by elimination, (7,8,9)=2(4,5,6)−(1,2,3)=(8,10,12)−(1,2,3)=(7,8,9)(7,8,9) = 2(4,5,6) - (1,2,3) = (8,10,12)-(1,2,3) = (7,8,9) ✓). This linear dependence among the rows is exactly the algebraic manifestation of the geometric collapse: BB maps R3\mathbb{R}^3 onto a 22-dimensional (or lower) subspace, consistent with det⁡(B)=0\det(B) = 0.

CounterexampleWhy finite-dimensionality cannot be dropped

The theorem is stated for a finite-dimensional vector space VV (equivalently, a square matrix, which only makes sense with a fixed finite size). If we try to extend the statement naively to infinite dimensions by mimicking "determinant" via an infinite product of diagonal entries, the equivalence breaks down — indeed, the very notion of determinant used here does not extend straightforwardly, and operators can be invertible or non-invertible in ways uncorrelated with any such naive scalar. Concretely, consider V=F(N)V = \mathbb{F}^{(\mathbb{N})}, the space of finitely-supported sequences (x1,x2,x3,… )(x_1, x_2, x_3, \dots) over a field F\mathbb{F}, an infinite-dimensional vector space with standard basis e1,e2,…e_1, e_2, \dots. Define the shift operator

T(x1,x2,x3,… )=(0,x1,x2,… ).T(x_1, x_2, x_3, \dots) = (0, x_1, x_2, \dots).

This TT is linear and injective (if Tx=0Tx = 0 then x=0x = 0, since shifting an all-zero-except-finitely-many-terms sequence to zero forces the original to be zero), but not surjective: the vector e1=(1,0,0,… )e_1 = (1,0,0,\dots) is never in the image of TT, since every image vector has first coordinate 00. An injective-but-not-surjective linear map on a vector space cannot have a two-sided inverse (a two-sided inverse SS would give TS=ITS = I, forcing TT surjective, contradiction). So TT is not invertible. If we tried to assign TT a "determinant" via any finite-matrix-style diagonal-entry heuristic — for instance, thinking of TT's matrix as having all 00s and 11s with an infinite "shifted identity" pattern — there is no consistent finite scalar to extract, and no analogue of row reduction terminates in finitely many steps. This shows the entire machinery (existence of an echelon form after finitely many row operations, the finite product formula for a triangular determinant) genuinely requires finite dimension: without it, "determinant" is not even well-defined by the construction used in the theorem, and the equivalence has no meaning to fail or hold — it simply does not apply. This is precisely why the hypothesis "VV finite-dimensional" (equivalently, "AA a square matrix of finite size nn") is load-bearing and cannot be silently dropped.

Scope, edge cases & common traps

SituationWhat happensWhy
AA is n×nn\times n over any field F\mathbb{F}Theorem applies exactly as statedProof only uses field axioms (division by nonzero c∗c^\ast)
AA is not square"Invertible" (two-sided) and "determinant" both undefinedDeterminant is defined only for square matrices
F=Z\mathbb{F} = \mathbb{Z} (not a field, just a ring)Theorem can fail: det⁡(A)=1\det(A)=1 needed for inverse over Z\mathbb{Z}, not just ≠0\neq 0Proof uses division by nonzero scalars, unavailable in a general ring
VV infinite-dimensionalTheorem does not applySee counterexample: no finite echelon form, no well-defined finite determinant
TT has det⁡(T)≠0\det(T) \neq 0 but TT is not diagonalizableTT is still invertibleInvertibility never required diagonalizability; only nonvanishing determinant
Working over C\mathbb{C} vs R\mathbb{R}Theorem holds identicallyBoth are fields; proof is field-agnostic

The mathematician behind it

Origins · 1 minAugustin-Louis Cauchy and how this was discovered
AC
Augustin-Louis Cauchy
1789–1857 · Early 19th-century France, in the aftermath of the French Revolution and during the rise of rigorous analysis

Cauchy was one of the principal architects of the modern theory of determinants, giving in 1815 the first systematic treatment connecting determinants to what we would now call multilinear alternating functions, and proving the multiplication theorem det⁡(AB)=det⁡(A)det⁡(B)\det(AB) = \det(A)\det(B) in essentially the form used today. He worked at a moment when French mathematics was transitioning from computational formalism (in the style of Laplace and Lagrange) toward the rigorous, definition-driven approach that Cauchy himself pioneered in analysis — the same spirit of rigor pervades his treatment of determinants, where properties are derived from a small set of defining axioms rather than asserted by pattern-matching on small cases.

History
- 1750: Gabriel Cramer publishes what becomes known as Cramer's Rule, implicitly using determinant-like expressions to solve linear systems.
- 1772: Vandermonde gives an early systematic (non-computational) treatment of determinants as an independent object of study.
- 1812: Cauchy proves the multiplication rule for determinants, det⁡(AB)=det⁡(A)det⁡(B)\det(AB) = \det(A)\det(B), a key prerequisite for the theorem above.
- 1841: Jacobi popularizes the functional determinant (the Jacobian), extending determinant ideas to multivariable calculus.
- 1858: Cayley's memoir on matrix algebra frames the determinant criterion for invertibility in the modern matrix-theoretic language still used today.
Does the theorem hold for rectangular (non-square) matrices?

No. The determinant is defined only for square matrices, and the notion of a two-sided inverse (AB=BA=IAB=BA=I) requires AA and BB to be square matrices of the same size for the products ABAB and BABA to even both make sense and equal a common identity matrix. Rectangular matrices instead have the separate notions of left inverse, right inverse, and (Moore–Penrose) pseudoinverse, none of which reduce to a determinant condition in this direct way. If you need an invertibility-like criterion for rectangular matrices, the relevant tool is the rank (an m×nm\times n matrix has a left inverse iff it has rank nn, and a right inverse iff it has rank mm), not a determinant.

Is the converse of this theorem the same as the theorem itself, or is it a separate fact needing proof?

The theorem is stated as a biconditional ("iff"), so both directions are proved simultaneously and are equally essential; there is no separate "converse" left unproved. Concretely, the proof shows AA invertible   ⟺  \iff all diagonal pivots of its echelon form are nonzero   ⟺  \iff det⁡(A)≠0\det(A) \neq 0, and each   ⟺  \iff was justified in both directions (Steps 4 and the chain in Step 5). If you see a source that only proves one direction and calls the other "obvious," that is a gap: both directions require the multiplicativity and row-operation properties working together.

Why does the determinant of an upper triangular matrix equal the product of its diagonal entries, intuitively?

Cofactor expansion along the first column of an upper triangular matrix only picks up the top-left entry, because every other entry in that column is zero; this reduces the problem to a smaller triangular matrix, and induction finishes the job (exactly as in the Lemma proved above). Intuitively, an upper triangular matrix acts on the standard basis vectors e1,…,ene_1, \dots, e_n by sending eie_i to a vector with ii-th coordinate aiia_{ii} plus contributions only from e1,…,ei−1e_1, \dots, e_{i-1}'s directions in earlier coordinates — so the "volume scaling" in each new direction eie_i is governed purely by aiia_{ii}, and total volume scaling multiplies these factors.

If det⁡(A)≠0\det(A) \neq 0, does the proof actually tell me how to compute A−1A^{-1}, or just that it exists?

The proof as given is constructive: Step 4's back-substitution argument explicitly builds the columns of the inverse of the triangular matrix UU by solving Ux(j)=ejUx^{(j)} = e_j one coordinate at a time, and then A−1A^{-1} is recovered from U−1U^{-1} and the recorded elementary matrices. In practice, this is exactly what Gauss–Jordan elimination automates. A different, non-row-reduction formula for A−1A^{-1} — using cofactors — is developed in The Adjugate and Cofactor Matrix, giving A−1=1det⁡(A)adj⁡(A)A^{-1} = \frac{1}{\det(A)}\operatorname{adj}(A), which is often more useful for theoretical manipulation, though less efficient computationally for large nn.

Does this theorem generalize to linear operators on infinite-dimensional spaces, with some suitably generalized determinant?

Not in the direct form given here, and the counterexample above shows why: the shift operator on an infinite-dimensional sequence space is injective but not surjective, hence not invertible, yet there is no finite echelon reduction and no finite diagonal product to serve as "the determinant." There are genuinely more sophisticated infinite-dimensional analogues (Fredholm determinants for certain classes of operators on Hilbert spaces, used in spectral theory and quantum field theory), but these require substantial additional machinery (trace-class or Hilbert–Schmidt conditions) and are a different theory built for a different, narrower class of operators, not a direct extension of this finite-dimensional theorem.

How does this theorem relate to eigenvalues?

An operator TT on a finite-dimensional vector space is invertible if and only if 00 is not an eigenvalue of TT, and this is fully consistent with the determinant criterion because det⁡(T)=0\det(T) = 0 if and only if T−0⋅I=TT - 0\cdot I = T has nontrivial kernel, i.e., if and only if 00 is a root of the characteristic polynomial det⁡(T−λI)\det(T - \lambda I) at λ=0\lambda = 0. In fact det⁡(T)\det(T) equals the product of all eigenvalues of TT counted with algebraic multiplicity (over an algebraically closed field, or more generally via the characteristic polynomial's constant term up to sign), so det⁡(T)≠0\det(T) \neq 0 exactly captures "no eigenvalue is zero," matching the invertibility criterion from a spectral point of view.

Is there a quick mnemonic for remembering which direction of the biconditional is "harder"?

Both directions use the same row-reduction machinery, so neither is intrinsically harder, but many students find the direction "det⁡(A)≠0⇒A\det(A) \neq 0 \Rightarrow A invertible" more subtle because it requires actually constructing an inverse (via back-substitution on the triangular form), whereas "AA invertible ⇒det⁡(A)≠0\Rightarrow \det(A)\neq 0" only requires the algebraic fact that a product of invertible matrices is invertible plus the corollary that det⁡(A−1)=det⁡(A)−1\det(A^{-1})=\det(A)^{-1} presupposes det⁡(A)≠0\det(A) \ne 0 already (so one must argue directly, as in Step 4's forward direction, rather than only citing the corollary). A useful mnemonic: "zero determinant zeroes out a dimension; nonzero determinant means nothing gets zeroed out, so back-substitution never gets stuck."

Before this

Where this leads