Puede notarse que las matrices de permutación conforman un grupo de orden n! respecto al producto.