Bases canoniques et applications
Given a principal ideal domain of characteristic zero, containing 1/2, and a two-cone of appropriate connectedness and dimension, we present a sufficient algebraic condition, in terms of Adams-Hilton models, for the Hopf algebra to be isomorphic with the universal enveloping algebra of some -free graded Lie algebra; as usual, stands for free part, for homology, and for the Moore loop space functor.
We investigate the relationship between the Gröbner-Shirshov bases in free associative algebras, free left modules and “double-free” left modules (that is, free modules over a free algebra). We first give Chibrikov’s Composition-Diamond lemma for modules and then we show that Kang-Lee’s Composition-Diamond lemma follows from it. We give the Gröbner-Shirshov bases for the following modules: the highest weight module over a Lie algebra , the Verma module over a Kac-Moody algebra, the Verma module...
We first discuss the construction by Pérez-Izquierdo and Shestakov of universal nonassociative enveloping algebras of Malcev algebras. We then describe recent results on explicit structure constants for the universal enveloping algebras (both nonassociative and alternative) of the 4-dimensional solvable Malcev algebra and the 5-dimensional nilpotent Malcev algebra. We include a proof (due to Shestakov) that the universal alternative enveloping algebra of the real 7-dimensional simple Malcev algebra...