Trigonalizable/Direct sum/Fact

Let denote finite-dimensional vector spaces over the field , let

denote linear mappings, and let

denote the product mapping.

Then is

trigonalizable

if and only if this holds for all .