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 . #m/thm/lie

Proof

Since

as required.

#state/tidy | #lang/en | #SemBr