A nonassociative algebra named after physicist Pascual Jordan which satisfies
(1)
|
and
(2)
|
The latter is equivalent to the so-called Jordan identity
(3)
|
(Schafer 1996, p. 4). An associative algebra with associative product
can be made into a Jordan algebra
by the Jordan product
(4)
|
Division by 2 gives the nice identity , but it must be omitted in characteristic
.
Unlike the case of a Lie algebra, not every Jordan algebra is isomorphic to a subalgebra of some . Jordan algebras which are isomorphic
to a subalgebra are called special Jordan algebras,
while those that are not are called exceptional
Jordan algebras.