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

problem about nilpotent leibniz algebra

I want to prove this statement if $A$ is nilpotent leibniz algebra then $ H \subsetneq N_A(H)$. $H$ is a subalgebra of $A$ Can you help me how to show this.thanks
pink floyd
  • 1,274
1
vote
1 answer

Splitting and non-splitting extensions in Lie algebras

For Lie algebra $S=\{e_{1}, e_{2}, e_{3}, e_{4}\}$ with non-zero commutations: $[e_{1}, e_{3}]=e_{1}, [e_{2}, e_{3}]=\alpha\, e_{2}$ we have $S=e_{4}\oplus L_{3}$, such that $L_{3}=\{e_{1}, e_{2}, e_{3}\}$. My queries is; What are splitting and…
IgotiT
  • 734
1
vote
1 answer

augmentation ideal of restricted universal enveloping algebra

For restricted Lie algebra $L$ we denote its restricted universal enveloping algebra with $u(L)$. How can we prove that the augmentation ideal has codimension $1$?
Nil
  • 1,306
1
vote
1 answer

Determine if $\mathfrak{so}(1,3)$ is simple or semisimple as a real Lie algebra

I am trying to solve an exercise asking to determine if $\mathfrak{so}(1,3)$ is simple or semisimple as real Lie algebra but I am having troubles. My idea is to prove $\mathfrak{so}(1,3)$ is simple by using $\mathfrak{so}(1,3)\simeq…
1
vote
0 answers

augmentation ideal for universal enveloping algebras

Let $L$ be a restricted Lie algebra with the restricted enveloping algebra $u(L)$ over a field $F$. Let $ω(L)$ denote the augmentation ideal of $u(L)$ which is the kernel of the augmentation map $\varepsilon : u(L) \mapsto F$ induced by $x\mapsto…
Nil
  • 1,306
1
vote
1 answer

Parabolic subalgeba

Let $L$ be a Lie algebra and let $\Phi$ be a root system and $\Delta$ be a basis. Let $\Gamma\subset \Delta$. Define, $$P:=H\oplus\displaystyle\sum_{\alpha\in\Phi_+} L_\alpha \oplus\displaystyle\sum_{\alpha\in\Gamma} L_{-\alpha} $$ How to show that…
Ronald
  • 4,121
1
vote
1 answer

Using Lie's Theorem to prove an ideal is nilpotent

Let L be a finite-dim'l Lie algebra over an algebraically closed field of characteristic zero, and I be a solvable ideal of L. Prove that the ideal [L,I] is nilpotent. My reasoning: Consider the adjoint representation $ad: I \rightarrow gl(L)$…
nyj
  • 11
1
vote
1 answer

Maximal nilpotent and solvable Lie subalgebras

If $\mathfrak g$ is a finite dimensional complex semi-simple Lie algebra with maximal toral subalgebra $\frak h$.If $(E, ( , ),\Phi )$ is the corresponding root system. Fix a fundamental system $R$ of $\Phi$ with corresponding set of positive roots…
Ronald
  • 4,121
1
vote
1 answer

When Killing form equals a constant times the trace

How to find an element $0\not =a\in \mathbb C$ such that $\kappa_L (x,y)=aTr(xy)$ for all $x,y\in L$. Where $L$ is: $A_l$ $B_l$ $C_l$ $D_l,\ \ l>2$. Why such an $a$ is unique?
Ronald
  • 4,121
1
vote
1 answer

Existence of Lie algebra with dim =3 or ≥ 5 with [g,g]=g

How to show that: There is a Lie algebra $\mathfrak g$ of dimension $k = 3$ or $k≥ 5$ iff $\frak g=[g,g]$. Also, why it is possible to choose $\frak g$ such that its center is $0$. However, for the cases where $k = 5$ or $k= 7$ then $\frak g$ can't…
Ronald
  • 4,121
1
vote
1 answer

Cartan subalgebra and the decomposition of eigenspaces

Let $\frak g$ be a semisimple Lie algebra over a finite dimensional field $F$, and let $\frak h$ be a Cartan subalgebra in $\frak g$. I need actually some explanation on why $$\mathfrak g = \bigoplus_{\alpha\in \frak h^{*}} \mathfrak g_{\alpha} $$…
Ronald
  • 4,121
1
vote
0 answers

Solvable Lie algebra with non-characteristic nilradical

It is well known that the nilradical of a finite-dimensional Lie algebra over a field of characteristic p > 0 need not be characteristic (that is, invariant under all derivations of the algebra), but is there an example of a solvable Lie algebra…
1
vote
1 answer

Non-nilpotent and not semisimple algebra with maximal toral subalgebra = 0

I am looking for 3 dimensional non-nilpotent Lie algebra whose only toral subalgebra is $0$. In $sl_2$ the element $\begin{bmatrix} 1 & 0 \\ 0 & -1 \end{bmatrix}$ is diagonalizable so the space generated by it is toral.. In fact, if $L$ is a…
Ronald
  • 4,121
1
vote
2 answers

Abelian subalgebra doesn't imply toral

Let $L $ be a Lie algebra. A subalgebra $H$ of $L$ such that $ad_H:\frak g → g$ is diagonalizable for every $h ∈ H$ is called toral. Now, every toral subalgebra is abelian. But, what is an example for an abelian subalgebra which is not toral?
Ronald
  • 4,121
1
vote
1 answer

Nilpotent 4-dim Lie algebra

What is an example of a nilpotent Lie algebra $\cal g$ with dimension four and: $dim\ \mathcal g'=1$, $dim \ \mathcal g'=2$, $dim \ \mathcal g'=3$? Is there a way to construct them?
Ronald
  • 4,121