La pregunta original era: ¿puedo escribir $\det(I A - A) = 0$ en una manera significativa? Sí, si la primera $A$ es considerar como un escalar en el ring $F[A]\subset M_n(F)$, y la segunda como la matriz que representa a $A$. Y la razón por la que esto funciona es, en efecto, que el $A$ es un autovalor de la matriz $A$. Cómo es esto así? Los detalles son los siguientes. Tenga en cuenta que para que funcione necesitamos trabajar con módulos, ya que los coeficientes será un anillo que contiene a $F$.
Vamos a empezar con algunas declaraciones:
Deje $k$ ser un campo, y $(a_{ij})$ $n\times n$ matriz con elementos en $k$$\lambda \in k$, de modo que existe un elemento $v \in k^n$, $v$ distinto de cero, con $(a_{ij}) \cdot v = \lambda \cdot v$. A continuación,$\det( (a_{ij}) - \lambda I ) = 0$. De hecho, la matriz $(a_{ij}) - \lambda I$ no es invertible.
Misma conclusión, si sustituimos $k$ $k$- espacio vectorial $V$, y existe un elemento distinto de cero $v$$V^{ n}$$(a_{ij})\cdot v = \lambda \cdot v$.
De manera más general: $k$ a un anillo conmutativo, $V$ $k$- módulo, $(a_{ij})$ una matriz en la $M_n(k)$ y
$\lambda \in k$ $v$ $V^n$ , de modo que $(a_{ij})\cdot v = \lambda \cdot v$. A continuación,$\det((a_{ij}) - \lambda I) \cdot v = 0 \in V^n$. El uso de los adjuntos de la matriz.
Vamos ahora a $A$ $n\times n$ matriz. Deje $k \colon = F[A]\subset M_n(F)$ el álgebra conmutativa generado por $A$. $F^n$ es una $k$-módulo. Vamos $e_1$,$\ldots $, $e_n$ el estándar de la base de $F^n$. Tenemos
$$ (a_{ij}) \cdot \left( \begin{array}{c} e_1 \\ \ldots \\ e_n\end{array} \right ) =
\left( \begin{array}{c} A\cdot e_1 \\ \ldots \\ A \cdot e_n\end{array} \right ) $$
La ecuación de arriba dice: $\left( \begin{array}{c} e_1 \\ \ldots \\ e_n\end{array} \right )$ $V^n$ vector propio para el autovalor $A$. De ello se sigue que
$$P_A(A) \cdot \left( \begin{array}{c} e_1 \\ \ldots \\ e_n\end{array} \right )= \left( \begin{array}{c} 0 \\ \ldots \\ 0\end{array} \right )$$
y, por tanto,$P_A(A)=0$.
$\bf{Added}$: Tener sentido de $\det(AI - A)$:
Considere el ejemplo de @Jim:
$$A= \left[\begin{array}{cc}1&2\\3&4\end{array} \right]$$
$$\begin{bmatrix} \begin{bmatrix} 1 & 2 \\ 3 & 4 \end{bmatrix} - 1 & -2 \\ -3 & \begin{bmatrix} 1 & 2 \\ 3 & 4 \end{bmatrix} - 4 \end{bmatrix}\ \ \ ?$$
Tenemos que mirar a los escalares como escalar de matrices. Así, obtenemos
$$\begin{bmatrix} \begin{bmatrix} 1 & 2 \\ 3 & 4 \end{bmatrix} - \begin{bmatrix} 1 & 0 \\ 0 & 1\end{bmatrix} & \begin{bmatrix} -2 & 0 \\ 0 & -2\end{bmatrix} \\ \begin{bmatrix} -3 & 0 \\ 0 &-3 \end{bmatrix} & \begin{bmatrix} 1 & 2 \\ 3 & 4 \end{bmatrix} - \begin{bmatrix} 4 & 0 \\ 0 & 4 \end{bmatrix} \end{bmatrix}$$
Esta $2\times 2$ matriz, con entradas en el álgebra conmutativa $F[A]$, ha determinante $P_A(A)$, una matriz del mismo tamaño que el de $A$. Y siempre la matriz cero.