New closure conditions and some problems in loop theory (Q2639973): Difference between revisions

A loop Q is called an \(A_{\ell}\)-loop [A\({}_ r\)-loop] if for all x and y in Q the mappings \(\ell_{x,y}:=L^{-1}_{xy}L_ xL_ y\) \([r_{x,y}:=R^{-1}_{xy}R_ yR_ x]\) belong to Aut Q. The author proves that (i) every loop-isotope of an \(A_{\ell}\) \([A_ r]\)-loop is also an \(A_{\ell}\) \([A_ r]\)-loop if and only if Q is a group, (ii) if \(\ell_{x,x}\) belongs to Aut Q for all x in Q, then this is true also for all loop-isotopes of Q if and only if Q is a left [right] Bol-loop. Furthermore, an odule is defined as a real local analytic power- associative loop. An odule in which the ``geometricity identity'' \(\ell_{x,y}(y^ t)=(\ell_{x,y}(y))^ t\) holds for all real t, is shown to be a right Bol-loop if all its loop-isotopes have the same property. In proving these theorems the author makes ample use of web- geometric constructions.