Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-102/1/c/solution

A two-dimensional Lie algebra representation already provides a counterexample. In the basis of , define
The commutator is zero, agreeing with ; the other defining Lie brackets also map to zero. Thus is a Lie algebra homomorphism, although it is not a Faithful Lie algebra representation.
The line is an invariant subspace. Any complementary line has the form for some . But
so no complementary line is an invariant subspace. Equivalently, every invariant line is killed by : its restriction to a line is a scalar, and its square is zero, forcing that scalar to be zero. A decomposition into two invariant lines would then force , a contradiction. This representation is therefore not a semisimple representation. Thus

New to topics? Read the docs here!