# Ado's Theorem Proof

Could someone please tell me what I am missing in the following argument. Either my understanding of the exact statement of Ado's theorem is wrong, or there is a flaw in my argument below.

For a finite dimensional Lie algebra ${\bf g}$ consider the adjoint representation $\phi:{\bf g}\rightarrow {\bf gl}\left({\bf g}\right); \phi\left(X\right)={\bf ad}_X$. We have $\ker\left(\phi\right)={\cal z}\left({\bf g}\right)$ the centre of ${\bf g}$, so we can think of ${\bf g}$ as the direct sum $\left({\bf g} / {\cal z}\left({\bf g}\right)\right) \bigoplus {\cal z}\left({\bf g}\right)$ of the matrix Lie algebra of little ad matrices and the centre ${\cal z}\left({\bf g}\right)$. But then, suppose the centre is m-dimensional; since Abelian it can be represented as the algebra of $m\times m$ diagonal matrices. So the whole Lie algebra can be realised as the algebra of block-diagonal matrices of the form:

$\left(\begin{array}{cc}{\bf ad}_X & {\bf 0} \\\\ {\bf 0} & {\bf \Lambda}\end{array}\right)$

where ${\bf \Lambda}$ is an $m\times m$ diagonal matrix.

• Why can we think of $\mathbf g$ as a direct sum? – darij grinberg Apr 19 '11 at 9:37
• (NB: direct sum of WHAT structures?) – darij grinberg Apr 19 '11 at 9:37
• Hello Darij: the centre ${\cal z}\left({\bf g}\right)$ is an ideal - the formatting should be clearer now: – Selene Routley Apr 19 '11 at 9:43
• Grand Charles, many thanx – Selene Routley Apr 19 '11 at 9:47
• Incidentally, a proof (in characteristic $0$) of Ado's theorem is available in the Lie Theory lecture notes on my website: math.berkeley.edu/~theojf/LieQuantumGroups.pdf . From start to finish, the proof is basically Chapter 4. The main inputs are the Zassenhaus extension lemma (which lets you build modules (with good control of what acts nilpotently) of a large Lie algebra from modules of pieces of the Lie algebra) and Levi's theorem, which breaks every Lie algebra as a semidirect product of a solvable part and a semisimple, and hence is a better version of your block decomposition. – Theo Johnson-Freyd Apr 19 '11 at 14:55