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
2
votes
2 answers

Example of a non-nilpotent Lie algebra $L$ an ideal $I$ such that $L/I$ is nilpotent

I have to find an example of non nilpotent Lie algebra $L$ and an ideal $I$ of $L$ such that $L/I$ is nilpotent. So we can take the algebra of $ 2 \times2$ matrix upper triangular and with null trace. So the matrix $(0,1),(0,0)$ is a nilpotent ideal…
ArthurStuart
  • 4,932
2
votes
1 answer

Semisimplicity, simplicity and type of symplectic algebra $sp(2n)$

Let $sp(2n)$ be the symplectic algebra. I have to prove that $sp(2n)$ is a simple algebra and its type is $C_{n}$. In order to prove the semisimplicity we can consider the this theorem: Let $V$ be a finite dimensional vector space and $L \subset…
ArthurStuart
  • 4,932
2
votes
1 answer

Weyl Group, Lie algebra

How I can prove any element of order 2 in a Weyl group is the product of commuting root reflections. I need to show also that the only reflections in Weyl group are the root reflections.
user5644
2
votes
1 answer

maximal subalgebras of nilpotent Lie algebra

I know that if every maximal subalgebra is an ideal, then L is nilpotent. Is every maximal subalgebra of a nilpotent Lie algebra an ideal?
Afsaneh
  • 47
2
votes
1 answer

an example on Lie bialgebra

An example: $\mathfrak{sl}(2,\mathbb C)$ Let us consider the Lia algebra $\mathfrak g=\mathfrak{sl}(2,\mathbb C)$, with basis $$H=\begin{pmatrix}1&0\\0&-1\end{pmatrix}, \ X=\begin{pmatrix}0&1\\0&0\end{pmatrix}, \…
2
votes
1 answer

skew-symmetric linear map

We all know the definition in the following Definition. Let $\frak{g}$ be a Lie algebra. A Lie bialgebra structure on $\frak{g}$ is a skew-symmetric linear map $\delta_{\frak{g}}: \frak{g}\rightarrow \frak{g}\otimes \frak{g},$ called the…
2
votes
0 answers

Statement(s) of PBW theorem

The PBW theorem is stated in one of the following two forms (See Jacobson's or Humphreys text). Let $L$ be a Lie algebra over $\mathbb{C}$ with a basis $\{x_i:i\in I\}$. Let $T(L)$ be the tensor algebra of $L$. For simplicity we write $x_i\otimes…
Beginner
  • 10,836
2
votes
0 answers

What is the isomorphism $\phi : \mathfrak{sl}_2(\mathbb C) \cong \mathfrak{so}_3(\mathbb C) $

I am asked to prove that the Lie algebras $\mathfrak{sl}_2(\mathbb C), \; \mathfrak{so}_3(\mathbb C)$ are Lie isomorphic to each other. We have the standard basis for $\mathfrak{sl}_2(\mathbb C)$ to be $\{e = \left(\begin{matrix}0 & 1 \\ 0 &…
user366818
  • 2,653
2
votes
1 answer

Relationship between Lie coalgebra and Lie bialgebra

I read the two Wikipedia articles and it sounds like there is a relationship between the two, but I can't quite grasp it. They don't seem to be the same thing, but I can't demonstrate it in part because Lie coalgebra is defined using the exterior…
2
votes
1 answer

surjective Lie algebra homomorphism preserves 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 see that $\phi (Z(L_1))$ is in $Z(L_2)$, but if $\phi^{-1}(0)$ is not $0$, i.e $\phi$ not injective I think that the other inclusion…
inquisitor
  • 1,740
2
votes
0 answers

If $\mathfrak g$ has an invertible derivation, then $\mathfrak g$ is nilpotent.

Consider a finite dimensional Lie algebra $\mathfrak g$ and let $D$ be an invertible derivation of $\mathfrak g$. Prove that $\mathfrak g $ is nilpotent. For any $X\in \mathfrak g$, we can write $ad (DX) = [D,ad(X)].$ Since exists $D^{-1}$, we…
user2345678
  • 2,885
2
votes
1 answer

Troubles in verifying that a map is a representation of a Lie Algebra.

I'm studying Lie Algebras, following the book "Algebras de Lie - Luiz A. B. San Martin" and page 25 the author says that, the map $$ \rho:\mathfrak{gl}(n,\mathbb{R}) \to \mathfrak{gl} (\mathcal{C}^{\infty}(\mathbb{R}^n,\mathbb{R}^n)))$$ such that…
2
votes
3 answers

Why is it so important for the characteristic value of the field of a lie algebra to not be two for many propositions?

In reading my Lie algebra text, I see a lot of propositions starting with, "If char F does not equal 2, then..." For example, if char F does not equal 2, then o(n,F) is a subalgebra of sl(n,F). I am failing to see the importance in most cases. Could…
2
votes
2 answers

What is the trace in the definition of a Killing Form?

Let $\underline G$ be an arbitrary Lie algebra. For arbitrary $X,Y\in\underline G$, we can define the adjoint of $X$ by $\text{ad}_X(Y)=[X,Y]$. Thus, $\text{ad}_X$ is a linear map on $\underline G$. Given the adjoint, one defines the Killing Form…
Jahan Claes
  • 1,199
2
votes
0 answers

About enveloping algebras of direct sums

Let us consider a $R$-Lie algebra ($R$ is a commutative ring) written as a (module) direct sum of two of its subalgebras $$ \mathfrak{g}=\mathfrak{g}_1\oplus\mathfrak{g}_2 $$ and the natural mapping $$ \alpha :…