Frobenius theorem
ペロン＝フロベニウスの定理は、一般的な非負行列に対して直接適用することは出来ない。しかし、任意の可約行列 "A" は、次のような上三角ブロック行列の形式で記述されうる（この形式は可約行列の標準形として知られる）