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

monoparametric family and derivations

Let $\varphi(t)$ be a smooth monoparametric family in $\operatorname{Aut}\mathfrak g$, $\mathfrak g$ being a Lie algebra, and $\varphi(0)=\operatorname{id}$. Prove that $\varphi'(0)\in\operatorname{Der}\mathfrak g$.($\operatorname{Der}\mathfrak g$…
0
votes
1 answer

Some questions about Lie algebras

Why the characteristic of a field is different from two in Lie algebras? What is the reason for Jacobi's identity in the definition of Lie algebras? There are Lie algebras of infinite dimension? Some examples about fields with characteristic…
0
votes
1 answer

k-dimensional central extension of Lie algebras

Does the phrase "a k-dimensional central extension of the Lie algebra L" mean "a central extension of L by a k-dimensional Lie algebra"? I cannot find any textbook which mentions to that phrase. Many thanks for considering my stupid question!
0
votes
1 answer

Prove that the representation $\Lambda^n \mathbb{C}^n$ of $\mathfrak{sl}(n,\mathbb{C})$ is trivial?

I try to solve the following problem: Prove that the representation $\Lambda^n \mathbb{C}^n$ of $\mathfrak{sl}(n,\mathbb{C})$ is trivial? Actually, I know nothing about the properties of representation of $\mathfrak{sl}(n,\mathbb{C})$, even though…
Aolong Li
  • 2,237
0
votes
1 answer

Questions about Lie algebras

I would like to know about the application of semisimple Lie algebras in general. In particular its application in ordinary differential equations and its solution advantages with respect to the classical solution. Are there open problems in Lie…
0
votes
1 answer

Lie product of a two subalgebras

Let V and W be subalgebras of a Lie algebra $\mathcal{L}$. I want to show that $[V,W]$ is not always a subalgebra of $\mathcal{L}$.
Nre
  • 525
0
votes
0 answers

Nilpotence of $L =$ $b(n,F)$

Here by $b(n,F)$ we mean the Lie algebra of all $n \times n$ upper triangular matrices. So, the first step of the question asks to prove that $L^m$ has a basis consisting of all matrix units $e_{ij}$ with $j - i > m$. So I thought I would try to…
Mike
  • 99
0
votes
1 answer

Let $ K $ be a subset of a Lie algebra $\frak {g}$. Is the centralizer of $K$ in $\frak {g}$ an ideal of $\frak {g}$?

I tried to prove that it is an ideal, and during the attempt I guessed that apparently it will not be an ideal, but I can not find a counterexample, could anyone help me with that?
fer6268
  • 267
0
votes
1 answer

Let $\frak{g}$ a nilpotent Lie álgebra. Prove that there is an ideal $\frak{h}\subseteq\frak{g}$ such that $\dim(\frak{g}) = \dim(\frak{h}) + 1$

Could someone give me a suggestion to solve this problem? Let $\frak{g}$ a nilpotent Lie álgebra. Prove that there is an ideal $\frak{h}\subseteq\frak{g}$ such that $\dim(\frak{g}) = \dim(\frak{h}) + 1$
fer6268
  • 267
0
votes
1 answer

free polynomial algebra

Let $F[x,y]$ be a polynomial algebra space over field $F$, let define a Leibniz algebra structure on that. Is this defined Leibniz algebra on $F[x,y]$ is free Leibniz algebra? How can we check this is free?
Nil
  • 1,306
0
votes
1 answer

${\frak h}_n(\mathbb{C})$ is a solvable lie algebra

Can anyone give me a suggestion to solve this problem? Show that $${\frak h}_n(\mathbb{C}) = \lbrace A\in\operatorname{Mat}_n(\mathbb{C}) : A_{i,j} = 0\text{ if } i\geqslant j \rbrace.$$ is solvable Lie algebra.
fer6268
  • 267
0
votes
2 answers

$(\mathbb{R}^{3},\times)$ is a Lie algebra that does not have Lie subalgebras of dimension 2.

Could anyone give me a suggestion to start solving this problem? Proof that $(\mathbb{R}^{3},\times)$ is a Lie algebra that does not have Lie subalgebras of dimension 2.
fer6268
  • 267
0
votes
0 answers

Eigenvalues of the adjoint representation of a matrix with distinct eigenvalues

This is question 1.6 from Humphrey's "Introduction to Lie Algebras and Representation Theory": Suppose $x \in \mathfrak{gl}(n,\mathrm{F})$ has $n$ distinct eigenvalues $a_1,\ldots,a_n$. The eigenvalues of the adjoint representation $\mathrm{ad}(x)$…
Marcel S
  • 679
  • 4
  • 12
0
votes
1 answer

Levi Decomposition of Lie Algebras

When discussing Levi decomposition wikipedia mentions real finite dimensional Lie algebras and later says such decomposition is not available in infinite dimension and in positive characteristic. From other sources I came to know such decomposition…
SKH
  • 249
0
votes
1 answer

Isomorphism between lie algebras and their complexification

So let's say we have two finite dimensional algebras, $L_1$ and $L_2$, spanned respectivelt by $\ t_i$ and $g_i$. If i want to prove that those algebras are isomorphic, is it sufficient to find a isomoprhism ( for example and invertible matrix)…