Hurwitz's theorem (composition algebras)

In mathematics, Hurwitz's theorem is a theorem of Adolf Hurwitz, published posthumously in 1923, solving the Hurwitz problem for finite-dimensional unital real non-associative algebras endowed with a nondegenerate positive-definite quadratic form. The theorem states that if the quadratic form defines a homomorphism into the positive real numbers on the non-zero part of the algebra, then the algebra must be isomorphic to the real numbers, the complex numbers, the quaternions, or the octonions, and that there are no other possibilities.

Source: Wikipedia — Hurwitz's theorem (composition algebras) (CC BY-SA 4.0)