Limit groups with respect to Thompson's group F and other finitely generated groups

TL;DR

This paper investigates the structure of limit groups related to Thompson's group F, providing new theorems on laws with parameters in F and conditions for solutions to certain inequalities, with implications for other finitely generated groups.

Contribution

It introduces new theorems on laws with parameters in F and establishes conditions for solutions to inequalities, advancing the understanding of F-limit groups and their generalizations.

Findings

Construction of laws with parameters in F

Conditions guaranteeing solutions to inequalities in F

Applicability to other finitely generated groups

Abstract

Let F be the (Thompson's) group < x_0, x_1 | [x_0x_1^-1, x_0^-ix_1 x_0^i], i=1,2 >. We study the structure of F-limit groups. Let G_n= < y_1,..., y_m, x_0,x_1 | [x_0x_1^-1,x_0^-1x_1x_0],[x_0x_1^-1,x_0^-2x_1x_0^2], y_j^-1g_j,n(x_0,x_1), 0<j<m+1 >, where g_j,n(x_0,x_1) belongs to F, be a family of groups marked by m+2 elements. If the sequence (G_n)_n<w is convergent in the space of marked groups and G is the corresponding limit we say that G is an F-limit group. Primarily the paper is devoted to the study of F-limit groups. The results are based on some theorems concerning laws with parameters in F. In particular several constructions of such laws are given. On the other hand we formulate some very general conditions on words with parameters w(y,a_1,...,a_n) over F which guarantee that the inequality w(y,a') is not equal to 1 has a solution in F. Some of the results are of a more general nature and can be applied to study limit groups with respect to other finitely generated groups and classes of finitely generated groups, in particular to the case of the Grigorchuk group.