# quadratic Jordan algebra

###### Definition 1.

Fix a commutative ring $R$ and an $R$-modules $J$ and a quadratic map $U:J\rightarrow\operatorname{End}_{R}J$. Then the triple $\langle J,U\rangle$ is a quadratic Jordan algebra if (denoting the evaluation of $U$ by $U_{x}$ for $x\in J$)

1. 1.

$U_{U_{a}b}=U_{a}U_{b}U_{a}$ for all $a,b\in J$.

2. 2.

The induced bilinear map $U_{a,b}:=U_{a+b}-U_{a}-U_{b}$$V_{a,b}$ on $J$ defined by $V_{a,b}x=U_{a,x}b$ which satisfies

 $U_{a}V_{b,a}=V_{a,b}U_{a}.$
3. 3.

If $R\subseteq K$ is a commutative ring extension of $R$ then the extension $J_{K}:=K\otimes_{R}J$ with the extension $U_{K}:=1_{K}\otimes U$, satisfies the first two axioms.

For a unital quadratic Jordan algebra we include the added assumption that there exist some $1\in J$ such that $U_{1}$ is the identity   endomorphism of $J$.

A common construction for Jordan algebras, so called special Jordan algebra, is by means of using a submodule of an associative algebra $A$ and defining the product as

 $a.b=\frac{1}{2}(ab+ba).$

The $1/2$ is optional (and avoided in the analogous Lie bracket definitions $[a,b]=ab-ba$), in characteristic 2 we can opt to remove it. The result is the usual special Jordan product is also the usual Lie bracket, $a.b=ab+ba=ab-ba=[a,b]$. So we can treat these algebras as Jordan or Lie algebras  .

However, the axioms of an abstract Jordan algebra are insufficient to conclude that every Jordan algebra is special (indeed exceptional Jordan algebras called Albert algebras of dimension    27 exist and are not special Jordan algebras.) So general Jordan algebra over characteristic 2 may have different structure than a Lie algebra of characteristic 2. To make these algebras manageable, McCrimmon appealed to the quadratic definition given above.

###### Proposition 2.

If $1/2\in K$ then a Jordan algebra over $K$ is a quadratic Jordan algebra where the quadratic map is given by $U_{a}=\{axa\}$ where $\{xyz\}$ is the Jordan triple product.

###### Definition 3.

A submodule $I$ of a quadratic Jordan algebra $J$ is an inner quadratic ideal, or simply an inner ideal if $U_{I}(J)\leq I$, that is $U_{i}(x)\in I$ for all $i\in I$, $x\in J$.

A submodule $I$ of a quadratic Jordan algebra $J$ is an outer quadratic ideal, or a outer ideal if $U_{J}(I)\leq I$, that is, $U_{x}(i)\in I$ for all $i\in I$, $x\in J$.

If the quadratic Jordan algebra is derived from a Jordan algebra then $U_{i}(x)=\{ixi\}$ So we are asking for $\{iJi\}\leq I$, and in a special Jordan algebra we can further express this as $iJi\leq I$.

## References

• 1 Jacobson, Nathan Structure Theory of Jordan Algebras, The University of Arkansas Lecture Notes in Mathematics, vol. 5, Fayetteville, 1981.
Title quadratic Jordan algebra QuadraticJordanAlgebra 2013-03-22 16:27:58 2013-03-22 16:27:58 Algeboy (12884) Algeboy (12884) 6 Algeboy (12884) Derivation msc 17C05 QuadraticMap2 quadratic Jordan algebra inner ideal outer ideal quadratic ideal