Editing Jordan algebra

{{Short description|1=Not-necessarily-associative commutative algebra satisfying (𝑥𝑦)𝑥²=𝑥(𝑦𝑥²)}}
{{pp-move-indef|small=yes}}
In [[abstract algebra]], a '''Jordan algebra''' is a [[nonassociative algebra]] [[algebra over a field|over a field]] whose [[Product (mathematics)|multiplication]] satisfies the following axioms:

# <math>xy = yx</math> ([[commutative]] law)
# <math>(xy)(xx) = x(y(xx))</math> ({{visible anchor|Jordan identity}}).

The product of two elements ''x'' and ''y'' in a Jordan algebra is also denoted ''x'' ∘ ''y'', particularly to avoid confusion with the product of a related [[associative algebra]].

The axioms imply<ref name=Jacobson68p35>{{harvnb|Jacobson|1968|pp=35–36, specifically remark before (56) and theorem 8}}</ref> that a Jordan algebra is [[power-associative]], meaning that <math>x^n = x \cdots x</math> is independent of how we parenthesize this expression.  They also imply<ref name=Jacobson68p35/> that <math>x^m (x^n y) = x^n(x^m y)</math> for all positive integers ''m'' and ''n''.  Thus, we may equivalently define a Jordan algebra to be a commutative, power-associative algebra such that for any element <math>x</math>, the operations of multiplying by powers <math>x^n</math> all commute.
 
Jordan algebras were introduced by {{harvs|txt|authorlink=Pascual Jordan|first=Pascual |last=Jordan|year=1933}} in an effort to formalize the notion of an algebra of [[observable]]s in [[quantum electrodynamics]]. It was soon shown that the algebras were not useful in this context, however they have since found many applications in mathematics.<ref>{{Cite journal |last=Dahn |first=Ryan |date=2023-01-01 |title=Nazis, émigrés, and abstract mathematics |journal=Physics Today |volume=76 |issue=1 |pages=44–50 |doi= 10.1063/PT.3.5158|issn=|doi-access=free |bibcode=2023PhT....76a..44D }}</ref> The algebras were originally called "r-number systems", but were renamed "Jordan algebras" by {{harvs|txt|authorlink=Abraham Adrian Albert|last=Albert|first=Abraham Adrian|year=1946}}, who began the systematic study of general Jordan algebras.

==Special Jordan algebras==

Notice first that an [[associative algebra]] is a Jordan algebra if and only if it is commutative. 

Given any associative algebra ''A'' (not of [[Characteristic (algebra)|characteristic]] 2), one can construct a Jordan algebra ''A''<sup>+</sup> using the same underlying addition and a new multiplication, the '''Jordan product''' defined by:
:<math>x\circ y = \frac{xy+yx}{2}.</math>

These Jordan algebras and their subalgebras are called '''special Jordan algebras''', while all others are '''exceptional Jordan algebras'''. This construction is analogous to the [[Lie algebra]] associated to ''A'', whose product (Lie bracket) is defined by the commutator <math>[x,y] = xy - yx</math>.

The [[Anatoly Shirshov|Shirshov]]–Cohn theorem states that any Jordan algebra with two [[Generating set|generators]] is special.<ref name="mcc100">{{harvnb|McCrimmon|2004|p=100}}</ref> Related to this, Macdonald's theorem states that any polynomial in three variables, having degree one in one of the variables, and which vanishes in every special Jordan algebra, vanishes in every Jordan algebra.<ref name="mcc99">{{harvnb|McCrimmon|2004|p=99}}</ref>

===Hermitian Jordan algebras===

If (''A'', ''&sigma;'') is an associative algebra with an [[involution (mathematics)|involution]] ''&sigma;'', then if ''&sigma;''(''x'') = ''x'' and ''&sigma;''(''y'') = ''y'' it follows that <math display="inline">\sigma(xy + yx) = xy + yx.</math> Thus the set of all elements fixed by the involution (sometimes called the ''hermitian'' elements) form a subalgebra of ''A''<sup>+</sup>, which is sometimes denoted H(''A'',''&sigma;'').

==Examples==

1. The set of [[self-adjoint]] [[real number|real]], [[complex number|complex]], or [[quaternionic]] matrices with multiplication

:<math>(xy + yx)/2</math>

form a special Jordan algebra.

