A variety of Steiner loops satisfying Moufang's theorem: A solution to Rajah's Problem

Aleš Drápal, Petr Vojtěchovský

A loop $X$ is said to satisfy Moufang's theorem if for every $x,y,z\in X$ such that $x(yz)=(xy)z$ the subloop generated by $x$, $y$, $z$ is a group. We prove that the variety $V$ o…