We use the theory of group actions on profinite trees to prove that the fundamental group of a finite, 1-acylindrical graph of free groups with finitely generated edge groups is conjugacy separable. This has several applications: we prove that positive, $C'(1/6)$ one-relator groups are conjugacy separable; we provide a conjugacy separable version of the Rips construction; we use this latter to provide an example of two finitely presented, residually finite groups that have isomorphic profinite completions, such that one is conjugacy separable and the other does not even have solvable conjugacy problem.
We study generalisations of conjugacy separability in restricted wreath products of groups. We provide an effective upper bound for $\mathcal{C}$-conjugacy separability of a wreath product $A \wr B$ in terms of the $\mathcal{C}$-conjugacy separability of $A$ and $B$, the growth of $\mathcal{C}$-cyclic subgroup separability of $B$, and the $\mathcal{C}$-residual girth of $B.$ As an application, we provide a characterisation of when $A \wr B$ is $p$-conjugacy separable. We use this characterisation to the provide for each prime $p$ an example of wreath products with infinite base group that are …
Let $H$ be an acylindrically hyperbolic group without nontrivial finite normal subgroups. We show that any finite system $S$ of equations with constants from $H$ is equivalent to a single equation. We also show that the algebraic set associated with $S$ is, up to conjugacy, a projection of the algebraic set associated with a single splitted equation (such equation has the form $w(x_1,\dots,x_n)=h$, where $w\in F(X)$, $h\in H$). From this we deduce the following statement: Let $G$ be an arbitrary overgroup of the above group $H$. Then $H$ is verbally closed in $G$ if and only if it is algebraic…
In this article, we completely characterize the asymptotic behavior of conjugacy separability for the lamplighter groups. More generally, we give exponential upper and lower bounds for all wreath products of finitely generated abelian groups where the acting group is infinite and base group is finite.
In this paper we study conjugacy and subgroup separability properties in the class of nilpotent $\mathbb{Q}[x]$-powered groups. Many of the techniques used to study these properties in the context of ordinary nilpotent groups carry over naturally to this more general class. Among other results, we offer a generalization of a theorem due to G. Baumslag. The generalized version states that if $G$ is a finitely $\mathbb{Q}[x]$-generated $\mathbb{Q}[x]$-torsion-free nilpotent $\mathbb{Q}[x]$-powered group and $H$ is a $\mathbb{Q}[x]$-isolated subgroup of $G,$ then for any prime $π\in \mathbb{Q}[x]…
This article studies automorphism groups of graph products of arbitrary groups. We completely characterise automorphisms that preserve the set of conjugacy classes of vertex groups as those automorphisms that can be decomposed as a product of certain elementary automorphisms (inner automorphisms, partial conjugations, automorphisms associated to symmetries of the underlying graph). This allows us to completely compute the automorphism group of certain graph products, for instance in the case where the underlying graph is finite, connected, leafless and of girth at least $5$. If in addition the…
