 By induction, therefore has

degrees of freedom, and so does .Permutation matrices are simpler still; they form, not a Lie group, but only a finite group, the order symmetric group .By the same kind of argument, is a subgroup of .