Article
Keywords:
Moufang quasigroups; Moufang loops; identities of Bol-Moufang type
Summary:
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.
References:
[1] Drápal A., Jedlička P.: On loop identities that can be obtained by nuclear identification. submitted.
[3] Fenyves F.:
Extra loops II. Publ. Math. Debrecen 16 (1969), 187-192.
MR 0262409
[5] 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
[10] 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