Alternative loop

This is a variation of group|Find other variations of group | Read a survey article on varying group
This article defines a property that can be evaluated for a magma, and is invariant under isomorphisms of magmas.
View other such properties

Definition

Symbol-free definition

An alternative loop is an algebra loop that is also an alternative magma.

Definition with symbols

An alternative loop is an algebra loop $(L,*)$ satisfying the following two conditions:

• $\! x * (x * y) = (x * x) * y \ \forall \ x,y \in L$.
• $\! x * (y * y) = (x * y) * y \ \forall \ x,y \in L$.