Half-isomorphisms whose inverses are also half-isomorphisms
Let (G,∗) and (G′,⋅) be groupoids. A bijection f:G→G′ is called a half-isomorphism if f(x∗y)∈{f(x)⋅f(y),f(y)⋅f(x)}, for any x,y∈G. A half-isomorphism of a groupoid onto itself is a half-automorphism. A half-isomorphism f is called special if f−1 is also a half-isomorphism. In this paper, necessary and sufficient conditions for the existence of special half-isomorphisms on groupoids and quasigroups are obtained. Furthermore, some examples of non-special half-automorphisms for loops of infinite order are provided.