Universal enveloping algebra of a pair of compatible Lie brackets

Abstract: Applying the Poincare-Birkhoff-Witt property and the Groebner-Shirshov bases technique, we find the linear basis of the associative universal enveloping algebra in the sense of V. Ginzburg and M. Kapranov of a pair of compatible Lie brackets. We state that the growth rate of this universal enveloping over $n$-dimensional compatible Lie algebra equals $n+1$.