Moufang quasigroups; Moufang loops; identities of Bol-Moufang type
We contrast the simple proof that a quasigroup which satisfies the Moufang identity $(x\cdot yz)x = xy\cdot zx$ is necessarily a loop (Moufang loop) with the remarkably involved prof that a quasigroup which satisfies the Moufang identity $(xy\cdot z)y=x(y\cdot zy)$ is likewise necessarily a Moufang loop and attempt to explain why the proofs are so different in complexity.
 Drápal A., Jedlička P.: On loop identities that can be obtained by nuclear identification. submitted.
 Fenyves F.: Extra loops II
. Publ. Math. Debrecen 16 (1969), 187-192. MR 0262409
 Izbash V.I., Shcherbacov V.A.: On quasigroups with Moufang identity
. Abstracts of third Internat. Conf. in memory of M.I. Karbapolov, Krasnoyarsk, August 1993 (in Russian), pp.134-135. Zbl 1027.20507
 Shcherbacov V.A., Izbash V.I.: On quasigroups with Moufang identity
. Bul. Acad. Stiinte Repub. Moldova Mat. 1998 2 109-116. MR 1788977
| Zbl 1027.20507