Abstract:Mikheev, starting from a Moufang loop, constructed a groupoid and reported that this groupoid is in fact a group which, in an appropriate sense, is universal with respect to enveloping the Moufang loop. Later Grishkov and Zavarnitsine gave a complete proof of Mikheev's results. Here we give a direct and self-contained proof that Mikheev's groupoid is a group, in the process extending the result from Moufang loops to Bol loops.
Keywords: Bol loop, Moufang loop, autotopism group, group with triality
AMS Subject Classification: 20N05