SRAR loops with more than two commutators. (Q2425421)

Loops whose loop rings satisfy the right Bol identity \([(xy)z]y=x[(yz)y]\) are called SRAR loops. Until now only examples of such loops with a unique commutator/associator were known. In this paper the authors present constructions of SRAR loops having more than two commutators. Their main result which leads to the discovery of those new SRAR loops is the following: Let \(L\) be a (non-Moufang) Bol loop whose left nucleus \(N\) is an Abelian group and has index 2. Choose a fixed element \(u\notin N\), put \(L=N\cup Nu\) and define bijections \(\theta\colon N\to N\) and \(\varphi\colon N\to N\) by \(un=(n\theta)u\) and \(n\varphi=u(nu)\). If \(\theta=I\) or \(\varphi =R(u^2)\), then \(L\) is SRAR. This is used to construct examples of new SRAR loops where the left nucleus \(N\) is an elementary Abelian 2-group of order at least 8, \(\theta=I\), and \(\varphi\) is any nonidentity bijection on \(N\) such that \(\varphi^2=I\) and \(\varphi\) is not a right multiplication map. Another kind of examples has an Abelian group of exponent 4 (but not of exponent 2) for its left nucleus \(N\), \(u^2\) is any element of order 2 in \(N\), \(\varphi=R(u^2)\) and \(n\theta=n^{-1}\) for all \(n\in N\).