Alternative Algebra

Let denote an -algebra, so that is a vector space over and

(1)

(2)

Then is said to be alternative if, for all

(3)

(4)

Here, vector multiplication is assumed to be bilinear.

The associator is an alternating function, and the subalgebra generated by two elements is associative.