Conformal representations of Leibniz algebras

We study the embedding construction of Lie dialgebras (Leibniz algebras) into conformal algebras. This construction leads to the concept of a conformal representation of Leibniz algebras. We prove that each (finite-dimensional) Leibniz algebra possesses a faithful linear representation (of finite type). As a corollary we give a new proof of the Poincaré–Birkhoff–Witt theorem for Leibniz algebras.