A representation of a group as a family of linear operators of a vector space V such that V is the direct sum of subspaces V₁, . . . , V_n which are invariant under these operators, but V₁, . . . , V_n do not have any proper closed subspaces which are also invariant under these operators. Also known as semisimple representation.