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 .
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 .