Determinant and Invertibility
The determinant provides a clean, scalar-valued criterion for invertibility: a matrix is invertible if and only if its determinant is nonzero.
Statement
Let . Then
Equivalently, is singular if and only if .
() If is invertible, then , so . Hence .
() If , then satisfies (by the adjugate formula). So is invertible with .
Alternatively: row-reduce to an upper triangular matrix . The row operations multiply the determinant by nonzero scalars and . So iff iff all diagonal entries of are nonzero iff has pivots iff is row-equivalent to iff is invertible.
Examples
: . Invertible. .
: . Singular.
: (the third row is the sum of the other two rows minus the first, or compute directly: ). Singular.
: . Invertible.
. So:
- is invertible iff both and are invertible.
- .
- .
, so is invertible iff is invertible. This means: the rows of are linearly independent iff the columns are linearly independent (which also follows from row rank = column rank).
So this block diagonal matrix is invertible iff both and are invertible.
For which values of is invertible?
. So is invertible for all .
means the columns of are linearly dependent. Geometrically, the column vectors lie in a lower-dimensional subspace, so the parallelepiped they span has zero volume.
where are the eigenvalues (counted with algebraic multiplicity). So iff some eigenvalue is iff has a nontrivial kernel.
Over : (in ). The matrix is invertible over . Its inverse is .
If is orthogonal (), then , so . The special orthogonal group consists of orthogonal matrices with (rotations).
The set is a single polynomial equation in variables. It is a hypersurface of dimension in . The invertible matrices form the complement -- a dense open set.
If , then . The determinant is a similarity invariant, hence an invariant of the underlying linear operator (independent of the choice of basis).
The determinant as a group homomorphism
The determinant map is a group homomorphism from the general linear group to the multiplicative group of :
Its kernel is the special linear group: .
The determinant appears throughout linear algebra:
- Cramer's Rule for solving systems
- The characteristic polynomial for eigenvalues
- The Jacobian determinant in multivariable calculus (change of variables)
- Exterior algebra and differential forms