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

Why is Lie algebra contraction well defined?

Embarrassingly I fail to see why the following definition works (see e.g. 1) Consider the continuous function $U:(0,1] \to GL(V)$. If the limit $\lim_{\epsilon \to 0} [x,y]_\epsilon=\lim_{\epsilon \to 0} U_\epsilon^{-1} [U_\epsilon x,U_\epsilon…
ungerade
  • 311
1
vote
1 answer

Show that if $L$ is a Lie algebra then $L/Z(L)$ is isomorphic to a subalgebra of $gl(L)$.

In this, $Z(L)$ is the center of $L$. I can't think of any explicit mapping. Any suggestions?
Mike
  • 99
1
vote
1 answer

non-split real Lie algebra

What are some examples of simple or semisimple non-split real Lie algebras? By non-split, I mean that no Cartan subalgebra $\mathfrak{h}$ is such that $\mathrm{ad}(X)$ is diagonalizable for each $X \in \mathfrak{h}$. Is there a list somewhere? Or…
nigel
  • 3,214
1
vote
1 answer

Computing ad $e_{1}$, ad $e_{2}$, and ad $e_{3}$ given $e_{1}$, $e_{2}$, and $e_{3}$.

I am asked to calculate the matrices ($\operatorname{ad} e_{1}$), ($\operatorname{ad} e_{2}$), and ($\operatorname{ad}e_{3}$), given $e_{1} = \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}$, $e_{2} = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}$,…
1
vote
2 answers

help recognizing a finite dimensional lie algebra

Is the Lie algebra with generators $a$, $b$, $c$ and commutators $$ [a,b]=2c, \quad [c,b]=2a, \quad [c,a]=2b $$ isomorphic to something well-known?
jj_p
  • 2,370
  • 14
  • 31
1
vote
1 answer

Decomposition of set of roots for a Lie algebra and its Cartan subalgebra

Consider a finite dimensional complex semi-simple Lie algebra $L$ with Cartan subalgebra $H$ (i.e. every $h\in H$ is $ad$-nilpotent). Denote $\Phi=\Phi(L,H)$ the set of roots. Assume $\Phi=\Phi_1\cup\Phi_2$ for non empty $\Phi_i$ and…
1
vote
1 answer

Lie bracket returning input vecor

For a non-abelian Lie algebra $(\mathfrak{g},[\cdot,\cdot])$, given $X\in\mathfrak{g}$, when is it possible to find $Y\in\mathfrak{g}$ such that $[X, Y]=X$? How about finding $Z\in\mathfrak{g}$ such that $[[X,Y],Z]=[X,Y]$?
user162520
  • 1,579
1
vote
0 answers

How to construct a Free Leib algebras with example

According to the Examples of Free Lie Algebra we have a useful example for free Lie algebra. Now I want to construct an example for free Leibniz algebra. I faced an example for free Leibniz algebra as follows, but I need your guidance to build free…
Nil
  • 1,306
1
vote
1 answer

Kernel of a Lie Algebra Homomorphism

If $ \mathfrak g$ and $\ \mathfrak h$ are lie algebras and $\phi: \ \mathfrak g \rightarrow \ \mathfrak h$ is a lie algebra homomorphism. Show that the kernel of $\phi$ is an ideal of $\ \mathfrak g$. Proof: The kernel of the lie algebra…
1
vote
0 answers

Is there any Lie algebra that is not constructed from an associative algebra

I see in Wikipeida that every Lie algebra is either constructed from an associative algebra by defining: $[x,y]=xy-yx$, or a subalgebra of a Lie algebra thus constructed. Where can I find a proof? Moreover, is there any existing example of a Lie…
Fie
  • 11
1
vote
1 answer

Lie derivative and representations of a Lie algebra

I'm reading a book on integrable systems and am trying to understand Lie groups. The author states a property I cannot understand: Let me define the protagonists: L is the Lie derivative, m is an element of a Lie group and X and Y are in its Lie…
StarBucK
  • 689
1
vote
2 answers

Counterexample to Lie's theorem over a field, that is not algebraically closed

What would be a counterexample to Lie's Theorem over a field (of characterictic $0$) that is not algebraically closed ?
1
vote
1 answer

Uniqueness of Levi decomposition

Let $g$ be a Lie algebra. It is a well-known fact that it can be written as $g=r \oplus s$ for the radical $r$ and a semisimple Lie algebra $s$. I would like to know whether this decomposition is unique, i.e. whether $s$ is uniquely determined.
Niklas
  • 289
1
vote
1 answer

Irreducibility implies semisimplicity?

Let $g \subset so(n)$ be a Lie subalgebra, that acts irreducibly on $\mathbb{R}^n$ with the standard representation of $so(n)$. I have read that $g$ then has to be semisimple. Is this true? If yes, how can we prove it.
Niklas
  • 289
1
vote
0 answers

Why is the Killing form the inverse of the quadratic Casimir invariant?

Here's an excerpt from this lecture script: And another one: Why is there a relationship between the Killing form and the quadratic Casimir invariant?