The existence of Buchsteiner and conjugacy-closed quasigroups. (Q1024336)

The author shows that a quasigroup which satisfies the Buchsteiner law is necessarily a loop, but proper quasigroups of all prime power orders exist which satisfy the left conjugacy-closed condition \([(xy)/x]z=x.y(x\backslash z)\) for loops. However, this condition does not ensure that the set of left multiplication mappings for a quasigroup is closed under conjugacy unless the quasigroup has a universal right identity. He also determines in terms of autotopisms the consequence for a quasigroup of Bol-Moufang type of having an inverse property.