可约矩阵

一个 方 矩阵 被称为可约的，如果索引 1, 2, ..., 可以被分为两个不相交的非空集合 , , ..., 和 , , ..., (其中 ) 使得

对于 , 2, ..., 和 , 2, ..., 。

一个矩阵是可约的当且仅当它可以通过同时的行/列置换被放入分块上三角形式。此外，一个矩阵是可约的当且仅当其相关联的有向图不是强连通的。

一个不是可约的方阵被称为不可约的。