Abstract

By Ados theorem every nite dimensional Lie algebra over a eld of characteristic zero has a faithful nite dimensional representation We consider the algorithmic problem of constructing such a representation for Lie algebras given by a multiplication table An eective version of Ados theorem is proved.