View source for Symmetric cone

{{Use American English|date = March 2019}}
{{Short description|Open convex self-dual cones}}
In [[mathematics]], '''symmetric cones''', sometimes called '''domains of positivity''', are open convex self-dual [[Cone|cones]] in Euclidean space which have a transitive group of symmetries, i.e. invertible operators that take the cone onto itself. By the [[Koecher–Vinberg theorem]] these correspond to the cone of squares in finite-dimensional [[Jordan algebra#Formally real Jordan algebras|real Euclidean Jordan algebra]]s, originally studied and classified by {{harvtxt|Jordan|von Neumann|Wigner|1934}}. The [[tube domain]] associated with a symmetric cone is a noncompact [[Hermitian symmetric space]] of '''tube type'''. All the algebraic and geometric structures associated with the symmetric space can be expressed naturally in terms of the Jordan algebra. The other irreducible Hermitian symmetric spaces of noncompact type correspond to [[Siegel domain]]s of the second kind. These can be described in terms of more complicated structures called [[Jordan triple system]]s, which generalize Jordan algebras without identity.<ref>This article uses as its main sources {{harvtxt|Jordan|von Neumann|Wigner|1934}}, {{harvtxt|Koecher|1999}} and {{harvtxt|Faraut|Koranyi|1994}}, adopting the terminology and some simplifications from the latter.</ref>

==Definitions==
A [[convex cone]] ''C'' in a finite-dimensional real [[inner product space]] ''V'' is a convex set invariant under multiplication by positive scalars. It spans the subspace ''C'' – ''C'' and the largest subspace it contains is ''C'' ∩ (−''C''). It spans the whole space if and only if it contains a basis. Since the [[convex hull]] of the basis is a polytope with non-empty interior, this happens if and only if ''C'' has non-empty interior. The interior in this case is also a convex cone. Moreover, an open convex cone coincides with the interior of its closure, since any interior point in the closure must lie in the interior of some polytope in the original cone. A convex cone is said to be ''proper'' if its closure, also a cone, contains no subspaces.

Let ''C'' be an open convex cone. Its '''dual''' is defined as

:<math>\displaystyle{C^*=\{X: (X,Y) > 0\,\,\mathrm{for}\,\,Y \in \overline{C}\}.}</math>

It is also an open convex cone and ''C''** = ''C''.<ref>{{harvnb|Faraut|Koranyi|1994|pp=2–4}}</ref> An open convex cone ''C'' is said to be '''self-dual''' if ''C''* = ''C''. It is necessarily proper, since
it does not contain 0, so cannot contain both ''X'' and −''X''.

The '''automorphism group''' of an open convex cone is defined by

:<math>\displaystyle{\mathrm{Aut}\,C =\{g\in \mathrm{GL}(V)| gC=C\}.}</math>

Clearly ''g'' lies in Aut ''C'' if and only if ''g'' takes the closure of ''C'' onto itself. So Aut ''C'' is a closed subgroup of GL(''V'') and hence a [[Lie group]]. Moreover, Aut ''C''* = (Aut ''C'')*, where ''g''* is the adjoint of ''g''. ''C'' is said to be '''homogeneous''' if Aut ''C'' acts transitively on ''C''.

The open convex cone ''C'' is called a '''symmetric cone''' if it is self-dual and homogeneous.

==Group theoretic properties==
*If ''C'' is a symmetric cone, then Aut ''C'' is closed under taking adjoints.
*The identity component Aut<sub>0</sub> ''C'' acts transitively on ''C''.
*The stabilizers of points are [[maximal compact subgroup]]s, all conjugate, and exhaust the maximal compact subgroups of Aut ''C''.
*In Aut<sub>0</sub> ''C'' the stabilizers of points are [[maximal compact subgroup]]s, all conjugate, and exhaust the maximal compact subgroups of Aut<sub>0</sub> ''C''.
*The maximal compact subgroups of Aut<sub>0</sub> ''C'' are connected.
*The component group of Aut ''C'' is isomorphic to the component group of a maximal compact subgroup and therefore finite.
*Aut ''C'' ∩ O(V) and Aut<sub>0</sub> ''C'' ∩ O(V) are maximal compact subgroups in Aut ''C'' and Aut<sub>0</sub> ''C''.
* ''C'' is naturally a [[Riemannian symmetric space]] isomorphic to ''G'' / ''K'' where ''G'' = Aut<sub>0</sub> ''C''. The Cartan involution is defined by σ(''g'')=(''g''*)<sup>−1</sup>, so that ''K'' = ''G'' ∩ O(V).

==Spectral decomposition in a Euclidean Jordan algebra==
[[File:Jordan,Pascual 1963 Kopenhagen.jpg|thumb|120px|[[Pascual Jordan]]]]
[[File:JohnvonNeumann-LosAlamos.gif|thumb|120px|[[John von Neumann]]]]
[[File:Wigner.jpg|thumb|120px|[[Eugene Wigner]]]]
{{see also|Formally real Jordan algebra}}
In their classic paper, {{harvtxt|Jordan|von Neumann|Wigner|1934}} studied and completely classified a class of finite-dimensional Jordan algebras, that are now called either '''Euclidean Jordan algebras''' or '''formally real Jordan algebras'''.

===Definition===
Let ''E'' be a finite-dimensional real vector space with a symmetric bilinear product operation

:<math>\displaystyle{E\times E \rightarrow E,\,\,\, a,b\mapsto ab =ba,}</math>

with an identity element 1 such that ''a''1 = ''a'' for ''a'' in ''A'' and a real inner product (''a'',''b'') for which the multiplication operators ''L''(''a'') defined by ''L''(''a'')''b'' = ''ab'' on ''E'' are self-adjoint and satisfy the Jordan relation

:<math>\displaystyle{L(a)L(a^2)=L(a^2)L(a).}</math>

As will turn out below, the condition on adjoints can be replaced by the equivalent condition that
the trace form Tr ''L''(''ab'') defines an inner product. The trace form has the advantage of being manifestly invariant under automorphisms of the Jordan algebra, which is thus a closed subgroup of O(''E'') and thus a compact Lie group. In practical examples, however, it is often easier to produce an inner product for which the ''L''(''a'') are self-adjoint than verify directly positive-definiteness of the trace form. (The equivalent original condition of Jordan, von Neumann and Wigner was that if a sum of squares of elements vanishes then each of those elements has to vanish.<ref>For a proof of equivalence see:
*{{harvnb|Koecher|1999|p=118}}, Theorem 12
*{{harvnb|Faraut|Koranyi|1994|pp=42,153–154}}</ref>)

===Power associativity===
From the Jordan condition it follows that the Jordan algebra is [[Power associativity|'''power associative''']], i.e. the Jordan subalgebra generated by any single element ''a'' in ''E'' is actually an associative commutative algebra. Thus, defining ''a''<sup>''n''</sup> inductively by ''a''<sup>''n''</sup> = ''a'' (''a''<sup>''n''−1</sup>), the following associativity relation holds:

:<math>\displaystyle{a^m a^n = a^{m+n},}</math>

so the subalgebra can be identified with '''R'''[''a''], polynomials in ''a''. In fact [[Polarization of an algebraic form|polarizing]] of the Jordan relation—replacing ''a'' by ''a'' + ''tb'' and taking the coefficient of ''t''—yields

:<math>\displaystyle{2L(ab)L(a) + L(a^2)L(b)=2L(a)L(b)L(a) + L(a^2b).}</math>

This identity implies that ''L''(''a''<sup>''m''</sup>) is a polynomial in ''L''(''a'') and ''L''(''a''<sup>2</sup>) for all ''m''. In fact, assuming the result for lower exponents than ''m'',

:<math>\displaystyle{a^2 a^{m-1} =a^{m-1}(a^2)=L(a^{m-1})L(a)a=L(a)L(a^{m-1})a=L(a)a^m=a^{m+1}.}</math>

Setting ''b'' = ''a''<sup>''m'' – 1</sup> in the polarized Jordan identity gives:

:<math>\displaystyle{L(a^{m+1})=2L(a^m)L(a)+L(a^2)L(a^{m-1})-2L(a)^2L(a^{m-1}),}</math>

a [[recurrence relation]] showing inductively that ''L''(''a''<sup>''m'' + 1</sup>) is a polynomial in ''L''(''a'') and ''L''(''a''<sup>2</sup>).

Consequently, if power-associativity holds when the first exponent is  ≤ ''m'', then it also holds for ''m''+1 since

:<math>\displaystyle{L(a^{m+1})a^n=2L(a)L(a^m)a^n+ L(a^2)L(a^{m-1})a^n -2L(a)^2L(a^{m-1})a^n
=a^{m+n+1}.}</math>

===Idempotents and rank===
An element ''e'' in ''E'' is called an [[idempotent]] if ''e''<sup>2</sup> = ''e''. Two idempotents are said to be orthogonal if ''ef'' = 0. This is equivalent to orthogonality with respect to the inner product,  since (''ef'',''ef'') = (''e'',''f''). In this case ''g'' = ''e'' + ''f'' is also an idempotent. An idempotent ''g'' is called ''primitive'' or ''minimal'' if it cannot be written as a sum of non-zero orthogonal idempotents. If ''e''<sub>1</sub>, ..., ''e''<sub>''m''</sub> are pairwise orthogonal idempotents then their sum is also an idempotent and the algebra they generate consists of all linear combinations of the ''e''<sub>''i''</sub>. It is an associative algebra. If ''e'' is an idempotent, then 1 − ''e'' is an orthogonal idempotent. An orthogonal set of idempotents with sum 1 is said to be a ''complete set'' or a ''partition of 1''. If each idempotent in the set is minimal it is called a ''Jordan frame''. Since the number of elements in any orthogonal set of idempotents is bounded by dim ''E'', Jordan frames exist. The maximal number of elements in a Jordan frame is called the '''rank''' ''r'' of ''E''.

===Spectral decomposition===
The spectral theorem states that any element ''a'' can be uniquely written as

:<math>\displaystyle{a=\sum \lambda_i e_i,}</math>

where the idempotents ''e''<sub>''i''</sub>'s are a partition of 1 and the λ<sub>''i''</sub>, the ''eigenvalues'' of ''a'', are real and distinct. In fact let ''E''<sub>0</sub> = '''R'''[a] and let ''T'' be the restriction of ''L''(''a'') to ''E''<sub>0</sub>. ''T'' is self-adjoint and has 1 as a cyclic vector. So the [[commutant]] of ''T'' consists of polynomials in ''T'' (or ''a''). By the [[spectral theorem]] for self-adjoint operators,

:<math>\displaystyle{T=\sum \lambda_i P_i}</math>

where the ''P''<sub>''i''</sub> are orthogonal projections on ''E''<sub>0</sub> with sum ''I'' and the λ<sub>''i''</sub>'s are the distinct real eigenvalues of ''T''. Since the   ''P''<sub>''i''</sub>'s commute with ''T'' and are self-adjoint, they are given by multiplication elements ''e''<sub>''i''</sub> of  '''R'''[a] and thus form a partition of 1. Uniqueness follows because if ''f''<sub>''i''</sub> is a partition of 1 and ''a'' = Σ μ<sub>''i''</sub> ''f''<sub>''i''</sub>, then with ''p''(''t'')=Π (''t'' - μ<sub>''j''</sub>) and ''p''<sub>''i''</sub> = ''p''/(''t'' − μ<sub>''i''</sub>), ''f''<sub>''i''</sub> = ''p''<sub>''i''</sub>(''a'')/''p''<sub>''i''</sub>(μ<sub>''i''</sub>). So the ''f''<sub>''i''</sub>'s are polynomials in ''a'' and uniqueness follows from uniqueness of the spectral decomposition of ''T''.

The spectral theorem implies that the rank is independent of the Jordan frame. For a Jordan frame with ''k'' minimal idempotents can be used to construct an element ''a'' with ''k'' distinct eigenvalues. As above the minimal polynomial ''p'' of ''a'' has degree ''k'' and '''R'''[''a''] has dimension ''k''. Its dimension is also the largest ''k'' such that ''F''<sub>''k''</sub>(''a'') ≠ 0 where ''F''<sub>''k''</sub>(''a'') is the determinant of a [[Gram matrix]]:

:<math>\displaystyle{F_k(a)=\det_{0\le m,n< k} (a^m,a^n).}</math>

So the rank ''r'' is the largest integer ''k'' for which ''F''<sub>''k''</sub> is not identically zero on ''E''. In this case, as a non-vanishing polynomial, ''F''<sub>''r''</sub> is non-zero on an open dense subset of ''E''. the ''regular elements''. Any other ''a'' is a limit of regular elements ''a''<sup>(''n'')</sup>. Since the operator norm of ''L''(''x'') gives an equivalent norm on ''E'', a standard compactness argument shows that, passing to a subsequence if necessary, the spectral idempotents of the ''a''<sup>(''n'')</sup> and their corresponding eigenvalues are convergent. The limit of Jordan frames is a Jordan frame, since a limit of non-zero idempotents yields a non-zero idempotent by continuity of the operator norm. It follows that every Jordan frame is made up of ''r'' minimal idempotents.

If ''e'' and ''f'' are orthogonal idempotents, the spectral theorem shows that ''e'' and ''f'' are polynomials in ''a'' = ''e'' − ''f'', so that ''L''(''e'') and ''L''(''f'') commute. This can be seen directly from the polarized Jordan identity which implies ''L''(''e'')''L''(''f'') = 2 ''L''(''e'')''L''(''f'')''L''(''e''). Commutativity follows by taking adjoints.

===Spectral decomposition for an idempotent===
If ''e'' is a non-zero idempotent then the eigenvalues of ''L''(''e'') can only be 0, 1/2 and 1, since taking ''a'' = ''b'' = ''e'' in the polarized Jordan identity yields

:<math>\displaystyle{2L(e)^3-3L(e)^2 +L(e)=0.}</math>

In particular the operator norm of ''L''(''e'') is 1 and its trace is strictly positive.

There is a corresponding orthogonal eigenspace decomposition of ''E''

:<math>\displaystyle{E=E_0(e)\oplus E_{1/2}(e) \oplus E_1(e),}</math>

where, for ''a'' in ''E'', ''E''<sub>λ</sub>(''a'') denotes the λ-eigenspace of ''L''(''a''). In this decomposition ''E''<sub>1</sub>(''e'') and ''E''<sub>0</sub>(''e'') are Jordan algebras with identity elements ''e'' and 1 − ''e''. Their sum ''E''<sub>1</sub>(''e'') ⊕ ''E''<sub>0</sub>(''e'') is a direct sum of Jordan algebras in that any product between them is zero. It is the ''centralizer subalgebra'' of ''e'' and consists of all ''a'' such that ''L''(''a'') commutes with ''L''(''e''). The subspace ''E''<sub>1/2</sub>(''e'') is a module for the centralizer of ''e'', the ''centralizer module'', and the product of any two elements in it lies in the centralizer subalgebra. On the other hand, if

:<math>\displaystyle{U=8L(e)^2 -8L(e) +I,}</math>

then ''U'' is self-adjoint equal to 1 on the centralizer algebra and −1 on the centralizer module. So ''U''<sup>2</sup> = ''I'' and the properties above show that

:<math>\displaystyle{\sigma(x) = Ux}</math>

defines an involutive Jordan algebra automorphism σ of ''E''.

In fact the Jordan algebra and module properties follow by replacing ''a'' and ''b'' in the polarized Jordan identity by ''e'' and ''a''. If ''ea'' = 0, this gives ''L''(''e'')''L''(''a'') = 2''L''(''e'')''L''(''a'')''L''(''e''). Taking adjoints it follows that ''L''(''a'') commutes with ''L''(''e''). Similarly if (1 − ''e'')''a'' = 0, ''L''(''a'') commutes with ''I'' − ''L''(''e'') and hence ''L''(''e''). This implies the Jordan algebra and module properties. To check that a product of elements in the module lies in the algebra, it is enough to check this for squares: but if ''L''(''e'')''a'' = {{sfrac|1|2}} ''a'', then ''ea'' = {{sfrac|1|2}} ''a'', so ''L''(''a'')<sup>2</sup> + ''L''(''a''<sup>2</sup>)''L''(''e'') = 2''L''(''a'')''L''(''e'')''L''(''a'') + ''L''(''a''<sup>2</sup>''e''). Taking adjoints it follows that ''L''(''a''<sup>2</sup>) commutes with ''L''(''e''), which implies the property for squares.

===Trace form===
The trace form is defined by

:<math>\displaystyle{\tau(a,b) = \mathrm{Tr}\, L(ab).}</math>

It is an inner product since, for non-zero ''a'' = Σ λ<sub>''i''</sub> ''e''<sub>''i''</sub>,

:<math>\displaystyle{\tau(a,a)=\sum \lambda_i^2 \mathrm{Tr}\,L(e_i) > 0.}</math>

The polarized Jordan identity can be polarized again by replacing ''a'' by ''a'' + ''tc'' and taking the coefficient of ''t''. A further anyisymmetrization in ''a'' and ''c'' yields:

:<math>\displaystyle{L(a(bc) -(ab)c)=[[L(a),L(b)],L(c)].}</math>

Applying the trace to both sides

:<math>\displaystyle{\tau(a,bc)=\tau(ba,c),}</math>

so that ''L''(''b'') is self-adjoint for the trace form.

==Simple Euclidean Jordan algebras==
[[File:Adolf Hurwitz.jpg|thumb|150px|[[Adolf Hurwitz]] (1855–1919), whose work on [[composition algebra]]s was published posthumously in 1923.]]
The classification of simple Euclidean Jordan algebras was accomplished by {{harvtxt|Jordan|von Neumann|Wigner|1934}}, with details of the one exceptional algebra provided in the article immediately following theirs by {{harvtxt|Albert|1934}}. Using the [[Peirce decomposition]], they reduced the problem to an algebraic problem involving [[Hurwitz's theorem (composition algebras)|multiplicative quadratic forms]] already solved by [[Adolf Hurwitz|Hurwitz]]. The presentation here, following {{harvtxt|Faraut|Koranyi|1994}}, using [[composition algebra]]s or '''Euclidean Hurwitz algebras,''' is a shorter version of the original derivation.

===Central decomposition===
If ''E'' is a Euclidean Jordan algebra an '''ideal''' ''F'' in ''E'' is a linear subspace closed under multiplication by elements of ''E'', i.e. ''F'' is invariant under the operators ''L''(''a'') for ''a'' in ''E''. If ''P'' is the orthogonal projection onto ''F'' it commutes with the operators ''L''(''a''), In particular ''F''<sup>⊥</sup> = (''I'' − ''P'')''E'' is also an ideal and ''E'' = ''F'' ⊕ ''F''<sup>⊥</sup>. Furthermore, if ''e'' = ''P''(1), then ''P'' = ''L''(''e''). In fact for ''a'' in ''E''

:<math>\displaystyle{ea=ae=L(a)P(1)=P(L(a)1)=P(a),}</math>

so that ''ea'' = ''a'' for ''a'' in ''F'' and 0 for ''a'' in ''F''<sup>⊥</sup>. In particular ''e'' and 1 − ''e'' are orthogonal idempotents with ''L''(''e'') = ''P'' and ''L''(1 − ''e'') = ''I'' − ''P''. ''e'' and 1 − ''e'' are the identities in the Euclidean Jordan algebras  ''F'' and ''F''<sup>⊥</sup>. The idempotent ''e'' is ''central'' in ''E'', where the '''center''' of ''E'' is defined to be the set of all ''z'' such that ''L''(''z'') commutes with ''L''(''a'') for all ''a''. It forms a commutative associative subalgebra.

Continuing in this way ''E'' can be written as a direct sum of minimal ideals

:<math>\displaystyle{E=\oplus E_i.}</math>

If ''P''<sub>''i''</sub> is the projection onto ''E''<sub>''i''</sub> and ''e''<sub>''i''</sub> = ''P''<sub>''i''</sub>(1) then ''P''<sub>''i''</sub> = ''L''(''e''<sub>''i''</sub>). The ''e''<sub>''i''</sub>'s are orthogonal with sum 1 and are the identities in ''E''<sub>''i''</sub>. Minimality forces ''E''<sub>''i''</sub> to be '''simple''', i.e. to have no non-trivial ideals. For since ''L''(''e''<sub>''i''</sub>) commutes with all ''L''(''a'')'s, any ideal ''F'' ⊂ ''E''<sub>''i''</sub>
would be invariant under ''E'' since ''F'' = ''e''<sub>''i''</sub>''F''. Such a decomposition into a direct sum of simple Euclidean algebras is unique. If ''E'' = ⊕ ''F''<sub>''j''</sub> is another decomposition, then ''F''<sub>''j''</sub>=⊕ e<sub>''i''</sub>''F''<sub>''j''</sub>. By minimality only one of the terms here is non-zero so equals ''F''<sub>''j''</sub>. By minimality the corresponding ''E''<sub>''i''</sub> equals ''F''<sub>''j''</sub>, proving uniqueness.

In this way the classification of Euclidean Jordan algebras is reduced to that of simple ones. For a simple algebra ''E'' all inner products for which the operators ''L''(''a'') are self adjoint are proportional. Indeed, any other product has the form (''Ta'', ''b'') for some positive self-adjoint operator commuting with the ''L''(''a'')'s. Any non-zero eigenspace of ''T'' is an ideal in ''A'' and therefore by simplicity ''T'' must act on the whole of ''E'' as a positive scalar.

===List of all simple Euclidean Jordan algebras===

* Let ''H''<sub>''n''</sub>('''R''') be the space of real symmetric ''n'' by ''n'' matrices with inner product (''a'',''b'') = Tr ''ab'' and Jordan product ''a'' ∘ ''b'' = {{sfrac|1|2}}(''ab'' + ''ba''). Then ''H''<sub>''n''</sub>('''R''') is a simple Euclidean Jordan algebra of rank ''n'' for ''n'' ≥ 3.
* Let ''H''<sub>''n''</sub>('''C''') be the space of complex self-adjoint ''n'' by ''n'' matrices with inner product (''a'',''b'') = Re Tr ''ab''* and Jordan product ''a'' ∘ ''b'' = {{sfrac|1|2}}(''ab'' + ''ba''). Then ''H''<sub>''n''</sub>('''C''') is a simple Euclidean Jordan algebra of rank ''n'' for ''n'' ≥ 3.
* Let ''H''<sub>''n''</sub>('''H''') be the space of self-adjoint ''n'' by ''n'' matrices with entries in the [[quaternion]]s, inner product (''a'',''b'') = Re Tr ''ab''* and Jordan product ''a'' ∘ ''b'' = {{sfrac|1|2}}(''ab'' + ''ba''). Then ''H''<sub>''n''</sub>('''H''') is a simple Euclidean Jordan algebra of rank ''n'' for ''n'' ≥ 3.
* Let ''V'' be a finite dimensional real inner product space and set ''E'' = ''V'' ⊕ '''R''' with inner product (''u''⊕λ,''v''⊕μ) =(''u'',''v'') + λμ and product (u⊕λ)∘(v⊕μ)=( μ''u'' + λ''v'') ⊕ [(''u'',''v'') + λμ]. This is a Euclidean Jordan algebra of rank 2, called a '''spin factor'''.   
*The above examples in fact give all the simple Euclidean Jordan algebras, except for one exceptional case ''H''<sub>3</sub>('''O'''), the self-adjoint matrices over the [[octonion]]s or [[Cayley number]]s, another rank 3 simple Euclidean Jordan algebra of dimension 27 (see below).   

The Jordan algebras ''H''<sub>''2''</sub>('''R'''), ''H''<sub>''2''</sub>('''C'''), ''H''<sub>''2''</sub>('''H''') and ''H''<sub>2</sub>('''O''') are isomorphic to spin factors ''V'' ⊕ '''R''' where ''V'' has dimension 2, 3, 5 and 9, respectively: that is, one more than the dimension of the relevant division algebra.

===Peirce decomposition===
{{see also|Peirce decomposition}}
Let ''E'' be a simple Euclidean Jordan algebra with inner product given by the trace form τ(''a'')= Tr ''L''(''a''). The proof that ''E'' has the above form rests on constructing an analogue of matrix units for a Jordan frame in ''E''. The following properties of idempotents hold in ''E''.

*An idempotent ''e'' is minimal in ''E'' if and only if ''E''<sub>1</sub>(''e'') has dimension one (so equals '''R'''''e''). Moreover ''E''<sub>1/2</sub>(''e'') ≠ (0).  In fact the spectral projections of any element of ''E''<sub>1</sub>(''e'') lie in ''E'' so if non-zero must equal ''e''. If the 1/2 eigenspace vanished then  ''E''<sub>1</sub>(''e'') = '''R'''''e'' would be an ideal.
*If ''e'' and ''f'' are non-orthogonal minimal idempotents, then there is a period 2 automorphism σ of ''E'' such that σ''e''=''f'', so that ''e'' and ''f'' have the same trace.
*If ''e'' and ''f'' are orthogonal minimal idempotents then ''E''<sub>1/2</sub>(''e'') ∩ ''E''<sub>1/2</sub>(''f'') ≠ (0). Moreover, there is a period 2 automorphism σ of ''E'' such that σ''e''=''f'', so that ''e'' and ''f'' have the same trace, and for any ''a'' in this intersection, ''a''<sup>2</sup> = {{sfrac|1|2}} τ(''e'') |''a''|<sup>2</sup> (''e'' + ''f'').
*All minimal idempotents in ''E'' are in the same orbit of the automorphism group so have the same trace τ<sub>0</sub>.
*If ''e'', ''f'', ''g'' are three minimal orthogonal idempotents, then for ''a'' in ''E''<sub>1/2</sub>(''e'') ∩ ''E''<sub>1/2</sub>(''f'') and ''b'' in ''E''<sub>1/2</sub>(''f'') ∩ ''E''<sub>1/2</sub>(''g''), ''L''(''a'')<sup>2</sup> ''b'' = {{sfrac|1|8}} τ<sub>0</sub> |''a''|<sup>2</sup> ''b'' and |''ab''|<sup>2</sup> =  {{sfrac|1|8}} τ<sub>0</sub> |''a''|<sup>2</sup>|''b''|<sup>2</sup>. Moreover, ''E''<sub>1/2</sub>(''e'') ∩ ''E''<sub>1/2</sub>(''f'') ∩ ''E''<sub>1/2</sub>(''g'') = (0).
*If ''e''<sub>''1''</sub>, ..., ''e''<sub>''r''</sub> and ''f''<sub>''1''</sub>, ..., ''f''<sub>''r''</sub> are Jordan frames in ''E'', then there is an automorphism α such that α''e''<sub>''i''</sub> = ''f''<sub>''i''</sub>.
*If (''e''<sub>''i''</sub>) is a Jordan frame and ''E''<sub>''ii''</sub> = ''E''<sub>1</sub>(''e''<sub>''i''</sub>) and ''E''<sub>''ij''</sub> = ''E''<sub>1/2</sub>(''e''<sub>''i''</sub>) ∩ ''E''<sub>1/2</sub>(''e''<sub>''j''</sub>), then ''E'' is the orthogonal direct sum the ''E''<sub>''ii''</sub>'s and ''E''<sub>''ij''</sub>'s. Since ''E'' is simple, the ''E''<sub>''ii''</sub>'s are one-dimensional and the subspaces ''E''<sub>''ij''</sub> are all non-zero for ''i'' ≠ ''j''.
*If ''a'' = Σ α<sub>''i''</sub> ''e''<sub>''i''</sub> for some Jordan frame (''e''<sub>''i''</sub>), then ''L''(''a'') acts as  α<sub>''i''</sub> on ''E''<sub>''ii''</sub> and (α<sub>''i''</sub> + α<sub>''i''</sub>)/2 on ''E''<sub>''ij''</sub>.

===Reduction to Euclidean Hurwitz algebras===
{{Main article|Euclidean Hurwitz algebra}}
Let ''E'' be a simple Euclidean Jordan algebra. From the properties of the Peirce decomposition it follows that:

*If ''E'' has rank 2, then it has the form ''V'' ⊕ '''R''' for some inner product space ''V'' with Jordan product as described above.
*If ''E'' has rank ''r'' > 2, then there is a non-associative unital algebra ''A'', associative if ''r'' > 3, equipped with an inner product satisfying (ab,ab)= (a,a)(b,b) and such that ''E'' = ''H''<sub>''r''</sub>(''A''). (Conjugation in ''A'' is defined by ''a''* = −a + 2(a,1)1.)

Such an algebra ''A'' is called a '''Euclidean Hurwitz algebra'''.  In ''A'' if  λ(''a'')''b'' =  ''ab'' and ρ(''a'')''b'' = ''ba'', then:

* the involution is an antiautomorphism, i.e. {{math|1=(''a b'')*=''b''* ''a''*}}
* {{math|1=''a a''* = ‖ ''a'' ‖<sup>2</sup> 1 = ''a''* ''a''}}
* {{math|1= λ(''a''*) = λ(''a'')*}}, {{math|1=ρ(''a''*) = ρ(''a'')*}}, so that the involution on the algebra corresponds to taking [[adjoint operator|adjoints]]
* {{math|1=Re(''a b'') = Re(''b a'')}} if {{math|1=Re ''x'' = (''x'' + ''x''*)/2 = (''x'', 1)1}}
* {{math|1=Re(''a b'') ''c'' = Re ''a''(''b c'')}}
* {{math|1=λ(''a''<sup>2</sup>) = λ(''a'')<sup>2</sup>}}, {{math|1= ρ(''a''<sup>2</sup>) = ρ(''a'')<sup>2</sup>}}, so that {{mvar|A}} is an [[alternative algebra]].

By [[Hurwitz's theorem (normed division algebras)|Hurwitz's theorem]] ''A'' must be isomorphic to '''R''', '''C''', '''H''' or '''O'''. The first three are associative division algebras. The octonions do not form an associative algebra, so ''H''<sub>''r''</sub>('''O''') can only give a Jordan algebra for ''r'' = 3. Because ''A'' is associative when ''A'' = '''R''', '''C''' or '''H''', it is immediate that ''H''<sub>''r''</sub>(''A'') is a Jordan algebra for ''r'' ≥ 3. A separate argument, given originally by {{harvtxt|Albert|1934}}, is required to show that ''H''<sub>3</sub>('''O''') with Jordan product ''a''∘''b'' = {{sfrac|1|2}}(''ab'' + ''ba'') satisfies the Jordan identity [''L''(''a''),''L''(''a''<sup>2</sup>)] = 0. There is a later more direct proof using the [[Freudenthal diagonalization theorem]] due to {{harvtxt|Freudenthal|1951}}: he proved that given any matrix in the algebra ''H''<sub>''r''</sub>('''A''') there is an algebra automorphism carrying the matrix onto a diagonal matrix with real entries; it is then straightforward to check that [''L''(''a''),''L''(''b'')] = 0 for real diagonal matrices.<ref>See:
*{{harvnb|Freudenthal|1985}}
*{{harvnb|Postnikov|1986}}
*{{harvnb|Faraut|Koranyi|1994}}
*{{harvnb|Springer|Veldkamp|2000}}</ref>

===Exceptional and special Euclidean Jordan algebras===
The '''exceptional''' Euclidean Jordan algebra ''E''= ''H''<sub>3</sub>('''O''') is called the [[Albert algebra]]. The Cohn–Shirshov theorem implies that it cannot be generated by two elements (and the identity). This can be seen directly. For by Freudenthal's diagonalization theorem one element ''X'' can be taken to be a diagonal matrix with real entries and the other  ''Y'' to be orthogonal to the Jordan subalgebra generated by ''X''. If all the diagonal entries of ''X'' are distinct, the Jordan subalgebra generated by ''X'' and ''Y'' is generated by the diagonal matrices and three elements

:<math>\displaystyle{Y_1=\begin{pmatrix} 0 & 0 & 0\\ 0 & 0 & y_1\\0 & y_1^* & 0\end{pmatrix},\,\,\,
Y_2=\begin{pmatrix} 0 & 0 & y_2^*\\ 0 & 0 & 0\\y_2 & 0 & 0\end{pmatrix},\,\,\,
Y_3=\begin{pmatrix} 0 & y_3 & 0\\ y_3^* & 0 & 0\\0 & 0 & 0\end{pmatrix}.}</math>

It is straightforward to verify that the real linear span of the diagonal matrices, these matrices and similar matrices with real entries form a unital Jordan subalgebra. If the diagonal entries of ''X'' are not distinct, ''X'' can be taken to be the primitive idempotent ''e''<sub>1</sub> with diagonal entries 1, 0 and 0. The analysis in {{harvtxt|Springer|Veldkamp|2000}} then shows that the unital Jordan subalgebra generated by ''X'' and ''Y'' is proper. Indeed, if 1 − ''e''<sub>1</sub> is the sum of two primitive idempotents in the subalgebra, then, after applying an automorphism of ''E'' if necessary, the subalgebra will be generated by the diagonal matrices and a matrix orthogonal to the diagonal matrices. By the previous argument it will be proper. If 1 - ''e''<sub>1</sub> is a primitive idempotent, the subalgebra must be proper, by the properties of the rank in ''E''.

A Euclidean algebra is said to be ''special'' if its central decomposition contains no copies of the Albert algebra. Since the Albert algebra cannot be generated by two elements, it follows that a Euclidean Jordan algebra generated by two elements is special. This is the '''[[Shirshov–Cohn theorem]]''' for Euclidean Jordan algebras.<ref>See:
*{{harvnb|Freudenthal|1985}}
*{{harvnb|Jacobson|1968}}
*{{harvnb|Zhevlakov|Slinko|Shestakov|Shirshov|1982}}
*{{harvnb|Hanche-Olsen|Størmer|1984}}
*{{harvnb|Springer|Veldkamp|2000|pp=117–141}}</ref>

The classification shows that each non-exceptional simple Euclidean Jordan algebra is a subalgebra of some ''H''<sub>''n''</sub>('''R'''). The same is therefore true of any special algebra.

On the other hand, as {{harvtxt|Albert|1934}} showed, the Albert algebra ''H''<sub>3</sub>('''O''') cannot be realized as a subalgebra of ''H''<sub>''n''</sub>('''R''') for any ''n''.<ref>See:
*{{harvnb|Hanche-Olsen|Størmer|1984|pp=58–59}}
*{{harvnb|Faraut|Koranyi|1994|pp=74–75}}
*{{harvnb|Jacobson|1968}}
*{{harvnb|Clerc|1992|pp=49–52}}
</ref>

Indeed, let π is a real-linear map of ''E'' = ''H''<sub>3</sub>('''O''') into the self-adjoint operators on ''V'' = '''R'''<sup>''n''</sup> with π(''ab'') = {{sfrac|1|2}}(π(''a'')π(''b'') + π(''b'')π(''a'')) and π(1) = ''I''. If ''e''<sub>1</sub>, ''e''<sub>2</sub>, ''e''<sub>3</sub> are the diagonal minimal idempotents then ''P''<sub>''i''</sub> = π(''e''<sub>''i''</sub> are mutually orthogonal projections on ''V'' onto orthogonal subspaces ''V''<sub>''i''</sub>. If ''i'' ≠ ''j'', the elements ''e''<sub>''ij''</sub> of ''E'' with 1 in the (''i'',''j'') and (''j'',''i'') entries and 0 elsewhere satisfy ''e''<sub>''ij''</sub><sup>2</sup> = ''e''<sub>''i''</sub> + ''e''<sub>''j''</sub>. Moreover, ''e''<sub>''ij''</sub>''e''<sub>''jk''</sub> = {{sfrac|1|2}} ''e''<sub>''ik''</sub> if ''i'', ''j'' and ''k'' are distinct. The operators ''T''<sub>''ij''</sub> are zero on ''V''<sub>''k''</sub> (''k'' ≠ ''i'', ''j'') and restrict to involutions on ''V''<sub>''i''</sub> ⊕ ''V''<sub>''j''</sub> interchanging ''V''<sub>''i''</sub> and ''V''<sub>''j''</sub>. Letting ''P''<sub>''ij''</sub> = ''P''<sub>''i''</sub> ''T''<sub>''ij''</sub> ''P''<sub>''j''</sub> and setting ''P''<sub>''ii''</sub> = ''P''<sub>''i''</sub>, the (''P''<sub>''ij''</sub>) form a system of [[matrix unit]]s on ''V'', i.e. ''P''<sub>''ij''</sub>* = ''P''<sub>''ji''</sub>, Σ ''P''<sub>''ii''</sub> = ''I'' and ''P''<sub>''ij''</sub>''P''<sub>''km''</sub> = δ<sub>''jk''</sub> ''P''<sub>''im''</sub>. Let ''E''<sub>''i''</sub> and ''E''<sub>''ij''</sub> be the subspaces of the Peirce decomposition of ''E''. For ''x'' in '''O''', set π<sub>''ij''</sub> =  ''P''<sub>''ij''</sub> π(x''e''<sub>''ij''</sub>), regarded as an operator on ''V''<sub>''i''</sub>. This does not depend on ''j'' and for ''x'', ''y'' in '''O'''

:<math>\displaystyle{\pi_{ij}(xy) =\pi_{ij}(x)\pi_{ij}(y),\,\,\, \pi_{ij}(1)= I.}</math>

Since every ''x'' in '''O''' has a right inverse ''y'' with ''xy'' = 1, the map π<sub>''ij''</sub> is injective. On the other hand, it is an algebra homomorphism from the nonassociative algebra '''O''' into the associative algebra End ''V''<sub>''i''</sub>, a contradiction.<ref>{{harvnb|Clerc|1992|pp=49–52}}</ref>

==Positive cone in a Euclidean Jordan algebra==
[[File:Max Koecher 2.jpeg|thumb|150px|[[Max Koecher]] pioneered the use of Jordan algebras in studying symmetric spaces]]

===Definition===
When (''e''<sub>''i''</sub>) is a partition of 1 in a Euclidean Jordan algebra ''E'', the self-adjoint operators L(''e''<sub>''i''</sub>) commute and there is a decomposition into simultaneous eigenspaces. If ''a'' = Σ λ<sub>''i''</sub> ''e''<sub>''i''</sub> the eigenvalues of ''L''(''a'') have the form Σ ε<sub>''i''</sub> λ<sub>''i''</sub> is 0, 1/2 or 1. The ''e''<sub>''i''</sub> themselves give the eigenvalues λ<sub>''i''</sub>. In particular an element ''a'' has non-negative spectrum if and only if ''L''(''a'') has non-negative spectrum. Moreover, ''a'' has positive spectrum if and only if ''L''(''a'') has positive spectrum. For if ''a'' has positive spectrum, ''a'' - ε1 has non-negative spectrum for some ε > 0.

The '''positive cone''' ''C'' in ''E'' is defined to be the set of elements ''a'' such that ''a'' has positive spectrum. This condition is equivalent to the operator ''L''(''a'') being a [[positive operator|positive]] self-adjoint operator on ''E''.

* ''C'' is a convex cone in ''E'' because positivity of a self-adjoint operator ''T''— the property that its eigenvalues be strictly positive—is equivalent to (''Tv'',''v'') > 0 for all ''v'' ≠ 0.
* ''C'' is an open because the positive matrices are open in the self-adjoint matrices and ''L'' is a continuous map: in fact, if the lowest eigenvalue of ''T'' is ε > 0, then ''T'' + ''S'' is positive whenever ||''S''|| < ε.
* The closure of ''C'' consists of all ''a'' such that ''L''(''a'') is non-negative or equivalently ''a'' has non-negative spectrum. From the elementary properties of convex cones, ''C'' is the interior of its closure and is a proper cone. The elements in the closure of ''C'' are precisely the square of elements in ''E''.
* ''C'' is self-dual. In fact the elements of the closure of ''C'' are just set of all squares ''x''<sup>2</sup> in ''E'', the dual cone is given by all ''a'' such that (''a'',''x''<sup>2</sup>) > 0. On the other hand, (''a'',''x''<sup>2</sup>) = (''L''(''a'')''x'',''x''), so this is equivalent to the positivity of ''L''(''a'').<ref>{{harvnb|Faraut|Koranyi|1994|pp=46–49}}</ref>

===Quadratic representation===
To show that the positive cone ''C'' is homogeneous, i.e. has a transitive group of automorphisms, a generalization of the quadratic action of self-adjoint matrices on themselves given by ''X'' ↦ ''YXY'' has to be defined. If ''Y'' is invertible and self-adjoint, this map is invertible and carries positive operators onto positive operators.

For ''a'' in ''E'', define an endomorphism of ''E'', called the '''[[quadratic representation]]''', by<ref>{{harvnb|Faraut|Koranyi|1994|pp=32–35}}</ref>

:<math>\displaystyle{Q(a) = 2L(a)^2 - L\left(a^2\right).}</math>

Note that for self-adjoint matrices ''L''(''X'')''Y'' = {{sfrac|1|2}}(''XY'' + ''YX''), so that ''Q''(''X'')''Y'' = ''XYX''.

An element ''a'' in ''E'' is called ''invertible'' if it is invertible in '''R'''[''a'']. If ''b'' denotes the inverse, then the spectral decomposition of ''a'' shows that ''L''(''a'') and ''L''(''b'') commute.

In fact ''a'' is invertible if and only if ''Q''(''a'') is invertible. In that case

{{defn|{{quote box|align=left|<math>\displaystyle{Q(a)^{-1}a = a^{-1},\,\,\, Q\left(a^{-1}\right) = Q(a)^{-1}.}</math>}}}}
{{Clear}}

Indeed, if ''Q''(''a'') is invertible it carries '''R'''[''a''] onto itself. On the other hand, ''Q''(''a'')1 = ''a''<sup>2</sup>, so

:<math>\displaystyle{\left(Q(a)^{-1} a\right)a = a Q(a)^{-1} a = L(a)Q(a)^{-1}a = Q(a)^{-1}a^2 =1.}</math>

Taking ''b'' = ''a''<sup>−1</sup> in the polarized Jordan identity, yields

:<math>\displaystyle{Q(a)L\left(a^{-1}\right) = L(a).}</math>

Replacing ''a'' by its inverse, the relation follows if ''L''(''a'') and ''L''(''a''<sup>−1</sup>) are invertible. If not it holds for ''a'' + ε1 with ε arbitrarily small and hence also in the limit.

{{defn|{{quote box|align=left|
* If ''a'' and ''b'' are invertible then so is ''Q''(''a'')''b'' and it satisfies the inverse identity:
*:<math>\displaystyle{(Q(a)b)^{-1} = Q\left(a^{-1}\right)b^{-1}.}</math>
* The quadratic representation satisfies the following fundamental identity:
*: <math>\displaystyle{Q(Q(a)b) = Q(a)Q(b)Q(a).}</math>
* In particular, taking ''b'' to be non-negative powers of ''a'', it follows by induction that
*: <math>\displaystyle{Q\left(a^m\right) = Q(a)^m.}</math>
}}}}
{{Clear}}

These identities are easy to prove in a finite-dimensional (Euclidean) Jordan algebra (see below) or in a [[special Jordan algebra]], i.e. the Jordan algebra defined by a unital associative algebra.<ref>
See:
*{{harvnb|Koecher|1999|pp=72–76}}
*{{harvnb|Faraut|Koranyi|1994|pp=32–34}}</ref> They are valid in any Jordan algebra. This was conjectured by [[Nathan Jacobson|Jacobson]] and proved in {{harvtxt|Macdonald|1960}}: [[Ian G. Macdonald|Macdonald]] showed that if a polynomial identity in three variables, linear in the third, is valid in any special Jordan algebra, then it holds in all Jordan algebras.<ref>See:
*{{harvnb|Jacobson|1968|pp=40–47,52}}
*{{harvnb|Hanche-Olsen|Størmer|1984|pp=36–44}}
</ref>

In fact for ''c'' in ''A'' and ''F''(''a'') a function on ''A'' with values in End ''A'', let
''D''<sub>''c''</sub>''F''(''a'') be the derivative at ''t'' = 0 of ''F''(''a'' + ''tc''). Then

:<math>\displaystyle{c = D_c\left(Q(a)a^{-1}\right) = 2\left[(L(a)L(c) + L(c)L(a) - L(ac))a^{-1}\right] + Q(a)D_c\left(a^{-1}\right) = 2c + Q(a)D_c\left(a^{-1}\right).}</math>

The expression in square brackets simplifies to ''c'' because ''L''(''a'') commutes with ''L''(''a''<sup>−1</sup>).

Thus

{{defn|{{quote box|align=left|<math>\displaystyle{D_c\left(a^{-1}\right) = -Q(a)^{-1}c.}</math>}}}}
{{Clear}}

Applying ''D''<sub>''c''</sub> to ''L''(''a''<sup>−1</sup>)''Q''(''a'') = ''L''(''a'') and acting on ''b'' = ''c''<sup>−1</sup> yields

:<math>\displaystyle{(Q(a)b)\left(Q\left(a^{-1}\right)b^{-1}\right) = 1.}</math>

On the other hand, ''L''(''Q''(''a'')''b'') is invertible on an open dense set where ''Q''(''a'')''b'' must also be invertible with

:<math>\displaystyle{(Q(a)b)^{-1} = Q\left(a^{-1}\right)b^{-1}.}</math>

Taking the derivative ''D''<sub>''c''</sub> in the variable ''b'' in the expression above gives

:<math>\displaystyle{-Q(Q(a)b)^{-1}Q(a)c = -Q(a)^{-1}Q(b)^{-1}c.}</math>

This yields the fundamental identity for a dense set of invertible elements, so it follows in general by continuity. The fundamental identity implies that ''c'' = ''Q''(''a'')''b'' is invertible if ''a'' and ''b'' are invertible and gives a formula for the inverse of ''Q''(''c''). Applying it to ''c'' gives the inverse identity in full generality.

Finally it can be verified immediately from the definitions that, if ''u'' = 1 − 2''e'' for some idempotent ''e'', then ''Q''(''u'') is the period 2 automorphism constructed above for the centralizer algebra and module of ''e''.

===Homogeneity of positive cone===
{{defn|{{quote box|align=left|'''If''' '''''a''''' '''is an invertible operator and''' '''''b''''' '''is in the positive cone''' '''''C''''', '''then so is''' '''''Q'''''('''''a''''')'''''b'''''.}}}}
{{Clear}}

The proof of this relies on elementary continuity properties of eigenvalues of self-adjoint operators.<ref>See:
* {{harvnb|Koecher|1999|p=111}}
* {{harvnb|Hanche-Olsen|Størmer|1984|p=83}}
* {{harvnb|Faraut|Koranyi|1994|p=48}}
</ref>

Let ''T''(''t'') (α ≤ ''t'' ≤ β) be a continuous family of self-adjoint operators on ''E'' with ''T''(α) positive and ''T''(β) having a negative eigenvalue. Set ''S''(''t'')= –''T''(''t'') + ''M'' with ''M'' > 0 chosen so large that ''S''(''t'') is positive for all ''t''. The operator norm ||''S''(''t'')|| is continuous. It is less than ''M'' for ''t'' = α and greater than ''M'' for ''t'' = β. So for some α < ''s'' < β, ||''S''(''s'')|| = M and there is a vector ''v'' ≠ 0 such that ''S''(''s'')''v'' = ''Mv''. In particular ''T''(''s'')''v'' = 0, so that ''T''(''s'') is not invertible.

Suppose that ''x'' = ''Q''(''a'')''b'' does not lie in ''C''. Let ''b''(''t'') = (1 − ''t'') + ''tb'' with 0 ≤ ''t'' ≤ 1. By convexity ''b''(''t'') lies in ''C''. Let ''x''(''t'') = ''Q''(''a'')''b''(''t'') and ''X''(''t'') = ''L''(''x''(''t'')). If ''X''(''t'') is invertible for all ''t'' with 0 ≤ ''t'' ≤ 1, the eigenvalue argument gives a contradiction since it is positive at ''t'' = 0 and has negative eigenvalues at ''t'' = 1. So ''X''(''s'') has a zero eigenvalue for some ''s'' with 0 < ''s'' ≤ 1: ''X''(''s'')''w'' = 0 with ''w'' ≠ 0. By the properties of the quadratic representation, ''x''(''t'') is invertible for all ''t''. Let ''Y''(''t'') = ''L''(''x''(''t'')<sup>2</sup>). This is a positive operator since ''x''(''t'')<sup>2</sup> lies in ''C''. Let ''T''(''t'') = ''Q''(''x''(''t'')), an invertible self-adjoint operator by the invertibility of ''x''(''t'').  On the other hand, ''T''(''t'') = 2''X''(''t'')<sup>2</sup> - ''Y''(''t''). So (''T''(''s'')''w'',''w'') < 0 since ''Y''(''s'') is positive and ''X''(''s'')''w'' = 0. In particular ''T''(''s'') has some negative eigenvalues. On the other hand, the operator ''T''(0) = ''Q''(''a''<sup>2</sup>) = ''Q''(''a'')<sup>2</sup> is positive. By the eigenvalue argument, ''T''(''t'') has eigenvalue 0 for some ''t'' with 0 < ''t'' < ''s'', a contradiction.

It follows that the linear operators ''Q''(''a'') with ''a'' invertible, and their inverses, take the cone ''C'' onto itself. Indeed, the inverse of ''Q''(''a'') is just ''Q''(''a''<sup>−1</sup>). Since ''Q''(''a'')1 = ''a''<sup>2</sup>, there is thus a transitive group of symmetries:
{{defn|{{quote box|align=left|'''''C''''' '''is a symmetric cone.'''}}}}
{{Clear}}

==Euclidean Jordan algebra of a symmetric cone==

===Construction===
Let ''C'' be a symmetric cone in the Euclidean space ''E''. As above, Aut ''C'' denotes the closed subgroup of GL(''E'') taking ''C'' (or equivalently its closure) onto itself. Let ''G'' = Aut<sub>0</sub> ''C'' be its identity component. ''K'' = ''G'' ∩ O(''E''). It is a maximal compact subgroup of ''G'' and the stabilizer of a point ''e'' in ''C''. It is connected. The group ''G'' is invariant under taking adjoints. Let σ''g'' =(''g''*)<sup>−1</sup>,  period 2 automorphism. Thus ''K'' is the fixed point subgroup of σ. Let <math>\mathfrak{g}</math> be the Lie algebra of ''G''. Thus σ induces an involution of <math>\mathfrak{g}</math> and hence a ±1 eigenspace decomposition

:<math>\displaystyle{\mathfrak{g}=\mathfrak{k} \oplus \mathfrak{p},}</math>

where <math>\mathfrak{k}</math>, the +1 eigenspace, is the Lie algebra of ''K'' and <math>\mathfrak{p}</math> is the −1 eigenspace. Thus <math>\mathfrak{p}</math>⋅''e'' is an affine subspace of dimension dim <math>\mathfrak{p}</math>. Since ''C'' = ''G''/''K'' is an open subspace of ''E'', it follows that dim ''E'' = dim <math>\mathfrak{p}</math> and hence <math>\mathfrak{p}</math>⋅''e'' = ''E''. For ''a'' in ''E'' let ''L''(''a'') be the unique element of  <math>\mathfrak{p}</math> such that ''L''(''a'')''e'' = ''a''. Define
''a'' ∘ ''b'' = ''L''(''a'')''b''. Then ''E'' with its Euclidean structure and this bilinear product is a Euclidean Jordan algebra with identity 1 = ''e''. The convex cone coincides ''C'' with the positive cone of ''E''.<ref>{{harvnb|Faraut|Koranyi|1994|pp=49–50}}</ref>

Since the elements of  <math>\mathfrak{p}</math> are self-adjoint, ''L''(''a'')*  = ''L''(''a''). The product is commutative since
[<math>\mathfrak{p}</math>, <math>\mathfrak{p}</math>] ⊆ <math>\mathfrak{k}</math> annihilates ''e'', so that ''ab'' = ''L''(''a'')''L''(''b'')''e'' = ''L''(''b'')''L''(''a'')''e'' = ''ba''. It remains to check the Jordan identity [''L''(''a''),''L''(''a''<sup>2</sup>)] = 0.

The [[associator]] is given by [''a'',''b'',''c''] = [''L''(''a''),''L''(''c'')]''b''. Since [''L''(''a''),''L''(''c'')] lies in
<math>\mathfrak{k}</math> it follows that [[''L''(''a''),''L''(''c'')],''L''(''b'')] = ''L''([''a'',''b'',''c'']). Making both sides act on ''c'' yields

:<math>\displaystyle{[a,b^2,c] = 2[a,b,c]b.}</math>

On the other hand,

:<math>\displaystyle{([b^2,a,b],c)=(b^2(ba)-b(b^2a),c) =-(b^2,[a,b,c])}</math>

and likewise

:<math>\displaystyle{([b^2,a,b],c)=(b,[a,b^2,c]).}</math>

Combining these expressions gives

:<math>\displaystyle{([b^2,a,b],c) =0,}</math>

which implies the Jordan identity.

Finally the positive cone of ''E'' coincides with ''C''. This depends on the fact that in any Euclidean Jordan algebra ''E''

:<math>\displaystyle{Q(e^a)=e^{2L(a)}.}</math>

In fact ''Q''(''e''<sup>''a''</sup>) is a positive operator,
''Q''(''e''<sup>''ta''</sup>) is a one-parameter group of positive operators: this follows by continuity for rational ''t'', where it is a consequence of the behaviour of powers So it has the form exp ''tX'' for some self-adjoint operator ''X''. Taking the derivative at 0 gives ''X'' = 2''L''(''a'').

Hence the positive cone is given by all elements

:<math>\displaystyle{e^{2a} =Q(e^{a})1= e^{2L(a)}1 = e^X\cdot 1,}</math>

with ''X'' in <math>\mathfrak{p}</math>. Thus the positive cone of ''E'' lies inside ''C''. Since both are self-dual,
they must coincide.

===Automorphism groups and trace form===
Let ''C'' be the positive cone in a simple Euclidean Jordan algebra ''E''. Aut ''C'' is the closed subgroup of GL(''E'') taking ''C'' (or its closure) onto itself. Let ''G'' = Aut<sub>0</sub> ''C'' be the identity component of Aut ''C'' and let ''K'' be the closed subgroup of ''G'' fixing 1. From the group theoretic properties of cones, ''K'' is a connected compact subgroup of ''G'' and equals the identity component of the compact Lie group Aut ''E''. Let <math>\mathfrak{g}</math> and <math>\mathfrak{k}</math> be the Lie algebras of ''G'' and ''K''. ''G'' is closed under taking adjoints and ''K'' is the fixed point subgroup of the period 2 automorphism σ(''g'') = (''g''*)<sup>−1</sup>. Thus ''K'' = ''G'' ∩ SO(''E'').  Let <math>\mathfrak{p}</math> be the −1 eigenspace of σ.

*<math>\mathfrak{k}</math> consists of derivations of ''E'' that are skew-adjoint for the inner product defined by the trace form.
*[[''L''(''a''),''L''(''c'')],''L''(''b'')] = ''L''([''a'',''b'',''c'']).
*If ''a'' and ''b'' are in ''E'', then ''D'' = [''L''(''a''),''L''(''b'')] is a derivation of ''E'', so lies in <math>\mathfrak{k}</math>. These derivations span  <math>\mathfrak{k}</math>.
* If ''a'' is in ''C'', then ''Q''(''a'') lies in ''G''.
*''C'' is the connected component of the open set of invertible elements of ''E'' containing 1. It consists of exponentials of elements of ''E'' and the exponential map gives a diffeomorphism of ''E'' onto ''C''.
* The map ''a'' ↦ ''L''(''a'') gives an isomorphism of ''E'' onto <math>\mathfrak{p}</math> and ''e''<sup>''L''(''a'')</sup> = ''Q''(''e''<sup>''a''/2</sup>). This space of such exponentials coincides with ''P'' the positive self-adjoint elements in ''G''.
* For ''g'' in ''G'' and ''a'' in ''E'', ''Q''(''g''(''a'')) = ''g'' ''Q''(''a'') ''g''*.

===Cartan decomposition===
* ''G'' = ''P'' ⋅ ''K'' = ''K'' ⋅ ''P'' and the decomposition ''g'' = ''pk'' corresponds to the [[polar decomposition]] in GL(''E'').
* If (''e''<sub>''i''</sub>) is a Jordan frame in ''E'', then the subspace <math>\mathfrak{a}</math> of <math>\mathfrak{p}</math> spanned by ''L''(''e''<sub>''i''</sub>) is maximal Abelian in <math>\mathfrak{p}</math>. ''A'' = exp <math>\mathfrak{a}</math> is the Abelian subgroup of operators ''Q''(''a'') where ''a'' = Σ λ<sub>''i''</sub> ''e''<sub>''i''</sub> with λ<sub>''i''</sub> > 0. ''A'' is closed in ''P'' and hence ''G''. If ''b'' =Σ μ<sub>''i''</sub> ''e''<sub>''i''</sub> with μ<sub>''i''</sub> > 0, then ''Q''(''ab'')=''Q''(''a'')''Q''(''b'').
* <math>\mathfrak{p}</math> and ''P'' are the union of the ''K'' translates of <math>\mathfrak{a}</math> and ''A''.

===Iwasawa decomposition for cone===
If ''E'' has Peirce decomposition relative to the Jordan frame (''e''<sub>''i''</sub>)

:<math>\displaystyle{E=\bigoplus_{i\le j} E_{ij},}</math>

then  <math>\mathfrak{a}</math> is diagonalized by this decomposition with ''L''(''a'') acting as (α<sub>''i''</sub> + α<sub>''j''</sub>)/2 on ''E''<sub>''ij''</sub>, where ''a'' = Σ α<sub>''i''</sub> ''e''<sub>''i''</sub>.

Define the closed subgroup ''S'' of ''G'' by

:<math>\displaystyle{S=\{g\in G|gE_{ij}\subseteq \bigoplus_{(p,q)\ge (i,j)} E_{pq}\},}</math>

where the ordering on pairs ''p'' ≤  ''q'' is [[lexicographic order|lexicographic]]. ''S'' contains the group ''A'', since it acts as scalars on ''E''<sub>''ij''</sub>. If ''N'' is the closed subgroup of ''S'' such that ''nx'' = ''x'' modulo ⊕<sub>(''p'',''q'') > (''i'',''j'')</sub> ''E''<sub>''pq''</sub>, then ''S'' = ''AN'' = ''NA'', a [[semidirect product]] with ''A'' normalizing ''N''. Moreover, ''G'' has the following [[Iwasawa decomposition]]:

:<math>\displaystyle{G=KAN.}</math>

For ''i'' ≠ ''j'' let

:<math>\displaystyle{\mathfrak{g}_{ij} =\{X\in \mathfrak{g}:[L(a),X]={1\over 2}(\alpha_i-\alpha_j)X, \,\,\,\mathrm{for}\,\,\, a=\sum \alpha_i e_i\}.}</math>

Then the Lie algebra of ''N'' is

:<math>\displaystyle{\mathfrak{n}=\bigoplus_{i<j}  \mathfrak{g}_{ij},\,\,\,\, \mathfrak{g}_{ij} = \{L(a) +2[L(a),L(e_i)]:a\in E_{ij}\}.}</math>

Taking ordered orthonormal bases of the ''E''<sub>''ij''</sub> gives a basis of ''E'', using the lexicographic order on pairs (''i'',''j''). The group ''N'' is lower unitriangular and its Lie algebra lower triangular. In particular the exponential map is a polynomial mapping of <math>\mathfrak{n}</math> onto ''N'', with polynomial inverse given by the logarithm.

==Complexification of a Euclidean Jordan algebra==

===Definition of complexification===
Let ''E'' be a Euclidean Jordan algebra. The complexification ''E''<sub>'''C'''</sub> = ''E'' ⊕ ''iE'' has a natural conjugation operation (''a'' + ''ib'')* = ''a'' − ''ib'' and a natural complex inner product and norm. The Jordan product on ''E'' extends bilinearly to ''E''<sub>'''C'''</sub>, so that (''a'' + ''ib'')(''c'' + ''id'') = (''ac'' − ''bd'') + ''i''(''ad'' + ''bc''). If multiplication is defined by ''L''(''a'')''b'' = ''ab'' then the Jordan axiom

:<math>\displaystyle{[L(a),L(a^2)]=0}</math>

still holds by analytic continuation. Indeed, the identity above holds when ''a'' is replaced by ''a'' + ''tb'' for ''t'' real; and since the left side is then a polynomial with values in End ''E''<sub>'''C'''</sub> vanishing for real ''t'', it vanishes also ''t'' complex. Analytic continuation also shows that all for the formulas involving power-associativity for a single element ''a'' in ''E'', including recursion formulas for ''L''(''a''<sup>''m''</sup>), also hold in ''E''<sub>'''C'''</sub>. Since for ''b'' in ''E'', ''L''(''b'') is still self-adjoint on ''E''<sub>'''C'''</sub>, the adjoint relation ''L''(''a''*) = ''L''(''a'')* holds for ''a'' in ''E''<sub>'''C'''</sub>. Similarly the symmetric bilinear form β(''a'',''b'') = (''a'',''b''*) satisfies β(''ab'',''c'') = β(''b'',''ac''). If the inner product comes from the trace form, then  β(''a'',''b'') = Tr ''L''(''ab'').

For ''a'' in ''E''<sub>'''C'''</sub>, the quadratic representation is defined as before by  ''Q''(''a'')=2''L''(''a'')<sup>2</sup> − ''L''(''a''<sup>2</sup>). By analytic continuation the fundamental identity still holds:

:<math>\displaystyle{Q(Q(a)b)=Q(a)Q(b)Q(a),\,\,\,Q(a^m)=Q(a)^m \,\,(m\ge 0).}</math>

An element ''a'' in ''E'' is called ''invertible'' if it is invertible in '''C'''[''a'']. Power associativity shows that ''L''(''a'') and ''L''(''a''<sup>−1</sup>) commute. Moreover, ''a''<sup>−1</sup> is invertible with inverse ''a''.

As in ''E'', ''a'' is invertible if and only if ''Q''(''a'') is invertible. In that case

:<math>\displaystyle{Q(a)^{-1}a=a^{-1},\,\,\, Q(a^{-1})=Q(a)^{-1}.}</math>

Indeed, as for ''E'', if ''Q''(''a'') is invertible it carries '''C'''[''a''] onto itself, while ''Q''(''a'')1 = ''a''<sup>2</sup>, so

:<math>\displaystyle{(Q(a)^{-1} a)a=a Q(a)^{-1} a=L(a)Q(a)^{-1}a=Q(a)^{-1}a^2 =1,}</math>

so ''a'' is invertible. Conversely if ''a'' is invertible, taking ''b'' = ''a''<sup>−2</sup> in the fundamental identity shows that ''Q''(''a'') is invertible. Replacing ''a'' by ''a''<sup>−1</sup> and ''b'' by ''a'' then shows that its inverse is ''Q''(''a''<sup>−1</sup>). Finally if ''a'' and ''b'' are invertible then so is  ''c'' = ''Q''(''a'')''b'' and it satisfies the inverse identity:

:<math>\displaystyle{(Q(a)b)^{-1}=Q(a^{-1})b^{-1}.}</math>

Invertibility of ''c'' follows from the fundamental formula which gives ''Q''(''c'') = ''Q''(''a'')''Q''(''b'')''Q''(''a''). Hence

:<math>\displaystyle{c^{-1}=Q(c)^{-1}c=Q(a)^{-1}Q(b)^{-1} b= Q(a)^{-1}b^{-1}.}</math>

The formula

:<math>\displaystyle{Q(e^a) = e^{2L(a)}}</math>

also follows by analytic continuation.

===Complexification of automorphism group===
Aut ''E''<sub>'''C'''</sub> is the [[complexification (Lie group)|complexification]] of the compact Lie group Aut ''E'' in GL(''E''<sub>'''C'''</sub>). This follows because the Lie algebras of Aut ''E''<sub>'''C'''</sub> and Aut ''E'' consist of derivations of the complex and real Jordan algebras ''E''<sub>'''C'''</sub> and ''E''. Under the isomorphism identifying End ''E''<sub>'''C'''</sub> with the complexification of End ''E'', the complex derivations is identified with the complexification of the real derivations.<ref>{{harvnb|Faraut|Koranyi|1994|pp=145–146}}</ref>

===Structure groups===
The Jordan operator ''L''(''a'') are symmetric with respect to the trace form, so that ''L''(''a'')<sup>''t''</sup> = ''L''(''a'') for ''a'' in ''E''<sub>'''C'''</sub>. The automorphism groups of ''E'' and ''E''<sub>'''C'''</sub>  consist of invertible real and complex linear operators  ''g'' such that ''L''(''ga'') = ''gL''(''a'')''g''<sup>−1</sup> and ''g1'' = 1. Aut ''E''<sub>'''C'''</sub> is the complexification of Aut ''E''. Since an automorphism ''g'' preserves the trace form, ''g''<sup>−1</sup> = ''g''<sup>''t''</sup>.

The '''structure groups''' of ''E'' and ''E''<sub>'''C'''</sub> consist of invertible real and complex linear operators  ''g'' such that

:<math>\displaystyle{Q(ga)=gQ(a)g^t.}</math>

They form groups  Γ(''E'') and Γ(''E''<sub>'''C'''</sub>) with Γ(''E'') ⊂ Γ(''E''<sub>'''C'''</sub>).

*The structure group is closed under taking transposes ''g'' ↦ ''g''<sup>''t''</sup> and adjoints  ''g'' ↦ ''g''*.
*The structure group contains the automorphism group. The automorphism group can be identified with the stabilizer of 1 in the structure group.
*If ''a'' is invertible, ''Q''(''a'') lies in the structure group.
*If ''g'' is in the structure group and ''a'' is invertible, ''ga'' is also invertible with (''ga'')<sup>−1</sup> = (''g''<sup>''t''</sup>)<sup>−1</sup>''a''<sup>−1</sup>.
* If ''E'' is simple, Γ(''E'') = Aut ''C'' × {±1},  Γ(''E'') ∩ O(''E'') = Aut ''E'' × {±1} and the identity component of Γ(''E'') acts transitively on ''C''.
* Γ(''E''<sub>'''C'''</sub>) is the complexification of  Γ(''E''), which has Lie algebra <math>\mathfrak{k}\oplus  \mathfrak{p}</math>.
* The structure group Γ(''E''<sub>'''C'''</sub>)  acts transitively on the set of invertible elements in ''E''<sub>'''C'''</sub>.
* Every ''g'' in Γ(''E''<sub>'''C'''</sub>) has the form ''g'' = ''h'' ''Q''(''a'') with ''h'' an automorphism and ''a'' invertible.

The '''unitary structure group''' Γ<sub>''u''</sub>(''E''<sub>'''C'''</sub>) is the subgroup of Γ(''E''<sub>'''C'''</sub>) consisting of unitary operators, so that Γ<sub>''u''</sub>(''E''<sub>'''C'''</sub>) = Γ(''E''<sub>'''C'''</sub>) ∩ U(''E''<sub>'''C'''</sub>).

* The stabilizer of 1 in Γ<sub>''u''</sub>(''E''<sub>'''C'''</sub>) is Aut ''E''.
* Every ''g'' in  Γ<sub>''u''</sub>(''E''<sub>'''C'''</sub>) has the form ''g'' = ''h'' ''Q''(''u'') with ''h'' in Aut ''E'' and ''u'' invertible in ''E''<sub>'''C'''</sub> with ''u''* = ''u''<sup>−1</sup>.
* Γ(''E''<sub>'''C'''</sub>) is the complexification of Γ<sub>''u''</sub>(''E''<sub>'''C'''</sub>), which has Lie algebra <math>\mathfrak{k}\oplus i \mathfrak{p}</math>.
* The set ''S'' of invertible elements ''u'' such that  ''u''* = ''u''<sup>−1</sup> can be characterized equivalently either as those ''u'' for which ''L''(''u'') is a normal operator with ''uu''* = 1 or as those ''u'' of the form exp ''ia'' for some ''a'' in ''E''. In particular ''S'' is connected.
* The identity component of Γ<sub>''u''</sub>(''E''<sub>'''C'''</sub>) acts transitively on ''S''
* ''g'' in GL(''E''<sub>'''C'''</sub>) is in the unitary structure group if and only if ''gS'' = ''S''
* Given a Jordan frame (''e''<sub>''i''</sub>) and ''v'' in ''E''<sub>'''C'''</sub>, there is an operator ''u'' in the identity component of Γ<sub>''u''</sub>(''E''<sub>'''C'''</sub>) such that ''uv'' = Σ α<sub>''i''</sub> ''e''<sub>''i''</sub> with α<sub>''i''</sub> ≥ 0. If ''v'' is invertible, then α<sub>''i''</sub> > 0.

Given a frame {{math|1=(''e''<sub>''i''</sub>)}} in a Euclidean Jordan algebra ''E'', the [[restricted Weyl group]] can be identified with the group of operators on {{math|1=⊕ '''R''' ''e''<sub>''i''</sub>}} arising from elements in the identity component of Γ<sub>''u''</sub>(''E''<sub>'''C'''</sub>) that leave {{math|1=⊕ '''R''' ''e''<sub>''i''</sub>}} invariant.

===Spectral norm===
Let ''E'' be a Euclidean Jordan algebra with the inner product given by the trace form. Let (''e''<sub>''i''</sub>) be a fixed Jordan frame in ''E''.  For given ''a'' in ''E''<sub>'''C'''</sub>  choose ''u'' in Γ<sub>''u''</sub>(''E''<sub>'''C'''</sub>) such that
''ua'' = Σ α<sub>''i''</sub> ''e''<sub>''i''</sub> with α<sub>''i''</sub> ≥ 0. Then the '''spectral norm''' ||''a''|| = max α<sub>''i''</sub> is independent of all choices. It is a norm on ''E''<sub>'''C'''</sub> with

:<math>\displaystyle{\|a^*\| = \|a\|,\,\,\, \|\{a,a^*,a\}\| =\|a\|^3.}</math>

In addition ||''a''||<sup>2</sup> is given by the [[operator norm]] of ''Q''(''a'') on the inner product space ''E''<sub>'''C'''</sub>. The fundamental identity for the quadratic representation implies that ||''Q''(''a'')''b''|| ≤ ||''a''||<sup>2</sup>||''b''||. The spectral norm of an element ''a'' is defined in terms of '''C'''[''a''] so depends only on ''a'' and not the particular Euclidean Jordan algebra in which it is calculated.<ref>{{harvnb|Loos|1977|p=3.15-3.16}}</ref>

The compact set ''S'' is the set of [[extreme point]]s of the closed unit ball ||''x''|| ≤ 1.  Each ''u'' in ''S'' has norm one. Moreover, if ''u'' = ''e''<sup>''ia''</sup> and ''v'' = ''e''<sup>''ib''</sup>, then ||''uv''|| ≤ 1. Indeed, by the Cohn–Shirshov theorem the unital Jordan subalgebra of ''E'' generated by ''a'' and ''b'' is special. The inequality is easy to establish in non-exceptional simple Euclidean Jordan algebras, since each such Jordan algebra and its complexification can be realized as a subalgebra of some H<sub>''n''</sub>('''R''') and its complexification ''H''<sub>''n''</sub>('''C''') ⊂ ''M''<sub>''n''</sub>('''C'''). The spectral norm in  ''H''<sub>''n''</sub>('''C''') is the usual operator norm. In that case, for unitary matrices ''U'' and ''V'' in ''M''<sub>''n''</sub>('''C'''), clearly ||{{sfrac|1|2}}(''UV'' + ''VU'')|| ≤ 1.  The inequality therefore follows in any special Euclidean Jordan algebra and hence in general.<ref>{{harvnb|Wright|1977|pp=296–297}}
</ref>

On the other hand, by the [[Krein–Milman theorem]], the closed unit ball is the (closed) [[convex span]] of ''S''.<ref>See {{harvtxt|Faraut|Koranyi|1994|pp=73,202–203}} and  {{harvtxt|Rudin|1973|pp=270–273}}. By finite-dimensionality, every point in the convex span of ''S'' is the convex combination of ''n'' + 1 points, where ''n'' = 2 dim ''E''. So the convex span of ''S'' is already compact and equals the closed unit ball.</ref> It follows that ||''L''(''u'')|| = 1, in the operator norm corresponding to either the inner product norm or spectral norm. Hence ||''L''(''a'')|| ≤ ||''a''|| for all ''a'', so that the spectral norm satisfies

:<math>\displaystyle{\|ab\|\le \|a\|\cdot \|b\|.}</math>

It follows that ''E''<sub>'''C'''</sub> is a [[Jordan operator algebra#JB* algebras|'''Jordan C* algebra''']].<ref>{{harvnb|Wright|1977|pp=296–297}}
</ref>

===Complex simple Jordan algebras===
The complexification of a simple Euclidean Jordan algebra is a simple complex Jordan algebra which is also '''separable''', i.e. its trace form is non-degenerate. Conversely, using the existence of a [[complexification (Lie group)|real form]] of the Lie algebra of the structure group, it can be shown that every complex separable simple Jordan algebra is the complexification of a simple Euclidean Jordan algebra.<ref>{{harvnb|Faraut|Koranyi|1994|pp=154–158}}</ref>

To verify that the complexification of a simple Euclidean Jordan algebra ''E'' has no ideals, note that if ''F'' is an ideal in ''E''<sup>'''C'''</sup> then so too is ''F''<sup>⊥</sup>, the orthogonal complement for the trace norm. As in the real case, ''J'' = ''F''<sup>⊥</sup> ∩ ''F'' must equal (0). For the associativity property of the trace form shows that ''F''<sup>⊥</sup> is an ideal and that ''ab'' = 0 if ''a'' and ''b'' lie in ''J''. Hence ''J'' is an ideal.  But if ''z'' is in ''J'', ''L''(''z'') takes ''E''<sub>'''C'''</sub> into ''J'' and ''J'' into (0). Hence Tr ''L''(''z'') = 0.  Since ''J'' is an ideal and the trace form degenerate, this forces ''z'' = 0.  It follows that ''E''<sub>'''C'''</sub> = ''F'' ⊕ ''F''<sup>⊥</sup>. If ''P'' is the corresponding projection onto ''F'', it commutes with the operators ''L''(''a'') and ''F''<sup>⊥</sup> = (''I'' − ''P'')''E''<sub>'''C'''</sub>. is also an ideal and ''E'' = ''F'' ⊕ ''F''<sup>⊥</sup>. Furthermore, if ''e'' = ''P''(1), then ''P'' = ''L''(''e''). In fact for ''a'' in ''E''

:<math>\displaystyle{ea=ae=L(a)P(1)=P(L(a)1)=P(a),}</math>

so that ''ea'' = ''a'' for ''a'' in ''F'' and 0 for ''a'' in ''F''<sup>⊥</sup>. In particular ''e'' and 1 − ''e'' are orthogonal ''central'' idempotents with ''L''(''e'') = ''P'' and ''L''(1 − ''e'') = ''I'' − ''P''.

So simplicity follows from the fact that the center of ''E''<sub>'''C'''</sub> is the complexification of the center of ''E''.

==Symmetry groups of bounded domain and tube domain==
According to the "elementary approach" to bounded symmetric space of Koecher,<ref>See:
*{{harvnb|Koecher|1999}}
*{{harvnb|Koecher|1969}}
</ref> Hermitian symmetric spaces of noncompact type can be realized in the complexification of a Euclidean Jordan algebra ''E'' as either the open unit ball for the spectral norm, a bounded domain, or as the open tube domain {{math|1=''T'' = ''E'' + ''iC''}}, where ''C'' is the positive open cone in ''E''. In the simplest case where ''E'' = '''R''', the complexification of ''E'' is just '''C''', the bounded domain corresponds to the open unit disk and the tube domain to the upper half plane. Both these spaces have transitive groups of biholomorphisms given by Möbius transformations, corresponding to matrices in {{math|SU(1,1)}} or {{math|SL(2,'''R''')}}. They both lie in the Riemann sphere {{math|1='''C''' ∪ {∞}}}, the standard one-point compactification of '''C'''. Moreover, the symmetry groups are all particular cases of Möbius transformations corresponding to matrices in {{math|SL(2,'''C''')}}. This complex Lie group and its maximal compact subgroup {{math|SU(2)}} act transitively on the Riemann sphere. The groups are also algebraic. They have distinguished generating subgroups and have an explicit description in terms of generators and relations. Moreover, the Cayley transform gives an explicit Möbius transformation from the open disk onto the upper half plane.  All these features generalize to arbitrary Euclidean Jordan algebras.<ref>See:
*{{harvnb|Loos|1977}}
*{{harvnb|Faraut|Koranyi|1994}}</ref> The compactification and complex Lie group are described in the next section and correspond to the dual Hermitian symmetric space of compact type. In this section only the symmetries of and between the bounded domain and tube domain are described.

Jordan frames provide one of the main Jordan algebraic techniques to describe the symmetry groups. Each Jordan frame gives rise to a product of copies of '''R''' and '''C'''. The symmetry groups of the corresponding open domains and the compactification—polydisks and polyspheres—can be deduced from the case of the unit disk, the upper halfplane and Riemann sphere. All these symmetries extend to the larger Jordan algebra and its compactification. The analysis can also be reduced to this case because all points in the complex algebra (or its compactification) lie in an image of the polydisk (or polysphere) under the unitary structure group.

===Definitions===
Let {{math|''E''}} be a Euclidean Jordan algebra with complexification {{math|1=''A'' = ''E''<sub>'''C'''</sub> = ''E'' + ''iE''}}.

The unit ball or disk ''D'' in {{math|''A''}} is just the convex bounded open set of elements
{{math|''a''}} such the ||''a''|| < 1, i.e. the unit ball for the spectral norm.

The tube domain ''T'' in {{math|''A''}} is the unbounded convex open set {{math|1=''T'' = ''E'' + ''iC''}}, where ''C'' is the open positive cone in {{math|''E''}}.

===Möbius transformations===
The group SL(2,'''C''') acts by [[Möbius transformation]]s on the [[Riemann sphere]] '''C''' ∪ {∞}, the [[one-point compactification]] of '''C'''. If ''g'' in SL(2,'''C''') is given by the matrix

:<math>\displaystyle{g=\begin{pmatrix}\alpha & \beta \\ \gamma & \delta\end{pmatrix},}</math>

then

:<math>\displaystyle{g(z)=(\alpha z +\beta)(\gamma z +\delta)^{-1}.}</math>

Similarly the group SL(2,'''R''') acts by Möbius transformations on the circle '''R''' ∪ {∞}, the one-point compactification of '''R'''.

Let ''k'' = '''R''' or '''C'''. Then SL(2,''k'') is generated by the three subgroups of lower and upper unitriangular matrices, '''L''' and '''U'''', and the diagonal matrices '''D'''. It is also generated by the lower (or upper) unitriangular matrices, the diagonal matrices and the matrix

:<math>\displaystyle{J=\begin{pmatrix}0 & 1 \\ -1 & 0\end{pmatrix}.}</math>

The matrix ''J'' corresponds to the Möbius transformation {{math|1= ''j''(''z'') = −''z''<sup>−1</sup>}} and can be written

:<math>\displaystyle{J=\begin{pmatrix}1 & 0 \\ -1 & 1\end{pmatrix}\begin{pmatrix}1 & 1 \\ 0 & 1\end{pmatrix}
\begin{pmatrix}1 & 0 \\ -1 & 1\end{pmatrix}.}</math>

The Möbius transformations fixing ∞ are just the upper triangular matrices '''B''' = '''UD''' = '''DU'''. If ''g'' does not fix ∞, it sends ∞ to a finite point ''a''. But then ''g'' can be composed with an upper unitriangular matrix to send ''a'' to 0 and then with ''J'' to send 0 to infinity. This argument gives one of the simplest examples of the [[Bruhat decomposition]]:

:<math>\displaystyle{\mathbf{SL}(2,k) = \mathbf{B} \cup \mathbf{B}\cdot J\cdot \mathbf{B},}</math>

the double coset decomposition of {{math|SL(2,''k'')}}. In fact the union is disjoint and can be written more precisely as

:<math>\displaystyle{\mathbf{SL}(2,k) = \mathbf{B} \cup  \mathbf{B} \cdot J\cdot\mathbf{U},}</math>

where the product occurring in the second term is direct.

Now let

:<math>\displaystyle{T(\beta)=\begin{pmatrix}1 & \beta \\ 0 & 1\end{pmatrix}.}</math>

Then

:<math>\displaystyle{\begin{pmatrix}\alpha & 0 \\ 0 & \alpha^{-1}\end{pmatrix} = JT(\alpha^{-1}) JT(\alpha)JT(\alpha^{-1}).}</math>

It follows {{math|SL(2,''k'')}} is generated by the group of operators {{math|''T''(β)}} and ''J'' subject to the following relations:

*{{math|1= β ↦ ''T''(β)}} is an additive homomorphism
*{{math|1= α ↦ ''D''(α) = ''JT''(α<sup>−1</sup>)''JT''(α)''JT''(α<sup>−1</sup>)}} is a multiplicative homomorphism
*{{math|1=''D''(−1) = ''J''}}
*{{math|1=''D''(α)''T''(β)''D''(α)<sup>−1</sup> = ''T''(α<sup>2</sup>β)}}
*{{math|1=''JD''(α)''J''<sup>−1</sup> = ''D''(α)<sup>−1</sup>}}

The last relation follows from the definition of {{math|1=''D''(α)}}. The generator and relations above is fact gives a presentation of {{math|SL(2,''k'')}}. Indeed, consider the free group Φ generated by ''J'' and {{math|''T''(β)}} with ''J'' of order 4 and its square central. This consists of all products
{{math|1=''T''(β<sub>1</sub>)''JT''(β<sub>2</sub>)''JT''(β<sub>3</sub>)''J'' ... ''T''(β<sub>''m''</sub>)''J''}} for {{math|1=''m'' ≥ 0}}. There is a natural homomorphism of Φ onto {{math|SL(2,''k'')}}. Its kernel contain the normal subgroup Δ generated by the relations above. So there is a natural homomorphism of Φ/Δ onto {{math|SL(2,''k'')}}. To show that it is injective it suffices to show that the Bruhat decomposition also holds in {{math|1= Φ/Δ}}. It is enough to prove the first version, since the more precise version follows from the commutation relations between ''J'' and
{{math|''D''(α)}}. The set {{math|1='''B''' ∪ '''B''' ''J'' '''B'''}} is invariant under inversion, contains operators {{math|''T''(β)}} and ''J'', so it is enough to show it is invariant under multiplication. By construction it is invariant under multiplication by '''B'''. It is invariant under multiplication by ''J'' because of the defining equation for {{math|1=''D''(α)}}.<ref>{{harvnb|Lang|1985|pp=209–210}}</ref>

In particular the center of  {{math|SL(2,''k'')}} consists of the scalar matrices {{math|1=±''I''}}  and it is the only non-trivial normal subgroup of {{math|SL(2,''k'')}}, so that {{math|1=PSL(2,''k'') = SL(2,''k'')/{±''I''}}} is [[simple group|simple]].<ref>{{harvnb|Bourbaki|1981|pp=30–32}}</ref> In fact if {{math|1='''K'''}} is a normal subgroup, then the Bruhat decomposition implies that {{math|'''B'''}} is a maximal subgroup, so that either {{math|'''K'''}} is contained in {{math|'''B'''}} or
{{math|1='''KB''' = SL(2,''k'')}}. In the first case {{math|'''K'''}} fixes one point and hence every point of {{math|1= ''k'' ∪ {∞}}}, so lies in the center. In the second case, the [[commutator subgroup]] of {{math|SL(2,''k'')}} is the whole group, since it is the group generated by lower and upper unitriangular matrices and the fourth relation shows that all such matrices are commutators
since {{math|1=[''T''(β),''D''(α)] = ''T''(β − α<sup>2</sup>β)}}. Writing {{math|1=''J'' = ''kb''}} with {{math|''k''}} in {{math|'''K'''}} and {{math|''b''}} in {{math|'''B'''}}, it follows that {{math|1='''L''' = ''k'' '''U''' ''k''<sup>−1</sup>}}. Since {{math|'''U'''}} and {{math|'''L'''}} generate the whole group, {{math|1=SL(2,''k'') = '''KU'''}}. But then {{math|1=SL(2,''k'')/'''K''' ≅ '''U'''/'''U''' ∩ '''K'''}}. The right hand side here is Abelian while the left hand side is its own commutator subgroup. Hence this must be the trivial group and {{math|1='''K''' = SL(2,''k'')}}.

Given an element ''a'' in the complex Jordan algebra {{math|1=''A'' = ''E''<sub>'''C'''</sub>}}, the unital Jordan subalgebra {{math|1='''C'''[''a'']}} is associative and commutative. Multiplication by ''a'' defines an operator on  {{math|1='''C'''[''a'']}} which has a spectrum, namely its set of complex eigenvalues. If {{math|''p''(''t'')}} is a complex polynomial, then {{math|''p''(''a'')}} is defined in {{math|1='''C'''[''a'']}}. It is invertible in {{math|''A''}} if and only if it is invertible in
{{math|1='''C'''[''a'']}}, which happen precisely when {{math|''p''}} does not vanish on the spectrum of {{math|''a''}}. This permits [[rational function]]s of {{math|''a''}} to be defined whenever the function is defined on the spectrum of {{math|''a''}}. If {{math|''F''}} and {{math|''G''}} are rational functions with {{math|''G''}} and {{math|1=''F''∘''G''}} defined on {{math|''a''}}, then
{{math|''F''}} is defined on {{math|''G''(''a'')}} and {{math|1=''F''(''G''(''a'')) = (''F''∘''G'')(''a'')}}. This applies in particular to complex Möbius transformations which can be defined by
{{math|1=''g''(''a'') = (α''a'' + β1)(γ''a'' + δ1)<sup>−1</sup>}}. They leave {{math|1='''C'''[''a'']}} invariant and, when defined, the group composition law holds. (In the next section complex Möbius transformations will be defined on the compactification of {{math|''A''}}.)<ref>See:
*{{harvnb|Koecher|1999}}
*{{harvnb|Faraut|Koranyi|1994|pp=150–153}}</ref>

Given a primitive idempotent {{math|''e''}} in {{math|''E''}} with Peirce decomposition

:<math>\displaystyle{E=E_1(e)\oplus E_{1/2}(e)\oplus E_0(e),\,\,\,\, A=A_1(e)\oplus A_{1/2}(e)\oplus A_0(e).}</math>

the action of {{math|SL(2,'''C''')}} by Möbius transformations on {{math|1=''E''<sub>1</sub>(''e'') = '''C''' ''e''}} can be extended to an action on ''A'' so that the action leaves invariant the components {{math|1=''A''<sub>''i''</sub>(''e'')}} and in particular acts trivially on {{math|1=''E''<sub>0</sub>(''e'')}}.<ref>{{harvnb|Loos|1977|pp=9.4–9.5}}</ref> If {{math|1=''P''<sub>0</sub>}} is the projection onto {{math|1=''A''<sub>0</sub>(''e'')}}, the action is given be the formula

:<math>\displaystyle{g(z e\oplus x_{1/2} \oplus x_0)={\alpha z +\beta \over \gamma z +\delta}\cdot e \oplus (\gamma z +\delta)^{-1} x_{1/2} \oplus x_0 - (\gamma z + \delta)^{-1}P_0(x_{1/2}^2).}</math>

For a Jordan frame of primitive idempotents {{math|1=''e''<sub>1</sub>, ..., ''e''<sub>''m''</sub>}}, the actions of  {{math|SL(2,'''C''')}} associated with different {{math|1=''e''<sub>''i''</sub>}} commute, thus giving an action of {{math|SL(2,'''C''')<sup>''m''</sup>}}. The diagonal copy of  {{math|SL(2,'''C''')}} gives again the action by Möbius transformations on {{math|''A''}}.

===Cayley transform===
{{see also|Cayley transform}}
The Möbius transformation defined by

:<math>\displaystyle{C(z)=i{1+z\over 1-z}=-i +{2i\over 1 - z}}</math>

is called the [[Cayley transform]]. Its inverse is given by

:<math>\displaystyle{P(w)={w-i\over w+i} = 1 -{2i\over w+i}.}</math>

The inverse Cayley transform carries the real line onto the circle with the point 1 omitted. It carries the upper halfplane onto the unit disk and the lower halfplane onto the complement of the closed unit disk. In [[operator theory]] the mapping {{math|1=''T'' ↦ ''P''(''T'')}} takes self-adjoint operators ''T'' onto unitary operators ''U'' not containing 1 in their spectrum. For matrices this follows because unitary and self-adjoint matrices can be diagonalized and their eigenvalues lie on the unit circle or real line. In this finite-dimensional setting the Cayley transform and its inverse establish a bijection between the matrices of operator norm less than one and operators with imaginary part a positive operator. This is the special case for {{math|1=''A'' = M<sub>''n''</sub>('''C''')}} of the Jordan algebraic result, explained below, which asserts that the Cayley transform and its inverse establish a bijection between the bounded domain {{math|''D''}} and the tube domain {{math|''T''}}.

In the case of matrices, the bijection follows from resolvent formulas.<ref>{{harvnb|Folland|1989|pp=203–204}}</ref> In fact if the imaginary part of {{math|''T''}} is positive, then {{math|1=''T'' + ''iI''}} is invertible since

:<math>\displaystyle{\|(T+iI)x\|^2= \|(T-iI)x\|^2 + 4(\mathrm{Im}(T)x,x).}</math>

In particular, setting {{math|1=''y'' = (''T'' + ''iI'')''x''}},

:<math>\displaystyle{\|y\|^2= \|P(T)y\|^2 + 4(\mathrm{Im}(T)x,x).}</math>

Equivalently

:<math>\displaystyle{I-P(T)^*P(T) =
4 (T^* -iI)^{-1}[\mathrm{Im}\,T] (T+iI)^{-1}}</math>

is a positive operator, so that ||''P''(''T'')|| < 1. Conversely if ||''U''|| < 1 then {{math|''I''
− ''U''}} is invertible and

:<math>\displaystyle{\mathrm{Im}\,C(U)=(2i)^{-1}[C(U)-C(U)^*] =
(1-U^*)^{-1}[I -U^*U](I-U)^{-1}.}</math>

Since the Cayley transform and its inverse commute with the transpose, they also establish a bijection for symmetric matrices. This corresponds to the Jordan algebra of symmetric complex matrices, the complexification of {{math|''H''<sub>''n''</sub>('''R''')}}.

In {{math|1=''A'' = ''E''<sub>'''C'''</sub>}} the above resolvent identities take the following form:<ref>See:
*{{harvnb|Koecher|1999}}
*{{harvnb|Faraut|Koranyi|1994|pp=200–201}}</ref>

:<math>\displaystyle{Q(1-u^*)Q(C(u)+C(u^*))Q(1-u)=-4B(u^*,u)}</math>

and equivalently

:<math>\displaystyle{  4Q(\mathrm{Im} \,a) = Q(a^*-i)B(P(a)^*,P(a))Q(a+i),}</math>

where the Bergman operator  {{math|1=''B''(''x'',''y'')}} is defined by {{math|1=''B''(''x'',''y'') = ''I'' − 2''R''(''x'',''y'') + ''Q''(''x'')''Q''(''y'')}} with {{math|1=''R''(''x'',''y'') = [''L''(''x''),''L''(''y'')] + ''L''(''xy'')}}. The inverses here are well defined. In fact in one direction {{math|1=1 − ''u''}} is invertible for ||''u''|| < 1: this follows either using the fact that the norm satisfies ||''ab''|| ≤ ||''a''|| ||''b''||; or using the resolvent identity and the invertibility of {{math|1=''B''(''u''*,''u'')}} (see below). In the other direction if the imaginary part of {{math|''a''}} is in {{math|''C''}} then the imaginary part of {{math|''L''(''a'')}} is positive definite so that {{math|''a''}} is invertible. This argument can be applied to {{math|''a'' + ''i''}}, so it also invertible.

To establish the correspondence, it is enough to check it when {{math|''E''}} is simple. In that case it follows from the connectivity of {{math|''T''}} and {{math|''D''}} and because:

{{quote box|align=left|* For {{math|''x''}} in {{math|''E''}}, {{math|1=''Q''(''x'')}} is a positive operator if and only if {{math|''x''}} or {{math|1=−''x''}} lies in {{math|1=''C''}}
* {{math|1=''B''(''a''*,''a'')}} is a positive operator if and only if {{math|''a''}} or its inverse (if invertible) lies in {{math|''D''}}}}
{{Clear}}

The first criterion follows from the fact that the eigenvalues of {{math|1=''Q''(''x'')}} are exactly {{math|1=λ<sub>''i''</sub>λ<sub>''j''</sub>}} if the eigenvalues of {{math|''x''}} are {{math|1=λ<sub>''i''</sub>}}. So the {{math|1=λ<sub>''i''</sub>}} are either all positive or all negative. The second criterion follows from the fact that if
{{math|1=''a'' = ''u'' Σ α<sub>''i''</sub> ''e''<sub>''i''</sub> = ''ux''}} with {{math|1=α<sub>''i''</sub> ≥ 0}} and ''u'' in {{math|1=Γ<sub>''u''</sub>(''E''<sub>'''C'''</sub>)}}, then {{math|1=''B''(''a''*,''a'') = ''u''*''Q''(1 − ''x''<sup>2</sup>)''u''}} has eigenvalues {{math|1=(1 − α<sub>''i''</sub><sup>2</sup>)(1 − α<sub>''j''</sub><sup>2</sup>)}}. So the {{math|1=α<sub>''i''</sub>}} are either all less than one or all greater than one.

The resolvent identity is a consequence of the following identity for {{math|''a''}} and {{math|''b''}}  invertible

:<math>\displaystyle{Q(a)Q(a^{-1}+b^{-1})Q(b)=Q(a+b).}</math>

In fact in this case the [[Quadratic Jordan algebra#Linear Jordan algebra defined by a quadratic Jordan algebra|relations for a quadratic Jordan algebra]] imply

:<math>\displaystyle{R(a,b)=2Q(a)Q(a^{-1},b)=2Q(a,b^{-1})Q(b)}</math>

so that

:<math>\displaystyle{B(a,b)=Q(a)Q(a^{-1}-b)=Q(b^{-1} -a)Q(b).}</math>

The equality of the last two terms implies the identity, replacing {{math|''b''}} by {{math|1=−''b''<sup>−1</sup>}}.

Now set {{math|1=''a'' = 1 − ''x''}} and {{math|1=''b'' = 1 − ''y''}}. The resolvent identity is a special case of the more following more general identity:

:<math>\displaystyle{Q(1-x)Q(C(x)+C(y))Q(1-y)=-4B(x,y).}</math>

In fact

:<math>\displaystyle{C(x)+C(y)=-2i(1-a^{-1} -b^{-1}),}</math>

so the identity is equivalent to

:<math>\displaystyle{Q(a)Q(1-a^{-1} -b^{-1})Q(b)=B(1-a,1-b).}</math>

Using the identity above together with {{math|1=''Q''(''c'')''L''(''c''<sup>−1</sup>) = ''L''(''c'')}}, the left hand side equals {{math|1=''Q''(''a'')''Q''(''b'') + ''Q''(''a'' + ''b'') − 2''L''(''a'')''Q''(''b'') − 2''Q''(''a'')''L''(''b'')}}. The right hand side equals {{math|1=2''L''(''a'')''L''(''b'') + 2''L''(''b'')''L''(''a'') − 2''L''(''ab'') − 2''L''(''a'')''Q''(''b'') − 2''Q''(''a'')''L''(''b'') + ''Q''(''a'')''Q''(''b'') + ''Q''(''a'') + ''Q''(''b'')}}. These are equal because of the formula {{math|1={{sfrac|1|2}}[''Q''(''a'' + ''b'') − ''Q''(''a'') − ''Q''(''b'')] = ''L''(''a'')''L''(''b'') + ''L''(''b'')''L''(''a'') − ''L''(''ab'')}}.

===Automorphism group of bounded domain===
{{quote box|align=left|'''''The Möbius transformations in''''' {{math|SU(1,1)}} '''''carry the bounded domain''''' {{math|''D''}} '''''onto itself.'''''}}
{{Clear}}
If {{math|''a''}} lies in the bounded domain {{math|''D''}}, then {{math|1=''a'' − 1}} is invertible. Since {{math|''D''}} is invariant under multiplication by scalars of modulus ≤ 1, it follows that
{{math|1=''a'' − λ}} is invertible for |λ| ≥ 1. Hence for ||''a''|| ≤ 1,  {{math|1=''a'' − λ}} is invertible for |λ| > 1. It follows that the Möbius transformation {{math|''ga''}} is defined for ||''a''|| ≤ 1 and {{math|''g''}} in {{math|SU(1,1)}}. Where defined it is injective. It is holomorphic on {{math|''D''}}. By the [[maximum modulus principle]], to show that {{math|''g''}} maps {{math|''D''}} onto {{math|''D''}} it suffices to show it maps {{math|''S''}} onto itself. For in that case {{math|''g''}} and its inverse preserve {{math|''D''}} so must be surjective. If {{math|1=''u'' = ''e''<sup>''ix''</sup>}} with {{math|1=''x'' = Σ ξ<sub>''i''</sub>''e''<sub>''i''</sub>}} in {{math|''E''}}, then {{math|''gu''}} lies in {{math|1=⊕ '''C''' ''e''<sub>''i''</sub>}}. This is a commutative associative algebra and the spectral norm is the supremum norm. Since {{math|1=''u'' = Σ ς<sub>''i''</sub>''e''<sub>''i''</sub>}} with |ς<sub>''i''</sub>| = 1, it follows that {{math|1=''gu'' = Σ ''g''(ς<sub>''i''</sub>)''e''<sub>''i''</sub>}} where |''g''(ς<sub>''i''</sub>)| = 1. So {{math|''gu''}} lies in {{math|''S''}}.
{{quote box|align=left|'''''The unitary structure group of''''' {{math|1=''E''<sub>'''C'''</sub>}} '''''carries''''' {{math|''D''}} '''''onto itself.'''''}}
{{Clear}}
This is a direct consequence of the definition of the spectral norm.
{{quote box|align=left|'''''The group of transformations''''' {{math|1=SU(1,1)<sup>''m''</sup>}} '''''corresponding to a Jordan frame carries''''' {{math|''D''}} '''''onto itself.'''''}}
{{Clear}}
This is already known for the Möbius transformations, i.e. the diagonal in {{math|1=SU(1,1)<sup>''m''</sup>}}. It follows for diagonal matrices in a fixed component in {{math|1=SU(1,1)<sup>''m''</sup>}} because they correspond to transformations in the unitary structure group. Conjugating by a Möbius transformation is equivalent to conjugation by a matrix in that component. Since the only non-trivial normal subgroup of {{math|1=SU(1,1)}} is its center, every matrix in a fixed component carries {{math|''D''}} onto itself.
{{quote box|align=left|{{math|''D''}} '''''is a [[bounded symmetric domain]].'''''}}
{{Clear}}
Given an element in {{math|''D''}} an transformation in the identity component of the unitary structure group carries it in an element in {{math|1=⊕ '''C''' ''e''<sub>''i''</sub>}} with supremum norm less than 1. An transformation in {{math|1=SU(1,1)<sup>''m''</sup>}} the carries it onto zero. Thus there is a transitive group of biholomorphic transformations of {{math|''D''}}. The symmetry {{math|1=''z'' ↦ −''z''}} is a biholomorphic Möbius transformation fixing only 0.
{{quote box|align=left|'''''The biholomorphic mappings of''''' {{math|''D''}} '''''onto itself that fix the origin are given by the unitary structure group.'''''}}
{{Clear}}
If {{math|''f''}} is a biholomorphic self-mapping of {{math|''D''}} with {{math|1=''f''(0) = 0}} and derivative {{math|''I''}} at 0, then {{math|''f''}} must be the identity.<ref>{{harvnb|Faraut|Koranyi|1994|pp=204–205}}</ref> If not, {{math|''f''}} has Taylor series expansion {{math|1=''f''(''z'') = ''z'' + ''f''<sub>''k''</sub>  + ''f''<sub>''k'' + 1</sub>(''z'') + ⋅⋅⋅}} with {{math|1=''f''<sub>''i''</sub>}} homogeneous of degree {{math|''i''}} and {{math|1=''f''<sub>''k''</sub> ≠ 0}}. But then {{math|1=''f''<sup>''n''</sup>(''z'') = ''z'' + ''n'' ''f''<sub>''k''</sub>(''z'')}}. Let {{math|ψ}} be a functional in {{math|''A''*}} of norm one. Then for fixed {{math|''z''}} in {{math|''D''}}, the holomorphic functions of a complex variable {{math|''w''}} given by {{math|1= ''h''<sub>''n''</sub>(''w'') = ψ(''f''<sup>''n''</sup>(''wz''))}} must have modulus less than 1 for |''w''| < 1. By [[Cauchy's integral formula#Consequences|Cauchy's inequality]], the coefficients of {{math|1=''w''<sup>''k''</sup>}} must be uniformly bounded independent of {{math|''n''}}, which is not possible if {{math|1=''f''<sub>''k''</sub> ≠ 0}}.

If {{math|''g''}} is a biholomorphic mapping of {{math|''D''}} onto itself just fixing 0 then
if {{math|1= ''h''(''z'') = ''e''<sup>''i''α</sup> ''z''}}, the mapping {{math|1=''f'' = ''g'' ∘ ''h'' ∘ ''g''<sup>−1</sup> ∘ ''h''<sup>−α</sup>}} fixes 0 and has derivative {{math|''I''}} there. It is therefore the identity map. So {{math|1=''g''(''e''<sup>''i''α</sup> ''z'') = ''e''<sup>''i''α</sup>''g''(''z'')}} for any α. This implies ''g'' is a linear mapping. Since it maps {{math|''D''}} onto itself it maps the closure onto itself. In particular it must map the Shilov boundary {{math|''S''}} onto itself. This forces {{math|''g''}} to be in the unitary structure group.

{{quote box|align=left|'''''The group''''' {{math|1=''G''<sub>''D''</sub>}}  '''''of biholomorphic automorphisms of''''' {{math|''D''}} '''''is generated by the unitary structure group''''' {{math|''K''<sub>''D''</sub>}} '''''and the Möbius transformations associated to a Jordan frame. If''''' {{math|1=''A''<sub>''D''</sub>}} '''''denotes the subgroup of such Möbius transformations fixing''''' {{math|1=±1}}''''', then the Cartan decomposition formula holds:''''' {{math|1=''G''<sub>''D''</sub> = ''K''<sub>''D''</sub> ''A''<sub>''D''</sub> ''K''<sub>''D''</sub>}}.}}
{{Clear}}
The orbit of 0 under ''A''<sub>''D''</sub> is the set of all points {{math|1= Σ α<sub>''i''</sub> ''e''<sub>''i''</sub>}} with {{math|1=−1 < α<sub>''i''</sub> < 1}}. The orbit of these points under the unitary structure group is the whole of {{math|''D''}}. The Cartan decomposition follows because {{math|1=''K''<sub>''D''</sub>}} is the stabilizer of 0 in {{math|1=''G''<sub>''D''</sub>}}.

{{quote box|align=left|'''''The center of''''' {{math|1=''G''<sub>''D''</sub>}} '''''is trivial.'''''}}
{{Clear}}
 
In fact the only point fixed by (the identity component of) ''K''<sub>''D''</sub> in ''D'' is 0. Uniqueness implies that the [[Center (geometry)|center]] of ''G''<sub>''D''</sub> must fix 0. It follows that the center of ''G''<sub>''D''</sub> lies in ''K''<sub>''D''</sub>. The center of ''K''<sub>''D''</sub> is isomorphic to the circle group: a rotation through θ corresponds to multiplication by ''e''<sup>''i''θ</sup> on ''D'' so lies in {{math|SU(1,1)/{±1}}}. Since this group has trivial center, the center of ''G''<sub>''D''</sub> is trivial.<ref>{{harvnb|Faraut|Koranyi|1994|p=208}}</ref>

{{quote box|align=left|''K''<sub>''D''</sub> '''''is a maximal compact subgroup of''''' ''G''<sub>''D''</sub>.}}
{{Clear}}
In fact any larger compact subgroup would intersect ''A''<sub>''D''</sub> non-trivially and it has no non-trivial compact subgroups.

Note that ''G''<sub>''D''</sub> is a Lie group (see below), so that the above three statements hold with ''G''<sub>''D''</sub> and ''K''<sub>''D''</sub> replaced by their identity components, i.e. the subgroups generated by their one-parameter cubgroups. Uniqueness of the maximal compact subgroup up to conjugacy follows from [[maximal compact subgroup#Proof of uniqueness for semisimple groups|a general argument]] or can be deduced for classical domains directly using [[Sylvester's law of inertia]] following {{harvtxt|Sugiura|1982}}.<ref>Note that the elementary argument in {{harvtxt|Igusa|1972|p=23}} cited in  {{harvtxt|Folland|1989}} is incomplete.</ref> For the example of Hermitian matrices over '''C''', this reduces to proving that {{math|1=U(''n'') × U(''n'')}} is up to conjugacy the unique maximal compact subgroup in {{math|1=U(''n'',''n'')}}. In fact if {{math|1=''W'' = '''C'''<sup>''n''</sup> ⊕ (0)}}, then {{math|1=U(''n'') × U(''n'')}} is the subgroup of {{math|1=U(''n'',''n'')}} preserving ''W''. The restriction of the hermitian form given by the inner product on {{math|''W''}} minus the inner product on {{math|1= (0) ⊕ '''C'''<sup>''n''</sup>}}.
On the other hand, if {{math|''K''}} is a compact subgroup of {{math|1=U(''n'',''n'')}}, there is a {{math|''K''}}-invariant inner product on {{math|1='''C'''<sup>2''n''</sup>}} obtained by averaging any inner product with respect to Haar measure on {{math|''K''}}. The Hermitian form corresponds to an orthogonal decomposition into two subspaces of dimension {{math|''n''}} both invariant under {{math|''K''}} with the form positive definite on one and negative definite on the other. By Sylvester's law of inertia,  given two subspaces of dimension {{math|''n''}} on which the Hermitian form is positive definite, one is carried onto the other by an element of {{math|1=U(''n'',''n'')}}. Hence there is an element {{math|''g''}} of  {{math|1=U(''n'',''n'')}} such that the positive definite subspace is given by {{math|''gW''}}. So {{math|1=''gKg''<sup>−1</sup>}} leaves {{math|''W''}} invariant and {{math|1=''gKg''<sup>−1</sup> ⊆ U(''n'') × U(''n'')}}.

A similar argument, with [[quaternion]]s replacing the complex numbers, shows uniqueness for the symplectic group, which corresponds to Hermitian matrices over '''R'''. This can also be seen more directly by using [[Complex manifold|complex structures]]. A complex structure is an invertible operator ''J'' with ''J''<sup>2</sup> = −''I'' preserving the symplectic form ''B'' and such that −''B''(''Jx'',''y'') is a real inner product. The symplectic group acts transitively on complex structures by conjugation. Moreover, the subgroup commuting with ''J'' is naturally identified with the unitary group for the corresponding complex inner product space. Uniqueness follows by showing that any compact subgroup ''K'' commutes with some complex structure ''J''. In fact, averaging over Haar measure, there is a ''K''-invariant inner product on the underlying space. The symplectic form yields an invertible skew-adjoint operator ''T'' commuting with ''K''. The operator ''S'' = −''T''<sup>2</sup> is positive, so has a unique positive square root, which commutes with ''K''. So ''J'' = ''S''<sup>−1/2</sup>''T'', the phase of ''T'', has square −''I'' and commutes with ''K''.

===Automorphism group of tube domain===
There is a [[Cartan decomposition]] for ''G''<sub>''T''</sub> corresponding to the action on the tube ''T'' = ''E'' + ''iC'':

:<math>\displaystyle{G_T=K_T A_T K_T.}</math>

*''K''<sub>''T''</sub> is the stabilizer of ''i'' in ''iC'' ⊂ ''T'', so a maximal compact subgroup of ''G''<sub>''T''</sub>. Under the Cayley transform, ''K''<sub>''T''</sub> corresponds to ''K''<sub>''D''</sub>, the stabilizer of 0 in the bounded symmetric domain, where it acts linearly. Since ''G''<sub>''T''</sub> is semisimple, every [[Maximal compact subgroup#Proof of uniqueness for semisimple groups|maximal compact subgroup]] is conjugate to ''K''<sub>''T''</sub>.
*The center of ''G''<sub>''T''</sub> or ''G''<sub>''D''</sub> is trivial. In fact the only point fixed by ''K''<sub>''D''</sub> in ''D'' is 0. Uniqueness implies that the [[Center (geometry)|center]] of ''G''<sub>''D''</sub> must fix 0. It follows that the center of ''G''<sub>''D''</sub> lies in ''K''<sub>''D''</sub> and hence that the center of ''G''<sub>''T''</sub> lies in ''K''<sub>''T''</sub>. The center of ''K''<sub>''D''</sub> is isomorphic to the circle group: a rotation through θ corresponds to multiplication by ''e''<sup>''i''θ</sup> on ''D''. In Cayley transform it corresponds to the [[Möbius transformation]] ''z'' ↦ (''cz'' + ''s'')(−''sz''  + ''c'')<sup>−1</sup> where ''c'' = cos θ/2 and ''s'' = sin θ/2. (In particular, when θ = π, this gives the symmetry ''j''(''z'') = −''z''<sup>−1</sup>.) In fact all Möbius transformations  ''z'' ↦ (α''z'' + β)(−γ''z''  +  δ)<sup>−1</sup> with αδ − βγ = 1 lie in ''G''<sub>''T''</sub>. Since PSL(2,'''R''') has trivial center, the center of ''G''<sub>''T''</sub> is trivial.<ref>{{harvnb|Faraut|Koranyi|1994|p=208}}</ref>
* ''A''<sub>''T''</sub> is given by the linear operators ''Q''(''a'') with ''a'' = Σ α<sub>''i''</sub> ''e''<sub>''i''</sub> with  α<sub>''i''</sub> > 0.

In fact the Cartan decomposition for {{math|1=''G''<sub>''T''</sub>}} follows from the decomposition for {{math|1=''G''<sub>''D''</sub>}}. Given {{math|1=''z''}} in {{math|1=''D''}}, there is an element {{math|''u''}} in {{math|1=''K''<sub>''D''</sub>}}, the identity component of {{math|1=Γ<sub>''u''</sub>(''E''<sub>'''C'''</sub>)}}, such that {{math|1=''z'' = ''u'' Σ α<sub>''j''</sub>''e''<sub>''j''</sub>}} with {{math|1=α<sub>''j''</sub> ≥ 0}}. Since ||''z''|| < 1, it follows that {{math|1=α<sub>''j''</sub> < 1}}. Taking the Cayley transform of ''z'', it follows that every {{math|''w''}} in {{math|''T''}} can be written {{math|1=''w'' = ''k''∘ ''C'' Σ α<sub>''j''</sub>''e''<sub>''j''</sub>}}, with {{math|''C''}} the Cayley transform and {{math|''k''}} in {{math|1=''K''<sub>''T''</sub>}}. Since
{{math|1=''C'' Σ α<sub>''i''</sub>''e''<sub>''i''</sub> = Σ β<sub>''j''</sub>''e''<sub>''j''</sub> ''i''}} with
{{math|1=β<sub>''j''</sub> = (1 + α<sub>''j''</sub>)(1 − α<sub>''j''</sub>)<sup>−1</sup>}}, the point {{math|''w''}} is of the form {{math|1=''w'' =''ka''(''i'')}} with {{math|''a''}} in {{math|''A''}}. Hence {{math|1=''G''<sub>''T''</sub> = ''K''<sub>''T''</sub>''A''<sub>''T''</sub>''K''<sub>''T''</sub>}}.

===3-graded Lie algebras===

===Iwasawa decomposition===
There is an [[Iwasawa decomposition]] for ''G''<sub>''T''</sub> corresponding to the action on the tube ''T'' = ''E'' + ''iC'':<ref>{{harvnb|Faraut|Koranyi|1994|p=334}}</ref>

:<math>\displaystyle{G_T=K_T A_T N_T.}</math>

*''K''<sub>''T''</sub> is the stabilizer of ''i'' in ''iC'' ⊂ ''T''.
* ''A''<sub>''T''</sub> is given by the linear operators ''Q''(''a'') where ''a'' = Σ α<sub>''i''</sub> ''e''<sub>''i''</sub> with  α<sub>''i''</sub> > 0.
* ''N''<sub>''T''</sub> is a lower unitriangular group on ''E''<sub>'''C'''</sub>. It is the semidirect product of the unipotent triangular group ''N'' appearing in the Iwasawa decomposition of ''G'' (the symmetry group of ''C'') and ''N''<sub>0</sub> = ''E'', group of translations ''x'' ↦ ''x'' + ''b''.

The group ''S'' = ''AN'' acts on ''E'' linearly and conjugation on ''N''<sub>0</sub> reproduces this action. Since the group ''S'' acts simply transitively on ''C'', it follows that ''AN''<sub>''T''</sub>=''S''⋅''N''<sub>0</sub> acts simply transitively on ''T'' = ''E'' + ''iC''.  Let ''H''<sub>''T''</sub> be the group of [[biholomorphism]]s of the tube ''T''. The Cayley transform shows that is isomorphic to the group ''H''<sub>''D''</sub> of biholomorphisms of the bounded domain ''D''. Since ''AN''<sub>''T''</sub> acts simply transitively on the tube ''T'' while ''K''<sub>''T''</sub> fixes ''ic'', they have trivial intersection.

Given ''g'' in ''H''<sub>''T''</sub>, take ''s'' in  ''AN''<sub>''T''</sub> such that ''g''<sup>−1</sup>(''i'')=''s''<sup>−1</sup>(''i''). then ''gs''<sup>−1</sup>  fixes ''i'' and therefore lies in ''K''<sub>''T''</sub>. Hence ''H''<sub>''T''</sub> = ''K''<sub>''T''</sub> ⋅''A''⋅''N''<sub>''T''</sub>. So the product is a group.

===Lie group structure===
By a result of [[Henri Cartan]], ''H''<sub>''D''</sub> is a Lie group. Cartan's original proof is presented in {{harvtxt|Narasimhan|1971}}. It can also be deduced from the fact the ''D'' is complete for the [[Bergman metric]], for which the isometries form a Lie group; by [[Montel's theorem]], the group of biholomorphisms is a closed subgroup.<ref>See:
*{{harvnb|Cartan|1935}}
*{{harvnb|Helgason|1978}}
*{{harvnb|Kobayashi|Nomizu|1963}}
*{{harvnb|Faraut|Koranyi|1994}}</ref>

That ''H''<sub>''T''</sub> is a Lie group can be seen directly in this case.  In fact there is a finite-dimensional 3-graded Lie algebra  <math>\mathfrak{g}_T</math> of vector fields with an involution σ. The Killing form is negative definite on the +1 eigenspace of σ  and positive definite on the −1 eigenspace. As a group ''H''<sub>''T''</sub>  normalizes <math>\mathfrak{g}_T</math> since the two subgroups ''K''<sub>''T''</sub> and ''AN''<sub>''T''</sub> do. The +1 eigenspace corresponds to the Lie algebra of ''K''<sub>''T''</sub>. Similarly the Lie algebras of the linear group ''AN'' and the affine group ''N''<sub>0</sub> lie in <math>\mathfrak{g}_T</math>. Since the group ''G''<sub>''T''</sub> has trivial center, the map into GL(<math>\mathfrak{g}_T</math>) is injective. Since ''K''<sub>''T''</sub> is compact, its image in GL(<math>\mathfrak{g}_T</math>) is compact. Since the Lie algebra <math>\mathfrak{g}_T</math> is compatible with that of ''AN''<sub>''T''</sub>, the image of ''AN''<sub>''T''</sub> is closed. Hence the image of the product is closed, since the image of ''K''<sub>''T''</sub> is compact. Since it is a closed subgroup, it follows that ''H''<sub>''T''</sub> is a Lie group.

==Generalizations==
Euclidean Jordan algebras can be used to construct Hermitian symmetric spaces of tube type. The remaining Hermitian symmetric spaces are Siegel domains of the second kind. They can be constructed using Euclidean [[Jordan triple system]]s, a generalization of Euclidean Jordan algebras. In fact for a Euclidean Jordan algebra ''E'' let

:<math>\displaystyle{L(a,b)=2([L(a),L(b)] + L(ab)).}</math>

Then ''L''(''a'',''b'') gives a bilinear map into End ''E'' such that

:<math>\displaystyle{L(a,b)^*=L(b,a)},\,\,\, L(a,b)c=L(c,b)a</math>

and

:<math>\displaystyle{[L(a,b),L(c,d)]=L(L(a,b)c,d)-L(c,L(b,a)d).}</math>

Any such bilinear system is called a '''Euclidean Jordan triple system'''. By definition the operators ''L''(''a'',''b'') form a Lie subalgebra of End ''E''.

The [[Kantor–Koecher–Tits construction]] gives a one-one correspondence between Jordan triple systems and 3-graded Lie algebras

:<math>\displaystyle{\mathfrak{g}=\mathfrak{g}_{-1}\oplus\mathfrak{g}_0\oplus\mathfrak{g}_1,}</math>

satisfying

:<math>\displaystyle{[\mathfrak{g}_p,\mathfrak{g}_q]\subseteq \mathfrak{g}_{p+q}}</math>

and equipped with an involutive automorphism σ reversing the grading. In this case

:<math>\displaystyle{L(a,b) = \mathrm{ad}\,[a,\sigma(b)]}</math>

defines a Jordan triple system on <math>\mathfrak{g}_{-1}</math>. In the case of Euclidean Jordan algebras or triple systems the Kantor–Koecher–Tits construction can be identified with the Lie algebra of the Lie group of all homomorphic automorphisms of the corresponding [[bounded symmetric domain]].
The Lie algebra is constructed by taking <math>\mathfrak{g}_0</math> to be the Lie subalgebra <math>\mathfrak{h}</math> of End ''E'' generated by the L(''a'',''b'') and <math>\mathfrak{g}_{\pm 1}</math> to be copies of ''E''. The Lie bracket is given by

:<math>\displaystyle{[(a_1,T_1,b_1),(a_2,T_2,b_2)]=(T_1a_2-T_2a_1,[T_1,T_2]+L(a_1,b_2)-L(a_2,b_1),T_2^*b_1-T_1^*b_2)}</math>

and the involution by

:<math>\displaystyle{\sigma(a,T,b)=(b,-T^*,a).}</math>

The [[Killing form]] is given by

:<math>\displaystyle{B((a_1,T_1,b_1),(a_2,T_2,b_2))= (a_1,b_2) + (b_1,a_2) +  \beta(T_1,T_2),}</math>

where β(''T''<sub>1</sub>,''T''<sub>2</sub>) is the symmetric bilinear form defined by

:<math>\displaystyle{\beta(L(a,b),L(c,d))=(L(a,b)c,d)=(L(c,d)a,b).}</math>

These formulas, originally derived for Jordan algebras, work equally well for Jordan triple systems.<ref>See:
*{{harvnb|Koecher|1967}}
*{{harvnb|Koecher|1968}}
*{{harvnb|Koecher|1969}}
*{{harvnb|Faraut|Koranyi|1994|pp=218–219}}</ref>
The account in {{harvtxt|Koecher|1969}} develops the theory of [[bounded symmetric domain]]s starting from the standpoint of 3-graded Lie algebras. For a given finite-dimensional vector space ''E'', Koecher considers finite-dimensional Lie algebras <math>\mathfrak{g}</math> of vector fields on ''E'' with polynomial coefficients of degree ≤ 2. <math>\mathfrak{g}_{-1}</math> consists of the constant vector fields ∂<sub>''i''</sub> and <math>\mathfrak{g}_{0}</math> must contain the [[Euler operator (digital geometry)|Euler operator]] ''H'' = Σ ''x''<sub>''i''</sub>⋅∂<sub>''i''</sub> as a central element. Requiring the existence of an involution σ leads directly to a Jordan triple structure on ''V'' as above. As for all Jordan triple structures, fixing ''c'' in ''E'',
the operators ''L''<sub>''c''</sub>(''a'') = ''L''(''a'',''c'') give ''E'' a Jordan algebra structure, determined by ''e''. The operators ''L''(''a'',''b'') themselves come from a Jordan algebra structure as above if and only if there are additional operators ''E''<sub>±</sub> in  <math>\mathfrak{g}_{\pm 1}</math> so that ''H'', ''E''<sub>±</sub> give a copy of <math>\mathfrak{sl}_2</math>. The corresponding Weyl group element implements the involution σ. This case corresponds to that of Euclidean Jordan algebras.

The remaining cases are constructed uniformly by Koecher using involutions of simple Euclidean Jordan algebras.<ref>{{harvnb|Koecher|1969|p=85}}</ref> Let ''E'' be a simple Euclidean Jordan algebra and τ a Jordan algebra automorphism of ''E'' of period 2. Thus ''E'' = ''E''<sub>+1</sub> ⊕ ''E''<sub>−1</sub> has an eigenspace decomposition for τ with ''E''<sub>+1</sub> a Jordan subalgebra and ''E''<sub>−1</sub> a module. Moreover, a product of two elements in ''E''<sub>−1</sub> lies in ''E''<sub>+1</sub>. For ''a'', ''b'', ''c'' in ''E''<sub>−1</sub>, set

:<math>\displaystyle{L_0(a,b)c=L(a,b)c}</math>

and (''a'',''b'')= Tr ''L''(''ab''). Then ''F'' = ''E''<sub>−1</sub> is a simple Euclidean Jordan triple system, obtained by restricting the triple system on ''E'' to ''F''.  Koecher exhibits explicit involutions of simple Euclidean Jordan algebras directly (see below). These Jordan triple systems correspond to irreducible Hermitian symmetric spaces given by Siegel domains of the second kind. In Cartan's listing, their compact duals are SU(''p'' + ''q'')/S(U(''p'') × U(''q'')) with ''p'' ≠ ''q'' (AIII), SO(2''n'')/U(''n'') with ''n'' odd (DIII) and E<sub>6</sub>/SO(10) × U(1) (EIII).

'''Examples'''
*''F'' is the space of ''p'' by ''q'' matrices over '''R''' with ''p'' ≠ ''q''. In this case ''L''(''a'',''b'')''c''= ''ab''<sup>''t''</sup>''c'' + ''cb''<sup>''t''</sup>''a'' with inner product (''a'',''b'') = Tr ''ab''<sup>''t''</sup>. This is Koecher's construction for the involution on ''E'' = ''H''<sub>''p'' + ''q''</sub>('''R''') given by conjugating by the diagonal matrix with ''p'' digonal entries equal to 1 and ''q'' to −1.
*''F'' is the space of real skew-symmetric ''m'' by ''m'' matrices. In this case ''L''(''a'',''b'')''c'' = ''abc'' + ''cba'' with inner product (''a'',''b'') = −Tr ''ab''. After removing a factor of √(-1), this is Koecher's construction applied to complex conjugation on ''E'' = ''H''<sub>''n''</sub>('''C''').
*''F'' is the direct sum of two copies of the Cayley numbers, regarded as 1 by 2 matrices. This triple system is obtained by Koecher's construction for the canonical involution defined by any minimal idempotent in ''E'' = ''H''<sub>3</sub>('''O''').

The classification of Euclidean Jordan triple systems has been achieved by generalizing the methods of Jordan, von Neumann and Wigner, but the proofs are more involved.<ref>See:
*{{harvnb|Loos|1977}}
*{{harvnb|Neher|1979}}
*{{harvnb|Neher|1980}}
*{{harvnb|Neher|1981}}
*{{harvnb|Neher|1987}}
</ref> Prior differential geometric methods of {{harvtxt|Kobayashi|Nagano|1964}}, invoking a 3-graded Lie algebra, and of {{harvtxt|Loos|1971}}, {{harvtxt|Loos|1985}} lead to a more rapid classification.

==Notes==
{{reflist|3}}

== References ==

* {{citation|last=Albert|first= A. A.|title= On a certain algebra of quantum mechanics|journal= Annals of Mathematics|volume= 35|issue= 1|year=1934|pages=65–73|jstor=1968118|doi=10.2307/1968118}}
* {{citation|first=N.|last=Bourbaki|series=Éléments de Mathématique|title=Groupes et Algèbres de Lie (Chapitres 4,5 et 6)|publisher=Masson|year=1981|isbn=978-2225760761}}
* {{citation|title=Sur les groupes de transformations analytiques|first=Henri|last= Cartan|publisher= Hermann|year= 1935|
series=Actualités scientifiques et industrielles}}
* {{citation|last=Clerc|first= J.|title= Représentation d'une algèbre de Jordan, polynômes invariants et harmoniques de Stiefel| journal= J. Reine Angew. Math.|volume= 1992|issue= 423|year= 1992|pages= 47–71|url=http://www.degruyter.com/view/j/crll.1992.issue-423/crll.1992.423.47/crll.1992.423.47.xml|doi=10.1515/crll.1992.423.47|s2cid= 117144267}}
* {{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= 978-0198534778}}
* {{citation|first=G. B.|last=Folland|title=Harmonic analysis in phase space|series=Annals of Mathematics Studies|volume=122|year=1989|publisher=Princeton University Press|isbn=9780691085289}}
* {{citation|last=Freudenthal|first=Hans|title=Oktaven, Ausnahmegruppen und Oktavengeometrie|year=1951|
publisher= Mathematisch Instituut der Rijksuniversiteit te Utrecht}}
* {{citation|last=Freudenthal|first=Hans|title=Oktaven, Ausnahmegruppen und Oktavengeometrie|journal= Geom. Dedicata|volume=19|year=1985|
pages=7–63|doi=10.1007/bf00233101|s2cid=121496094 }} (reprint of 1951 article)
* {{citation|last1=Hanche-Olsen|first1=Harald|last2= Størmer|first2= Erling|title= Jordan operator algebras|series= Monographs and Studies in Mathematics|volume= 21|publisher= Pitman|year= 1984|isbn=978-0273086192|url=http://www.math.ntnu.no/~hanche/joa/}}
* {{citation | last = Helgason|first = Sigurdur | authorlink=Sigurdur Helgason (mathematician)| title=Differential Geometry， Lie Groups, and Symmetric Spaces | publisher= Academic Press, New York| year=1978 | isbn = 978-0-12-338460-7  }}
* {{citation|last=Igusa|first=J.|title=Theta functions|series=Die Grundlehren der mathematischen Wissenschaften|volume= 194|publisher=Springer-Verlag|year=1972}}
* {{citation|last=Jacobson|first= N.|title= Structure and representations of Jordan algebras|series= American Mathematical Society Colloquium Publications|volume=39|publisher= American Mathematical Society|year= 1968}}
* {{citation|last1=Jordan|first1=P.|last2=von Neumann|first2= J.|last3= Wigner|first3= E.|title=On an algebraic generalization of the quantum mechanical formalism|journal=Annals of Mathematics|volume= 35|issue=1| year=1934|pages= 29–64|jstor=1968117|doi=10.2307/1968117}}
* {{citation|first1=Shoshichi|last1=Kobayashi|first2=Katsumi|last2=Nomizu|title=Foundations of Differential Geometry, Vol. I|publisher=Wiley Interscience|year=1963|isbn=978-0-470-49648-0|title-link=Foundations of Differential Geometry}}
* {{citation|last1=Kobayashi|first1= Shoshichi|last2= Nagano|first2= Tadashi|title=On filtered Lie algebras and geometric structures. I. |journal=J. Math. Mech.|volume= 13|year= 1964| pages=875–907}}
* {{citation|last=Koecher|first= M.|title=Imbedding of Jordan algebras into Lie algebras. I|journal= Amer. J. Math.|volume= 89|issue= 3|year= 1967|pages= 787–816|doi=10.2307/2373242|jstor= 2373242}}
* {{citation|last=Koecher|first= M.|title=Imbedding of Jordan algebras into Lie algebras. II|journal= Amer. J. Math.|volume= 90|issue= 2|year= 1968|pages= 476–510|doi=10.2307/2373540|jstor= 2373540}}
* {{citation|first=M.|last= Koecher|year=1969|title= An elementary approach to bounded symmetric domains|series= Lecture Notes|publisher=Rice University}}
* {{citation|title=The Minnesota Notes on Jordan Algebras and Their Applications|first=M.|last= Koecher|series=Lecture Notes in Mathematics|volume=1710|publisher=Springer|isbn=978-3540663607|year=1999}}
* {{citation|last=Koecher|first= M.|chapter=Jordan algebras and differential geometry|title= Actes du Congrès International des Mathématiciens (Nice, 1970), Tome I|pages= 279–283|publisher=Gauthier-Villars|year= 1971|chapter-url=http://www.mathunion.org/ICM/ICM1970.1/Main/icm1970.1.0279.0284.ocr.pdf}}
* {{citation|first=S.|last= Lang|title=SL<sub>2</sub>(R)|series=Graduate Texts in Mathematics|volume=105|publisher=Springer-Verlag|year=1985|isbn=978-0-387-96198-9}}
* {{citation|first=Ottmar|last= Loos|year=1975|title=Jordan pairs|series= Lecture Notes in Mathematics|volume=460|publisher= Springer-Verlag}}
* {{citation|last=Loos|first= Ottmar|title= A structure theory of Jordan pairs|journal= Bull. Amer. Math. Soc. |volume=80|year=1971|pages= 67–71|doi=10.1090/s0002-9904-1974-13355-0|doi-access=free}}
* {{citation|last=Loos|first=Ottmar|title=Bounded symmetric domains and Jordan pairs|series=Mathematical lectures|publisher=University of California, Irvine|year=1977|url=http://molle.fernuni-hagen.de/~loos/jordan/archive/irvine/irvine.pdf|url-status=dead|archiveurl=https://web.archive.org/web/20160303234008/http://molle.fernuni-hagen.de/~loos/jordan/archive/irvine/irvine.pdf|archivedate=2016-03-03}}
* {{citation|last=Loos|first= Ottmar|title= Charakterisierung symmetrischer R-Räume durch ihre Einheitsgitter|journal= Math. Z.|volume= 189 |issue= 2|year=1985|pages= 211–226|doi=10.1007/bf01175045|s2cid= 123075866}}
* {{citation|last=Macdonald|first= I. G.|title=Jordan algebras with three generators|journal=Proc. London Math. Soc.|volume= 10|year= 1960|pages=395–408|doi=10.1112/plms/s3-10.1.395 |url=http://plms.oxfordjournals.org/content/s3-10/1/395}}
* {{citation|last=Narasimhan|first=Raghavan|title=Several complex variables|series=Chicago Lectures in Mathematics|publisher= University of Chicago Press|year=1971|isbn=978-0-226-56817-1}}
* {{citation|last=Neher|first=Erhard|title=Cartan-Involutionen von halbeinfachen reellen Jordan-Tripelsystemen|journal= Math. Z. |volume=169|issue=3|year=1979|pages= 271–292|doi=10.1007/bf01214841|s2cid=121110465 }}
* {{citation|last= Neher|first= Erhard|title= Klassifikation der einfachen reellen speziellen Jordan-Tripelsysteme|journal=Manuscripta Math.|volume= 31|issue= 1–3|year=1980|pages= 197–215|doi=10.1007/bf01303274|s2cid= 120262881}}
* {{citation|last=Neher|first=Erhard |title=Klassifikation der einfachen reellen Ausnahme-Jordan-Tripelsysteme|journal= J. Reine Angew. Math. |volume=1981|issue=322 |year=1981|pages =145–169|doi=10.1515/crll.1981.322.145|s2cid=116996646 }}
* {{citation|last=Neher|first= Erhard|title= Jordan triple systems by the grid approach|series= Lecture Notes in Mathematics|volume= 1280|publisher= Springer-Verlag|year= 1987|isbn= 978-3540183624}}
* {{citation|last=Postnikov|first=M.|title= Lie groups and Lie algebras. Lectures in geometry. Semester V |publisher=[[Mir Publishers|Mir]]|year= 1986}}
* {{Rudin Walter Functional Analysis|edition=1}} <!-- {{sfn | Rudin | 1991 | p=}} -->
* {{citation| first1= T. A.| last1 = Springer| authorlink = T. A. Springer
 |first2= F. D.|last2= Veldkamp| year = 2000| title= Octonions, Jordan Algebras and Exceptional Groups| publisher  = [[Springer-Verlag]]| isbn = 978-3540663379}}, originally lecture notes from a course given in the [[University of Göttingen]] in 1962
* {{citation|last=Sugiura|first= Mitsuo|title=The conjugacy of maximal compact subgroups for orthogonal, unitary and unitary symplectic groups|journal=Sci. Papers College Gen. Ed. Univ. Tokyo|volume= 32| year=1982|pages=101–108}}
* {{citation|last=Wright|first= J. D. M.|title=Jordan C∗-algebras|journal= Michigan Math. J.|volume= 24|issue= 3|year=1977|pages= 291–302|doi=10.1307/mmj/1029001946|doi-access= free}}
* {{citation|last1=Zhevlakov|first1= K. A.|last2= Slinko|first2= A. M.|last3= Shestakov|first3= I. P.|last4= Shirshov|first4= A. I.| title=Rings that are nearly associative|series= Pure and Applied Mathematics|volume= 104|publisher=Academic Press|year= 1982|isbn= 978-0127798509}}

[[Category:Convex geometry]]
[[Category:Non-associative algebras]]
[[Category:Lie algebras]]
[[Category:Lie groups]]
[[Category:Several complex variables]]