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

Application of Engel's theorem

I am studying Lie Algebras and after saw Engel's theorem my professor said that one can use Engel's theorem to compute the center of the following four Lie…
ned
  • 45
0
votes
1 answer

Maximal abelian subalgebras of different dimensions

Let $L$ be a finite dimensional semisimple complex Lie algebra. Let $M$ be a subalgebra with the property that all elements of $M$ are semisimple, and is maximal w.r.t. this property. Then $M$ is abelian and its centralizer is itself. So it is…
0
votes
0 answers

Lie algebras over commutative ring

What features will be different when we define a Lie algebras over a field and when we consider a Lie algebras over commutative ring?
Nil
  • 1,306
0
votes
1 answer

How to prove perfectness of semidirect product of Lie algebras?

Consider a semisimple Lie algebra S and a vector space V - considered as Abelian Lie algebra - with a non-zero irreducible representation $$\rho: S \rightarrow End(V).$$ $L$ and $V$ are finite-dimensional over the base field $\mathbb{R}$ or…
Jo Wehler
  • 2,285
0
votes
2 answers

maximal ideal in Lie algebra

suppose that $L$ is leibniz or lie algebra and $M$ is maximal ideal of this.then $L/M$ is simple or one dimensional.why say that one dimensional?
pink floyd
  • 1,274
0
votes
0 answers

solvable leibniz algebras

let $A$ be a leibniz algebra over an algebrically closed field $K$ of characteristic $0$. I think if $A$ has basis $e_i$ ,$f_j$ , for $i=1,2,...,m$ and $j=1,2,...,n$, with $e_if_j=\lambda_{ij}f_j$, either $e_if_j=-f_je_i$, or $f_je_i=0$, and all…
pink floyd
  • 1,274
0
votes
1 answer

The definition of the Killing form

We know that the definition of the Killing form: $\kappa:L\times L\rightarrow F$ with $\kappa\left(x,y\right)=\rm{Tr}\left(ad(x)\cdot ad(y)\right)$. Then we have a property of the Killing…
user 1234
  • 425
0
votes
0 answers

Composition Series of $sl_3(\Bbb C)$

Let $Z(\mathbb \lambda)$ denote the standard cyclic(or highest weight) $L$-module of highest weight $\lambda$ and $V(\lambda)$ denote the finite dimensional $L$-module of highest weight $\lambda$. Now for any $\lambda$ $\in$ $H^*$, we know…
Ester
  • 3,057
  • 2
  • 23
  • 34
0
votes
2 answers

Why Isn't $L/\text{rad}(L),$ Commutative?

My question is asking for help understanding the Lie algebra analogue of the following process: Given a group, one of the most complicated things about that group is it's lack of commutativity, and we can measure that with commutators because $$ab =…
bolbteppa
  • 4,389
0
votes
2 answers

Surjective lie algebra homomorphism preserve center?

If $\phi: L_1 \rightarrow L_2"$ is a surjective Lie algebra homomorphism, is it true that $\phi (Z(L_1))=Z(L_2)$. I don't think $Z(L_2)$ is in $\phi (Z(L_1))$ in general cases. Could someone help me to prove this? Thank you in advance!
user368131
0
votes
2 answers

Trivial Questions about Lie Algebra

I am new to Lie Algebra. Could someone help me to answer this question? thanks! Question: how to prove for any non-abelian arbitrary lie algebra $L$, the dimension of it center $Z(L)$ is less or equal to dimension of $L-2$. i.e to prove $$…
user368131
0
votes
0 answers

Why is $\omega([X,Y])=[\omega(X),\omega(Y)]$ for left-invariant vector fields $X,Y$ and the Maurer-Cartan form $\omega$?

In other words, why is the Maurer-Cartan form $\omega$ a Lie algebra homomorphism between $\mathfrak g=T_eG$ and the Lie algebra of left-invariant vector fields on $G$? Why does it preserve the Lie bracket?
0
votes
1 answer

Cartan subalgebras of matrix algebras over fields and division algebras

Let $D$ be a division algebra and $n\in \mathbb{N}$. If $D$ is a field, then it is well-known that the diagonal-matrices form a Cartan subalgebra of $gl(n,D)$. Is there a complete description of all Cartan subalgebras?
Sven Wirsing
  • 549
  • 4
  • 13
0
votes
1 answer

How to find factor algebra in Lie algebra.

For Lie algebra of 9 elements $e1\dots e9$, the commutation relations are defined as: $[{\it e1},{\it e4}]=-{\it e4},[{\it e1},{\it e6}]=-{\it e6},[{\it e1} ,{\it e7}]=-{\it e7},[{\it e1},{\it e8}]=-{\it e8},[{\it e2},{\it e3}] ={\it e5},[{\it…
IgotiT
  • 734
0
votes
0 answers

Types of simple Lie algebra

What exactly is Simple algebra of type $A_2$? I found that it has something to do with root systems, which I also don't really know what those are. Any idea? Thanks!
TzurEl
  • 131
  • 1