The ground field $F$ is an algebraically closed fieldofzero characteristic, and ${\Bbb N}$ is theset of natural numbers. Let $L$ be a locally finite-dimensional (or {\em locally finite}, for brevity)Liealgebra. Assume for simplicity that $L$ has countable dimension. Then one can choose finite-dimensionalsubalgebras $L_i$ ($i\in{\Bbb N}$) of $L$ in such a way that $L_{i}\subset L_{i+1}$ for all $i$ and$L=\bigcup_{i\in{\Bbb N}}L_i$.The set $\{L_i\mid i\in{\Bbb N}\}$ is called a{\em local system} of $L$. Assumethat $L$ is simple. Then all $L_i$ can be chosen to be perfect (that is, $[L_i,L_i]=L_i$). We shall call suchlocal systems {\em perfect}. Let $S_i=S_i^1\oplus\ldots\oplus S_i^{n_i}$ be a Levi subalgebra of $L_i$, where$S_i^1,\ldots,S_i^{n_i}$ are simple components of $S_i$, and let $V_i^k$ be the standard $S_i^k$-module. Since$L_i$isperfect, for every $k$ there exists a unique irreducible $L_i$-module${\cal V}_i^k$ such that therestriction ${\cal V}_i^k{\downarrow} S_i^k$ is isomorphic to $V_i^k$. An embedding $L_i\to L_{i+1}$ is called{\em diagonal} if, for each $l$, any non-trivial composition factor of the restriction ${\calV}_{i+1}^l{\downarrow} L_i$ is isomorphic to ${\cal V}_i^k$ or its dual ${\cal V}_i^{k^*}$ for some $k$. Weprove that a simple locally finite Lie algebra $L$ can be embedded into a locally finite associative algebraif and only if there exists a perfect local system $\{L_i\}_{i\in{\Bbb N}}$ of $L$ such that allembeddings $L_i\to L_{i+1}$ are diagonal. Note that this result can be considered as a version of Ado's theoremfor simple locally finite Lie algebras. Let $V$ be a vector space. An element $x\in \frak{gl}(V)$ is called{\em finitary}if $\dim xV<\infty$. The finitary transformations of $V$ form an ideal $\frak{fgl}(V)$ of$\frak{gl}(V)$, and any subalgebra of $\frak{fgl}(V)$ is called a {\em finitary Lie algebra}. We classify allfinitary simple Lie algebras of countable dimension. It turns out that there are onlythree: $\frak{sl}_\infty(F)$, $\frak{so}_\infty(F)$, and $\frak{sp}_\infty(F)$. The author has classified allfinitary simple Lie algebras and will describe this in a subsequent paper.The analogous problem in grouptheory has been recently solved by J.I. Hall. He classified simple locally finite groups of finitary lineartransformations.

1991 Mathematics Subject Classification: 17B35, 17B65.