Associativity and Thompson's Group

Abstract

Given a set S equipped with a binary operation (we call this a "bracket algebra") one may ask to what extent the binary operation satisfies some of the consequences of the associative law even when it is not actually associative? We define a subgroup Assoc(S) of Thompson's Group F for each bracket algebra S, and we interpret the size of Assoc(S) as determining the amount of associativity in S - the larger Assoc(S) is, the more associativity holds in S. When S is actually associative, Assoc(S) = F; that is the trivial case. In general, it turns out that only certain subgroups of F can occur as Assoc(S) for some S, and we describe those subgroups precisely. We then explain what happens in some familiar examples: Lie algebras with the Lie bracket as binary operation, groups with the commutator bracket as binary operation, the Cayley numbers with their usual multiplication, as well as some less familiar examples. In the case of a group G, with the commutator bracket as binary operation, it is better to think of the "virtual size of G", determined by all the groups Assoc(H) such that H is a subgroup of finite index in G. This gives a way of partitioning groups into "small", "intermediate" and "large" - a partition suggestive of, but different from, traditional measures of a group's size such as growth, isoperimetric inequality and "amenable vs. non-amenable"