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
9
votes
3 answers

How do we define the Lie bracket on the complexification $\mathfrak{g} \otimes_\Bbb{R} \Bbb{C}$?

I already know how to do the complexification of a real Lie algebra $\mathfrak{g}$ by the usual process of taking $\mathfrak{g}_\Bbb{C}$ to be $\mathfrak{g} \oplus i\mathfrak{g}$. Now suppose I take the approach of trying to complexify things using…
user38268
9
votes
1 answer

How to find a Cartan subalgebra of $so(3)$.

Let $so(3)$ be the Lie algebra given by $$ so(3) = \{X \in \text{Mat}_{3 \times 3}: X^T = - X \}. $$ Here $\text{Mat}_{3 \times 3}$ is the set of all $3 \times 3$ matrices and $X^T$ is the transpose of $X$. How to find a Cartan subalgebra of…
LJR
  • 14,520
8
votes
1 answer

Three-dimensional simple Lie algebras over the rationals

Let $\mathfrak g$ be a three-dimensional $\mathbf Q$-vectorspace endowed with the structure of a simple Lie algebra. How many non-isomorphic such $\mathfrak g$ are there? Over the complex numbers, the answer is 1, while over the reals there are two…
Hans
  • 407
8
votes
2 answers

Enveloping Algebra $U(L \oplus L')$

I'm having trouble understanding part of a proof of the following statement Let $L,L'$ be Lie algebras and $L \oplus L'$ their direct sum. Then $$ U(L \oplus L') \cong U(L) \otimes U(L')$$ Let $i_L : L \to U(L)$ denote the natural inclusion into…
Carl
  • 3,548
8
votes
1 answer

The codimension of a parabolic subalgebra of a semisimple Lie algebra

Given a complex semisimple Lie algebra $\mathfrak g$ and a subalgebra $\mathfrak h$. If we are given that the complex vector space $\mathfrak g/\mathfrak h$ has dimension $1$ over $\mathbb C$. Is $\mathfrak h$ a parabolic subalgebra. i.e., contains…
user328669
8
votes
1 answer

The Universal enveloping algebra of a finite dimensional Lie algebra is Noetherian.

If $\mathfrak{g}$ is a finite-dimensional Lie algebra, then it is very known that the Universal enveloping algebra $U(\mathfrak{g})$ of $\mathfrak{g}$ is a Noetherian ring. What is the simplest way to show this fact?
Binai
  • 1,365
8
votes
2 answers

perfect Lie algebra but not semisimple

Lie algebra $\mathfrak{g}$ is perfect if and only if $\mathfrak{g}=[\mathfrak{g},\mathfrak{g}]$. And we know semisimple Lie algebra must satisfy the $\mathfrak{g}=[\mathfrak{g},\mathfrak{g}]$ then it's perfect. What is the example of perfect Lie…
fff123123
  • 465
  • 2
  • 9
8
votes
2 answers

Solvable Engel Subalgebras

I am reading through Humphrey's Introduction to Lie Algebras and Representation Theory on my own and I am currently stumped by one of the exercises, namely Exercise 2 from Section 15. Let $L$ be a semisimple Lie algebra over an algebraically closed…
8
votes
3 answers

$\mathfrak{h}_1,\mathfrak{h}_2$ Cartan subalgebras with $\mathfrak{h}_1\cap\mathfrak{h}_2=0$

Let $\mathfrak{g}$ be a finite dimensional simple Lie Algebra over an algebraically closed field $K$. I'm having trouble to show that always exists Cartan subalgebras $\mathfrak{h}_1,\mathfrak{h}_2$ such that $\mathfrak{h}_1\cap\mathfrak{h}_2=0$. In…
Yuki
  • 1,167
  • 2
  • 10
  • 17
8
votes
1 answer

Isomorphism of an irreducible module of a certain Lie-algebra

While preparing for a test I found the next question which i cannot fully answer: Assume $k$ is an algebraically closed field, and $g_{1},g_{2}$ are $k$-Lie algebras and let $g=g_{1}\times g_{2}$. The first part of the question asks: If $V_{1},\,…
IBS
  • 4,155
7
votes
1 answer

Simplicity of $\operatorname{Der} \left(\mathbb F_p [x_1, \dots, x_n]/ (x_1^p,\dots, x_n^p )\right)$

I need to prove that the Lie algebra defined as: $W_{n} = \operatorname{Der} \left(\mathbb F_p [x_1, \dots, x_n ] / (x_1^p, \dots, x_n^p )\right)$, when $(x_1^p, \dots, x_n^p )$ is the ideal generated from the monomials $x_1^p, \dots, x_n^p$ and…
IBS
  • 4,155
7
votes
3 answers

Nelson's car and Lie bracket

I just read Stillwell's Naive Lie Theory, had a very basic understanding about Lie bracket, then I ran into Prof Edward Nelson's book Tensor Analysis, where from 32 to 36, it discussed how to drive a car with the help of Lie bracket. First, on page…
athos
  • 5,177
7
votes
1 answer

Semisimple complex Lie Algebra and decomposition into weight spaces.

So I was wondering why a semisimple complex Lie Algebra $L$ is a direct sum of its weight spaces. Given a Cartan Subalgebra of $H$ of $L$ then since $L$ is a semisimple complex Lie Algebra, then every element of ad(H) is semisimple (diagonalizable)…
7
votes
2 answers

Derived series of Lie algebra in reverse

Consider the first element in the derived series of a Lie algebra $L$, defined by $L^{(1)}:=[L,L]$. For a given Lie algebra $\tilde{L}$, is there always a Lie algebra $L$ such that $L^{(1)}=\tilde{L}$? If yes, how do I construct $L$?
user71769
  • 354
7
votes
0 answers

$x$ regular $\Leftrightarrow$ $x$ is in exactly one CSA

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…
Gils
  • 1,019
  • 8
  • 15
1
2
3
54 55