4
$\begingroup$

Let $\mathfrak{g}$ be a Lie algebra. Is Cartan subalgebra of $\mathfrak{g}$ unique? I see in some places it is written "Let $\mathfrak{h}$ be a Cartan subalgebra of $\mathfrak{g}$".

  • 0
    You are right, it is not unique2012-04-21
  • 0
    Why it is unique? It seems that $\mathfrak{g}$ is just all diagonal matrices in $\mathfrak{g}$.2012-04-21
  • 0
    Does my example make sense?2012-04-21
  • 2
    Cartan subalgebra is unique up to the adjoint action of the corresponding group $G$.2012-04-21

3 Answers 3

4

Here is an example. If $\mathfrak{g} = \mathfrak{sl}_2(\mathbb{R})$, then both of $$ \mathfrak{h}_1 = \mathbb{R}\begin{bmatrix}1 & 0 \\ 0 & -1 \end{bmatrix} \quad , \quad \mathfrak{h}_2 = \mathbb{R}\begin{bmatrix}0 & -1 \\ 1 & 0 \end{bmatrix} $$ are Cartan subalgebras.

Add: To add a bit more detail: It isn't too difficult to check that both of these subalgebras are (1) nilpotent and (2) they are both equal to their own normalizers in $\mathfrak{g}$.

  • 0
    I know this is a bit late, but to see that the above Cartan subalgebras are nilpotent, shouldn't the determinant of each of the matrices equal zero? But they are not. (I'm just checking the details you have suggested above.)2012-06-28
  • 2
    @math-visitor: There is something called a nilpotent matrix (http://en.wikipedia.org/wiki/Nilpotent_matrix). Here indeed you need the determinant to be zero. However, here we are talking about nilpotent Lie algebras: http://en.wikipedia.org/wiki/Nilpotent_Lie_algebra. Note for this that all the commutators are zero.2012-06-28
  • 0
    Great, thanks! =)2012-06-28
3

You can think in terms of the Lie group, any element is in a maximal torus and any two maximal torus are conjugate to each other. For simple-connected Lie groups the maximal torus correspond to the Cartan subalgebra. So one should expect many different copies of Cartan subalgebra in the Lie algebra. But they are all isomorphic.

  • 0
    "any element is in a maximal torus"—only if you have a *compact* Lie group. (Why do you restrict to simply connected to establish a bijection between maximal tori and CSA's? I only know about linear Lie groups, but there neither the Lie algebra, nor the collection of tori, sees the fundamental group—although of course individual tori do.)2016-09-28
0

No, Cartan algebra of a Lie algebra may not be unique. But any two Cartan algebras are conjugate to each other.