In abstract algebra, an algebra (or more generally a magma) is called alternative if the subalgebra generated by any two of its elements is associative.
An equivalent definition is to require, for all x and y in an algebra A, that x(xy) = (xx)y and (xy)y = x(yy). The equivalence of the two definitions is known as Artin's Theorem.
For any two elements x and y in an alternative algebra another simple identity holds: (xy)x = x(yx).
Alternativity is a condition in-between associativity and power associativity.