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

From MaRDI portal
scientific article
Language Label Description Also known as
English
A variety of Steiner loops satisfying Moufang's theorem: a solution to Rajah's problem
scientific article

    Statements

    A variety of Steiner loops satisfying Moufang's theorem: a solution to Rajah's problem (English)
    0 references
    0 references
    0 references
    18 February 2020
    0 references
    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.
    0 references
    Moufang's theorem
    0 references
    Steiner loop
    0 references
    Steiner triple system
    0 references
    Pasch configuration
    0 references

    Identifiers