Problem with the definition of simple Lie algebra

530 Views Asked by At

I have the following definitions:

Simple Lie algebra: A Lie algebra $\mathfrak{g}$ is simple if it ha no non-trivial (i.e. $0$ or $\mathfrak{g}$ itself) ideals.

Semisimple Lie algebra: A Lie algebra $\mathfrak{g}$ is semisimple if it has no non-trivial (i.e. $0$) solvable ideals.

And the following result:

Claim: A Lie algebra $\mathfrak{g}$ is semisimple if, and only if it is (isomorphic to) the direct sum of simple Lie algebras.

Now I have a problem with this. Indeed let $\mathfrak{g} = \mathbb{C}\oplus \mathfrak{h}$ where $\mathfrak{h}$ is any simple Lie algebra. Then $\mathbb{C}$ is abelian (and thus solvable), and an ideal of $\mathfrak{g}$. At the same time it satisfies the definition of a simple Lie algebra, and so by the claim $\mathfrak{g}$ should be semisimple. Obviously there's something wrong. I think the problem is in the definition of "simple Lie algebra". Can anyone confirm that, or explain where I'm wrong/what I'm not seeing?

1

There are 1 best solutions below

0
On BEST ANSWER

A simple Lie algebra is a non-abelian Lie algebra whose only ideals are $0$ and itself, see http://en.wikipedia.org/wiki/Simple_Lie_algebra.
The Lie algebras $\mathfrak{g}=[\mathfrak{h},\mathfrak{h}]\oplus \mathfrak{h}=\mathbb{C}\oplus \mathfrak{h}$ are reductive with $1$-dimensional center, e.g., $\mathfrak{gl}_n(\mathbb{C})=\mathbb{C}\oplus \mathfrak{sl}_n(\mathbb{}C)$.