45e28132437bfd62.tex
1: \begin{definition}\label{def:CD}
2:  Let $J$ be a Jordan algebra with $Q$ a Jordan norm of degree~$4$ with trace $T$.
3: Consider the $k$\dash linear bijection $\theta$ on $J$ given by
4: \[ b^\theta=-b+\tfrac{1}{2}T(b,1)1,  \]
5: for all $b\in J$; observe that $\theta^2 = 1$.
6: 
7: Let $\mu \in k^*$, and define the algebra $\CD(J, Q,\mu) := J\oplus s_0 J$,
8: with multiplication and involution given by
9: \begin{align*}
10:     (j_1 + s_0j_2)(j_3 + s_0j_4) &= j_1j_3 + \mu{(j_2j_4^{\theta})}^{\theta} + s_0 \bigl( j_1^\theta j_4 + (j_2^\theta j_3^\theta)^\theta \bigr), \\
11: 	\overline{j_1+s_0j_2} &= j_1-s_0j_2^\theta,
12: \end{align*}
13: for all $j_1,j_2,j_3,j_4\in J$. By \cite[Theorem 6.6]{AF84}, this is a simple structurable algebra with skew-dimension one and $\Ss=ks_0$.
14: \end{definition}
15: