Alternative loop

From Groupprops
Jump to: navigation, search
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.

Relation with other properties

Stronger properties

Weaker structures