Related papers: $\mathcal{C}$-Hereditarily conjugacy separable gro…

It is proved that generalized free product of two finite p-groups is a conjugacy p-separable group if and only if it is residually finite p-groups. This result is then applied to establish some sufficient conditions for conjugacy…

We show that the conjugacy problem in a wreath product $A \wr B$ is uniform-$\mathsf{TC}^0$-Turing-reducible to the conjugacy problem in the factors $A$ and $B$ and the power problem in $B$. If $B$ is torsion free, the power problem for $B$…

We show that the wreath product of two finite symmetric or alternating groups is 2-generated.

We show that the wreath product $G \wr \mathbb{Z}^n$ of any finitely generated group $G$ with $\mathbb{Z}^n$ has finite palindromic width. We also show that $C \wr A$ has finite palindromic width if $C$ has finite commutator width and $A$…

Invariable generation is a topic that has predominantly been studied for finite groups. In 2014, Kantor, Lubotzky, and Shalev produced extensive tools for investigating invariable generation for infinite groups. Since their paper, various…

We study the notion of twisted conjugacy separability (essentially introduced in our previous paper for a proof of twisted version of Burnside-Frobenius theorem) and some related properties. We give examples of groups with and without this…

We use wreath products to provide criteria for a group to be conjugacy separable or omnipotent. These criteria are in terms of virtual retractions onto cyclic subgroups. We give two applications: a straightforward topological proof of the…

We characterise the group property of being with infinite conjugacy classes for wreath products of groups

We classify certain cases when the wreath products of distinct pairs of groups generate the same variety. This allows us to investigate the subvarieties of some nilpotent-by-abelian product varieties ${\mathfrak U}{\mathfrak V}$ with the…

The knapsack problem for groups was introduced by Miasnikov, Nikolaev, and Ushakov. It is defined for each finitely generated group $G$ and takes as input group elements $g_1,\ldots,g_n,g\in G$ and asks whether there are $x_1,\ldots,x_n\ge…

We classify $\mathcal{R}$- and $\mathcal{L}$-cross-sections of wreath products of finite inverse symmetric semigroups $\mathcal{IS}_m \wr_p \mathcal{IS}_n$ up to isomorphism. We show that every isomorphism of $\mathcal{R}$ ($\mathcal{L}$-)…

We give a partial solution a question of Grigorchuk, Nekrashevych, Sushchanskii and \v{S}uni\'k by giving an algorithm to test whether a finite state element of an infinite iterated (permutational) wreath product $\hat G = \mathbb…

We introduce separability properties corresponding to generalized versions of the conjugacy, twisted conjugacy, Brinkmann and Brinkmann's conjugacy problems and how they relate when finite and cyclic extensions of groups are taken. In…

Let ${\cal C}$ be a nonempty class of finite groups closed under taking subgroups, homomorphic images and extensions. A subgroup $H$ of an abstract residually ${\cal C}$ group $R$ is said to be conjugacy ${\cal C}$-distinguished if whenever…

We investigate closure results for C-approximable groups, for certain classes C of groups with invariant length functions. In particular we prove, each time for certain (but not necessarily the same) classes C that (i) the direct product of…

We prove that finite index subgroups of right angled Artin groups are conjugacy separable. We then apply this result to establish various properties of other classes of groups. In particular, we show that any word hyperbolic Coxeter group…

We consider the finitely generated groups acting on a regular tree with almost prescribed local action. We show that these groups embed as cocompact irreducible lattices in some locally compact wreath products. This provides examples of…

Let $A$ be a nilpotent $p$-group of finite exponent, and $B$ be an abelian $p$-groups of finite exponent. Then the wreath product $A {\rm Wr} B$ generates the variety ${\rm var}(A) {\rm var}(B)$ if and only if the group $B$ contains a…

We give a combinatorial equivalent to the existence of a non-free hereditarily separable group of cardinality aleph_1. This can be used, together with a known combinatorial equivalent of the existence of a non-free Whitehead group, to prove…

In analogy to the disjoint cycle decomposition in permutation groups, Ore and Specht define a decomposition of elements of the full monomial group and exploit this to describe conjugacy classes and centralisers of elements in the full…