Yet another proof of the Ado theorem
arXiv:1507.02233
Abstract
We give a simple proof of the Birkhoff theorem about existence of a faithful representation for any finite-dimensional nilpotent Lie algebra of characteristic zero.
v5: added two footnotes indicating some minor inaccuracies in proofs (all the results and the general scheme of reasoning remain valid)