I think (from only having skimmed the contents) that there is some handwaving around the definition of the characteristic polynomial. In order to properly defin

I think (from only having skimmed the contents) that there is some handwaving around the definition of the characteristic polynomial. In order to properly define it, you need to allow matrices over arbitrary rings, not just fields.