So if P is an nxn permutation matrix, then because there are only finitely many ways to permute finitely many elements, we know that the sequence
$P, P^2, P^3, ...$
eventually has to repeat, between say $P^i$ and $P^j$, which implies $P^{j-i} = I$. Since we know there are only n! different permutation matrices, by the pigeonhole principle, we know that we must have $P^k = I$ for k<=n!.
But is there a tighter bound?
Any thoughts appreciated.
Thanks.