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

free product of two Leibniz algebras

I am looking for the definition of free product of two Leibniz algebras. Is there any reference for this? Yours,
Takjk
  • 77
1
vote
1 answer

Clarification on no faithful finite dimensional irreducible representation of the Heisenberg algebra

I am working on the same problem as the original asker in here. The question is as follows. Let $L$ be the Heisenberg algebra with basis $f, g, z$ such that $[f,g]=z$ and $z$ is central. Show that $L$ does not have a faithful finite-dimensional…
Plue
  • 149
1
vote
0 answers

Reductive Lie Algebra

I need a hint on how to do one problem in "Introduction to Lie Algebras and Representation Theory" by James E. Humphreys. Suppose that $L$ is a reductive Lie algebra ($\textrm{Rad}\space L=Z(L)$) over a field $F$ (assume it is algebraically closed…
KnobbyWan
  • 530
1
vote
0 answers

How can I show the upper bound $d^r$ on the number of finite dimensional simple $L$-modules of dimension $\leq d$

$L$ is a finite dimensional semisimple Lie algebra over a field $F$ with $F=\overline{F}$ and char$F=0$. The simple roots are $\Delta = \{\alpha_1, \ldots, \alpha_r\}$. I want to show that there are at most $d^r$ finite dimensional simple…
Auclair
  • 1,467
1
vote
1 answer

Proof of conjugacy of Cartan subalgebras

I was looking at the proof of the conjugacy of Cartan subalgebras from Carter's Lie Algebra's of Finite and Affine Type. An important part of the proof is to show that every Cartan subalgebra $H$ has a regular element. To show this, the proof…
user339825
1
vote
1 answer

How to write down a presentation of a Lie algebra if we know a set of generators?

How to write down a presentation of a Lie algebra if we know a set of generators in matrix form? For example, for $sl_2$, if we know $e=(0, 1; 0, 0)$, $f=(0, 0; 1, 0)$ , $h=(1, 0; 0, -1)$, how to write a presentation of $sl_2$ from these matrices?
LJR
  • 14,520
1
vote
2 answers

Lie algebra over $F$ of dimension $3$ whose derived algebra has dimension $1$ and lies in $Z(L)$

Show that (up to isomorphism) there is a unique Lie algebra over $F$ of dimension $3$ whose derived algebra has dimension $1$ and lies in $Z(L)$. I think that I must construct a basis for $L$ satisfying such conditions. My first idea is to…
user2345678
  • 2,885
1
vote
0 answers

Proof of Lie's theorem on solvable Lie algebra

Lie's theorem stated in Fulton's Representation theory book is as follows : Let $\mathfrak{g}\subseteq \mathfrak{gl}(V)$ be a solvable lie algebra. Then there exists a vector $v\in V$ which is a common eigen vector for all $X\in…
user312648
1
vote
2 answers

Intersection of Radical With Semisimple Subalgebra

Suppose $\mathfrak{g}$ is a Lie algebra with radical $\text{Rad }\mathfrak{g}$ and let $\mathfrak{a}\subseteq\mathfrak{g}$ be a semisimple subalgebra. Is it necssarily the case that $\text{Rad }\mathfrak{g}\cap\mathfrak{a}=\{0\}$? I am trying to…
1
vote
1 answer

The Uniqueness of Roots in the Cartan-Weyl Basis for Lie Algebras

I have been reading di Francesco's Conformal Field Theory section on Lie algebras (chp 13, pg 491). Following their notation, let $[\cdot,\cdot]$ be the multiplication in the Lie algebra. The Cartan-Weyl basis first chooses the generators $\{H^i\}$…
Aaron
  • 195
1
vote
1 answer

Is the image of this specific homomorphism between abelian and compact Lie algebras central?

Let $\mathfrak{g}$ be a compact Lie algebra (a Lie algebra that admits a positive invariant bilinear form) and $\mathfrak{h}$ an abelian Lie algebra. Let $\rho\colon\mathfrak{h}\to\mathfrak{g}$ be a homomorphism of Lie algebras that takes some…
YYF
  • 2,917
1
vote
2 answers

Exceptional Lie algebras E8

I have some questions about the exceptional Lie algebras, in particular on Lie algebra E8 1) Wath difference from the other Lie algebras, especially the classic Lie algebras $A_{l}$, $B_{l}$,$C_{l}$ and $D_{l}$? 2) Exists other Lie algebras, for…
1
vote
1 answer

There exists an $n_{0}\in\mathbb{N}$ such that $C_{\frak{g}}(K)\subseteq \frak{g}^{n_{0}}$ and $C_{\frak{g}}(K)\nsubseteq\frak{g}^{n_{0}+1}$

If $\frak{g}$ is a nilpotent Lie algebra there exists an ideal $K$ of $\frak{g}$ of codimension 1 such that $\frak{g}$ = $K + x\mathbb{F}$. How can I prove that there exists an $n_{0}\in\mathbb{N}$ such that $C_{\frak{g}}(K)\subseteq…
fer2017
  • 93
1
vote
1 answer

Showing killing form is Ad-invariant

Let $G$ be a matrix Lie group. Its Lie algebra $\mathfrak{g}$ comes equipped with a symmetric (2,0) tensor known as its Killing from, denoted $K$ and defined by $$ K(X,Y) = -\text{Tr}(\text{ad}_X \circ \text{ad}_Y)$$ where $\text{ad}_X \in…
user110503
  • 903
  • 7
  • 17
1
vote
1 answer

what does it mean for an algebra to be a "derived subalgebra" of another?

I need to understand the concept of a derived subalgebra. What does this mean in the most basic terms and how does one prove that an algebra is the derived subalgebra of another? For example, what would one need to do to show that…