2. The set of 3×3 self-adjoint matrices over the  [[octonion]]s, again with multiplication

:<math>(xy + yx)/2,</math>

is a 27 dimensional, exceptional Jordan algebra (it is exceptional because the [[octonion]]s are not associative). This was the first example of an [[Albert algebra]]. Its automorphism group is the exceptional [[Lie group]] [[F4 (mathematics)|F<sub>4</sub>]]. Since over the [[complex numbers]] this is the only simple exceptional Jordan algebra up to isomorphism,<ref name=Springer00/> it is often referred to as "the" exceptional Jordan algebra. Over the [[real numbers]] there are three isomorphism classes of simple exceptional Jordan algebras.<ref name=Springer00>{{harvnb|Springer|Veldkamp|2000|loc=§5.8, p.&nbsp;153}}</ref>

==Derivations and structure algebra==

A [[derivation (abstract algebra)|derivation]] of a Jordan algebra ''A'' is an endomorphism ''D'' of ''A'' such that ''D''(''xy'') = ''D''(''x'')''y''+''xD''(''y''). The derivations form a [[Lie algebra]] '''der'''(''A''). The Jordan identity implies that if ''x'' and ''y'' are elements of ''A'', then the endomorphism sending ''z'' to ''x''(''yz'')&minus;''y''(''xz'') is a derivation. Thus the direct sum of ''A'' and '''der'''(''A'') can be made into a Lie algebra, called the '''structure algebra''' of ''A'', '''str'''(''A'').

A simple example is provided by the Hermitian Jordan algebras H(''A'',''&sigma;''). In this case any element ''x'' of ''A'' with ''&sigma;''(''x'')=&minus;''x'' defines a derivation. In many important examples, the structure algebra of H(''A'',''&sigma;'') is ''A''.

Derivation and structure algebras also form part of [[Jacques Tits|Tits]]' construction of the [[Freudenthal magic square]].

==Formally real Jordan algebras==

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, Jordan attempted to axiomatize quantum theory by saying that the algebra of observables of any quantum system should be a formally real algebra that is commutative (''xy'' = ''yx'') and power-associative (the associative law holds for products involving only ''x'', so that powers of any element ''x'' are unambiguously defined).  He proved that any such algebra is a Jordan algebra.

