Definition:Group of Permutation Matrices

From ProofWiki
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.


Also see