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 .
Explanations
L1 human
A matrix is invertible when another matrix undoes it. If sends to , then sends back to . For matrices, when .
What this node 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 node is. They do not measure its truth.
What this needs
To read this node, read these 5 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Identity matrix object
- Matrix definition
- Matrix multiplication definition
- Square matrix definition
- Invertible matrix definition
What depends on this
19 nodes use this node, directly or through other nodes.
- Similar matrices 027KDW2K72
- Triangularisation 0363JMQ42Y
- A matrix is invertible iff its determinant is a unit 03Q7RE2HXR
- Rational canonical form 042JWAR3Q0
- A matrix is diagonalisable iff it has a basis of eigenvectors 056SW1E0AC
- One-sided inverse of a square matrix is two-sided 0753Y2X5K6
- Determinant of the inverse 0783S9D0ZH
- Jordan normal form 085HQ5G5TE
- Matrix determinant lemma 0BC3Q6K92H
- Inverse in terms of the adjugate 0ENVM493VK
- Simultaneous diagonalisation 0FK17N4DKA
- Determinant via the Schur complement 0KA7A4ENVJ
- Diagonalisable iff the minimal polynomial has distinct roots 0MPAJRB23T
- Equivalent matrices 0P21AVFFSP
- Inverse of a product 0S4WTRE9GG
- Powers of a diagonalisable matrix 0TNR9BQ871
- Characteristic polynomial does not depend on the basis 0TYMASG33Y
- Diagonalisable matrix 0Y17PEKF24
- Distinct eigenvalues imply diagonalisable 0Y95Z7MT02
Sources
What links here
Used by
- Similar matrices 027KDW2K72
- A matrix is invertible iff its determinant is a unit 03Q7RE2HXR
- One-sided inverse of a square matrix is two-sided 0753Y2X5K6
- Determinant of the inverse 0783S9D0ZH
- Matrix determinant lemma 0BC3Q6K92H
- Inverse in terms of the adjugate 0ENVM493VK
- Determinant via the Schur complement 0KA7A4ENVJ
- Equivalent matrices 0P21AVFFSP
- Inverse of a product 0S4WTRE9GG