Higman-Neumann-Neumann extension and embedding theorems for Leibniz algebras

Abstract

In this work we introduce the Higman-Neumann-Neumann (HNN)- extensions and the appropriate embedding theorems for dialgebras and Leibniz algebras. Due to the importance of the connection between the dialgebras and Leibniz algebras and the relationship between associative algebras and Lie algebras, we recall the theory of Groebner-Shirshov bases, and the Composition-Diamond Lemma in associative algebras and Lie algebras, as well as the theory of Groebner-Shirshov bases for dialgebras. As an application of the HNN-extensions of dialgebras and Leibniz algebras, we provide embedding theorems for dialgebras and Leibniz algebras, respectively: every dialgebra embeds inside its any HNN-extension and every Leibniz algebra embeds inside its any HNN-extension.