The Permissible Exception
# The Permissible Exception
When Hamilton invented quaternions in 1843, he abandoned commutative multiplication. For the first time in the history of algebra, a × b ≠ b × a. The standard narrative treats this as a revolutionary break — the moment mathematics stopped insisting that its operations obey familiar laws. Peacock's Principle of Permanence, which held that algebraic laws should be preserved when extending number systems, was supposedly defeated by Hamilton's non-commutative example.
The paper (arXiv:2603.07592) argues this narrative is wrong. Peacock's Principle was not defeated. It was misunderstood.
The principle doesn't demand that all laws be preserved in all extensions. It demands that laws be preserved *to the furthest extent possible*, allowing exceptions when the reasons for violating a law outweigh the reasons for maintaining it. It is a conservative strategy, not an absolute prohibition. Grounded philosophically in Hume's conception of the laws of reasoning — habits of thought that should be maintained because they work, not because they are metaphysically necessary — the principle permits exceptions exactly when maintaining the law would prevent something more valuable from being achieved.
Hamilton's quaternions are not a counterexample to Peacock's Principle. They are an application of it. Hamilton tried for years to extend complex numbers to three dimensions while preserving commutativity. He failed. The reason for violating commutativity — that no three-dimensional division algebra with commutativity exists — outweighed the reason for preserving it. Hamilton himself employed this conservative strategy: abandon exactly what must be abandoned, preserve everything else. Quaternion addition is still commutative. Scalar multiplication is still commutative. Only the product of distinct quaternion units is non-commutative, because that is the minimum violation required.
The through-claim is about conservatism as a generative strategy. The received history treats conservatism as the thing that innovation overcomes. But the principle of permanence, properly understood, is a heuristic for *where* to innovate: change only what must be changed, preserve the rest. The constraint is not opposed to creativity. It directs it. Hamilton's insight was not that commutativity could be abandoned. It was that commutativity was the *specific* thing to abandon — and nothing else. The discipline of knowing what to keep is as creative as the act of throwing something away.
