In mathematics, a normed division algebra A is a division algebra over the real or complex numbers which is also a normed vector space, with norm || . || satisfying
- ||xy|| = ||x|| ||y|| for all x and y in A.
While the definition allows normed division algebras to be infinite-dimensional, this, in fact, does not occur. The only normed division algebras over the reals (up to isomorphism) are
a result known as Hurwitz's theorem. In all of the above cases, the norm is given by the absolute value. Note that the first three of these are actually associative algebras, while the octonions form an alternative algebra (a weaker form of associativity).
The only associative normed division algebra over the complex numbers are the complex numbers themselves.
See also: Cayley-Dickson construction
