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

What are examples of isomorphisms of Lie algebras?

I'm looking for an example of an isomorph Lie Algebra. 2 algebras are isomorph, if there exists an bijective linear function $g_1 \rightarrow g_2$ which maps all $X,Y \in g_1$ like $\phi([X,Y]) = [\phi(X),\phi(Y)]$. So 2 Lie algebras I could think…
gamma
  • 245
3
votes
1 answer

Sum of all solvable ideals of a Lie algebra and radical

Let $\mathfrak{g}$ be a finite dimensional Lie algebra. I know the fact that if the ideals $\mathfrak{a}$,$\mathfrak{b}$ are solvable, then so is $\mathfrak{a+b}$. Now I want to show the existence of maximal solvable ideal (called "radical") of…
No One
  • 7,939
3
votes
1 answer

Are there 'authentic' outer derivations of Lie algebras?

Let $\mathfrak g$ be a finite-dimensional Lie algebra and let $\mathfrak g\subset\mathfrak h$ be an extension of $\mathfrak g$. Then every derivation of $\mathfrak h$ induces a derivation of $\mathfrak g$ by restriction. In particular, every inner…
Dry Bones
  • 697
3
votes
1 answer

What does $\lambda^2(\mathfrak{g}/\mathfrak{h})$ mean?

I am reading Differential Geometry by Sharpe. Exercise 3.4.8 a) is: Show that $\mathrm{Hom}(\lambda^2(\mathfrak{g}/\mathfrak{h}),\mathfrak{g})$ is an $H$ module under the action $$ (h\varphi)(v, w)=\mathrm{Ad}(h)\varphi(\mathrm{Ad}(h^{-1})v,…
3
votes
1 answer

Example of distinct Lie algebras with the same derivation algebra?

Let $\mathfrak g_1,\mathfrak g_2$ be finite-dimensional real or complex Lie algebras such that ${\rm Der}(\mathfrak g_1)$ and ${\rm Der}(\mathfrak g_2)$ are isomorphic as Lie algebras, where ${\rm Der}(\mathfrak h)$ denotes the algebra of…
Dry Bones
  • 697
3
votes
1 answer

On Humphreys’ proof of conjugacy of Borel subalgebras

I am reading Humphreys’ Introduction to Lie Algebras and Representation Theory and have trouble understanding the first step of the proof of conjugacy of Borel subalgebras (§16.4). Hereinafter $ L $ is a finite-dimensional semisimple Lie algebra…
o-ccah
  • 884
3
votes
0 answers

Determinant of a cartan matrix

I was taking an introductory course in Lie algebras and I just learned about how we associate a Cartan matrix to a semisimple Lie algebra. So, for the A-series, the determinant of this matrix goes to infinity while for other series it is constant…
a12345
  • 1,323
3
votes
1 answer

Casimir element of a universal enveloping algebra

Is the Casimir element of $U(sl_2)$ equal to $ef+fe+h^2/2$ or $(h+1)^2/4+fe$? Is $ef+fe+h^2/2$ equal to $(h+1)^2/4+fe$? How to compute the Casimir element? I think that $ef+fe+h^2/2 = 2fe+(h+1)^2/2-1/2$. Thank you.
LJR
  • 14,520
3
votes
2 answers

Associative Lie algebra

Lie algebras are known as non-associative structures. My question is that do we have any example of Lie algebras which is associative? Many thanks!
3
votes
0 answers

The enveloping algebra of a finite dimensional Lie algebra has no zero divisor

Let $L$ be a complex, finite dimensional Lie algebra. It is well-known that the graded associative algebra of the enveloping algebra $U(L)$ is isomorphic to the symmetric algebra $S(L)$. Therefore $U(L)$ has no non-zero zero-divisors. But I really…
3
votes
1 answer

Lie algebras and roots systems

Let $\Phi$ an irreducible system of roots, $\Phi^{+} \subset \Phi$ a choose of positive roots. I have to prove that if $(\alpha, \beta) \ge 0$ for al $\beta \in \Phi^{+}$ then $\alpha$ is the highest among roots of the same lenght. I have a long…
ArthurStuart
  • 4,932
3
votes
1 answer

Lie algebra and enveloping algebra

I have to prove that a Lie algebra over the field $k$ is trivial if and only if the enveloping algebra $U(L)=k$. I have an idea of proof: If $L=\{0\}$ we have that the tensor algebra $T^m=\{0\}$ for all $m \neq 0$, so we have $U(L)=k$. We have that…
ArthurStuart
  • 4,932
3
votes
2 answers

Not null Killing form.

I have to find an example of solvable Lie algebra $L$ such that the Killing form of $L$ isn't null. If we take the Borel subalgebra of $\mathfrak{sl}(2)$, we have that the Killing form of $L$ is the matrix $$ K= \left( …
ArthurStuart
  • 4,932
3
votes
1 answer

Isomorphism with Lie algebra $\mathfrak{sl}(2)$

Let $L$ be a Lie algebra on $\mathbb{R}$. We consider $L_{\mathbb{C}}:= L \otimes_{\mathbb{R}} \mathbb{C}$ with bracket operation $$ [x \otimes z, y \otimes w] = [x,y] \otimes zw $$ far all $x,y \in L$ and $z,w \in \mathbb{C}$. We have that…
ArthurStuart
  • 4,932
3
votes
3 answers

Free Lie algebra.

Let $F$ be the free Lie algebra on $\{x,y,z\}$ and $L$ the quotient of $F$ by the ideal $I$ generated by brackets that involve at least three free generators. I have to prove that $dim(L)$ is $6$ and $L$ is nilpotent but not commutative. So if I…
ArthurStuart
  • 4,932