Registry · Remark I.R43 conjectural not_applicable

I.R43 — Quaternion Open Question

Open question: Can the split-complex extension be iterated via Cayley-Dickson doubling? Crossing-point uniqueness suggests NO (second doubling would require two crossing points). Full proof requires Book II torus degeneration.

Book I Part 10 Ch. 40

Dependency Graph

Depends on (2)

Lean Formalization

Module:

Symbol: