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

DOI10.1007/S00010-019-00692-3MaRDI QIDQ2297344zbMATH OpenOpenAlexWikidataFDO

Authors Aleš Drápal, Petr Vojtěchovský

Publication date 18 February 2020

Published in Aequationes Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2101.04000

zbMATH Keywords

Moufang's theoremPasch configurationSteiner loopSteiner triple system

Mathematics Subject Classification ID

Triple systems (05B07) Loops, quasigroups (20N05)

Abstract: A loop $X$ is said to satisfy Moufang's theorem if for every $x,y,zinX$ 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.

Review text

A variety of loops is said to satisfy Moufang's theorem if, for every loop \(Q\) in the variety, the following assertion holds: The subloop generated by three elements \(x,y,z\in Q\) satisfying that \(x(yz) = (xy)z\) is always a loop. This short note deals with the problem concerning the existence of non-Moufang loops satisfying Moufang's theorem. To this end, the authors focus on Steiner loops, which are loops satisfying both identities \(xy=yx\) and \(x(xy)=y\). More specifically, they prove that every Steiner loop satisfying the identity \((xz)(((xy)z)(yz)) = ((xz)((xy)z))(yz)\) satisfies Moufang's theorem and it is not contained in the variety of Moufang's loops.

Recommendations

• Steiner loops satisfying the statement of Moufang's theorem.
• A simplified proof of Moufang’s theorem
• Non-Moufang variety of Steiner loops satisfying Moufang's theorem
• Steiner loops satisfying Moufang's theorem
• The Moufang theorem for all analytic loops from a non-Moufang variety of loops

Cites work

• A simplified proof of Moufang’s theorem
• scientific article; zbMATH DE number 1314686 (Why is no real title available?)
• Moufang's theorem for non-Moufang loops
• Non-Moufang variety of Steiner loops satisfying Moufang's theorem
• Steiner loops satisfying Moufang's theorem
• Zur Struktur von Alternativkörpern

Cited in

(7)

• A generalization of Moufang and Steiner loops.
• Moufang's theorem for non-Moufang loops
• Steiner loops satisfying Moufang's theorem
• The Moufang theorem for all analytic loops from a non-Moufang variety of loops
• Steiner loops satisfying the statement of Moufang's theorem.
• Non-Moufang variety of Steiner loops satisfying Moufang's theorem
• Subdirect products and propagating equations with an application to the Moufang theorem

This page was built for publication: A variety of Steiner loops satisfying Moufang's theorem: a solution to Rajah's problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2297344)