Si V tien un subespacio propiu non trivial W tal que W ye estable pola representación ρ, entós la representación dizse reducible. Una representación reducible puede espresase como una suma direuta de subrepresentaciones (Teorema de Maschke) (solamente pa los grupos finitos, les representaciones reducibles son necesariamente descomponibles!). Si V nun tien nengún tal subespacio; dizse que ρ ye una representación irreducible.