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

Simple question: Lie algebra and p-groups

Assume $p$ is a prime and $\pi$ is the set of primes dividing $(p-1)!$. $\mathbb{Q}_{\pi}$ is the set of all rational numbers with $\pi$-numbers as denominators. A $\pi$-number is a product of elements of $\pi$. I've seen this quote two times, but…
1
vote
0 answers

Finite order automorphisms of Lie algebras

Let $\Gamma$ be a Dynkin diagram automorphism of diagram type $A_{2n}$ and let $\sigma$ be a non-trivial finite order automorphism of $\Gamma$. Let $g$ the Lie algebra associated to $\Gamma$ and consider the usual decomposition $g=g_0+g_1$. Denote…
Dan
  • 11
1
vote
1 answer

Size of Derivation of Lie algebra

If $L$ is a Lie algebra in ${\rm gl}\ (n,{\bf C})$ then $$ {\rm Der}\ (L)\subset {\rm gl}\ (n,{\bf C})$$ (If $L$ is semisimple then $ L = {\rm ad}\ L ={\rm Der}\ L$) Is this true ? Thank you.
HK Lee
  • 19,964
1
vote
1 answer

Killing form on ${\rm ad}\ L$

What is Killing form on ${\rm ad}\ L$ ? Note that $L$ has a Killing : $$ \kappa(x,y) = {\rm tr}\ ({\rm ad}_x{\rm ad}_y) $$
HK Lee
  • 19,964
1
vote
1 answer

Simple Lie algebra over ${\bf R}$

As far as I know classification of simple Lie algebra over ${\bf C}$ in ${\rm gl}\ (n, {\bf C})$ is done. And note that $$ {\bf R}^3_\wedge \otimes {\bf C} = {\rm sl}\ (2,{\bf C})$$ (all of $3$-dimensional simple Lie algebra over ${\bf R}$ are ${\bf…
HK Lee
  • 19,964
1
vote
0 answers

Example of $3$-dimensional Lie algebra

I have a question on $3$-dimensional Lie algebra $L$ over ${\bf C}$ (cf. Erdmann and Wildon's book) Assume that $$ L=(x,y,z),\ L'=(y,z)$$ Then the book states that there exits two kinds of $L$ : (1) $$ [y,z]=0,\ {\rm ad}_x = \left( …
HK Lee
  • 19,964
1
vote
1 answer

${\rm tr}\ {\rm ad}\ z =0$ for $z$ in commutator ideal $L'$

If $L$ is a Lie algebra in ${\rm gl}\ (n,{\bf R})$ then $$\ast\ {\rm tr}\ {\rm ad}\ z =0$$ for $z$ in commutator ideal $L'$ This is followed from matrix expression. But in 2.5 exercise in Erdmann and Wildon's book, there exists no condition on $L$.…
HK Lee
  • 19,964
1
vote
1 answer

Problem about structure of Lie algebra

This is 2.13 exercise in Erdmann and Wildon's book. Define a center $$ Z(L) = \{ z\in L |\ [z,x]=0\ \forall \ x\in L \} $$ If $I$ is ideal of $L$ then let $$ B = C_L(I) = \{ z\in L|\ [z,x]=0\ \forall x\in I \} $$ (It is called by centralizer of…
HK Lee
  • 19,964
1
vote
1 answer

product of ideals in decending central series

Let $L$ be a Lie algebra. Let $C^n(L)$ be defined by: $C^0(L) = L$, $C^k(L) = [L,C^{k-1}(L)]$ for $k \geq 1$. Then how can I show that $[C^r(L),C^s(L)] \subseteq C^{r+s}(L)$ for all $r,s \in \mathbf{N}$? I have tried fixing $s$ and proceeding by…
nigel
  • 3,214
1
vote
1 answer

Possible use of the rank of a nilpotent Lie algebra to construct a maximal dimensional solvable Lie algebra

Let $\mathfrak{g}$ be a nilpotent Lie algebra. It is possible to find the Lie algebra of derivations of $\mathfrak{g}$ denoted $Der\mathfrak{g}.$ Then we could consider the maximal abelian subalgebra of the Lie algebra $Der\mathfrak{g}$ consisting…
1
vote
1 answer

$[[x,y],z]=[x,[y,z]] \Rightarrow [x,y]=0$?

I got the next problem: Let $A$ be a Lie algebra, prove that if the bracket associates $([[x,y],z]=[x,[y,z]]$) then the bracket is zero $([x,y]=0)$. Can't get the result using the properties (alternating, Jacobi identity, anticommutativity), i think…
Lix
  • 261
  • 1
  • 9
1
vote
1 answer

Zero-product property for enveloping algebras

Let $L$ be a finite-dimensional Lie algebra $L$ over a field $k$. Let $(U(L), i)$ be a universal enveloping algebra of $L$. If $x,y \in U(L) - \{0\}$ is there something contradictory about the following statement? $$yzx = 0 \ \ \forall z\in U(L)$$
foobar
  • 71
1
vote
1 answer

semisimplicity of Lie algebra

Let $L$ be a lie algebra. Then if $L$ is semisimple, we have $L = L_1 \oplus \cdots\oplus L_n$ for some simple ideals $L_i$. But we can also consider the adjoint representation. In this representation, each $L_i$ will be an irreducible submodule. So…
nigel
  • 3,214
1
vote
2 answers

Lie algebra homomorphism

I'm sure I'm missing something really obvious here. This seems too stupid. On page 47 of Erdmann & Wildon's Introduction to Lie Algebras, we have the following set up. Let $L$ be a Lie subalgebra of $\mathfrak{gl}(V)$ of dimension $\geq 1$, and let…
nigel
  • 3,214
1
vote
1 answer

Understanding: Common eigenvector of Borel subalgebra is a maximal vector

I didn't understand step b) of this proof and would be happy if someone could help me with this. Let dimV be finite. Let L be a semisimple Lie algebra, $\ L_\alpha $ a weight space. Let $\ \Delta $= {$\ \alpha_1 ,...,\alpha_l $} be a base, H the…