No label defined (Q4946586)

In a loop \(Q(\cdot)\) let \(x^{-1}\) and \(^{-1}x\) be, respectively, the right and left inverses of \(x\). The loop is called a K-loop if \((x\cdot yx^{-1})(xz)=x\cdot yz\) and \((yx)({^{-1}xz}\cdot x)=yz\cdot x\). If the map \(I\) taking \(x\) into \(x^{-1}\) is an automorphism, then the K-loop is called an IK-loop. The author proves that a K-loop generated by one element is solvable, in an IK-loop the center and the nucleus coincide, and every IK-loop is nilpotent. Examples of K-loops generated by one element are provided. In recent years, a good many papers have been published in which the name K-loop (called also Bruck-loop, Bol-Bruck-loop) has a completely different meaning from that in the paper under review. This situation is deplorable and could cause misunderstandings. It should be avoided in future publications.