Definition:Group of Permutation Matrices

Definition
The group of permutation matrices of order $n$ is the set of all $n\times n$ permutation matrices with multiplication of matrices.

Also see

 * Group of Permutation Matrices is Group