Slid product of loops: a generalization. (Q480890)

The authors generalize their previous geometric construction [J. Geom. 100, No. 1-2, 129-145 (2011; Zbl 1237.20059)] of a slid product of loops for a general setting of abstract loops: the new loop \((L,\oplus)\) is constructed from a loop \((K,+)\), well ordered by \(\preceq\), and from a pair of loops \((P,+)\) and \((P,\widehat+)\) with the same neutral element. A key ingredient in the construction is so called permutation derivation of the loop \(K\): it is a representation of the loop using a regular permutation set; the loop \((K,+,0)\) can be reconstructed using \((K,\Gamma,0)\), where \(\Gamma\) is the set of the left translations composed with the right inversion map. The authors then straightforwardly generalize several results about the slid product and they analyze its nuclei and some of its normal subloops. At the end, a few examples are presented.