Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedverified 2026-10-22 (gpt-6.1-sol)
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.

Mirroring preserves primeness of an oriented knot

Statement

Assume the Axiom of Countable Choice. If a smooth oriented knot K is nontrivial and prime, then its mirror image under the fixed reflection from the connected-sum convention, with the image orientation, is also nontrivial and prime.

Facts & Assumptions

Given: ACω, a nontrivial prime oriented knot K, and a fixed orientation-reversing reflection r:S3→S3.

[F1]

A prime knot is nontrivial and has no connected-sum presentation with both summands nontrivial. (Oriented connected sum and prime knot)

[F2]

The connected-sum operation is well-defined, and its fixed gluing map commutes with the reflection in the standard model. (The oriented connected sum is independent of its local choices, Oriented connected sum and prime knot)

[A1]

ACω is the countable-choice hypothesis for the connected-sum choice-independence result. (The Axiom of Countable Choice (ACω))

Proof

Given: ACω, K, and r.

1.1givenF1construct

If r(K) were ambient isotopic to the standard unknot, conjugating that isotopy by r would give an orientation-preserving ambient isotopy from K to r−1(U). The reflection image r−1(U) is a round circle and hence a standard unknot; if its orientation is reversed, a half-turn about a diameter of the circle reverses its circle orientation while preserving the ambient orientation: in coordinates with the circle in the (x,y)-plane, the rotation (x,y,z)↦(x,−y,−z) is joined to the identity by rotations about the x-axis. Thus K would be trivial, contrary to [F1], and r(K) is nontrivial.

2.1givenF1F2A1step 1.1construct∎

Suppose r(K)=J#L with both J,L nontrivial. Reflect the connected-sum model. By [F2], its image is the connected sum of the reflected summands, K=r−1(J)#r−1(L) up to oriented ambient isotopy. Reflection preserves nontriviality by the argument in step 1.1, contradicting primeness of K. Hence r(K) is prime.

Depends on

Used by

Dependency tree · two levels

10 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