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

Understanding the textbook of Humphreys Lie algebras

I'm studying Humphreys Introduction to Lie Algebras and Representation Theory. I do not understand the second paragraph in page 26. Given a representation $\phi : L \to \mathfrak gl (V)$, the associative algebra (with 1) generated by $\phi(L)$ in…
user
  • 67
1
vote
1 answer

Ideals of quotient algebras.

Suppose $I$ and $J$ are ideals of a Lie Algebra L. I know that we have the fact that: $\frac{I+J}{J} \cong \frac{I}{I\cap J}$ Prove that the ideals of $\frac{L}{I}$ - the quotient algebra of L defined by $x + I$ $x \in L$ are of the form…
1
vote
0 answers

Show that there is a unique Lie algebra over F of dimension 3 whose derived algebra has dimension 1 and lies in Z(L).

This is an exercise in Humphrey's 'Introduction to Lie Algebras and Representation Theory' (chapter 1.2 number4). Here is what I've done. Since $[LL]$ has dimension 1, let {$x$} be a basis for $[LL]$. Extend it to a basis {$x, y, z$} for L.Then…
learner
  • 339
1
vote
0 answers

Justifying the description of roots/weights in Lie algebras

I am learning basic Lie algebra. I want to prove the following (with standard notations): if $\alpha \in \Delta$ is a root, then the dimension of $\mathfrak{g}_\alpha$ is one and $F\alpha \cap \Delta = \{\pm\alpha\}$, where $F$ is the base field.…
Lyer Lier
  • 335
1
vote
1 answer

Orthogonal with respect to killing form

Let $k$ denote the killing form on the Lie algebra $\mathfrak{gl}_n(\mathbb{C})$ and let $\mathfrak{h},\mathfrak{n}_+, \mathfrak{n}_-$ denote the subspaces of diagonal matrices, strictly upper triangular matrices, and strictly lower triangular…
Christina
  • 635
  • 4
  • 8
1
vote
0 answers

Prove the $z=[x,y]$ is nilpotent.

Suppose there are two elements $x,y\in \mathfrak{gl}(V)$ for $V$ finite dimensional vector space over an algebraically closed field. If both $x,y$ commute with $z=[x,y]$, then how to show that $z$ is nilpotent?
Christina
  • 635
  • 4
  • 8
1
vote
1 answer

Understanding elements of $\mathfrak{gl}(\mathfrak{g})$.

So I am having trouble to understand/see what are the elements in $\mathfrak{gl}(\mathfrak{g})$ for a Lie algebra $\mathfrak{g}$. I know that $\text{ad}(x)$ are elements of $\mathfrak{gl}(\mathfrak{g})$ given $x\in \mathfrak{g}$. But is there a…
Christina
  • 635
  • 4
  • 8
1
vote
0 answers

Radical of a Lie algebra is a characteristic ideal

Let $\mathfrak{g}$ be a Lie algebra over a field $F$, not necessary of characteristic $0$. We say that an ideal $\mathfrak{a} \unlhd \mathfrak{g}$ is characteristic if it is stable under any derivations, i.e. $\delta(\mathfrak{a}) \subseteq…
Clement Yung
  • 8,347
1
vote
1 answer

Show that the maximal toral sublgebra is self noramalizing

Let $L$ be a semisimple Let $H$ be the maximal toral subalgebra. I want to show that $H=N_L(H)$. The elements in $H$ are all semisimple. The elements in $N_L(H)$ are $x$ such that $[x,H]=H$. I do not see how to relate these two things.
Alesto
  • 11
1
vote
1 answer

Structure constants in Poisson algebras

I am currently studying Poisson algebras. Regarding the structure constants of a Poisson algebra, How can it be defined for Poisson algebras?
Nil
  • 1,306
1
vote
1 answer

Humphreys' Lemma 4.3 for Cartan's Criterion

I'm having a trouble with this proof (see bottom). At the last fourth line it says $$tr(xy)=0 \implies \sum_{i=1}^na_if(a_i)=0$$ but $$tr(xy)=tr(sy)+tr(ny)=\sum_{i=1}^na_if(a_i)+tr(ny)$$ how do we know $tr(ny)=0$? The endomorphism $n$ is nilpotent…
donovan
  • 225
1
vote
0 answers

Is there a proof of Engel's theorem that does not rely on representations?

As a novice to Lie algebras, I have been presented with Engel's Theorem quite soon. It states the following: Let $L$ be a Lie algebra of dimension $n$ over $k$ such that for every $x,y$, the “bracket chain” $$ [x[x\ldots[xy]\ldots]] $$ eventually…
1
vote
1 answer

Question about ad adjoint notation

I am absolutely boggled by the notation $ad_x$ as used to discuss the adjoint representation of a Lie Algebra. A few things I do understand: I understand what a Lie algebra is in general, including the commutator bracket I feel like I understand…
1
vote
0 answers

Existance of Maximal solvable ideal of Lie algebra.

A Lie algebra has a unique maximal solvable ideal I could prove this fact for finite dimensional lie algebras using Zorn's Lemma. But couldn't figure out if this fact is true for any Lie-algebra in general or not. I tried to mimic the same proof ,…
1
vote
1 answer

Automorphism group of Lie algebra $\mathfrak{g\oplus g}$

Let $\mathfrak g$ be the Lie algebra of strictly upper triangular 3x3 matrices. How can I determine the group $\operatorname{Aut}(\mathfrak{g\oplus g},\Delta\mathfrak g)$, where $\Delta\colon\mathfrak g\to\mathfrak {g\oplus g}$ is the diagonal…
Earthliŋ
  • 2,490