7
$\begingroup$

I cannot spot the mistake in the following argument regarding the Cayley Hamilton theorem:

Let $A\in M_n$, then,

$$\begin{align*} P_A(t)&=\det(tI-A)\\ &\implies P_A(A)=\det(AI-A)\\ &\implies P_A(A)=\det(0)\\ &\implies P_A(A)=0 \end{align*}$$

  • 8
    Think about the meaning of $P_A(A)=\det(AI-A)$; the quantity on the left is a linear operator, while the quantity on the right is a scalar.2011-10-09
  • 3
    Replace determinant with trace; if your argument were correct, shouldn't it also prove that if $q(t) = \operatorname{tr}(tI - A)$, then $q(A)=0$? But that statement is false: $q(t) = \operatorname{tr}(tI - A) = t n - \operatorname{tr}(A)$, and $q(A) = n A - \operatorname{tr}(A) \ne 0$ in general.2011-10-09
  • 0
    See this [Wikipedia section](http://en.wikipedia.org/wiki/Cayley-Hamilton_theorem#A_bogus_.22proof.22:_p.28A.29_.3D_det.28AIn.C2.A0.E2.88.92.C2.A0A.29_.3D_det.28A.C2.A0.E2.88.92.C2.A0A.29_.3D_0)2013-04-15

2 Answers 2

8

I'll just spell out Nick Strehlke's comment in the case $n=2$: $$A=\begin{pmatrix}a&b\\ c&d\end{pmatrix},$$ $$M(t):=tI-A=\begin{pmatrix}t-a&-b\\-c&t-d\end{pmatrix},$$ $$M(A)=\begin{pmatrix}A-aI&-bI\\-cI&A-dI\end{pmatrix}.$$ The Cayley-Hamilton states that the determinant of the above two by two matrix (whose coefficients are two by two matrices) is the $0$ two by two matrix (with scalar coefficients).

More generally, if $A$ is in $\mathbf M_n(K)$, then $M(A)$ is in $\mathbf M_n(K[A])$, and its determinant is in $K[A]$. [The notation is, I hope, self-explanatory.]

EDIT. Thank you very much to darij grinberg for having pointed out an error (which was especially unfortunate in an answer supposed to correct an error...). To let darij's comment remain understandable, here is the uncorrected version of the erroneous phrase:

"... if $A$ is in $\mathbf M_n(K)$, then $M(A)$ is in $\mathbf M_n(\mathbf M_n(K))$, and its determinant is in $\mathbf M_n(K)$."

  • 1
    "its determinant is in $\mathbf M_n(K)$" only if we define noncommutative determinants.2011-10-09
  • 1
    Dear @darij: Fixed. Thanks a lot!2011-10-09
  • 1
    I've fixed another error (I hope): the determinant of something in $\mathbf M_n(R)$ lies in $R$. And it is worthwhile to point out that here $R=K[A]$ is a **commutative** ring, or else the determinant is very hard to define.2013-04-15
  • 1
    Dear @MarcvanLeeuwen: Thank you very much! Sorry for not being able to make less typos!2013-04-15
1

In the first step, you obtain the characteristic polynomial $P_A(t)$ which is obtained by calculating the determinant, det$(tI-A)$. And then, the next implication is the mistake that a multivariate polynomial obtained from the scalar entries of the matrix $A$ can be written as det$AI-A$. The reason is simply because Cayley-Hamilton theorem uses two different polynomial types but same scalar coefficients. One is $$ P_A(t) = t^n+a_{n-1}t^{n-1}+\ldots+a_1t + a_0 = 0 \in\mathbb{R} $$ The other one is $$ A^n+a_{n-1}A^{n-1}+\ldots+a_1A + a_0I = \mathbf{0} \in\mathbb{R}^{n\times n} $$ Therefore, those are not compatible.

I will stop before mention the word ring :)