Normed division algebra
From Wikipedia, the free encyclopedia
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 the following property:
- ||xy|| = ||x|| ||y|| for all x and y in A.
This property is known as composition and so a normed division algebra can also be referred to as a composition algebra. 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:
- the real numbers, denoted by R
- the complex numbers, denoted by C
- the quaternions, denoted by H
- the octonions, denoted by O,
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.
