Endomorphism/Characteristic polynomial/Different linear factors/Diagonalizable/Fact
Let denote a field, and let denote a -vector space of finite dimension. Let
be a linear mapping. Suppose that the characteristic polynomial factors into different linear factors.
Then is
diagonalizable.