FACTOID # 16: In the 2000 Presidential Election, Texas gave Ralph Nader the 3rd highest popular vote count of any US state.

 Home Encyclopedia Statistics States A-Z Flags Maps FAQ About

 WHAT'S NEW

SEARCH ALL

Search encyclopedia, statistics and forums:

(* = Graphable)

Encyclopedia > Jordan identity

In mathematics, a Jordan algebra is defined in abstract algebra as a (usually nonassociative) algebra over a field with multiplication satisfying the following axioms: Euclid, detail from The School of Athens by Raphael. ... Abstract algebra is the field of mathematics concerned with the study of algebraic structures such as groups, rings and fields. ... In mathematics, an algebra over a field K, or a K-algebra, is a vector space A over K equipped with a compatible notion of multiplication of elements of A. A straightforward generalisation allows K to be any commutative ring. ...

1. xy = yx (commutative law)
2. (xy)(xx) = x(y(xx)) (Jordan identity)

Jordan algebras were first introduced by Pascual Jordan in quantum mechanics. Pascual Jordan (October 18, 1902 in Hanover - July 31, 1980 in Hamburg) was a German physicist. ... A simple introduction to this subject is provided in Basics of quantum mechanics. ...

Given an associative algebra A (not of characteristic 2), one can construct a Jordan algebra A + with the same underlying addition, and a new multiplication (x.y) as follows. The word characteristic has several meanings: In mathematics, see characteristic (algebra) characteristic function characteristic subgroup Euler characteristic method of characteristics In genetics, see characteristic (genetics). ...

$(x .y) = {xy+yx over 2}$.

If A has an involution, then the involution fixes elements of the form

(xy + yx) / 2.

Thus the set of all elements fixed by the involution form a subalgebra of A + .

A Jordan algebra that is isomorphic to an algebra of the form A + is known as a special Jordan algebra. Otherwise it is an exceptional Jordan algebra.

A Jordan ring is a generalisation of Jordan algebras, requiring only that the Jordan ring be over general ring rather than a field. Alternatively one can define a Jordan ring as a commutative nonassociative ring that respects the Jordan identity.

• The set of self-adjoint real, complex, or quaternionic matrices with multiplication
(xy + yx) / 2

form a special Jordan algebra. In mathematics, an element x of a star-algebra is self-adjoint if the involution acts trivially upon it. ...

• The set of 3×3 self-adjoint matrices over the octonions again with multiplication
(xy + yx) / 2.

Despite the similarity to the previous example, this is an exceptional Jordan algebra. (The octonions are not an associative algebra.) Because most other exceptional Jordan algebras are constructed using this one, it is often referred to as "the" exceptional Jordan algebra. It is also known as the Albert algebra. In mathematics, the octonions are a nonassociative extension of the quaternions. ...

A (possibly nonassociative) algebra over the real numbers is said to be formally real if it satisfies the property that a sum of n squares can only vanish if each one vanishes individually. In 1932, Pascual Jordan attempted to axiomatize quantum theory by saying that the algebra of observables of any quantum system should be a formally real algebra which is commutative (xy = yx) and power-associative (the associative law holds for any parenthesized string of x's, so that powers of any element x are unambiguously defined). He proved that any such algebra is what we now call a Jordan algebra. Not every Jordan algebra is formally real, but in 1934, with Eugene Wigner and John von Neumann, Jordan classified the formally real Jordan algebras. Every formally real Jordan algebra can be written as a direct sum of so-called simple ones, which are not themselves direct sums in a nontrivial way. The simple formally real Jordan algebras come in 4 infinite families, together with one exceptional case: Eugene Wigner (left) and Alvin Weinberg Eugene Paul Wigner (Hungarian Wigner PÃ¡l JenÅ‘) (November 17, 1902 â€“ January 1, 1995) was a Hungarian physicist and mathematician who received the Nobel Prize in Physics in 1963 for his contributions to the theory of the atomic nucleus and the elementary particles, particularly... John von Neumann in the 1940s. ...

• The Jordan algebra of $ntimes n$ self-adjoint real matrices, as above.
• The Jordan algebra of $ntimes n$ self-adjoint complex matrices, as above.
• The Jordan algebra of $ntimes n$ self-adjoint quaternionic matrices. as above.
• The Jordan algebra freely generated by Rn with the relations
$x^2 = langle x, xrangle$

where the right-hand side is defined using the usual inner product on Rn. This is the so-called spin factor.

• The Jordan algebra of 3×3 self-adjoint octonionic matrices, as above - the exceptional Jordan algebra.

Of these possibilities, so far it appears that nature makes use only of the n×n complex matrices as algebra of observables. However, the spin factors play a role in special relativity, and all the formally real Jordan algebras are related to projective geometry. Projective geometry is a non-metrical form of geometry that emerged in the early 19th century. ...

## References

• John Baez, The Octonions, Section 3: Projective Octonionic Geometry, Bull. Amer. Math. Soc. 39 (2002), 145-205. Online HTML version at

http://math.ucr.edu/home/baez/octonions/node8.html. John Carlos Baez (b. ...

Share your thoughts, questions and commentary here