Left inverse property loop

From Groupprops
(Redirected from Left-inverse property loop)
Jump to: navigation, search
This article defines a property that can be evaluated for a loop.
View other properties of loops

Definition

A loop (L,*) is termed a left-inverse property loop or LIP-loop or left-inverse loop if there exists a bijection \lambda:L \to L such that:

\! \lambda(a) * (a * b) = b \ \forall \ a \in L