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!