S7: Topological And Octonionic Layer
S^7 is the end of the line for the classical number systems. To reach it, you build the octonions — and they make you give up associativity, the rule that lets you move parentheses freely. This unit is where warnings stop being decoration and start changing which moves are legal.
Unit Goal
Learn the difference between a bounded, checked coordinate fact on S^7 and a broad claim about octonions, Hopf fibrations, or group structure — and why the difference matters here more than anywhere else.
The Idea
S^7 is odd, so by the same parity rule, χ(S^7) = 0. The new thing is the algebra: octonion multiplication is non-associative, so (a·b)·c and a·(b·c) can differ. A proof step that silently regroups a product — perfectly fine for quaternions — can flip a sign here. The unit keeps every octonionic and Hopf claim bounded to its theorem-card status.
Lesson Path
- Octonionic Layer — what the octonions keep, what they lose, and why quaternion proofs do not transfer.
This section is warning-sensitive: the theorem card is the status source, and nothing here implies associativity, group structure, or full fibration topology unless proved.
This is a scaffold unit, and a warning-sensitive one: the theorem cards are the status source, and the widgets and diagrams are explanations, not proofs. See What “Proved” Means Here.
Checkpoint
When a page mentions octonions, what property should you check before reusing a familiar group-style argument?