表現行列がこのようなブロック対角行列にできないとき、その表現は直既約(indecomposable)であると言う。