 Generalized characteristic polynomial

The generalized characteristic polynomial of a matrix pair $(A,B)$ is $\det (A-\lambda B)$. Every finite generalized eigenvalue is one of its roots.