Alternativity Explained

Alternativity should not be confused with Alternatization.

In abstract algebra, alternativity is a property of a binary operation. A magma is said to be if

for all and if for all . A magma that is both left and right alternative is said to be .^[1]

Any associative magma (that is, a semigroup) is alternative. More generally, a magma in which every pair of elements generates an associative submagma must be alternative. The converse, however, is not true, in contrast to the situation in alternative algebras.

Examples

Examples of algebraic structures with an alternative multiplication include:

• Any semigroup is associative and therefore alternative.
• Moufang loops are alternative and flexible but generally not associative. See for more examples.
• Octonion multiplication is alternative and flexible. The same is more generally true for any octonion algebra.
• Applying the Cayley-Dickson construction once to a commutative ring with a trivial involution

gives a commutative associative algebra. Applying it twice gives an associative algebra. Applying it three times gives an alternative algebra. Applying it four or more times gives an algebra that is typically not alternative (thought it is in characteristic two). An example is the sequence where is the algebra of quaternions, is the algebra of octonions, and is the algebras of sedenions.

See also

• Flexible algebra
• Power associativity

References

• Book: Schafer, Richard D. . Richard D. Schafer. 1995 . 1966 . An Introduction to Nonassociative Algebras . Dover . 0-486-68813-5 . 0145.25601 .

Notes and References

1. .