Self-adjoint semigroups with nilpotent commutators

Let P be a projection and let S be a multiplicative semigroup of linear operators such that SP-PS is nilpotent for every S in S. We study conditions under which this implies the existence of an invariant subspace for S and, in particular, when P commutes with every member of S.