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
1
vote
1 answer

Eigenvalues of a Lie bracket

Let $V$ be a complex vector space. Suppose that $a,b \in gl(V )$ (the set of all linear maps from $V$ to $V$) satisfies $$[a,[a,b]] = [b,[a,b]] = 0.$$ how do I show that all eigenvalues of $[a,b]$ are zero?
Jack
  • 15
  • 2
1
vote
2 answers

What does $[\frac{\partial }{\partial x},y]$ look like?

I refer to the first page of this paper. It says that $[\frac{\partial }{\partial x},y]=0$, where $[]$ is the Lie bracket operation. How do we see this? Under the standard Lie bracket operation $[a,b]=ab-ba$, how would one expand $[\frac{\partial…
user67803
1
vote
1 answer

Why if $C(t)\equiv A(t)B(t)A^{-1}(t)B^{-1}(t)$ then $\dot C(0)=[M,N]$?

We know that the commutator of a lie algebra is defined as $$[M,N]=MN-NM.$$ I have seen On the relationship between the commutators of a Lie group and its Lie algebra. He has provided a proof for that. But I was reading the book Lie Algebras: Finite…
1
vote
1 answer

Frattini and nilpotency

suppose that $L$ is Lie(Leibniz) Algebra and $L^2$ is nilpotent.How to show that for any subalgebra $M$ of $L$, $\Phi(M)\subseteq \Phi(L)$? $\Phi(L)$ is frattini ideal. Thanks for help
pink floyd
  • 1,274
1
vote
1 answer

Only reductive Lie algebras have faithful irreducible representations

Theorem 19.1b of Humphreys' Introduction to Lie Algebras and Representation Theory states that if a complex Lie algebra has a finite-dimensional non-trivial (Update: faithful) irreducible representation, then it is reductive. Unfortunately, a proof…
evgeny
  • 3,781
1
vote
1 answer

decreasing central series for Leibniz algebra

In left Leibniz algebra we consider the decreasing series for Leibniz algebra $L$ as follows: $$L^2=[L,L],\cdots , L^{n+1}=[L,L^n]$$ in [this][1] article author claims that: $$[L^n,L]=[L,L^n]$$ I suspect that the above claim is wrong, I could…
pink floyd
  • 1,274
1
vote
1 answer

Lemma relating to Lie and Engel theorem

This is an important and well-known lemma used in proving the Lie and Engel theorem. But the proof I've written is much shorter and simpler than the usual one on this result, which involves extending the shared eigenspace of h to its completion. …
Steven Xu
  • 65
  • 7
1
vote
1 answer

Questions about proving Poincare-Birkhoff-Witt theorem

I am reading the book Introduction to Lie Algebras by Karin Erdmann and Mark J. Wildon. In a short chapter of universal enveloping Lie algebra, they shortly mentioned the PBW-basis without proving it. I wonder is there any comprehensive and detailed…
user368131
1
vote
1 answer

The root set of a simple complex lie algebra is closed under negation

Let $(\mathfrak{g},[,])$ be a finite dimensional simple complex Lie Algebra. Suppose that $\mathfrak{g}$ admits a Cartan subalgebra $\mathfrak{h}$, which (for me) is an abelian, self-centralizing, ad-semisimple Lie-subalgebra. Let $R$ denote the set…
m.s
  • 2,208
1
vote
1 answer

Classification of 3-dimensional Lie Algebra

I am reading the notes of Victor Kac (Introduction to Lie Algebras). After Cartan's theorem there is an application, the classification (up to isomorphism) of 3-dimentional Lie algebras. We use the Cartan's theorem to write $$ \mathfrak{g} =…
ned
  • 45
1
vote
0 answers

Universal enveloping algebra of sl(2)

This exercise is regarding universal enveloping algebra of $sl(2,F)$. Let $L=sl(2,F)$ with standard basis $\{x,y,h\}$. First to show that $1-x$ is not invertible in $U(L)$. That I proved. Let $I$ br a maximal left ideal in $U(L)$ which contains…
budi
  • 1,780
1
vote
0 answers

special unitary lie algebra: reference

I was reading book of Humphreys on Lie algebra. In the first chapter, he introduced four classical algebra, and I thought, there was missing special unitary algebra. Can one give definition of it considering field $F$ to be of any characteristic? I…
1
vote
2 answers

two Lie algebras: Isomorphic or not

I saw following examples of Lie algebras in a book of physics: $L_1=\langle x,y,z\rangle$ $[x,y]=z$, $[y,z]=x$ and $[z,x]=y$. $L_2=\langle x,y,z\rangle$, $[x,y]=z$, $[y,z]=-x$, $[z,x]=y$. These Lie algebras are $3$-dimensional and the book…
1
vote
1 answer

Derived subalgebra of the radical of a Lie algebra is contained in the radical of the Killing form

Let $\mathfrak{g}$ be a finite dimensional Lie algebra over $\mathbb{C}$, $R(\mathfrak{g})$ the radical of $\mathfrak{g}$ and $\mathfrak{g}^{\bot}$ the radical of the Killing form. Show that $[R(\mathfrak{g}),R(\mathfrak{g})] \subset…
1
vote
1 answer

Lie algebra generated by a set

Let L be a Lie algebra and $\{e_i,h_i,f_i; i=1 \ldots l\}$ be a basis of L. Is it true that the subalgebra of L generated by $\{e_i,h_i,f_i; i=1 \ldots l\}$ equals whole of L? What is the form of the elements of subalgebra generated by …
budi
  • 1,780