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.
Magnus coefficient changes under longitude conjugation depend on lower-order coefficients
Statement
Let be the free group with Magnus expansion , let , and let be a nonempty word of length . The coefficient of in is an integer linear combination of coefficients of on proper contiguous subwords of . Thus, when is the prefix of a Milnor index , conjugating the longitude can change its degree- coefficient only by an integer combination of coefficients indexed by proper subsequences of .
Statement references
Facts & Assumptions
Given: The noncommutative formal-series ring, augmentation ideal , and Magnus expansion in the preceding definition.
Every Magnus expansion has constant term , its positive-degree part lies in , and multiplication concatenates words. Lower-central series and Magnus expansion for links
Proof
Given: The words , the Magnus expansion , and the formal-series ring from the Definition.
Write and with . Then Expand . The term with no on either side is and cancels the subtracted . Every remaining term is a product with .
A coefficient of degree in such a product uses a degree- monomial of , a degree- monomial of , and a degree- monomial of with and . The monomial therefore has degree and occupies a contiguous middle block of the target word , while the nonempty left or right block comes from . Summing the finitely many decompositions of expresses its coefficient as an integer linear combination of coefficients of on proper contiguous subwords. Appending the longitude index makes each such index a proper subsequence of .
Depends on
Used by
Dependency tree · two levels
3 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
- John Milnor, Link Groups (standard reference, not scraped)
- Ryan Stees, Milnor’s Invariants for Knots and Links in Closed Orientable 3-Manifolds (standard reference, not scraped)