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.