Hall set
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
).
Hall sets may be shown to coincide with Lazard sets (cf. Lazard set). The combinatorics of Hall sets is also studied in [a2] and [a3].
See also Hall word.
References
[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. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hall_set&oldid=33296