可約矩陣

一個 方 矩陣 被稱為可約的，如果索引 1, 2, ..., 可以被分為兩個不相交的非空集合 , , ..., 和 , , ..., (其中 ) 使得

對於 , 2, ..., 和 , 2, ..., 。

一個矩陣是可約的當且僅當它可以透過同時的行/列置換被放入分塊上三角形式。此外，一個矩陣是可約的當且僅當其相關聯的有向圖不是強連通的。

一個不是可約的方陣被稱為不可約的。