Definition:Group of Permutation Matrices
Jump to navigation
Jump to search
Definition
The group of permutation matrices of order $n$ is the set of all $n \times n$ permutation matrices with multiplication of matrices.