Modul/Ideal/Cayley-Hamilton/Fakt

Es sei ein kommutativer Ring, ein Ideal und ein -Modul, der von Elementen erzeugt werde. Es sei ein -Modulhomomorphismus mit

Dann gibt es ein normiertes Polynom

vom Grad und mit und mit .