Questions tagged [free-lie-algebras]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
0answers
35 views

is this the correct universal property of free Lie superalgebras?

Consider a $\Bbb Z_2$ graded set $A$. Universal property of free Lie superalgebra $FLS(A)$: Let $\mathfrak g$ be a Lie superalgebra and let $\Phi: A \to \mathfrak g$ be a set map which preserves the $\...
1
vote
1answer
107 views

Ideal of the free Lie algebra L(x,y) generated by x

Let $L=L(x,y)$ be the free Lie algebra generated by letters $x,y.$ For a vector subspace $V\leq L$ we denote by $[V,L]$ the vector space spanned by brackets $[v,l],v\in V,l\in L.$ A vector subspace $V\...
2
votes
0answers
130 views

Lyndon basis of free Lie algebras

Let $A = \{a,b,c,d\}$ be a set of totally ordered alphabets, a Lyndon word over $A$ is a word $w$ in $A^*$ such that if $w=uv$ is a factorization of $w$ into non-empty subwords, then $u<v$ in ...
3
votes
1answer
148 views

Free Lie algebra and nilpotent groups in Rothschild and Stein's paper

In Rothschild, Linda Preiss; Stein, Elias M., Hypoelliptic differential operators and nilpotent groups, Acta Math. 137(1976), 247-320 (1977). ZBL0346.35030. PDF at archive.ymsc.tsinghua.edu.cn ...
3
votes
0answers
53 views

Lie subalgebra as the intersection of the subalgebra and the Lie subalgebra

Let $X = (X_1, \dots X_q)$ be indeterminates. Let $A(X)$ be the free algebra over $X$. Let $L(X) \subset A(X)$ be the free Lie algebra over $X$. I consider some finite set $Y \subset L(X)$ and ...
5
votes
1answer
99 views

Criterion to construct a $\mathbb{Z}$-basis of a free $\mathbb{Z}$-Lie algebra

Let $L(\mathbb{Z},n)$ (resp. $L(\mathbb{Q},n)$) be the free Lie algebra over $\mathbb{Z}$ (resp. over $\mathbb{Q}$) with generating set $\{x_1,\dots,x_n\}$. Let $\mathcal B$ be a $\mathbb{Q}$-basis ...
1
vote
0answers
63 views

Lyndon words and free groups [closed]

It is well known that Lyndon words form a basis for free Lie algebras. Is there any analog result for free groups? What is the connection between Lyndon words and free groups? Since groups and Lie ...
2
votes
1answer
117 views

super Lyndon words

Lyndon words form a basis for Free Lie algebras. In this direction, I need the reference for the super Lyndon words for free Lie superalgebras. Given the definition of super Lyndon words, how to ...
2
votes
1answer
81 views

Lyndon basis of free Lie superalgebras

Lyndon basis for Free Lie algebras is well known in the literature. My question is, what is the analogous combinatorial model for the case of free Lie superalgebras? what is the super analogous of ...
3
votes
1answer
269 views

Lyndon words and Hall basis

I am looking for an algorithm to produce Hall basis from Lyndon words. First I will recall the definition of the Hall set following Serre's presentation. Let $X$ be a finite set and let $M(X)$ be ...
7
votes
0answers
155 views

Structure constants of Lyndon-Shirshov basis of the free Lie ring

Let $X$ be an alphabet, ${\sf Lyn}$ be the set of Lyndon words on $X$ and $L$ be the free Lie ring on $X.$ For $w\in {\sf Lyn}$ we denote by $[w]$ the corresponding element of the Lyndon-Shirshov ...
1
vote
1answer
112 views

How to write down the map $T(V)_n \to S(Lie(V))_n$ explicitly?

Let $V$ be a vector space with a basis $v_1, v_2, \ldots, v_n$. Let $T(V)$ be the tensor algebra of $V$. Let $S(Lie(V))$ be the symmetric algebra of the free Lie algebra of $V$. I think that $T(V)$ is ...
13
votes
2answers
349 views

Free groups and free restricted Lie algebras

If $G$ is any group and $\gamma_k(G)$ denotes the $k$th term in the lower central series of $G$, then the commutator bracket on $G$ endows $$\mathcal{L}(G) = \bigoplus_{k=1}^{\infty} \gamma_k(G) / \...
4
votes
0answers
134 views

Poincaré-Birkhoff-Witt theorem for Leibniz algebras

Leibniz algebras can be seen as a non-skew-symmetric generalization of Lie algebras. I have already taken a look at some papers related to Leibniz algebras and extending main results of Lie algebras ...
11
votes
2answers
541 views

Bracket of lyndon words?

Here is a simple question regarding the standard Lyndon basis for the free Lie Algebra. Suppose I take two lyndon words $m$ and $n$ and their standard bracketings $B(m)$ and $B(n)$ as elements in the ...
24
votes
1answer
689 views

The BCH series in terms of Lyndon words

Recently I did some explicit computations that involved the BCH series, $\log(e^x e^y)$. Here $x$ and $y$ are non-commuting variables, and the BCH series lives in the graded completion $FL(x,y)$ of ...
4
votes
1answer
281 views

About the term “tangential derivation” on a free Lie algebra.

Let $\mathcal{lie}_n$ be the free Lie algebra generated by $n$ elements $x_1,\ldots, x_n$. A derivation $u\in \text{Der}(\mathcal{lie}_n)$ is called tangential if there exist $a_i\in \mathcal{lie}_n, ...
8
votes
4answers
1k views

list of Hall basis

Anyone know a place where the standard Hall basis is listed up to at least 5-fold brackets? And for graded Lie algebras? The rules are clear but I'd rather not turn the crank myself. Google search ...
1
vote
2answers
223 views

Invariant space of lifted Chevalley automorphisms of the tensor algebra

Question. Let $k$ be a field of characteristic $0$. Let $L$ be a $k$-vector space. Consider the subspace $S$ of $L\otimes L\otimes L\otimes L$ spanned by all tensors of the form $\left[a,\left\lbrace ...