Algebras, hyperalgebras, nonassociative bialgebras and loops (Q861059): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 15:03, 30 January 2024

scientific article
Language Label Description Also known as
English
Algebras, hyperalgebras, nonassociative bialgebras and loops
scientific article

    Statements

    Algebras, hyperalgebras, nonassociative bialgebras and loops (English)
    0 references
    9 January 2007
    0 references
    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.
    0 references
    nonassociative algebras
    0 references
    loops
    0 references
    Sabinin algebras
    0 references
    Hopf algebras
    0 references
    hyperalgebras
    0 references
    Poincaré-Birkhoff-Witt theorem
    0 references

    Identifiers