When is the commutant of a Bol loop a subloop?

Michael K. Kinyon, J. D. Phillips, Petr Vojtěchovský

A left Bol loop is a loop satisfying $x(y(xz))=(x(yx))z$. The commutant of a loop is the set of elements which commute with all elements of the loop. In a finite Bol loop of odd…