This paper introduces the Higman-Neumann-Neumann extension (HNN extension; for short) for Nijenhuis Lie algebras and provides an embedding theorem. To this end, we employ the theory of Gr\"obner-Shirshov basis for Lie { \Omega}-algebras in order to find a normal form for our construction. Then we show that every Nijenhuis Lie algebra embeds into its HNN-extension. Nijenhuis Lie algebras, Gr\"obner-Shirshov basis, HNN extension
Categories: math.RA