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

Three dimensional Lie algebras with three dimensional derived algebra

What are the three dimensional Lie algebras with three dimensional derived algebra ($L'=L$)? I saw a proof in the book about Lie algebras by Karel Erdmann and Mark Wildon, but they work over the field $\mathbb{C}$, so over an algebraically closed…
bob
  • 1,256
2
votes
1 answer

Different notions / definitions of Lie algebra roots

I know the following definitions (or notions) of a Lie algebra root: Lie algebra roots are the eigenvalues of a Cartan subalgebra in the adjoint representation. In other words, to find the roots of a Lie algebra, find a Cartan subalgebra $\{H_i\}$…
2
votes
1 answer

How to deduce the Weyl group of type D?

I'm studying Humphreys' Lie algebra, but I'm stuck in finding the Weyl group of type D. In the book, the contents are written by : Type D$_l$ : Let E=$\mathbb{R}^l$ and let $\Phi:=\{\pm(\epsilon_i\pm\epsilon_j)\: : \: i\neq j\}$ (The $\epsilon_i$…
2
votes
1 answer

Questions about the proof of Poincaré–Birkhoff–Witt theorem

I am reading Humphrey's "Introduction to Lie Algebras and Representation Theory". However, when goes to the proof of PBW theorem, I met some problems in the following lemmas: Where $T_m$ is the filtration of tensor algebra of $L$ and $J$ is the…
user368131
2
votes
2 answers

A simple question from isomorphism types of Lie algebras from root systems

Let $L,L'$ be simple Lie algebras over $F$, with maximal toral subalgebras $H,H'$ and corresponding root systems $\Phi,\Phi'$. Suppose $\alpha\mapsto \alpha'$ be an isomorphism between root systems of $L,L'$. Write decompositions $$L=H\oplus…
2
votes
0 answers

Lemma relating 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, which involves extending the shared eigenspace of h to its completion (i.e. to basis {v…
Steven Xu
  • 65
  • 7
2
votes
3 answers

Show that $\dim(Z(L)) \leq \dim(L) - 2$

Let $L$ be a non-abelian Lie algebra. I need to show that $$\dim(Z(L)) \leq \dim(L) - 2$$ Now, if $\dim(L) = 2$ , then I know that this $L$ is a unique non-abelian Lie algebra such that its centre $Z(L) = 0$. Therefore, I'm done with the trivial…
Dark_Knight
  • 2,008
2
votes
1 answer

Centralizer of semi-simple element in semi-simple Lie algebra

Let $L$ be a finite dimensional semi-simple Lie algebra, and $H$ a toral (maximal abelian) subalgebra. For any $h\in H$ I want to prove that $C_L(h)$ is reductive, i.e. its radical (=maximal solvable ideal) is equal to its center. How should I…
Beginner
  • 10,836
2
votes
2 answers

Lie algebra of $O(1, n)$

I would like to know the Lie algebra of the Lorentz group $SO(1, n)$. Can you tell me, what the answer is? Thank you in advance!
Niklas
  • 289
2
votes
1 answer

Lie Bracket explicit computation

I'm at the beginning of learning about Lie Brackets, and the book I'm working out of explicitly calculates $Zf = [X,Y]f$ (where $X,Y$ are vector fields) as follows: \begin{align*} Zf & = [X,Y]f \\ & = (XY-YX)f \\ & = X(Yf)-Y(Xf) \\ & =…
2
votes
1 answer

Regarding Levi's decomposition of a Lie algebra

Let $g$ be a Lie algebra and let $r$ be the radical of $g$. Then we have by Levi's theorem there exists a subalgebra $h$ of $g$ such that $g=r \oplus h$. I want to conclude that $g \cong r \rtimes h$. How to prove this? Please help me.
budi
  • 1,780
2
votes
1 answer

Why must toral subalgebras be maximal? - Root space decomposition

In Humphreys Lie Algebra text, before performing root space decomposition it is required to pick a maximal toral subalgebra of the semisimple lie algebra in question. By maximal, he means not properly contained in any other toral subalgebra. Why…
qftey
  • 133
2
votes
2 answers

Does equality of the complexifications imply equality of the algebras?

Let $\mathfrak{g}$ and $\mathfrak{h}$ be two real Lie algebras. Now suppose their complexifications are isomorphic, that is, $$\mathfrak{g}_{\mathbb{C}}\simeq\mathfrak{h}_{\mathbb{C}}.$$. Can I say anything about the "isomorphicness" of…
qftey
  • 133
2
votes
1 answer

Derivation algebra of direct sum of non associative algebras

Let $\mathcal{A}$ be a nonassociative algebra such that $\mathcal{A}=\mathcal{A}_1\oplus\dots\oplus\mathcal{A}_n$ with $\mathcal{A}_i\subset\mathcal{A}$ an idempotent ideal. I want to show that the derivation algebra $\mathcal{D}$ of $\mathcal{A}$…
2
votes
1 answer

Lie algbra so(2n)?

I am currently reading the book ``Symmetries, Lie Algebras and Representations: A graduate course for physicists'', by Jurgen Fuchs & Christoph Schweigert. On page 75 (unfortunately, the google book does not cover this page), I read: Another simple…
Wein Eld
  • 589