Completely reducible linear representation

Symbol-free definition
A linear representation of a group is said to be completely reducible if it can be expressed as a direct sum of irreducible linear representations.

Stronger properties

 * Irreducible linear representation
 * Isotypical linear representation