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 , and even and odd permutations
Definition
Let and . An inversion of is a pair with and . The inversion set and inversion number are
The sign of is the integer
The permutation is even when its sign is , equivalently when its inversion number is even, and odd when its sign is , equivalently when its inversion number is odd. For or , every inversion set is empty, so the unique permutation is even.
Depends on
Used by
- For n≥1, the determinant over a commutative ring by the Leibniz formula, and |det A| for a real matrix Definition
- A full 3×3 Leibniz expansion lists all six permutations and their signs Example
- The Leibniz formula gives detbeginpmatrixa&bc&dendpmatrix=ad-bc Example
- The six elements of S₃: one-line form, cycle structure, inversions, and sign Example
- Two different transposition factorisations of the same permutation have the same parity Example
- Composing with a transposition reverses (-1)^inv(σ) Lemma
- Every alternating multilinear F satisfies F(A)=F(I)∑_σ∈ Sₙsgn(σ)∏ᵢ a_σ(i),i Lemma
- The determinant of a triangular matrix is the product of its diagonal entries Theorem
- The sign is a homomorphism Sₙ→{+1,-1}, surjective exactly when n≥ 2 Theorem
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
- Stanford Math 51H, Permutations (standard reference, not scraped)