Questions tagged [free-lie-algebras]
The free-lie-algebras tag has no usage guidance.
25
questions
0
votes
0
answers
75
views
What is the order of these binary trees?
In the book "Free Lie algebras" by the author Christophe Reutenauer, Example 4.2 (in subsection 4.1) gives the trees of degree $\le 5$ of a Hall set in magma $M(A)$, where $A=\{a,b\}$ as the ...
0
votes
0
answers
21
views
About extending maps to semi derivations
Let consider a map $d: X \to P$, where $X$ is a generating set of $P$ and $(P,\cdot, \{,\})$ is a free Poisson algebra. How can we extend $d$ to a semi derivation map from a subalgebra $P$ to $P$? By ...
- 367
7
votes
0
answers
280
views
Associativity of the Campbell-Baker-Hausdorff operation on a Banach-Lie algebra
Let $(\mathfrak{g}, [\cdot,\cdot]_\mathfrak{g}, \Vert \cdot \Vert_\mathfrak{g})$ be an infinite-dimensional Banach-Lie algebra, and let us define for any $a,b \in \mathfrak{g}$ the series
$$~ Z^\...
- 171
4
votes
0
answers
178
views
Is the natural map from the free Lie algebra to the free associative algebra injective?
$\newcommand{\im}{\operatorname{im}}$Given a set $X$ and non-zero unital commutative ring $R$, let:
\begin{align}
A &= \mbox{free unital, associative algebra on $X$ with coefficients in $R$},\\
...
- 1,394
2
votes
0
answers
83
views
Elements of the Hall basis described via permutations
Good morning,
Suppose that $\mathfrak{g}$ is a free graded Lie algebra generated by the elements $1,\dots, n$, i.e. assume that $\mathfrak{g}_1=\mathrm{span}\{1,\dots, n\}$. Let us focus on the Hall ...
- 277
2
votes
0
answers
46
views
How can we interpret Groebner basis in a special case?
Let consider a free Lie algebra generated by $X$ with a set of relations $S$ such that the degree of leading monomial of relations in $S$ are greater than or equal to $2$. Let assume that we compute ...
- 367
1
vote
0
answers
41
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,209
1
vote
1
answer
235
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\...
- 1,312
2
votes
0
answers
447
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 ...
- 1,209
3
votes
1
answer
225
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
...
- 519
3
votes
0
answers
114
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 ...
- 948
5
votes
1
answer
112
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 ...
- 71
1
vote
0
answers
73
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 ...
- 1,209
2
votes
1
answer
137
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 ...
- 1,209
2
votes
1
answer
124
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 ...
- 1,209
3
votes
1
answer
456
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 ...
- 497
7
votes
0
answers
190
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,312
1
vote
1
answer
116
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 ...
- 6,011
13
votes
2
answers
469
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) / \...
- 42.4k
4
votes
0
answers
157
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 ...
- 367
11
votes
2
answers
656
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 ...
- 557
24
votes
1
answer
781
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 ...
- 1,940
4
votes
1
answer
314
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,627
8
votes
4
answers
2k
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 ...
- 3,822
1
vote
2
answers
237
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 ...
- 32.7k