Questions tagged [lie-algebras]

For questions about Lie algebras, an algebraic structure whose main use is in studying geometric objects such as Lie groups and differentiable manifolds.

In mathematics, a Lie algebra is an algebraic structure whose main use is in studying geometric objects such as Lie groups and differentiable manifolds. Lie algebras were introduced to study the concept of infinitesimal transformations. The term “Lie algebra” (after Sophus Lie) was introduced by Hermann Weyl in the 1930s. In older texts, the name “infinitesimal group” is used.

Concretely, a Lie algebra $\mathfrak{g}$ over a field $\mathbf{k}$ is a $\mathbf{k}$-vector space equipped with an alternating bilinear multiplication $[{-}\,{-}]\colon \mathfrak{g} \wedge \mathfrak{g} \to \mathfrak{g}$ called the Lie bracket that satisfies the Jacobi identity:

$$\big[x\,[y\,z]\big] + \big[z\,[x\,y]\big] + \big[y\,[z\,x]\big] = 0$$

Examples

  • $\mathbb{R}^3$ endowed with the cross product forms a Lie algebra.

  • For any any associative algebra $A$ with multiplication $\cdot$, you can define a Lie bracket on $A$ as a literal commutator between two elements, $[v\,w]= v\cdot w-w\cdot v\,,$ making $A$ into a Lie algebra.

6730 questions
4
votes
1 answer

Lie algebra is associative iff the derived subalgebra is contained in the centre

Prove that a Lie algebra $\mathfrak g$ is associative iff the derived subalgebra of $\mathfrak g$ is contained in the centre of $\mathfrak g$, that is $\mathfrak g^{(1)} \subset c(\mathfrak g)$. So we have the derived sub algebra is in the centre…
simplicity
  • 3,694
4
votes
2 answers

Proving a Lie algebra is simple

Let L be a 3-dimensional vector space over k with basis x,y,z. Given L an anti-commutative algebra structure by setting $[x,y]=z,[y,z]=x,[z,x]=y$ Prove that L is a simple Lie algebra. So L is simple if 0 or L are the only ideals of L. So assume,…
3
votes
1 answer

Lie algebras and integral curves

I am trying to understand the proof of the following which comes from "Matrix Groups for Undergraduates" by Kristopher Tapp. Let $G \subset GL_n(\mathbb K)$ be a matrix group with Lie algebra $\mathfrak g \subset gl_n(\mathbb K)$. Then for all $X…
user782220
  • 3,195
3
votes
2 answers

What about Lie algebras over commutative rings?

It is just like the associative algebra over commutative ring (advanced linear algebra). It is a natural extension and can make the structure of Lie algebra more algebraic, but I find little book discussing this topic. Does somebody know something…
Strongart
  • 4,767
3
votes
1 answer

Root Space Decomp

I am reading Humphrey's intro to Lie algebra, self-teaching, and have a few questions regarding root space decomp. 1) If I understand this correctly, the toral sub algebra of L represents all semisimple adj reps of L. These are simultaneously…
dylan7
  • 1,226
3
votes
1 answer

Is it true if $[LL] = L$ then $L$ is a semisimple Lie algebra?

Let $L$ be a finite dimensional Lie algebra over $\mathbb{C}$. It is classical theorem that if $L$ is semisimple, then $[LL] = L$. Is it true if $[LL] = L$ then $L$ is a semisimple Lie algebra? I've been looking for counterexamples, but didn't find…
mez
  • 10,497
3
votes
1 answer

The universal enveloping algebra of the trivial lie algebra

Given a commutative ring $k$ and a $k$-lie algebra $g$, I need to prove that the universal enveloping algebra $\mathcal{U}\left(g\right)=k\iff g=\left\{ 0\right\}$. One direction is very easy: If $g=\left\{ 0\right\}$ then through the construction…
IBS
  • 4,155
3
votes
0 answers

Universal enveloping algebra of $\mathfrak{sl}_2$

I need prove that any element of $U(\mathfrak{sl}_2)$ can be represented by linear combination of elements $e^i h^j C^k$, where $C=ef+fe+\dfrac{h^2}{2}$. $e=\begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}, \ \ h = \begin{pmatrix} 1 & 0 \\ 0 & -1 …
Alex-omsk
  • 338
3
votes
1 answer

Why are these algebras non-isomorphic?

I am trying to classificate 3-dimensional complex Lie algebras, and this is the first place where i got stuck. Consider a 3-dimensional vector space with basis {$x$, $y$, $z$}. Now i have managed to find these 3 algebras: $$1).[y,z]=y \ , [x,z]=-x…
Elensil
  • 1,133
3
votes
0 answers

How to classify all $\theta$-stable Cartan sub algebras?

Let $G$ be a linear connected semisimple Lie group, $\mathfrak g$ its Lie algebra. With respect to the Cartan involution $$ \theta:X\mapsto -\overline{X}^t, $$ one has $\mathfrak{g}=\mathfrak{k}\oplus \mathfrak{p}$. Let $\mathfrak{a}$ be a maximal…
3
votes
1 answer

Invariant Non degenerate symmetric bilinear forms on semisimple lie algebras?

We know every finite-dimensional semisimple lie algebra can be written as direct sum of simple lie algebras. Also, everybody knows all invariant symmetric bilinear and non degenerate forms on simple lie algebra is rescaling of killing form. Is it…
Ramand
  • 933
3
votes
1 answer

Infinite dimensional $sl(2,\mathbb{C})$-modules

Let $\alpha$ be an arbitrary scalar in $\mathbb{C}$ and let $V(\alpha)$ be an infinite dimensional $\mathbb{C}$-vector space (with a countable basis). The formulas $h.v_i=(\alpha -2i).v_i$, $f.v_i=(i+1).v_{i+1}$ and $e.vi=(\alpha-i+1).v_{i-1}$…
3
votes
1 answer

How to calculate the Casimir operator of a Lie algebra?

Given a Lie group algebra with generators $ X_{i} $ how can I calculate the Casimir generator $ H= X_{i}X^{i} $? If possible with two examples please The generator of translation in 2 dimensions $ P_{i} $ i=x,y with commutation relations…
Jose Garcia
  • 8,506
3
votes
0 answers

Nilpotency of Lie algebra from structure constants

Consider a given set of structure constants $c_{ij}^k$ defining a (finite dimensional) Lie algebra $\mathfrak{L}$, i.e. $$[e_i,e_j] = \sum_{k=1}^N c_{i,j}^k \, e_k \qquad i,j=1,\ldots,N$$ with $N$ denoting the dimension of $\mathfrak{L}$. In terms…
user71769
  • 354
3
votes
2 answers

Conjugate of Lie subalgebra

What does it mean that "all Cartan subalgebras of a semisimple Lie algebra are conjugates"? I know this refers to adjoint action but I don't know exactly what it means. The most obvious definition to me is that if $\mathfrak{h}_1$ and…