Изменения

*: <tex>P_\sigma P_\pi = P_{\sigma \circ \pi}</tex>, где <tex>\circ</tex> - операция умножения двух перестановок* Матрицы перестановки ортогональны, так что для каждой такой Для любой матрицы перестановок существует обратная:*: <tex>P_\sigma^{-1} = P_\sigma^T</tex>, где <tex>P^T</tex> - транспонированная матрица <tex>P</tex>* Для любой матрицы перестановок справедливо:*: <tex>P^T P = P P^T = E</tex> , где <tex>E</tex> - единичная матрица* Произведение матриц перестановок одного и того же порядка есть матрица перестановок* Матрица перестановок <tex>n</tex>-го порядка может быть представлена в виде произведения <tex>(n - 1)</tex> элементарных матриц перестановок* Квадрат элементарной матрицы перестановок есть единичная матрица