Left Bol magma
This article defines a property that can be evaluated for a magma, and is invariant under isomorphisms of magmas.
View other such properties
Definition
A magma is termed a left Bol magma if it satisfies the following identity for all :
Failed to parse (syntax error): {\displaystyle \! x & (y * (x * z)) = (x * (y * x)) * z}
Typically, the left Bol identity is studied in the context of algebra loops. Such loops are termed left Bol loops. However, some of the properties studied for left Bol loops generalize to left Bol magmas with neutral element.