Algebras, hyperalgebras, nonassociative bialgebras and loops (Q861059)

Hyperalgebras (now called Sabinin algebras) were introduced by \textit{L.~V.~Sabinin} and \textit{P.~O.~Mikheev} in [Dokl. Akad. Nauk SSSR 297, No. 4, 801--804 (1987; Zbl 0659.53018)]. They correspond to smooth local loops in the same way as Lie algebras correspond to (local) Lie groups. \textit{I. P. Shestakov} and \textit{U. U. Umirbaev} in [J. Algebra 250, No. 2, 533--548 (2002; Zbl 0993.17002)] showed that the primitive elements of a nonassociative bialgebra form a Sabinin algebra. The author proves that all Sabinin algebras are obtained this way, constructing for every Sabinin algebra \(V\) a non-associative bialgebra \(U(V)\), which he calls the universal enveloping algebra of \(V\), such that \(V\) is the set of primitive element of \(U(V)\). For a Lie algebra the algebra \(U(V)\) is the classical universal enveloping algebra. Further special cases where this construction has been studied are Malcev algebras and Bol algebras [\textit{J. M. Pérez-Izquierdo} and \textit{I. P. Shestakov}, J. Algebra 272, No. 1, 379--393 (2004; Zbl 1077.17027)] respectively [\textit{J. M. Pérez-Izquierdo}, J. Algebra 284, No. 2, 480--493 (2005; Zbl 1065.17015)]. For a Sabinin algebra \(V\) the algebra \(U(V)\) has the structure of an H--bialgebra. H-bialgebras generalise Hopf algebras; the multiplication in an H-bialgebra is nonassociative, the comultiplication is coassociative and cocommutative. Furthermore, instead of the antipodal map of a Hopf algebra one has two bilinear maps which correspond to the left and to the right division.