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

Definition of semisimple module over a Lie algebra

I'm reading the paper "G. Hochschild, J.-P. Serre, Cohomology of Lie algebras. Ann. of Math. (2) 57 (1953) 591–603". I want to understand the statement of the Theorem 10: Theorem: Let $G$ a reductive Lie algebra of finite dimension over the field…
0
votes
0 answers

Expression for elements in the intersection and union of two ideals

I'd like to show whether the intersection of two ideals is again an ideal or not. For this, consider two ideals $\mathfrak{h_1},\,\mathfrak{h_2}$ of the Lie algebra $\mathfrak{g}$. In order to answer this question I simply want to check whether the…
Juri V
  • 11
0
votes
1 answer

Cooking up examples of lie algebras - quickly check using strucutre constants

A Lie algebra is is a vector space $L$ equipped with a Lie bracket $[\cdot,\cdot]$. Given linearly independent vectors $e_1,...,e_n$ and structure constants $[e_i,e_j]=\sum_{k=1}^n a^k_{ij}e_k$ is there a quick way to check if this is a lie…
0
votes
0 answers

Constructing a Lie algebra isomorphism from commutation relations

I am trying to prove that the lie Algebras $\mathfrak{so} \left( 3; 1 \right)$ and $\mathfrak{sl} \left( 2, \mathbb{C} \right)$, viewed as a real Lie algebra, as isomorphic. To do so, I have considered the following basis for $\mathfrak{so} \left(…
Aniruddha Deshmukh
  • 3,997
  • 1
  • 13
  • 33
0
votes
0 answers

Understanding "complex structure" on a Lie algebra

I am studying Hall's book on "Lie Groups, Lie Algebras and Representations", and I came across this definition: Definition: A real Lie algebra $\mathfrak{g}$ is said to admit a complex structure if there is a "multiplication by $\iota$" map $J:…
Aniruddha Deshmukh
  • 3,997
  • 1
  • 13
  • 33
0
votes
1 answer

Using induction to prove that nilpotent Lie algebras are solvable

I have been given the problem of showing that nilpotent Lie algebras are also solvable. While the proof as a whole is not difficult, I am struggling to understand the induction involved in the solution I have been given. I get they have used the…
0
votes
1 answer

Levi Decomposition and relations with nilradicals

Consider a Lie algebra $\mathfrak{g}$ that can be view as a subset of some $\mathfrak{gl}(V)$. We can decompose $\mathfrak{g}$ using the Levi decomposition, so we write it as the semidirect decomposition of its radical $\mathfrak{r}$ (the maximal…
0
votes
1 answer

Let ${{\mathfrak g}}$ be a finite-dim. Lie-algebra and ${\mathfrak r}$ a solvable Lie-ideal, does ${\mathfrak r}$ contain $Z({\mathfrak g})$?

Let ${{\mathfrak g}}$ be a finite-dimensional Lie-algebra and ${{\mathfrak r}}$ a solvable Lie-ideal, does ${{\mathfrak r}}$ contain ${Z({\mathfrak g})}$ ? I know this is true for ${{\mathfrak r}} = Rad ~ {\mathfrak g}$, but why is it true in…
Sarah
  • 47
0
votes
0 answers

Cartan's subalgebra of square matrices with zero diagonal.

What is the Cartan's subalgebra of set $D_{0 (n)}$ which consists of n x n matrices with diagonal null? I'm trying the case, $n=2$ and $n=3$, but I'm not coming to any conclusion,for $n=2$ $X= X^T; X\in D_{0(2)}$ ok, in the case 3x3 is not ok.
0
votes
1 answer

Reference for completely-solvable (or split solvable) Lie algebra

According to Wikipedia, a Lie algebra $\mathfrak{g}$ over a field $\mathbb{K}$ is called completely-solvable (or split solvable) if it has a chain of ideals $L_i$ such that $$0 = L_0\subset L_1\subset\cdots\subset L_=L$$ with $\dim L_i=i$. Wikipedia…
0
votes
0 answers

Weyl's Theorem and applications

Consider $g$ a Lie algebra. Prove that if $ad(g)$ is semisimples then the $ad (g)$ representation is completely reducible. Prove: if ad g is semi-simple, an i apply the Weyl's theorem directly to say that g is completely reducible $ad (g)$-modulus?
0
votes
1 answer

show that if $\beta + n\alpha $ is a root for some integer $n$, then $\beta + n\alpha $ lies in the alpha string through beta.

So I would like to show the following, which is, If $\beta + n\alpha $ is a root for some integer $n$, then $\beta + n\alpha $ lies in the alpha string through $\beta$. I'm guessing the fact that if $\beta -q\alpha, \ldots , \beta + p\alpha $ is an…
user58514
0
votes
1 answer

Is the radical of a Lie algebra equal to the radical of its Killing form?

A Lie algebra $\mathfrak{g}$ is semi-simple if the maximal solvable ideal ${\rm rad}(\mathfrak{g})$ is trivial (let's take this as the definition for this question). Cartan's Second Criterion says that $\mathfrak{g}$ is semi-simple if and only if…
Ivo Terek
  • 77,665
0
votes
0 answers

Ideals and derived algebras.

Consider L is an ideal in $g/ g '$ of codimension 1. Let $ \pi: g \longrightarrow g / g '$ homomorph be canonical. So, $ \pi^{-1} (L)$ um is ideal in g. In fact, if $x \in \pi^{-1}(L)$ and $\in g$, then $$\pi[x,y]=[\pi(x), \pi(y)]=0 \in…
0
votes
1 answer

Levi decomposition of $\mathfrak{gl}_n(\mathbb{K})$

Im trying to find the Levi decomposition of $\mathfrak{gl}_n(\mathbb{K})$ where $\mathbb{K}$ has characteristic zero. By Levi's theorem $\mathfrak{gl}_n(\mathbb{K})=Rad(\mathfrak{gl}_n(\mathbb{K} )+S$ where $Rad$ is the solvable radical and S is…