Inverse property loop

This article defines a property that can be evaluated for a loop.
View other properties of loops

Definition

An algebra loop $(L,*)$ is termed an inverse property loop or inverse loop or IP-loop if, for there exist bijective maps $\lambda$ and $\rho$ on $L$ such that:

$a^{\lambda }*(a*b)=b\mathrm{\forall }a,b\in L$

and:

$(a*b)*b^{\rho }=a\mathrm{\forall }a,b\in L$

The map $\lambda$ is termed the left-inverse map and the map $\rho$ is termed the right-inverse map. These maps are unique.

Relation with other properties

Stronger properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
Group

Weaker properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
Left-inverse property loop	the left-inverse map exists
Right-inverse property loop	the right-inverse map exists