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.
The Conway knot has normalized Alexander polynomial one
Statement
Assume the Axiom of Choice. Let be the unique unit associate of the knot Alexander generator that is symmetric under and has . Then
Statement references
Facts & Assumptions
Given: Full AC and the fixed Conway diagram and Alexander-polynomial normalization.
The Axiom of Choice, written AC, is The Axiom of Choice. It supplies countable choice through AC implies DC implies countable choice.
Seifert-matrix certificate for the Conway diagram constructs the actual embedded disk-and-band surface and an integral homology basis for the selected Conway diagram with the displayed matrix , by a direct diagram transcription, local push-off counts and an explicit unimodular basis change.
The Seifert determinant is the knot Alexander polynomial identifies the normalized Alexander polynomial with the determinant of a Seifert matrix up to a unit in .
Knot Alexander normalization, symmetry, and genus bound: every knot Alexander generator has a unique symmetric unit associate taking value at .
Proof
Let be the matrix in [F1] and form . Fraction-free Bareiss elimination uses, at stage , the update with initial divisor . The successive pivots are At the seventh pivot exchange rows and once; the pivot is and the final Bareiss entry is . The one row exchange reverses the determinant sign, so . The recurrence has exact polynomial divisions at every stage; the finite pivot and exact-division certificate is recorded in the batch contract.
The monomial is a unit in . By [F2], the Alexander generator is associated to . The polynomial is symmetric and takes value at , so uniqueness in [F3] gives .
Depends on
- Conway knot and its Piccirillo trace partner
- Seifert-matrix certificate for the Conway diagram
- The Seifert determinant is the knot Alexander polynomial
- The Alexander polynomial from the zeroth elementary ideal
- Knot Alexander normalization, symmetry, and genus bound
- The Axiom of Choice
- The Axiom of Countable Choice ($\mathrm{AC}_\omega$)
- AC implies DC implies countable choice
Used by
Dependency tree · two levels
36 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Lisa Piccirillo, The Conway knot is not slice (standard reference, not scraped)
- Freedman and Quinn, Topology of 4-Manifolds (standard reference, not scraped)