Cayley-Hamilton Theorem

Theorem

Let \(F\) be a field, and let \(V\) be a finite dimensional \(F\)-vector space. If \(t : V → V\) is a linear transformation, then \(m_t\mid c_t \), and hence \(c_t(t) = 0\). Similarly, for any matrix \(A ∈ M_n(F)\) over a field \(F\) we have \(m_A|c_A\) and \(c_A(A) = 0\).

Proof

Let \( A = [t]_B^B\) for some basis \(B\) of \(V\). Note that the statements about \(A\) and \(t\) are equivalent, since by definition \(c_A = c_t\) , while \(m_A = m_t\) we have \(f(A) = 0\) if and only if \(f(t) = 0\). So write \(m = m_A = m_t\) and \(c = c_A = c_t\). By Lemma 4.21, \(m = g_k\) and \(c = g_1 · · · g_k\), so \(m | c\). By definition, we \(m(A) = 0\). Since \(m|c\), we conclude that \(c(A) = 0\). \( \)