Finite Bruck Loops

Michael Aschbacher, Michael K. Kinyon, J. D. Phillips

A loop $(X,\circ )$ is said to be a Bruck loop if it satisfies the (right) Bol identity $((z\circ x)\circ y)\circ x=z\circ ((x\circ y)\circ x)$ and the automorphic inverse propert…