A representation is reducible if it contains a nontrivial G-invariant subspace, that is to say, all the matrices D ( a ) can be put in upper triangular block form by the same invertible matrix P . In other words, if there is a similarity transformation: