The Generation Problem in Thompson Group $F$

We show that the generation problem in Thompson's group F is decidable, i.e., there is an algorithm which decides if a finite set of elements of F generates the whole F. The algorithm makes use of the Stallings 2-core of subgroups of F, which can be defined in an analogous way to the Stallings core of subgroups of a finitely generated free group.
We show that the generation problem in Thompson's group F is decidable, i.e., there is an algorithm which decides if a finite set of elements of F generates the whole F. The algorithm makes use of the Stallings 2-core of subgroups of F, which can be defined in an analogous way to the Stallings core of subgroups of a finitely generated free group. Further study of the Stallings 2-core of subgroups of F provides a solution to another algorithmic problem in F. Namely, given a finitely generated subgroup H of F, it is decidable if H acts transitively on the set of finite dyadic fractions D. Other applications of the study include the construction of new maximal subgroups of F of infinite index, among which, a maximal subgroup of infinite index which acts transitively on the set D and the construction of an elementary amenable subgroup of F which is maximal in a normal subgroup of F.

UK Delivery:

• Free delivery on all orders of £10 or more.
• £1.49 delivery fee on orders below £10.
• UK orders are shipped via Royal Mail 2nd Class.

International Delivery:

• Flat rate delivery charges vary by country.

Dispatch and Delivery Times:

• All orders are shipped from our warehouse in Northampton, UK within 48 hours of receipt during working hours.
• UK mainland orders typically arrive within 3-5 working days via Royal Mail 2nd Class.
• International estimated delivery times:
• Europe & Channel Islands: 7 to 10 working days
• USA: 7 to 15 working days
• Rest of the World: 9 to 21 working days

View our full delivery infomation here.