Let be a group, a nonzero finite-dimensional vector space
over an algebraically closed field (allowing
), and a representation.
Let be the algebra of endomorphisms of
commuting with for all . Say is decomposable
if is isomorphic to a direct sum of two nonzero
-representations.
(i) Prove that is not decomposable if and only if every element
of is (uniquely) expressible in the form , where is a
scalar transformation (i.e. a multiple of the identity) and is
nilpotent. (Hint: Adapt the proof of Schur's lemma, using
generalized eigenspaces.)
(ii) Suppose that is not decomposable. Show that every element
of is either invertible or nilpotent, and prove that the
nilpotent elements of form a two-sided ideal inside .
(iii) Prove that for some (i.e.,
with any ).