Basic Lie product
Contents
Definition
The term basic Lie product is used in the following context. Let be the free associative algebra over the field of rational numbers using generators . In other words, .
The term basic Lie product is used for some of the iterated Lie products involving the variables . There are two versions of the definition, one relying on left-normed commutators, and the other relying on right-normed commutators. Note that the basic commutators for the left-normed definition are not, in general, left-normed commutators. Similarly for the right-normed case.
Left-normed definition
The definition has a number of preliminaries, which we first attend to:
Term | Meaning |
---|---|
lexicographic ordering on associative monomials | We define it as follows: either if, for some , we have and , or if the right side is an initial segment of the left side. |
regular word (also called Lyndon word) | A word that is strictly greater than all its cyclic permutations. A word is regular if, whenever for non-empty words , then . |
weight of a Lie product | the number of monomial terms that appear in it. Includes repetition counts. Thus, the weight of is 4. |
underlying associative monomial of a Lie product | the monomial word obtained by dropping all the Lie brackets and reading the word as an associative word. Note that this is not the same as the element of that one would get by expanding the Lie brackets. However, it is one of the monomials that occurs in that word. For instance, the underlying associative monomial of is , whereas the polynomial for the Lie product itself is . |
Consider a Lie product involving the generators . It is termed a basic Lie product if either it has weight one or it satisfies all of the following conditions, after we first note for smaller Lie products :
- Both and are basic Lie products.
- The underlying associative monomial of is greater than the underlying associative monomial of in the lexicographic ordering (see above).
- If has weight more than one, note it of the form , and then it must be true that the underlying associative monomial of is the underlying associative monomial of . (Note: If has weight one, this condition need not be checked).
The following basic facts are true:
- The underlying associative monomial of a basic Lie product is a regular word.
- For every regular word, there is a unique basic Lie product having that as the underlying associative monomial.
Right-normed definition
PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]Facts
Further information: Basic Lie products form a freely generating set of graded component of free Lie algebra
Consider the free -Lie algebra on . The basic Lie products defined here form a basis for this Lie algebra as a -vector space. Moreover, the basic Lie products of length form a basis for the degree homogeneous component of the free Lie algebra.
This basis is termed the Lyndon basis or the Shirshov basis.
In fact, the basic Lie products form a free generating set for the degree homogeneous component of the -Lie algebra, which is a free abelian group.
This fact can also be used to give a formula for the dimension of the homogeneous graded components of free Lie algebras. For more, see formula for dimension of graded component of free Lie algebra.
Particular cases
Basic Lie products in two variables: left-normed version
The variables are taken as and . We list all the basic Lie products in the left-normed version of weight up to five.
Basic Lie product | Weight | Underlying associative monomial (regular word) | Lie product as associative polynomial |
---|---|---|---|
1 | |||
1 | |||
2 | |||
3 | |||
3 | |||
4 | |||
4 | |||
4 | PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] | ||
5 | PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] | ||
5 | PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] | ||
5 | PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] | ||
5 | PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] | ||
5 | PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] | ||
5 | PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] |
References
Textbook references
Book | Page number | Chapter and section | Contextual information | View |
---|---|---|---|---|
p-automorphisms of finite p-groups by Evgenii I. Khukhro, 13-digit ISBN 978-0-521-59717-3, 10-digit ISBN 0-521-59717-X^{More info} | 67 | Section 5.3 (Free Lie rings) | Definition 5.33, uses the left-normed definition |