Loops and Semidirect Products

Oliver Jones, Michael K. Kinyon

A \emph{loop} $(B,\cdot )$ is a set $B$ together with a binary operation $\cdot$ such that (i) for each $a\in B$, the left and right translation mappings $L_{a}:B\to B: x \mapsto a\…