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

Is the theorem of complete reducibility or the abstract Jordan decomposition needed for structure theory of semisimple Lie algebras?

Let $\mathfrak g$ be a complex semisimple Lie algebra. A theorem of Weyl says that every finite-dimensional representation of $\mathfrak g$ is completely reducible. Another very important theorem is that the common Jordan decomposition of…
Mekanik
  • 1,761
3
votes
3 answers

A faithful completely reducible Lie algebra representation implies reductivity

Suppose $\mathfrak g$ is a finite-dimensional Lie algebra over a field $k$, which we can assume of characteristic zero. In Milne's LAG, Proposition 6.4 claims that $\mathfrak g$ is a reductive Lie algebra if and only if there exists a faithful and…
3
votes
2 answers

Non Inner Automorphism of Lie Algebras

I have seen some examples of inner automorphisms of Lie algebras. Can anyone please give me an example of an automorphism of Lie algebras that is not inner (with proof). Note - An automorphism is said to be inner if it is of the form $exp(adx)$ for…
Ester
  • 3,057
  • 2
  • 23
  • 34
3
votes
1 answer

What is an example of how to determine the regular elements of a given Lie algebra?

I'm currently trying to learn about regular elements of a Lie algebra but i'm finding the definition quite abstract and can't seem to find many examples anywhere. One thing i'm really unsure about is that I have read that in $\mathfrak{sl}(3)$ a…
Aran
  • 303
3
votes
1 answer

Killing form on $\mathfrak{sp}(2n)$

I have the same question as this one from a long time ago. Is there an easy way to see that the Killing form on $\mathfrak{sp}(2n)$ is $\kappa(x,y) = (4n+2) \mathrm{tr}(xy)$? For example, the Killing form for $\mathfrak{sl}(n)$ can be found from the…
3
votes
0 answers

Simple questions about Cartan subalgebras and root systems

I would ask three questions, but none of these questions are meant to be particular difficult to solve so I figured it would be a waste of space to post three separate threads. (1) Suppose I have a Lie algebra $L$ (semisimple, complex) corresponding…
D. P
  • 263
3
votes
1 answer

Lie algebra is nilpotent iff all two dimensional subalgebras are abelian?

I'm trying to prove that if $\mathfrak{g}$ is a Lie algebra over an algebraically closed field and every 2-d subalgebra is abelian then $\mathfrak{g}$ is nilpotent. By an induction all I need to show is that $[\mathfrak{g},\mathfrak{g}]$ is of…
3
votes
1 answer

What is the definition of a weight of a Lie Algebra?

Sorry for what is probably a stupid question, but our lecturer did not define weights (just told us to find the "standard definition") and I have some questions to do concerning them. Wikipedia…
D. P
  • 263
3
votes
1 answer

Can the last non-zero term in the central series of an indecomposable nilpotent Lie algebra be smaller than the center?

Let $L$ be an indecomposable nilpotent Lie algebra (finite dimensional and over $\mathbb{C}$). Is it possible for the last non-zero term of the central series to be strictly smaller than the center? For context, as shown in The center of a nilpotent…
3
votes
2 answers

3-dim simple complex Lie algebra

If we know that a 3-dimensional Lie algebra $L$ with $[L,L]=L$ is simple. How to prove that the only (up to isomorphism) 3-dimensional complex Lie algebra $L$ with $L=[L,L]$ is $sl_2(\mathbb C)$?
Ronald
  • 4,121
3
votes
0 answers

$\mathrm{Rad}(L)$ is contained in all maximal solvable subalgebra.

Let $L$ be a Lie algebra and $\mathrm{Rad}(L)$ its unique maximal solvable ideal. Problem: Show that if $B$ is a maximal solvable subalgebra of $L$ (i.e. a Borel subalgebra) then $\mathrm{Rad}(L)\subseteq B$. I am not sure why. We know that…
3
votes
1 answer

Proof of Weyl's Theorem [Humphreys]

I don't really understand the first paragraph of the proof of Weyl's Theorem in Humphreys' Lie Algebra book (p. 28). My problem is, that first of all I don't see, why (or in which sense) the exact sequence $$0 \rightarrow W/W'\rightarrow…
K. M.
  • 43
  • 2
3
votes
2 answers

$ gl(2,\mathbb C) \cong sl(2,\mathbb C) \oplus \mathbb C $

Hi I just start learning Lie algebra and there is one hw question I don't really understand how to do, hope somebody give me some hints. $L_1,L_2$ are Lie algebras. $L=\{(x_1,x_2):x_i \in L_i\}$. Lie bracket of $L$ is…
3
votes
1 answer

Is the 1-Dimensional Lie algebra Simple?

I assumed that the 1-dimensional Lie algebra was simple since I cannot think of any proper non-trivial ideal it could have (you either have no elements, or once you have one element you span the space). However every classification of simple Lie…
AXidenT
  • 304
3
votes
2 answers

Lie bracket $[x,x]=0\implies [x,y]=-[y,x]$

Why does $[x,x]=0\implies [x,y]=-[y,x]$ in regard to Lie brackets. I have tried to play around with bilinearity, but I can't get it to work. $$[ax+by,z]=a[x,z]+b[y,z],[x,x]=0$$ I have tried subbing in $z=x$ and $z=y$, but I just can't obtain…