Abstract
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 of Steiner loops satisfying the identity \((xz)(((xy)z)(yz)) = ((xz)((xy)z))(yz)\) is not contained in the variety of Moufang loops, yet every loop in V satisfies Moufang’s theorem. This solves a problem posed by Andrew Rajah.
Similar content being viewed by others
References
Colbourn, C.J., Giuliani, M.D.L.M., Rosa, A., Stuhl, I.: Steiner loops satisfying Moufang’s theorem. Aust. J. Combin. 6(3), 170–181 (2015)
Colbourn, C.J., Rosa, A.: Triple Systems, Oxford Mathematical Monographs. Oxford University Press, New York (1999)
Drápal, A.: A simplified proof of Moufang’s theorem. Proc. Am. Math. Soc. 139(1), 93–98 (2011)
Moufang, R.: Zur Struktur von Alternativkörpern. Math. Ann. 110, 416–430 (1935)
Rasskazova, M.: Non-Moufang variety of Steiner loops satisfying Moufang’s theorem (preprint)
Stuhl, I.: Moufang’s theorem for non-Moufang loops. Aequ. Math. 90, 329–333 (2016)
Wikipedia.org: List of problems in loop theory and quasigroup theory
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Drápal, A., Vojtěchovský, P. A variety of Steiner loops satisfying Moufang’s theorem: a solution to Rajah’s Problem. Aequat. Math. 94, 97–101 (2020). https://doi.org/10.1007/s00010-019-00692-3
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00010-019-00692-3