Loops with two-sided inverses constructed by a class of regular permutation sets

In this paper we present a technique for building a new loop starting from the loops (K,+), (P.+') and (P , +) fulfilling suitable conditions, generalizing the construction presented in Zizioli (J Geom 95(1–2) 173–186, 2009) where K=Z_2 or K=Z_3 and (P , +) is an abelian group. We investigate the dependence of the properties of the new loop on the corresponding properties of the initial ones (associativity, Bol condition, automorphic inverse property, Moufang condition), and we provide some examples.