Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

Here's a statement and a proof given in a Lie Algebra course (in the tutorial):

Let $L$ be a semisimple Lie algebra over a field $F$ with $\text{char} F=0$. Let $x\in L$ be a semisimple element. Prove that $x$ is regular if and only $x$ is an element of exactly one CSA.

Proof (this is just one direction: "not regular $\Rightarrow$ belongs to more than one CSA". The other direction is clear)

Suppose $x$ is not regular. So, $C_L(x)$ is not a maximal toral subalgebra of $L$. Using the adjoint representation, we can assume that $L$ is a matrix algebra with $x$ a diagonal matrix. $C_L(x)$ properly contains a maximal toral subalgebra $H$ with $x \in H$.

Now, $C_L(x)$ is not abelian and therefore we can take some $y \in C_L(x) \setminus H$ with $L_0(\text{ad}y)$ minimal. This $L_0(\text{ady})$ is minimal Engel and therefore a CSA. It is not $H$ because $y \in L_0(\text{ad}y)\setminus H$. So $x$ is an element of two different CSAs.

My confusion:

  1. I don't understand the reasoning in "Now, $C_L(x)$ is not abelian and therefore we can take some $y \in C_L(x) \setminus H$ with $L_0(\text{ad}y)$ minimal". The problem is with the therefore part.
  2. I don't see where viewing $L$ as a matrix algebra helps in the proof given.
share|cite|improve this question

Your Answer


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

Browse other questions tagged or ask your own question.