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.