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
0
votes
1 answer

Enveloping algebra of a Lie algebra

Let $U(L)$ be the enveloping algebra of a Lie algebra $L$. How can I prove that $U(L)$ hasn't zero divisiors (e.g. if $xy=0$, $x,y \in U(L)$ then $x=0$ or $y=0$)?
ArthurStuart
  • 4,932
0
votes
1 answer

How to verify the Jacobi identity for the semidirect product Lie algebra

I've been trying to check the claim that the vector space direct sum $L \oplus D$ is a Lie algebra, and I'm having a lot of trouble with verifying the Jacobi identity. It's defined where $L$ is a Lie algebra and $D$ is a subalgebra of Der(L) with…
0
votes
1 answer

Why does Lie algebras constructed by generators and relations are usually infinite dimensional?

I am reading Humphrey's book on Lie algebras and now the construction of Lie algebras by generators and relations was just presented. We simply get a set $X= \{\hat x_i, \hat y_i, \hat h_i: 1\leq i \leq l\}$ and a subset $R$ of the free lie algebra…
user2345678
  • 2,885
0
votes
0 answers

basis of ideal in construction of universal enveloping algebra

Let $L$ be a Lie algeba over $\mathbb{C}$. It is well known that the universal enveloping algebra of $L$ is defined to be $T(L)/J$ where $T(L)$ is the tensor algebra of $L$ and $J$ is its ideal generated by $v\otimes w-w\otimes v-[v,w]$ for $v,w\in…
Beginner
  • 10,836
0
votes
1 answer

Differences between a Cartan subalgebra and a Levi subalgebra?

Let $\mathfrak{h}$ be a Cartan subalgebra and $\mathfrak{l}$ be a Levi subalgebra of $\mathfrak{gl_n}$, where $\mathfrak{h}$ and $\mathfrak{l}$ are both semisimple subalgebras. This is a simple question but I am not sure how to answer this for…
0
votes
1 answer

Lie algebra of $SL_n(\mathbb{K})$ group

I've started Lie algebras course this semester, so I already have some questions. Well, I need to find a $Lie(SL_n(\mathbb{K}))$ (Lie algebra). Field $\mathbb{K}$ is algebraically closed and $char( \mathbb{K})=0$. Teacher gave me next piece of…
0
votes
0 answers

How to check a Lie algebra homomorphism

Let $L$ be a Lie algebra and $A$ be its subalgebra. Let consider $h : A \to Der(L)$ defined by $h(a)(l)=[l,a]$ then how to show that $h$ is Lie algebra homomorphism? According to the definition of Lie algebras homomorphisms $h$ must satisfies $…
Nil
  • 1,306
0
votes
2 answers

The center of the nilradical

Let $L$ be a Lie algebra and Let $R$ be the radical and $N$ be the nilradical of $R$. Let $Z$ be the center of $N$. Is $Z$ an ideal of $L$?
Ronald
  • 4,121
0
votes
1 answer

Definition of nilpotent Lie algebra

Here is the definition of a nilpotent Lie algebra given in Serre's book Lie Groups and Lie Algebras. If $\mathfrak h$ is a Lie algebra, the center of $\mathfrak h$ is defined to be the set of $X \in \mathfrak h$ such that $[X,Y] = 0$ for all $Y \in…
D_S
  • 33,891
0
votes
1 answer

How can I find a Chevalley basis of $B_2$ in the matrix realization of this group?

As is known, $B_2$ can be realized as linear Lie algebra of elements of the form $x= \begin{pmatrix} 0 & b_1 & b_2 \\ c_1 & m & n \\ c_2 & p & q \end{pmatrix}$, where $c_1=-b_2^t$, $c_2=-b_1^t$, $q=-m^t$, $n^t=-n$, $p^t=-p$. My problem is,…
ShinyaSakai
  • 7,846
0
votes
1 answer

Example of Leibniz algebra that is not a Lie algebra.

I need an example of Leibniz algebra that is not a Lie algebra. I found the following example but it seems that is not true: $L $ is a $k $-vector space and { $e_1,e_2 $} a basis and the billinear form is defined as…
0
votes
1 answer

Properties of Lie brackets

I'm doing some proofs connected with Lie algebra. And now for the second time I get something like this: let $\mathfrak{g}$ be a Lie algebra. Then $[0, y] = [y, 0] =0$ $\forall y \in \mathfrak{g}$. I wonder why?
Hendrra
  • 2,868
  • 1
  • 18
  • 35
0
votes
0 answers

compact simple factors vs compact ideals

Let $\mathfrak{g}$ be a real semisimple Lie algebra. Then there are simple ideals $\mathfrak{g}_1,\ldots,\mathfrak{g}_n \subseteq \mathfrak{g}$, unique up to order, such that $$ \mathfrak{g} = \mathfrak{g}_1 \oplus \ldots \oplus…
abenthy
  • 903
0
votes
0 answers

Why for a lie algebra L is $\frac{L^{k}}{L^{k+1}}$ contained in $ Z(L/L^{k+1})$, where $L^{k}$ is the k-th term of the lower central series?

According to Erdmann and Wilson, pg.31, the lower central series of a Lie algebra $L$ is defined as: $$L^{1} = [L,L] \quad L^{k} = [L,L^{k-1}]$$ They then claim that $\frac{L^{k}}{L^{k+1}}$ is contained in $Z\big(\frac{L}{L^{k+1}}\big)$. Why is…
0
votes
1 answer

The endomorphism induced on a quotient-space

I am currently reading J-P Serre's book: Complex Semisimple Lie Algebras. On page 12 we have the following: Theorem 1: Let $g$ be a Lie algebra. If $x$ is regular, the nilspace of $ad_x$ is a Cartan subalgebra of $g$, and its dimension is equal to…
Matt
  • 3,296