Abstract:The group $\mathfrak{X}(G)$ is obtained from $G\ast G$ by forcing each element $g$ in the first free factor to commute with the copy of $g$ in the second free factor. We make significant additions to the list of properties that the functor $\mathfrak{X}$ is known to preserve. We also investigate the geometry and complexity of the word problem for $\mathfrak{X}(G)$. Subtle features of $\mathfrak{X}$ are encoded in a normal abelian subgroup $W<\mathfrak{X}(G)$ that is a module over $\mathbb{Z} Q$, where $Q= H_1(G,\mathbb{Z})$. We establish a structural result for this module and illustrate its utility by proving that $\mathfrak{X}$ preserves virtual nilpotence, the Engel condition, and growth type -- polynomial, exponential, or intermediate. We also use it to establish isoperimetric inequalities for $\mathfrak{X}(G)$ when $G$ lies in a class that includes Thompson's group $F$ and all non-fibered Kähler groups. The word problem is solvable in $\mathfrak{X}(G)$ if and only if it is solvable in $G$. The Dehn function of $\mathfrak{X}(G)$ is bounded below by a cubic polynomial if $G$ maps onto a non-abelian free group.

Varieties of groups and the problem on conciseness of words

On profinite groups admitting a word with only few values

On conciseness of the word in Olshanskii's example

A generalization of concise words

Conciseness on normal subgroups and new concise words from lower central and derived words

Conciseness on normal subgroups and new concise words from outer commutator words

Conciseness of compact $R$-analytic groups

On groups with large verbal quotients

The generalised word problem in hyperbolic and relatively hyperbolic groups

Subgroups of word hyperbolic groups in dimension 2 over arbitrary rings

Short, highly imprimitive words yield hyperbolic one-relator groups

Algorithmically finite, universal, and $*$-universal groups

The word problem of finitely presented special inverse monoids via their groups of units

Stable Invariants and Their Role in Word Measures on Groups

Weak commutativity, virtually nilpotent groups, and Dehn functions

Enumerative properties of restricted words and compositions

Space functions of groups

Complexity of some algorithmic problems in groups: a survey

A note on words having same image on finite groups

Non-singular word maps for linear groups

The word problem and growth of groups