Inversion of a permutation

ID: inversion-of-a-permutation

For a permutation of , an inversion is a pair with . Its number equals the Coxeter length for adjacent transpositions: each adjacent swap changes the count by one, and swapping adjacent descents sorts the permutation in exactly that many steps.

New to topics? Read the docs here!