A real normed algebra is a finite-dimensional real algebra on ,
for
,
whose bilinear multiplication
satisfies
for all
, where
is the Euclidean norm. A
real normed algebra with a multiplicative
identity is a positive-definite composition algebra. General composition algebras
may instead have an indefinite quadratic form and
need not satisfy this positive-definite norm condition.
The only real normed algebras with a multiplicative identity are the real numbers , complex numbers
, quaternions
, and octonions
(Koecher and Remmert 1991).
Hurwitz (1898) proved that a real normed algebra must have dimension , 2, 4, or 8. There are four real normed
algebras of dimension 2: the complex
numbers and three others (Koecher and Remmert 1991).
Real normed algebras have no zero divisors since
implies
.