Charakteristisches Polynom/Teilerfremde Zerlegung/Direkte Summe/Fakt

Es sei eine lineare Abbildung auf einem endlichdimensionalen -Vektorraum und sei

eine Faktorzerlegung des charakteristischen Polynoms in teilerfremde Polynome .

Dann gilt die direkte Summenzerlegung

wobei diese Räume -invariant sind. Die Einschränkung von auf den ist bijektiv.