A Jordan algebraπ½ over π is commutative non-associative algebra with a symmetric bilinear product {β,β}:π½Γπ½βπ½ satisfying the Jordan identityfalg
The quintessential example is the Anticommutator of a K-monoid,
usually renormalized so that {π₯,π₯}=π₯2.
We denote the anticommutator algebra by π΄+ and the renormalized one as π΄+1/2.