Linear and multilinear algebra; matrix theory Definition
Invertible matrix
Definition
Let be a commutative ring and let be an square matrix over . The matrix is invertible when there is an matrix over such that where is the identity matrix. The matrix is then unique; it is the inverse of , written .
Remarks
Over a field, other names are nonsingular and nondegenerate. A matrix over is invertible if and only if its determinant is a unit of . Over a field, a one-sided inverse is two-sided, and is invertible if and only if has only the solution . The matrix is not invertible over , because its determinant is .
Reading path
To understand this page from the ground up, read these 5 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Identity matrix object
- Matrix definition
- Matrix multiplication definition
- Square matrix definition
- Invertible matrix definition
Where this leads
22 pages build on this one.
- Similar matrices
- Triangularisation
- A matrix is invertible iff its determinant is a unit
- Rational canonical form
- A matrix is diagonalisable iff it has a basis of eigenvectors
- One-sided inverse of a square matrix is two-sided
- Determinant of the inverse
- Jordan normal form
- Matrix determinant lemma
- Inverse in terms of the adjugate
- Simultaneous diagonalisation
- Determinant via the Schur complement
- Diagonalisable iff the minimal polynomial has distinct roots
- Equivalent matrices
- Inverse of a product
- Powers of a diagonalisable matrix
- Characteristic polynomial does not depend on the basis
- Diagonalisable matrix
- Distinct eigenvalues imply diagonalisable
- Sylvester's determinant identity
- Schur complement
- Matrix congruence
Further reading
About this page
| Tag | 0TWTS88TWN |
|---|---|
| URI | m2://0TWTS88TWN |
| Kind | definition |
| Writing | W1 stated |
| MSC | 15A09 |
| Defines | Invertible matrix |
| Uses | Square matrix, Identity matrix, Matrix multiplication |
Markdown · JSON · Edit on GitHub
What this page needs for W2
- edge instance_of in: one example (0 of 1)
- edge not_instance_of in: one non-example that fails one clause (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
Used by
- Similar matrices
- A matrix is invertible iff its determinant is a unit
- One-sided inverse of a square matrix is two-sided
- Determinant of the inverse
- Matrix determinant lemma
- Inverse in terms of the adjugate
- Determinant via the Schur complement
- Equivalent matrices
- Inverse of a product
- Schur complement
- Matrix congruence