I.T44 — Quaternion Non-Commutativity

The quaternions are non-commutative: qi * qj is not equivalent to qj * qi. Explicit witness: the k-component differs in sign. This is the first non-commutative algebra earned within tau.