Lie algebra representation Sum of commuting Lie algebra representations Let be a Lie algebra over , and be representations of on a -linear space that commute in the sense that for any Then is a representation of on . lie Proof Since as required. tidy | en | sembr