Herm_n(H) Jordan algebra

For integers $n\geq1$ , The Herm_n(H) Jordan algebra is the $\mathbb R$ -vector space

\operatorname{Herm}_{n}(\mathbb H)=\{X\in M_{n}(\mathbb H):X^*=X\}, \qquad X\circ Y=\tfrac12(XY+YX),

with unit $I_{n}$ . Here $X^*=\overline X^T$ , using the standard conjugation of the coefficient algebra.

Coordinates and dimension

There are $n$ diagonal scalar coordinates and $n(n-1)/2$ independent coefficient-algebra entries. Thus the dimension over $\mathbb R$ is $n+4n(n-1)/2$ .

Jordan identity and range

The fixed subspace is closed under $X\circ Y$ , because $(XY)^*=Y^*X^*$ . Associativity of the ambient matrix algebra proves the Jordan identity, so the construction works in every positive size.