Alternativity
Template:Short description Template:Distinguish {{safesubst:#invoke:Unsubst||date=__DATE__|$B= Template:Ambox }} Template:One source In abstract algebra, alternativity is a property of a binary operation. A magma Template:Mvar is said to be Template:Visible anchor if <math>(xx)y = x(xy)</math> for all <math>x, y \in G</math> and Template:Visible anchor if <math>y(xx) = (yx)x</math> for all <math>x, y \in G</math>. A magma that is both left and right alternative is said to be Template:Visible anchor (Template:Visible anchor).<ref>Template:Citation.</ref>
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.
ExamplesEdit
Examples of alternative algebras include:
- Any Semigroup is associative and therefore alternative.
- Moufang loops are alternative and flexible but not associative. See Template:Section link for more examples.
- Octonion multiplication is alternative and flexible.
- More generally Cayley-Dickson algebra over a commutative ring is alternative.