Mazur’s structure theorem

Any normed associative real division algebra is isomorphic to one of the following:

• The real numbers $ℝ$.

• The complex numbers $ℂ$.

• The quaternions $ℍ$.

The next generalization, the octonions, often viewed as the “complexification” of the quaternions, fails to be associative.