New closure conditions and some problems in loop theory

Loops, quasigroups (20N05) Other topological algebraic systems and their representations (22A30) Configuration theorems in linear incidence geometry (51A20) Algebraization in linear incidence geometry (51A25) Differential geometry of webs (53A60)

Review text

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.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: New closure conditions and some problems in loop theory

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