# Jordan algebra

An algebra in which the identities $$x y = y x , ( x ^{2} y ) x = x ^{2} ( y x )$$ hold. Such algebras first arose in the paper  of P. Jordan devoted to the axiomatic foundation of quantum mechanics (cf. also ), and later found application in algebra, analysis and geometry.

Let $A$ be an associative algebra over a field of characteristic $\neq 2$( cf. also Associative rings and algebras). The set $A$ together with the operations of addition and Jordan multiplication $$a \circ b = \frac{a b + b a}{2}$$ forms the algebra $A ^{(+)}$, which is a Jordan algebra. A Jordan algebra that is isomorphic to a subalgebra of $A ^{(+)}$ for some associative algebra $A$ is called special. The role of special algebras in the theory of Jordan algebras is in many respects analogous to the role of associative algebras in the theory of alternative algebras (cf. also Alternative rings and algebras). At the basis of this analogy lies the theorem that every two-generated subalgebra of a Jordan algebra is special. (Every two-generated subalgebra of an alternative algebra is associative.) However, the class of special Jordan algebras is not a variety, i.e. it is not given by identities, since special Jordan algebras can have non-special homomorphic images. Nevertheless, identities of degree 8 or 9 have been found that are satisfied by every special Jordan algebra, but are not satisfied by some non-special algebra, while it has been proved that such identities of degree $\leq 7$ do not exist. A necessary and sufficient condition on an algebra to be special is: A Jordan algebra is special if and only if it can be isomorphically imbedded in a Jordan algebra each countable subset of which lies in a subalgebra generated by two elements.

## Contents

### Examples.

1) Let $V$ be a vector space over a field with a symmetric bilinear form $f ( x ,\ y )$, and let $F \cdot e _{0} + V$ be a space of one dimension higher, on which $$( \alpha e _{0} + u ) ( \beta e _{0} + v ) = [ \alpha \beta + f ( u ,\ v ) ] e _{0} + \alpha v + \beta u$$ determines the multiplication ( $\alpha ,\ \beta \in F$; $u ,\ v \in V$). The algebra that arises is called the algebra with symmetric bilinear form $f$. It can be isomorphically imbedded in the algebra $C ( V ,\ f \ ) ^{(+)}$, where $C ( V ,\ f \ )$ is the Clifford algebra of $f$, and is therefore a special Jordan algebra.

2) Let $A$ be an associative algebra and $j$ an involution of it (an anti-isomorphism of order two). The set $$H ( A ,\ j ) = \{ {a \in A} : {a ^{j} = a} \}$$ is a subalgebra in $A ^{(+)}$ and is also a special Jordan algebra.

3) Let $C$ be an alternative non-associative algebra over a field $F$ with involution $c \mapsto \overline{c}$ whose fixed elements lie in the associative centre of $C$. In the algebra $C _{3}$ of matrices over $C$ of order 3, the set $$H ( C _{3} ,\ \Gamma ) = \{ {X \in C _{3}} : {X = \Gamma ^{-1} \overline{X} {} ^ \prime \Gamma} \} ,$$ where $$\Gamma = \mathop{\rm diag}\nolimits \{ \gamma _{1} ,\ \gamma _{2} ,\ \gamma _{3} \} , \gamma _{i} \neq 0 , \gamma _{i} \in F ,$$ is a non-special Jordan algebra under the operations of addition and Jordan multiplication. This algebra is not the homomorphic image of any special algebra.

The finite-dimensional simple Jordan algebras over an algebraically closed field $F$ of characteristic $\neq 2$ have been completely classified (cf. ). The central simple finite-dimensional Jordan algebras split into five series. The series –(D) are infinite and consist of special algebras, (E) consists of a single non-special algebra:

$F _{n} ^{(+)}$;

(B) $H ( F _{n} ,\ J _{1} )$, where $J _{1} : \ X \rightarrow X ^ \prime$;

(C) $H ( F _{2n} ,\ J _{S} )$, where $J _{S} : \ X \rightarrow \overline{S} {} ^ \prime X ^ \prime S$, $S = \mathop{\rm diag}\nolimits \{ Q \dots Q \}$, $$Q = \left ( \begin{array}{ll} 0 & 1 \\ 1 & 0 \\ \end{array} \ \right ) ;$$( D) $F \cdot e _{0} + V$ — the algebras of symmetric non-degenerate bilinear forms;

(E) $H ( C _{3} ,\ J _{1} )$, where $C$ is the Cayley–Dickson algebra with the standard involution. This algebra is $27$- dimensional over $F$.

In each finite-dimensional Jordan algebra $J$ the radical (the largest nil radical) $N$ is involutory and the quotient algebra $\overline{J} = J / N$ is a finite direct sum of simple Jordan algebras. If $\overline{J}$ is separable, then $J$ has a decomposition $J = N + W$ into the sum of the radical and a semi-simple subalgebra $W$ that is isomorphic to $\overline{J}$. In the case of characteristic 0, all semi-simple terms $W$ are conjugate relative to automorphisms of a special kind (cf. ). This is also true in characteristic $p > 0$ if some restrictions are imposed on the algebra.

A generalization of the theory of finite-dimensional Jordan algebras is the theory of Jordan algebras with the minimum condition for quadratic (inner) ideals (cf. , , ). A quadratic ideal $Q$ of an algebra $J$ is a subspace for which $\{ qx q \} \in Q$ for all $q \in Q$ and $x \in J$, where $\{ a b c \} = ( a b) c + ( b c ) a - ( c a ) b$ is the triple Jordan product. If $J$ is a Jordan algebra with the minimum condition for quadratic ideals and $R$ is its quadratic radical (cf. Radical of rings and algebras), then the quotient algebra $J / R$ is a finite direct sum of simple algebras, which have been described apart from the Jordan algebras with division. If $J$ is a special algebra, it has been proved that the radical $R$ is nilpotent and finite-dimensional.

An algebraic special Jordan algebra (cf. also Algebraic algebra) that satisfies a non-trivial (for special algebras) identity is locally finite-dimensional; a special Jordan nil algebra (cf. also Nil algebra) with a non-trivial identity is locally nilpotent . In particular, a special algebraic Jordan (nil) algebra of bounded index is locally finite-dimensional (nilpotent). A finitely-generated solvable Jordan algebra is nilpotent; this is not true for special algebras in the general case. A Jordan $\Phi$- operator ring that is a finitely-generated $\Phi$- module with nilpotent generating elements, is nilpotent .

With each Jordan algebra one can in various ways associate a Lie algebra (cf. , ). A number of theorems on Jordan algebras have been obtained from known theorems on Lie algebras. E.g., it has been proved that a semi-simple finite-dimensional Jordan algebra over an algebraically closed field of characteristic zero has a basis with integral structure constants. For the theory of Lie algebras this construction is also useful, since certain important classes of Lie algebras can be realized by it. E.g., the Lie algebra of derivations of the simple Lie algebra of type (E) is the exceptional simple Lie algebra $F _{4}$, the algebra of linear transformations of this algebra that leave invariant some cubic form is the exceptional simple Lie algebra $E _{6}$. All five exceptional Lie algebras of types $G _{2}$, $F _{4}$, $E _{6}$, $E _{7}$, $E _{8}$ can be realized by another construction, associating to an alternative algebra of degree 2 and a Jordan algebra of degree 3 some Lie algebra.

It is, finally, interesting to note that some algebras arising in genetics are Jordan algebras .

How to Cite This Entry:
Jordan algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Jordan_algebra&oldid=52573
This article was adapted from an original article by A.M. Slin'ko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article