Characteristic polynomial/Direct sum decomposition/Fact
Let be a finite-dimensional -vector space, and
be a linear mapping. Let
denote a direct sum decomposition in -invariant linear subspaces.
Then the characteristic polynomial fulfills the relation