statement theorem
Cayley–Hamilton theorem
Statement
Let be a commutative ring, let , and let be an matrix over with characteristic polynomial . Then where is the value of at .
Remarks
For , it says . Substituting into is not a valid proof, because is a matrix and is a scalar. One proof uses the adjugate identity . If is invertible, then the theorem expresses as a polynomial in .
Explanations
L1 human
Every square matrix satisfies its own characteristic polynomial. For , the polynomial is , so . So every power of is a combination of and .
What this node needs for W2
- edge about out: the concepts that the statement is about (0 of 1)
- edge proves in: at least one proof node (0 of 1)
- edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
- explanation L2 (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 12 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Identity matrix object
- Matrix definition
- Vector space definition
- Square matrix definition
- Linear map definition
- Endomorphism definition
- Multilinear map definition
- Polynomial of an endomorphism definition
- Alternating multilinear map definition
- Determinant definition
- Characteristic polynomial definition
- Cayley–Hamilton theorem statement
What depends on this
1 node uses this node, directly or through other nodes.