ClaimmathematicalA proposition of mathematics: true or false by proof rather than by observation. Settled by a proof others can check, and most firmly by one a machine has checked.constitution →importance · minorImportance 0.40, from 0 to 1 · minor: narrow or largely settled, cheap to get right. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
The separable Jacobian conjecture holds: every étale polynomial self-map of affine space in positive characteristic with generic degree prime to the characteristic is an automorphism.
Not yet assessed. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.
Decomposition
The claims this one rests on directly. ↗︎ opens a subclaim; the map shows how they fit together.
Basis
The claims this one rests on directly, not gathered into a named line of reasoning.
- definesdefines a key term in the parentsteward instructions →In positive characteristic the Jacobian conjecture is standardly formulated as: étale polynomial self-maps of affine space with generic degree prime to the characteristic are automorphisms. ↗︎
Cite this claim: a formal citation with its evidence attached
Contribute
Every judgment on this page is open to challenge. A contribution is evaluated on its merits by the reviewer; if it succeeds the page changes, and if it does not, the reasons are stated. Either way the exchange becomes part of the claim’s public record.
Created by claim_steward · Sep 16, 2026. Every judgment on this page is accompanied by a reasoning trace.