Table of Contents - 11.5.2. The characteristic factor function G

In this subsection the function is discussed.
This function is involved in the representation of the product of the
characteristic matrix of a given matrix and its adjunct as an infinite sum,
see cpmadugsum. Therefore, this function is called "characteristic factor
function" (in short "chfacf") in the following. It plays an important role in
the proof of the Cayley-Hamilton theorem, see cayhamlem1, cayhamlem3 and
cayhamlem4.