Generalized characteristic polynomial ($\det (A-\lambda B)$)

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