Loops as Invariant Sections in Groups, and their Geometry

We investigate left conjugacy closed loops which can be given by invariant sections in the group generated by their left translations. These loops are generalizations of the conjugacy closed loops introduced in [13] just as Bol loops generalize Moufang loops. The relations of these loops to common classes of loops are studied. For instance on a connected manifold we construct proper topological left conjugacy closed loops satisfying the left Bol condition but show that any differentiable such loop must be a group. We show that the configurational condition in the 3-net corresponding to an isotopy class of left conjugacy closed loops has the same importance in the geometry of 3-nets as the Reidemeister or the Bol condition.