Modul/Ideal/Cayley-Hamilton/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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 .