Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicableSession-authored (Fable 5 assisted)audited 2026-08-11
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced — the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted — a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated — a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Inversions, inversion number, the sign sgn(σ)=(1)inv(σ)\operatorname{sgn}(\sigma)=(-1)^{\operatorname{inv}(\sigma)}, and even and odd permutations

Definition

Let nNn\in\mathbb N and σSn=Sym(n)\sigma\in S_n=\operatorname{Sym}(n). An inversion of σ\sigma is a pair (i,j)(i,j) with i<j<ni<j<n and σ(i)>σ(j)\sigma(i)>\sigma(j). The inversion set and inversion number are

Inv(σ):={(i,j)n×n:i<j and σ(i)>σ(j)},inv(σ):=Inv(σ).\operatorname{Inv}(\sigma):=\{(i,j)\in n\times n:i<j\text{ and }\sigma(i)>\sigma(j)\},\qquad \operatorname{inv}(\sigma):=|\operatorname{Inv}(\sigma)|.

The sign of σ\sigma is the integer

sgn(σ):=(1)inv(σ){+1,1}.\operatorname{sgn}(\sigma):=(-1)^{\operatorname{inv}(\sigma)}\in\{+1,-1\}.

The permutation is even when its sign is +1+1, equivalently when its inversion number is even, and odd when its sign is 1-1, equivalently when its inversion number is odd. For n=0n=0 or n=1n=1, every inversion set is empty, so the unique permutation is even.

Depends on

Used by

Dependency tree · next 3 levels

Direct dependencies and their dependencies through the next three levels: 53 results over 16 levels. An arrow runs from a result to what uses it, and this result sits at the bottom with a heavier outline. Click the chart to enlarge it.

Sources