Not every Jordan algebra is formally real, but {{harvtxt|Jordan|von Neumann|Wigner|1934}} classified the finite-dimensional formally real Jordan algebras, also called '''Euclidean 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.  In finite dimensions, the simple formally real Jordan algebras come in four infinite families, together with one exceptional case:

* The Jordan algebra of ''n''×''n'' self-adjoint real matrices, as above.
* The Jordan algebra of ''n''×''n'' self-adjoint complex matrices, as above.
* The Jordan algebra of ''n''×''n'' self-adjoint quaternionic matrices. as above.
* The Jordan algebra freely generated by '''R'''<sup>''n''</sup>  with the relations
*:<math>x^2 = \langle x, x\rangle </math>
:where the right-hand side is defined using the usual inner product on '''R'''<sup>''n''</sup>.  This is sometimes called a '''spin factor''' or a Jordan algebra of '''Clifford type'''.
* The Jordan algebra of 3×3 self-adjoint octonionic matrices, as above (an exceptional Jordan algebra called the [[Albert algebra]]).

Of these possibilities, so far it appears that nature makes use only of the ''n''×''n'' complex matrices as algebras of observables.  However, the spin factors play a role in [[special relativity]], and all the formally real Jordan algebras are related to [[projective geometry]].

==Peirce decomposition==

If ''e'' is an idempotent in a Jordan algebra ''A'' (''e''<sup>2</sup>&nbsp;=&nbsp;''e'') and ''R'' is the operation of multiplication by ''e'', then
* ''R''(2''R''&nbsp;&minus;&nbsp;1)(''R''&nbsp;&minus;&nbsp;1)&nbsp;=&nbsp;0
so the only eigenvalues of ''R'' are 0, 1/2, 1. If the Jordan algebra ''A'' is finite-dimensional over a field of characteristic not 2, this implies that it is a direct sum of subspaces ''A''&nbsp;=&nbsp;''A''<sub>0</sub>(''e'')&nbsp;⊕&nbsp;''A''<sub>1/2</sub>(''e'')&nbsp;⊕&nbsp;''A''<sub>1</sub>(''e'') of the three eigenspaces. This decomposition was first considered by {{harvtxt|Jordan|von Neumann|Wigner|1934}} for totally real Jordan algebras. It was later studied in full generality by {{harvtxt|Albert|1947}}  and called the '''[[Peirce decomposition]]''' of ''A'' relative to the idempotent&nbsp;''e''.<ref>{{harvnb|McCrimmon|2004|pp=99 ''et seq'',235 ''et seq''}}</ref>

==Special kinds and generalizations==

===Infinite-dimensional Jordan algebras===
In 1979, [[Efim Zelmanov]] classified infinite-dimensional simple (and prime non-degenerate) Jordan algebras. They are either of Hermitian or Clifford type. In particular, the only exceptional simple Jordan algebras are finite-dimensional [[Albert algebra]]s, which have dimension 27.

===Jordan operator algebras===
{{Main|Jordan operator algebra}}
The theory of [[operator algebras]] has been extended to cover [[Jordan operator algebra]]s.

The counterparts of [[C*-algebra]]s are JB algebras, which in finite dimensions are called [[Euclidean Jordan algebra]]s. The norm on the real Jordan algebra must be [[Complete metric space|complete]] and satisfy the axioms:

:<math>\displaystyle{\|a\circ b\|\le \|a\|\cdot \|b\|,\,\,\, \|a^2\|=\|a\|^2,\,\,\, \|a^2\|\le \|a^2 +b^2\|.}</math>

These axioms guarantee that the Jordan algebra is formally real, so that, if a sum of squares of terms is zero, those terms must be zero. The complexifications of JB algebras are called Jordan C*-algebras or JB*-algebras. They have been used extensively in [[complex geometry]] to extend [[Max Koecher|Koecher's]] Jordan algebraic treatment of [[bounded symmetric domain]]s to infinite dimensions. Not all JB algebras can be realized as Jordan algebras of self-adjoint operators on a Hilbert space, exactly as in finite dimensions. The exceptional [[Albert algebra]] is the common obstruction.

The Jordan algebra analogue of [[von Neumann algebra]]s is played by JBW algebras. These turn out to be JB algebras which, as Banach spaces, are the dual spaces of Banach spaces. Much of the structure theory of von Neumann algebras can be carried over to JBW algebras. In particular the JBW factors—those with center reduced to '''R'''—are completely understood in terms of von Neumann algebras. Apart from the exceptional [[Albert algebra]], all JWB factors can be realised as Jordan algebras of self-adjoint operators on a Hilbert space closed in the [[weak operator topology]]. Of these the spin factors can be constructed very simply from real  Hilbert spaces. All other JWB factors are either the self-adjoint part of a [[Von Neumann algebra#Factors|von Neumann factor]] or its fixed point subalgebra under a period 2 *-antiautomorphism of the von Neumann factor.<ref>See:
*{{harvnb|Hanche-Olsen|Størmer|1984}}
*{{harvnb|Upmeier|1985}}
*{{harvnb|Upmeier|1987}}
*{{harvnb|Faraut|Koranyi|1994}}</ref>

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

===Jordan superalgebras===

Jordan [[superalgebra]]s were introduced by Kac, Kantor and Kaplansky; these are <math>\mathbb{Z}/2</math>-graded algebras <math>J_0 \oplus J_1</math> where <math>J_0</math> is a Jordan algebra and <math>J_1</math> has a "Lie-like" product with values in <math>J_0</math>.<ref>{{harvnb|McCrimmon|2004|pp=9–10}}</ref>

Any <math>\mathbb{Z}/2</math>-graded associative algebra <math>A_0 \oplus A_1</math> becomes a Jordan superalgebra with respect to the graded Jordan brace

:<math>\{x_i,y_j\} = x_i y_j + (-1)^{ij} y_j x_i \ . </math>

Jordan simple superalgebras over an algebraically closed field of characteristic 0 were classified by {{harvtxt|Kac|1977}}.  They include several families and some exceptional algebras, notably <math>K_3</math> and <math>K_{10}</math>.

===J-structures===
{{Main|J-structure}}
The concept of [[J-structure]] was introduced by {{harvtxt|Springer|1998}} to develop a theory of Jordan algebras using [[linear algebraic group]]s and axioms taking the Jordan inversion as basic operation and [[Hua's identity]] as a basic relation.  In [[characteristic of a field|characteristic]] not equal to 2 the theory of J-structures is essentially the same as that of Jordan algebras.

===Quadratic Jordan algebras===
{{Main|Quadratic Jordan algebra}}
Quadratic Jordan algebras are a generalization of (linear) Jordan algebras introduced by {{harvs|txt|first=Kevin|last=McCrimmon|year=1966}}. The fundamental identities of the [[quadratic representation]] of a linear Jordan algebra are used as axioms to define a quadratic Jordan algebra over a field of arbitrary characteristic. There is a uniform description of finite-dimensional simple quadratic Jordan algebras, independent of characteristic: in characteristic not equal to 2 the theory of quadratic Jordan algebras reduces to that of linear Jordan algebras.

==See also==
* [[Freudenthal algebra]]
* [[Jordan triple system]]
* [[Jordan pair]]
* [[Kantor–Koecher–Tits construction]]
* [[Scorza variety]]

==Notes==
{{Reflist}}

==References==
*{{Citation | last=Albert | first=A. Adrian |author-link=Abraham Adrian Albert | title=On Jordan algebras of linear transformations | year=1946 | journal=[[Transactions of the American Mathematical Society]] | issn=0002-9947 | volume=59 | issue=3 | pages=524–555 | mr=0016759 | jstor=1990270 | doi=10.1090/S0002-9947-1946-0016759-3| doi-access=free }}
*{{Citation | doi=10.2307/1969128 | last1=Albert | first1=A. Adrian | title=A structure theory for Jordan algebras | year=1947 | journal=[[Annals of Mathematics]] |series=Second Series | issn=0003-486X | volume=48 | issue=3 | pages=546–567 | jstor=1969128 | mr=0021546}}
*{{Cite journal| first=John C. |last=Baez  | author1-link=John C. Baez | title=The Octonions, 3: Projective Octonionic Geometry |journal=Bulletin of the American Mathematical Society |url=https://www.ams.org/bull/2002-39-02/S0273-0979-01-00934-X/home.html |series=Bull. Amer. Math. Soc.  |volume=39 |year=2002 |issue=2 |pages=145–205 |doi=10.1090/S0273-0979-01-00934-X  |mr=1886087|s2cid=586512 |doi-access=free }}. [http://math.ucr.edu/home/baez/octonions/node8.html Online HTML version].
*{{citation|last1=Faraut|first1= J.|last2= Koranyi|first2= A.|author2-link= Ádám Korányi |title= Analysis on symmetric cones|series= Oxford Mathematical Monographs|publisher= Oxford University Press|year= 1994|isbn= 0198534779}} 
*{{citation|last1=Hanche-Olsen|first1= H.|last2= Størmer|first2= E.|title=Jordan operator algebras|series= Monographs and Studies in Mathematics|volume= 21|publisher=Pitman|year= 1984|isbn= 0273086197|url=http://www.math.ntnu.no/~hanche/joa/}}
*{{Citation | last1=Jacobson | first1=Nathan | author1-link=Nathan Jacobson | title=Structure and representations of Jordan algebras | publisher=[[American Mathematical Society]] | location=Providence, R.I. | series=American Mathematical Society Colloquium Publications |volume=39 | mr=0251099  | orig-year=1968 |year=2008 |isbn=9780821831793 |ref={{harvid|Jacobson|1968}}}}
*{{citation| first1=Pascual| last1=Jordan | title  =Über Verallgemeinerungsmöglichkeiten des Formalismus der Quantenmechanik | journal=Nachr. Akad. Wiss. Göttingen. Math. Phys. Kl. I | volume=41 | year=1933 | pages=209–217}}
*{{citation | doi = 10.2307/1968117 | last1 = Jordan | first1 = P. | last2 = von Neumann | first2 = J.| last3 = Wigner | first3 = E. | author2-link = John von Neumann | author3-link = Eugene Wigner | year = 1934 | title = On an algebraic generalization of the quantum mechanical formalism | journal = Annals of Mathematics | volume = 35 | issue = 1 | pages = 29–64 | jstor = 1968117}}
*{{Citation | author-link=Victor Kac | last1=Kac | first1=Victor G | title=Classification of simple Z-graded Lie superalgebras and simple Jordan superalgebras | doi=10.1080/00927877708822224  | mr=0498755  | year=1977 | journal=Communications in Algebra | issn=0092-7872 | volume=5 | issue=13 | pages=1375–1400}}
*{{citation | mr=0202783 | last=McCrimmon | first=Kevin | authorlink=Kevin McCrimmon |title=A general theory of Jordan rings | journal=Proc. Natl. Acad. Sci. U.S.A. | volume=56 | year=1966 | issue=4 | pages=1072–1079 | jstor=57792 | doi=10.1073/pnas.56.4.1072 | zbl=0139.25502 | pmc=220000 | pmid=16591377| bibcode=1966PNAS...56.1072M | doi-access=free }}
*{{Citation | last1=McCrimmon | first1=Kevin | title=A taste of Jordan algebras | url=https://books.google.com/books?isbn=0387954473 | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Universitext | isbn=978-0-387-95447-9 | doi=10.1007/b97489 | id=[http://www.math.virginia.edu/Faculty/McCrimmon/ Errata] | year=2004 | mr=2014924 | zbl=1044.17001}}
*{{citation |author=Ichiro Satake |title=Algebraic Structures of Symmetric Domains |publisher=Princeton University Press |year=1980 |isbn=978-0-691-08271-4}}. [http://projecteuclid.org/euclid.bams/1183656879 Review]
* {{citation | first=Richard D. | last=Schafer | title=An introduction to nonassociative algebras | publisher=Courier Dover Publications | year=1996 | isbn=978-0-486-68813-8 | zbl=0145.25601 | url-access=registration | url=https://archive.org/details/introductiontono0000scha }}
* {{cite book | first1=K.A. | last1=Zhevlakov | first2=A.M.|last2= Slin'ko | first3= I.P. | last3= Shestakov |first4 =A.I. | last4= Shirshov |year=1982 | orig-year=1978 | zbl=0487.17001 |mr = 0518614 | title=Rings that are nearly associative | publisher=[[Academic Press]] | isbn=0-12-779850-1 }}
*{{springer|id=J/j054270|first=A.M. |last=Slin'ko}}
*{{Citation | last1=Springer | first1=Tonny A. | author1-link=T. A. Springer | title=Jordan algebras and algebraic groups | publisher=[[Springer-Verlag]] | series=Classics in Mathematics | isbn=978-3-540-63632-8 | mr=1490836  | year=1998 | orig-year=1973 | zbl=1024.17018 | doi=10.1007/978-3-642-61970-0}}
*{{Citation | last1=Springer | first1=Tonny A. | last2=Veldkamp | first2=Ferdinand D. | title=Octonions, Jordan algebras and exceptional groups | orig-year=1963 | url=https://books.google.com/books?isbn=3540663371 | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Springer Monographs in Mathematics | isbn=978-3-540-66337-9 | year=2000 | mr=1763974 | doi=10.1007/978-3-662-12622-6}}
*{{citation|last=Upmeier|first=H.|title= Symmetric Banach manifolds and Jordan C∗-algebras |series=North-Holland Mathematics Studies|volume= 104|year= 1985|isbn=0444876510}}
*{{citation|last=Upmeier|first= H.|title=Jordan algebras in analysis, operator theory, and quantum mechanics|series= CBMS Regional Conference Series in Mathematics|volume= 67|publisher=American Mathematical Society|year= 1987|isbn= 082180717X}}

==Further reading==
* {{citation | last1=Knus | first1=Max-Albert | last2=Merkurjev | first2=Alexander | author2-link=Alexander Merkurjev | last3=Rost | first3=Markus | author3-link=Markus Rost | last4=Tignol | first4=Jean-Pierre | author-link4=Jean-Pierre Tignol | title=The book of involutions | others=With a preface by J. Tits | zbl=0955.16001 | series=Colloquium Publications | publisher=[[American Mathematical Society]] | volume=44 | location=Providence, RI | year=1998 | isbn=0-8218-0904-0 }}

==External links==
* [http://planetmath.org/jordanalgebra Jordan algebra] at PlanetMath
* [http://planetmath.org/jordanbanachandjordanliealgebras Jordan-Banach and Jordan-Lie algebras] at PlanetMath

{{Authority control}}

[[Category:Non-associative algebras]]