フロベニウスの定理
The equivalence between the last two is a direct consequence from Perron–Frobenius theorem.