Powers and alternative laws

Nicholas Ormes, Petr Vojtěchovský

A groupoid is alternative if it satisfies the alternative laws $x(xy)=(xx)y$ and $x(yy)=(xy)y$. These laws induce four partial maps on ${\mathbb{N}}^{+}\times {\mathbb{N}}^{+}$, $(r,\,s)\m…