Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am trying to do an exercise(2.13) in Wildon and Erdmann's Intro to Lie Algebras and I'm stuck. The meat of the question is to show that under the following conditions

i. the center, $Z(I)=0$
ii. if $D:I\to I$ is a derivation, then $D= \mathrm{ad}~x$ for some $x\in I$

a lie algebra, $L$ is the direct sum of an ideal $I$ of L and the centraliser $B$ of $I$ in $L$. That is, I'm required to show that $L=I\oplus B$.

With the help of the Jacobi identity, I've been able to show that $B$ is an ideal of $L$. My difficulty is in showing the direct sum. I know I have to show that $B\cap I = \{0\}$ and every element in $L$ can be written as a sum of elements in $B$ and $L$.

share|cite|improve this question

$Z(I) = \{0\}$ is equivalent to the intersection of the centralizer of $I$ and $I$ being trivial. So $B \cap I = \{0\}$. Now let $y \in L$. By (ii) there exists $x \in I$ such that $\operatorname{ad} y\vert_I = \operatorname{ad} x\vert_I$. Then $y - x \in B$ since $[y-x, z] = [y,z] - [x,z] = 0$ for all $z \in I$. Thus $y = x + (y-x)$ with $x \in I$ and $y-x \in B$.

share|cite|improve this answer
can u explain your first sentence a bit. – May Oct 23 '12 at 17:56
Suppose $x \in B \cap I$. Then since $x \in B$, $[x,y] = 0$ for all $y \in I$. Since $x \in I$, this implies $x\in Z(I) = \{0\}$. So $B \cap I = \{0\}$. – Eric O. Korman Oct 23 '12 at 17:58

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.