Simple groups with infinite verbal width and the same positive theory as free groups (Q6161728)

Let \(w=w(x_{1},x_{2}, \ldots, x_{r}) \in F_{r}\) be a word of the free group \(F_{r}\). If \(G\) is a group, the verbal subgroup of \(G\) is \(w(G)=\langle w(g_{1},g_{2}, \ldots, g_{r}) \mid g_{1},g_{2}, \ldots, g_{r} \in G \rangle\). If every element of \(w(G)\) can be represented as a product of at most \(n\) values of \(w\) then the word \(w\) is said to be of finite width (in \(G\)) and \(G\) is said to be \(w\)-elliptic, otherwise \(G\) is \(w\)-parabolic. A word \(w\) is proper if the verbal subgroup \(w(F)\) of a non-abelian free group \(F\) is a proper subgroup of \(F\). A group \(G\) has trivial positive theory if it satisfies the same positive sentences as the non abelian free groups. The main result of this paper is Theorem 1.1: There exists an uncountable family of finitely generated simple groups with trivial positive theory. In particular, all proper verbal subgroups of these groups have infinite width, that is, these simple groups are verbally parabolic.