Left inverse property loop

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\mathrm{\forall }a\in L$