Let , and let , where is the set from \reftext{def:permutation-initial-segment-2026a}{the permutation definition}. An inversion of is a pair such that and . Let denote the number of inversions of . The sign of is the number
defined by
if is \reftext{def:even-odd-natural-numbers-2026a}{even}, and by
if is \reftext{def:even-odd-natural-numbers-2026a}{odd}.
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
Authors
Loading…