N. C. Fiala
Semigroup, monoid and group models of groupoid identities

We prove that a finite quasigroup is isotopic to a group if and only if some set of bijections induced by middle transformations of this quasigroup is a group.