\begin{definition}[Definition:Group of Permutation Matrices]
The '''group of permutation matrices''' of order $n$ is the set of all $n \times n$ permutation matrices with multiplication of matrices.
\end{definition}