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? Apr 19, 2011 at 9:37
• (NB: direct sum of WHAT structures?) Apr 19, 2011 at 9:37
• Hello Darij: the centre ${\cal z}\left({\bf g}\right)$ is an ideal - the formatting should be clearer now: Apr 19, 2011 at 9:43
• Grand Charles, many thanx Apr 19, 2011 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. Apr 19, 2011 at 14:55