Sí, podemos usar la identidad de Weinstein-Aronszajn $\det (I_n - AB) = \det (I_m - BA)$ para mostrar que los autovalores no nulos de $AB$ y $BA$ coinciden.
Prueba Sea $\lambda$ un autovalor no nulo de $AB$. Esto significa que $\det (\lambda I_n - AB) = 0$, sin embargo
$$ \begin{align} \det (\lambda I_n - AB) &= \lambda^n\det\left(I_n - \left(\frac{1}{\lambda}A\right)B\right) \\ &= \lambda^n\det\left(I_m - B\left(\frac{1}{\lambda}A\right)\right) \\ &= \lambda^{n-m}\det\left(\lambda I_m - BA\right) \end{align} $$
y vemos que $\det (\lambda I_m - BA) = 0$ lo que significa que $\lambda$ es un autovalor no nulo de $BA$. La demostración recíproca sigue por el argumento análogo.