A Hall set over generators is a totally ordered subset of the free magma , i.e. the free non-associative structure over (cf. also Associative rings and algebras). The elements of correspond to completely bracketed words over (or rooted planar binary trees with leaves labelled by generators ; cf. also Binary tree). These are defined recursively as brackets , where are bracketed words of lower weight; the bracketed words of weight one correspond to the generators .
The total order on is required to satisfy the condition:
) for any , .
Let be a totally ordered subset such that condition ) is fulfilled. Then the set is a Hall set if and only if the following conditions are satisfied:
) if and only if
) with ; and
) either or , and then .
This definition is from [a1]. M. Hall's original definition replaces condition ) by simply imposing that brackets of lower weight be smaller with respect to . Many authors proposed generalizations of Hall's construction by relaxing condition ) in many different ways. Viennot's definition acted as a unifying framework for the various proposed generalizations; see [a2] for details. Observe that the definition of a Hall set admits symmetries, with respect to the order ; for instance, one could invert the order and write instead. It must be noted, however, that conditions ) and ) must be coherent; that is, the sequence of elements must either be increasing (as is the case here) or decreasing. Hence, there are four possible equivalent definitions for Hall sets.
An example of a Hall set is the set of basic commutators (cf. Basic commutator), the basic commutator Hall set. It has the total order reversed with respect to the definition above. Another symmetry involves writing bracketed words from right to left instead of from left to right. For example, the "Hall set" described in [a4], Sect. 2.10, arises from the basic commutator Hall set in this way. Another Hall set can be defined using Lyndon words (cf. Lyndon word).
Elements of a Hall set are used to obtain a basis of the free Lie algebra over (cf. Lie algebra, free; Hall polynomial). X. Viennot [a1] has shown that his definition not only gives a unifying framework but is also, in a certain sense, optimal: Any subset satisfying ) and ), leading to a basis of the free Lie algebra, must satisfy condition ).
See also Hall word.
|[a1]||X. Viennot, "Algèbres de Lie libres et monoïdes libres" , Lecture Notes in Mathematics , 691 , Springer (1978)|
|[a2]||G. Melançon, "Combinatorics of Hall trees and Hall words" J. Combin. Th. , 59A : 2 (1992) pp. 285–308|
|[a3]||C. Reutenauer, "Free Lie algebras" , London Math. Soc. Monographs New Ser. , 7 , Oxford Univ. Press (1993)|
|[a4]||N. Bourbaki, "Groupes et algèbres de Lie" , II. Algèbres de Lie libres , Hermann (1972)|
Hall set. G. MelanÃ§on (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Hall_set&oldid=11448