Invariant subspaces and isotypic decomposition (reference request)
As suggested by the OP, I am turning my comment into an answer: a better Bourbaki reference is Algèbre VIII (new edition), §4, Proposition 4 d) (unfortunately not yet translated, as far as I know). It works for semi-simple modules over an arbitrary ring.