Left symmetric left distributive operations on a group. (Q2577752)

A groupoid is called left symmetric (left distributive, idempotent, medial) if it satisfies the identity \(x(xy)\approx y\) (\(x(yz)\approx(xy)(xz)\), \(xx\approx x\), \((xy)(uv)\approx(xu)(yv)\), respectively). Let LSLDI be the variety of all left symmetric left distributive idempotent groupoids and LSMI be the variety of all left symmetric medial idempotent groupoids. If \(G\) is a group and if we put \(a*b=ab^{-1}a\), then \(G(*)\) is called the core of \(G\). \textit{R. S. Pierce} [Osaka J. Math. 15, 51-76 (1978; Zbl 0395.20033)] proved that the variety LSLDI is generated by all \(G(*)\), \(G\) being a group, and \textit{D. Joyce} [J. Pure Appl. Algebra 23, 37-65 (1982; Zbl 0474.57003)] proved that LSMI is generated by all \(G(*)\), \(G\) being an Abelian group. The author describes normal forms of terms in the varieties of LSLD groupoids, LSLDM groupoids, LSLDI groupoids and LSLDMI groupoids, respectively. As a consequence, he obtains also the results of Pierce and Joyce mentioned.