Moufang's theorem for non-Moufang loops (Q284692)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Moufang's theorem for non-Moufang loops |
scientific article |
Statements
Moufang's theorem for non-Moufang loops (English)
0 references
18 May 2016
0 references
A Moufang loop \((L,\cdot)\) is a loop satisfying any (and hence all) of the identities: for all \(x,y,z\in L\), \[ xy\cdot zx= x(yz\cdot x),\;(xy\cdot x)z= x(y\cdot xz),\;(zx\cdot y)x= z(x\cdot yx). \] It is well-known that Moufang loops satisfy the following theorem, called Moufang theorem: In a Moufang loop \((L,\cdot)\), the subloop generated by the elements \(x,y,z\in L\) such that \(x\cdot yz= xy\cdot z\) is a group. The problem examined in this note aims at finding loops verifying the Moufang theorem which are not Moufang loops. The author presents a class of loops satisfying this requirement. Such class of loops is obtained in the context of Steiner triple systems (STS). It is known that Steiner triple systems are strictly related to a class of loops called Steiner loops. Here, the author focuses upon a particular Steiner loop (called Hall loop) arising from a special STS, namely from a Hall triple system, that is, an STS in which every three non-collinear points generate an affine plane over the field \(\mathrm{GF}(3)\). Such loops are neither groups nor Moufang loops. The result of the paper is that oriented Hall loops of exponent 4 satisfy the Moufang theorem.
0 references
oriented Steiner triple systems
0 references
oriented Hall triple systems
0 references
oriented Steiner loops
0 references
oriented Hall loops
0 references
Moufang's theorem
0 references
0 references